runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inesct-1.0/rand06f749.cudf.difficult.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/difficult//rand06f749.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand06f749.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.30 1.01 0.57 1/111 15436 /proc/meminfo: memFree=698600/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=3268 CPUtime=0 /proc/15437/stat : 15437 (cudf-solver.py) R 15436 15436 13759 34823 13904 4202496 329 0 0 0 0 0 0 0 18 0 1 0 415083173 3346432 251 1283457024 134512640 135539072 4291624304 18446744073709551615 4158804325 0 0 0 0 0 0 0 17 1 0 0 0 /proc/15437/statm: 817 255 198 251 0 118 0 [startup+0.178435 s] /proc/loadavg: 1.30 1.01 0.57 1/111 15436 /proc/meminfo: memFree=698600/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=0 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.20958 s] /proc/loadavg: 1.30 1.01 0.57 1/111 15436 /proc/meminfo: memFree=698600/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=0 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.311732 s] /proc/loadavg: 1.30 1.01 0.57 1/111 15436 /proc/meminfo: memFree=698600/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=0 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+0.705936 s] /proc/loadavg: 1.30 1.01 0.57 1/111 15436 /proc/meminfo: memFree=698600/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=0 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6376 [startup+1.50649 s] /proc/loadavg: 1.30 1.01 0.57 6/127 15629 /proc/meminfo: memFree=642056/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=0 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15439] ppid=15437 vsize=872652 CPUtime=2.03 /proc/15439/stat : 15439 (java) S 15437 15436 13759 34823 13904 4202496 20173 0 0 0 193 10 0 0 18 0 12 0 415083175 893595648 16945 1283457024 134512640 134550932 4287219840 18446744073709551615 4160103570 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15439/statm: 218163 16946 1740 10 0 215250 0 [pid=15439/tid=15441] ppid=15437 vsize=872652 CPUtime=0.93 /proc/15439/task/15441/stat : 15441 (java) R 15437 15436 13759 34823 13904 4202560 7284 0 0 0 89 4 0 0 17 0 12 0 415083177 893595648 16947 1283457024 134512640 134550932 4287219840 18446744073709551615 4095720502 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15439/tid=15446] ppid=15437 vsize=872652 CPUtime=0.06 /proc/15439/task/15446/stat : 15446 (java) S 15437 15436 13759 34823 13904 4202560 2294 0 0 0 6 0 0 0 15 0 12 0 415083178 893595648 16948 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 1 0 0 0 [pid=15439/tid=15447] ppid=15437 vsize=872652 CPUtime=0.09 /proc/15439/task/15447/stat : 15447 (java) S 15437 15436 13759 34823 13904 4202560 2771 0 0 0 8 1 0 0 16 0 12 0 415083178 893595648 16950 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 1 0 0 0 [pid=15439/tid=15448] ppid=15437 vsize=872652 CPUtime=0 /proc/15439/task/15448/stat : 15448 (java) S 15437 15436 13759 34823 13904 4202560 16 0 0 0 0 0 0 0 15 0 12 0 415083180 893595648 16951 1283457024 134512640 134550932 4287219840 18446744073709551615 4160117768 0 0 0 16800975 18446612132466489216 0 0 -1 1 0 0 0 [pid=15439/tid=15449] ppid=15437 vsize=872652 CPUtime=0 /proc/15439/task/15449/stat : 15449 (java) S 15437 15436 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 19 0 12 0 415083180 893595648 16953 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 1 0 0 0 [pid=15439/tid=15450] ppid=15437 vsize=872652 CPUtime=0 /proc/15439/task/15450/stat : 15450 (java) S 15437 15436 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 415083180 893595648 16955 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15465] ppid=15437 vsize=872652 CPUtime=0 /proc/15439/task/15465/stat : 15465 (java) S 15437 15436 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 24 0 12 0 415083185 893595648 16956 1283457024 134512640 134550932 4287219840 18446744073709551615 4160125264 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15466] ppid=15437 vsize=872652 CPUtime=0.56 /proc/15439/task/15466/stat : 15466 (java) S 15437 15436 13759 34823 13904 4202560 3732 0 0 0 55 1 0 0 18 0 12 0 415083185 893595648 16957 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15467] ppid=15437 vsize=872652 CPUtime=0.36 /proc/15439/task/15467/stat : 15467 (java) S 15437 15436 13759 34823 13904 4202560 2669 0 0 0 34 2 0 0 17 0 12 0 415083185 893595648 16958 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 1 0 0 0 [pid=15439/tid=15468] ppid=15437 vsize=872652 CPUtime=0 /proc/15439/task/15468/stat : 15468 (java) S 15437 15436 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415083185 893595648 16960 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15469] ppid=15437 vsize=872652 CPUtime=0 /proc/15439/task/15469/stat : 15469 (java) S 15437 15436 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415083185 893595648 16961 1283457024 134512640 134550932 4287219840 18446744073709551615 4160117768 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 879028 [startup+3.11893 s] /proc/loadavg: 1.30 1.01 0.57 6/127 15679 /proc/meminfo: memFree=546768/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=0 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 17 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15439] ppid=15437 vsize=875260 CPUtime=4.34 /proc/15439/stat : 15439 (java) S 15437 15436 13759 34823 13904 4202496 45103 0 0 0 410 24 0 0 18 0 12 0 415083175 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160103570 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15439/statm: 218815 38815 1770 10 0 215902 0 [pid=15439/tid=15441] ppid=15437 vsize=875260 CPUtime=1.78 /proc/15439/task/15441/stat : 15441 (java) R 15437 15436 13759 34823 13904 4202560 14680 0 0 0 170 8 0 0 16 0 12 0 415083177 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4096001027 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15439/tid=15446] ppid=15437 vsize=875260 CPUtime=0.25 /proc/15439/task/15446/stat : 15446 (java) S 15437 15436 13759 34823 13904 4202560 9624 0 0 0 21 4 0 0 15 0 12 0 415083178 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 1 0 0 0 [pid=15439/tid=15447] ppid=15437 vsize=875260 CPUtime=0.25 /proc/15439/task/15447/stat : 15447 (java) S 15437 15436 13759 34823 13904 4202560 9224 0 0 0 22 3 0 0 16 0 12 0 415083178 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15448] ppid=15437 vsize=875260 CPUtime=0.25 /proc/15439/task/15448/stat : 15448 (java) S 15437 15436 13759 34823 13904 4202560 1824 0 0 0 24 1 0 0 15 0 12 0 415083180 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160117768 0 0 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15449] ppid=15437 vsize=875260 CPUtime=0 /proc/15439/task/15449/stat : 15449 (java) S 15437 15436 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 19 0 12 0 415083180 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 1 0 0 0 [pid=15439/tid=15450] ppid=15437 vsize=875260 CPUtime=0 /proc/15439/task/15450/stat : 15450 (java) S 15437 15436 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 415083180 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15465] ppid=15437 vsize=875260 CPUtime=0 /proc/15439/task/15465/stat : 15465 (java) S 15437 15436 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 24 0 12 0 415083185 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160125264 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15466] ppid=15437 vsize=875260 CPUtime=1.06 /proc/15439/task/15466/stat : 15466 (java) R 15437 15436 13759 34823 13904 4202560 5644 0 0 0 104 2 0 0 15 0 12 0 415083185 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4150195581 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15439/tid=15467] ppid=15437 vsize=875260 CPUtime=0.7 /proc/15439/task/15467/stat : 15467 (java) R 15437 15436 13759 34823 13904 4202560 2697 0 0 0 67 3 0 0 15 0 12 0 415083185 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4152514509 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15439/tid=15468] ppid=15437 vsize=875260 CPUtime=0 /proc/15439/task/15468/stat : 15468 (java) S 15437 15436 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415083185 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160116976 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 [pid=15439/tid=15469] ppid=15437 vsize=875260 CPUtime=0 /proc/15439/task/15469/stat : 15469 (java) S 15437 15436 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415083185 896266240 38815 1283457024 134512640 134550932 4287219840 18446744073709551615 4160117768 0 4 0 16800975 18446612132466489216 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 881636 [startup+6.31484 s] /proc/loadavg: 1.35 1.02 0.58 2/116 15762 /proc/meminfo: memFree=640012/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=39732 CPUtime=1.51 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 10555 0 0 0 147 4 0 0 21 0 1 0 415083651 40685568 9728 1283457024 134512640 135858300 4294533296 18446744073709551615 134658657 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15761/statm: 9933 9728 137 329 0 9602 0 Current children cumulated CPU time (s) 8.01 Current children cumulated vsize (KiB) 48996 [startup+12.704 s] /proc/loadavg: 1.33 1.02 0.58 2/112 15783 /proc/meminfo: memFree=659860/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=40164 CPUtime=7.82 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 11207 0 0 0 775 7 0 0 25 0 1 0 415083651 41127936 9837 1283457024 134512640 135858300 4294533296 18446744073709551615 135349937 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15761/statm: 10041 9837 137 329 0 9710 0 Current children cumulated CPU time (s) 14.32 Current children cumulated vsize (KiB) 49428 [startup+25.508 s] /proc/loadavg: 1.25 1.02 0.59 2/112 15784 /proc/meminfo: memFree=659956/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=40164 CPUtime=20.62 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 11207 0 0 0 2055 7 0 0 25 0 1 0 415083651 41127936 9837 1283457024 134512640 135858300 4294533296 18446744073709551615 134625696 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/15761/statm: 10041 9837 137 329 0 9710 0 Current children cumulated CPU time (s) 27.12 Current children cumulated vsize (KiB) 49428 [startup+51.1047 s] /proc/loadavg: 1.17 1.02 0.60 2/114 15815 /proc/meminfo: memFree=650264/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=45456 CPUtime=46.2 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 12796 0 0 0 4610 10 0 0 25 0 1 0 415083651 46546944 11158 1283457024 134512640 135858300 4294533296 18446744073709551615 134664279 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15761/statm: 11364 11158 137 329 0 11033 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 54720 Solver just ended. Dumping a history of the last processes samples [startup+63.9053 s] /proc/loadavg: 1.21 1.03 0.61 2/114 15815 /proc/meminfo: memFree=650264/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=45456 CPUtime=58.99 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 12796 0 0 0 5889 10 0 0 25 0 1 0 415083651 46546944 11158 1283457024 134512640 135858300 4294533296 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15761/statm: 11364 11158 137 329 0 11033 0 Current children cumulated CPU time (s) 65.49 Current children cumulated vsize (KiB) 54720 [startup+67.1094 s] /proc/loadavg: 1.20 1.03 0.61 2/114 15816 /proc/meminfo: memFree=650140/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=45456 CPUtime=62.21 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 12796 0 0 0 6211 10 0 0 25 0 1 0 415083651 46546944 11158 1283457024 134512640 135858300 4294533296 18446744073709551615 135343744 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15761/statm: 11364 11158 137 329 0 11033 0 Current children cumulated CPU time (s) 68.71 Current children cumulated vsize (KiB) 54720 [startup+68.7055 s] /proc/loadavg: 1.20 1.03 0.61 2/113 15816 /proc/meminfo: memFree=650148/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=45456 CPUtime=63.8 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 12796 0 0 0 6370 10 0 0 25 0 1 0 415083651 46546944 11158 1283457024 134512640 135858300 4294533296 18446744073709551615 134671080 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15761/statm: 11364 11158 137 329 0 11033 0 Current children cumulated CPU time (s) 70.3 Current children cumulated vsize (KiB) 54720 [startup+69.5055 s] /proc/loadavg: 1.20 1.03 0.61 2/113 15816 /proc/meminfo: memFree=650148/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=45456 CPUtime=64.6 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 12796 0 0 0 6450 10 0 0 25 0 1 0 415083651 46546944 11158 1283457024 134512640 135858300 4294533296 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15761/statm: 11364 11158 137 329 0 11033 0 Current children cumulated CPU time (s) 71.1 Current children cumulated vsize (KiB) 54720 [startup+69.9055 s] /proc/loadavg: 1.20 1.03 0.61 2/113 15816 /proc/meminfo: memFree=650148/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=4000 CPUtime=6.5 /proc/15437/stat : 15437 (cudf-solver.py) S 15436 15436 13759 34823 13904 4202496 813 53277 0 0 0 0 608 42 15 0 1 0 415083173 4096000 642 1283457024 134512640 135539072 4291624304 18446744073709551615 4158966414 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15437/statm: 1000 642 346 251 0 301 0 [pid=15760] ppid=15437 vsize=2888 CPUtime=0 /proc/15760/stat : 15760 (sh) S 15437 15436 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 415083651 2957312 321 1283457024 134512640 135191968 4287490528 18446744073709551615 4159445646 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15760/statm: 722 321 219 166 0 154 0 [pid=15761] ppid=15760 vsize=45456 CPUtime=65 /proc/15761/stat : 15761 (msuncore) R 15760 15436 13759 34823 13904 4202496 12796 0 0 0 6490 10 0 0 25 0 1 0 415083651 46546944 11158 1283457024 134512640 135858300 4294533296 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15761/statm: 11364 11158 137 329 0 11033 0 Current children cumulated CPU time (s) 71.5 Current children cumulated vsize (KiB) 54720 [startup+70.3096 s] /proc/loadavg: 1.18 1.03 0.61 2/111 15816 /proc/meminfo: memFree=691224/2097152 swapFree=2055676/2097144 [pid=15436] ppid=15435 vsize=2376 CPUtime=0 /proc/15436/stat : 15436 (inesct-1.0) S 15435 15436 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 19 0 1 0 415083173 2433024 258 1283457024 134512640 135191968 4291571024 18446744073709551615 4159257230 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/15436/statm: 594 258 221 166 0 26 0 [pid=15437] ppid=15436 vsize=7880 CPUtime=71.92 /proc/15437/stat : 15437 (cudf-solver.py) R 15436 15436 13759 34823 13904 4202496 1944 66452 0 0 7 1 7129 55 16 0 1 0 415083173 8069120 1568 1283457024 134512640 135539072 4291624304 18446744073709551615 135051854 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/15437/statm: 1970 1568 346 251 0 1271 0 Current children cumulated CPU time (s) 71.92 Current children cumulated vsize (KiB) 10256 Child status: 0 Real time (s): 70.3586 CPU time (s): 71.9605 CPU user time (s): 71.3925 CPU system time (s): 0.568035 CPU usage (%): 102.277 Max. virtual memory (cumulated for all children) (KiB): 884564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 71.3925 system time used= 0.568035 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70166 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 685 involuntary context switches= 2237 runsolver used 0.016001 second user time and 0.040002 second system time The end