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/rand6b4d6e.cudf.impossible.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/impossible//rand6b4d6e.cudf /home/misc2010/tmp/201007051419/inesct-1.0/rand6b4d6e.cudf.impossible.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.13 1.06 1.03 2/94 8731 /proc/meminfo: memFree=1015072/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2360 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) R 8730 8731 13759 34823 13904 4194304 284 0 0 0 0 0 0 0 18 0 1 0 416206730 2416640 197 1283457024 134512640 135191968 4290557024 18446744073709551615 4159167278 0 0 4 0 0 0 0 17 1 0 0 0 /proc/8731/statm: 590 205 172 166 0 22 0 [startup+0.124995 s] /proc/loadavg: 1.13 1.06 1.03 2/94 8731 /proc/meminfo: memFree=1015072/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.205002 s] /proc/loadavg: 1.13 1.06 1.03 2/94 8731 /proc/meminfo: memFree=1015072/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.305138 s] /proc/loadavg: 1.13 1.06 1.03 2/94 8731 /proc/meminfo: memFree=1015072/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.705114 s] /proc/loadavg: 1.13 1.06 1.03 2/94 8731 /proc/meminfo: memFree=1015072/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.51514 s] /proc/loadavg: 1.13 1.06 1.03 4/108 8745 /proc/meminfo: memFree=968716/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=0 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 17 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8734] ppid=8733 vsize=867940 CPUtime=1.82 /proc/8734/stat : 8734 (java) S 8733 8731 13759 34823 13904 4202496 23660 0 0 0 171 11 0 0 18 0 12 0 416206732 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160337042 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8734/statm: 216985 20729 1743 10 0 214072 0 [pid=8734/tid=8735] ppid=8733 vsize=867940 CPUtime=0.78 /proc/8734/task/8735/stat : 8735 (java) R 8733 8731 13759 34823 13904 4202560 9262 0 0 0 74 4 0 0 25 0 12 0 416206734 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8734/tid=8736] ppid=8733 vsize=867940 CPUtime=0.14 /proc/8734/task/8736/stat : 8736 (java) S 8733 8731 13759 34823 13904 4202560 4757 0 0 0 12 2 0 0 16 0 12 0 416206735 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8737] ppid=8733 vsize=867940 CPUtime=0.08 /proc/8734/task/8737/stat : 8737 (java) S 8733 8731 13759 34823 13904 4202560 3837 0 0 0 7 1 0 0 16 0 12 0 416206735 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8738] ppid=8733 vsize=867940 CPUtime=0.08 /proc/8734/task/8738/stat : 8738 (java) S 8733 8731 13759 34823 13904 4202560 116 0 0 0 8 0 0 0 15 0 12 0 416206736 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160351240 0 0 0 16800975 18446612134214242432 0 0 -1 1 0 0 0 [pid=8734/tid=8739] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8739/stat : 8739 (java) S 8733 8731 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 16 0 12 0 416206736 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8740] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8740/stat : 8740 (java) S 8733 8731 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 24 0 12 0 416206736 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8741] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8741/stat : 8741 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416206739 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160358736 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8742] ppid=8733 vsize=867940 CPUtime=0.38 /proc/8734/task/8742/stat : 8742 (java) S 8733 8731 13759 34823 13904 4202560 2588 0 0 0 36 2 0 0 15 0 12 0 416206739 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8743] ppid=8733 vsize=867940 CPUtime=0.34 /proc/8734/task/8743/stat : 8743 (java) R 8733 8731 13759 34823 13904 4202560 1696 0 0 0 34 0 0 0 17 0 12 0 416206739 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160361159 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8734/tid=8744] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8744/stat : 8744 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416206739 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8745] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8745/stat : 8745 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416206739 888770560 20729 1283457024 134512640 134550932 4293969648 18446744073709551615 4160351240 0 4 0 16800975 18446612134214242432 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.82 Current children cumulated vsize (KiB) 874316 [startup+3.16874 s] /proc/loadavg: 1.13 1.06 1.03 2/108 8745 /proc/meminfo: memFree=870880/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=0 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 17 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8734] ppid=8733 vsize=867940 CPUtime=3.58 /proc/8734/stat : 8734 (java) S 8733 8731 13759 34823 13904 4202496 58477 0 0 0 336 22 0 0 18 0 12 0 416206732 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160337042 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8734/statm: 216985 54722 1744 10 0 214072 0 [pid=8734/tid=8735] ppid=8733 vsize=867940 CPUtime=1.75 /proc/8734/task/8735/stat : 8735 (java) S 8733 8731 13759 34823 13904 4202560 18900 0 0 0 166 9 0 0 25 0 12 0 416206734 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 1 0 0 0 [pid=8734/tid=8736] ppid=8733 vsize=867940 CPUtime=0.47 /proc/8734/task/8736/stat : 8736 (java) R 8733 8731 13759 34823 13904 4202560 17255 0 0 0 39 8 0 0 16 0 12 0 416206735 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4152822508 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8734/tid=8737] ppid=8733 vsize=867940 CPUtime=0.34 /proc/8734/task/8737/stat : 8737 (java) R 8733 8731 13759 34823 13904 4202560 14845 0 0 0 32 2 0 0 15 0 12 0 416206735 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4152822624 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8734/tid=8738] ppid=8733 vsize=867940 CPUtime=0.26 /proc/8734/task/8738/stat : 8738 (java) S 8733 8731 13759 34823 13904 4202560 1787 0 0 0 26 0 0 0 15 0 12 0 416206736 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 0 0 16800975 18446612134214242432 0 0 -1 1 0 0 0 [pid=8734/tid=8739] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8739/stat : 8739 (java) S 8733 8731 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 416206736 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8740] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8740/stat : 8740 (java) S 8733 8731 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416206736 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8741] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8741/stat : 8741 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416206739 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160358736 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8742] ppid=8733 vsize=867940 CPUtime=0.38 /proc/8734/task/8742/stat : 8742 (java) S 8733 8731 13759 34823 13904 4202560 2588 0 0 0 36 2 0 0 15 0 12 0 416206739 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8743] ppid=8733 vsize=867940 CPUtime=0.36 /proc/8734/task/8743/stat : 8743 (java) S 8733 8731 13759 34823 13904 4202560 1696 0 0 0 36 0 0 0 15 0 12 0 416206739 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8744] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8744/stat : 8744 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416206739 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8745] ppid=8733 vsize=867940 CPUtime=0 /proc/8734/task/8745/stat : 8745 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416206739 888770560 54722 1283457024 134512640 134550932 4293969648 18446744073709551615 4160351240 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.58 Current children cumulated vsize (KiB) 874316 [startup+6.35739 s] /proc/loadavg: 1.28 1.10 1.04 2/108 8745 /proc/meminfo: memFree=685752/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=0 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 756 0 0 0 0 0 0 0 17 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8734] ppid=8733 vsize=876364 CPUtime=8.42 /proc/8734/stat : 8734 (java) S 8733 8731 13759 34823 13904 4202496 91461 0 0 0 810 32 0 0 18 0 12 0 416206732 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160337042 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8734/statm: 219091 83573 1770 10 0 216178 0 [pid=8734/tid=8735] ppid=8733 vsize=876364 CPUtime=3.51 /proc/8734/task/8735/stat : 8735 (java) R 8733 8731 13759 34823 13904 4202560 19214 0 0 0 342 9 0 0 15 0 12 0 416206734 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4159497969 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8734/tid=8736] ppid=8733 vsize=876364 CPUtime=0.85 /proc/8734/task/8736/stat : 8736 (java) S 8733 8731 13759 34823 13904 4202560 29480 0 0 0 72 13 0 0 16 0 12 0 416206735 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8737] ppid=8733 vsize=876364 CPUtime=0.84 /proc/8734/task/8737/stat : 8737 (java) S 8733 8731 13759 34823 13904 4202560 29829 0 0 0 78 6 0 0 16 0 12 0 416206735 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8738] ppid=8733 vsize=876364 CPUtime=1.06 /proc/8734/task/8738/stat : 8738 (java) S 8733 8731 13759 34823 13904 4202560 2948 0 0 0 106 0 0 0 16 0 12 0 416206736 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160351240 0 0 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8739] ppid=8733 vsize=876364 CPUtime=0 /proc/8734/task/8739/stat : 8739 (java) S 8733 8731 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 416206736 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8740] ppid=8733 vsize=876364 CPUtime=0 /proc/8734/task/8740/stat : 8740 (java) S 8733 8731 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416206736 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8741] ppid=8733 vsize=876364 CPUtime=0 /proc/8734/task/8741/stat : 8741 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416206739 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160358736 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8742] ppid=8733 vsize=876364 CPUtime=1.2 /proc/8734/task/8742/stat : 8742 (java) R 8733 8731 13759 34823 13904 4202560 5828 0 0 0 118 2 0 0 15 0 12 0 416206739 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4152110435 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8734/tid=8743] ppid=8733 vsize=876364 CPUtime=0.92 /proc/8734/task/8743/stat : 8743 (java) S 8733 8731 13759 34823 13904 4202560 2756 0 0 0 92 0 0 0 15 0 12 0 416206739 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8744] ppid=8733 vsize=876364 CPUtime=0 /proc/8734/task/8744/stat : 8744 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416206739 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160350448 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 [pid=8734/tid=8745] ppid=8733 vsize=876364 CPUtime=0 /proc/8734/task/8745/stat : 8745 (java) S 8733 8731 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 416206739 897396736 83573 1283457024 134512640 134550932 4293969648 18446744073709551615 4160351240 0 4 0 16800975 18446612134214242432 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.42 Current children cumulated vsize (KiB) 882740 [startup+12.7044 s] /proc/loadavg: 1.25 1.09 1.04 2/98 8751 /proc/meminfo: memFree=883116/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=122136 CPUtime=2.06 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 31338 0 0 0 197 9 0 0 23 0 1 0 416207794 125067264 30288 1283457024 134512640 135858300 4289649680 18446744073709551615 135345610 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8751/statm: 30534 30288 115 329 0 30203 0 Current children cumulated CPU time (s) 15.59 Current children cumulated vsize (KiB) 131396 [startup+25.5049 s] /proc/loadavg: 1.20 1.09 1.04 2/98 8752 /proc/meminfo: memFree=875452/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=119128 CPUtime=14.86 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 35017 0 0 0 1474 12 0 0 25 0 1 0 416207794 121987072 29585 1283457024 134512640 135858300 4289649680 18446744073709551615 134658426 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8751/statm: 29782 29585 137 329 0 29451 0 Current children cumulated CPU time (s) 28.39 Current children cumulated vsize (KiB) 128388 [startup+51.106 s] /proc/loadavg: 1.13 1.08 1.03 2/98 8753 /proc/meminfo: memFree=871980/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=121920 CPUtime=40.44 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 38059 0 0 0 4027 17 0 0 25 0 1 0 416207794 124846080 30283 1283457024 134512640 135858300 4289649680 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8751/statm: 30480 30283 137 329 0 30149 0 Current children cumulated CPU time (s) 53.97 Current children cumulated vsize (KiB) 131180 [startup+102.304 s] /proc/loadavg: 1.05 1.07 1.03 2/98 8757 /proc/meminfo: memFree=871972/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=121920 CPUtime=91.64 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 38059 0 0 0 9145 19 0 0 25 0 1 0 416207794 124846080 30283 1283457024 134512640 135858300 4289649680 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8751/statm: 30480 30283 137 329 0 30149 0 Current children cumulated CPU time (s) 105.17 Current children cumulated vsize (KiB) 131180 [startup+162.307 s] /proc/loadavg: 1.02 1.05 1.02 2/98 8769 /proc/meminfo: memFree=872484/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=121920 CPUtime=151.65 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 38059 0 0 0 15145 20 0 0 25 0 1 0 416207794 124846080 30283 1283457024 134512640 135858300 4289649680 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8751/statm: 30480 30283 137 329 0 30149 0 Current children cumulated CPU time (s) 165.18 Current children cumulated vsize (KiB) 131180 [startup+222.306 s] /proc/loadavg: 1.00 1.04 1.02 2/99 9261 /proc/meminfo: memFree=871848/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=121920 CPUtime=211.22 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 38059 0 0 0 21100 22 0 0 25 0 1 0 416207794 124846080 30283 1283457024 134512640 135858300 4289649680 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8751/statm: 30480 30283 137 329 0 30149 0 Current children cumulated CPU time (s) 224.75 Current children cumulated vsize (KiB) 131180 [startup+282.304 s] /proc/loadavg: 1.00 1.03 1.01 2/99 9267 /proc/meminfo: memFree=871848/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=121920 CPUtime=271.22 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 38059 0 0 0 27100 22 0 0 25 0 1 0 416207794 124846080 30283 1283457024 134512640 135858300 4289649680 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8751/statm: 30480 30283 137 329 0 30149 0 Current children cumulated CPU time (s) 284.75 Current children cumulated vsize (KiB) 131180 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+287.604 s] /proc/loadavg: 1.00 1.03 1.01 2/99 9267 /proc/meminfo: memFree=871848/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=121920 CPUtime=276.52 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 38059 0 0 0 27630 22 0 0 25 0 1 0 416207794 124846080 30283 1283457024 134512640 135858300 4289649680 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8751/statm: 30480 30283 137 329 0 30149 0 Current children cumulated CPU time (s) 290.05 Current children cumulated vsize (KiB) 131180 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+287.604 s] /proc/loadavg: 1.00 1.03 1.01 2/99 9267 /proc/meminfo: memFree=871848/2097152 swapFree=2055676/2097144 [pid=8731] ppid=8730 vsize=2376 CPUtime=0 /proc/8731/stat : 8731 (inesct-1.0) S 8730 8731 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 18 0 1 0 416206730 2433024 258 1283457024 134512640 135191968 4290557024 18446744073709551615 4159011470 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8731/statm: 594 258 221 166 0 26 0 [pid=8733] ppid=8731 vsize=4000 CPUtime=13.53 /proc/8733/stat : 8733 (cudf-solver.py) S 8731 8731 13759 34823 13904 4202496 814 103314 0 0 0 0 1270 83 15 0 1 0 416206731 4096000 642 1283457024 134512640 135539072 4292892320 18446744073709551615 4159298190 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8733/statm: 1000 642 346 251 0 301 0 [pid=8750] ppid=8733 vsize=2884 CPUtime=0 /proc/8750/stat : 8750 (sh) S 8733 8731 13759 34823 13904 4194304 358 0 0 0 0 0 0 0 17 0 1 0 416207793 2953216 320 1283457024 134512640 135191968 4288762656 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8750/statm: 721 320 219 166 0 153 0 [pid=8751] ppid=8750 vsize=121920 CPUtime=276.52 /proc/8751/stat : 8751 (msuncore) R 8750 8731 13759 34823 13904 4202496 38059 0 0 0 27630 22 0 0 25 0 1 0 416207794 124846080 30283 1283457024 134512640 135858300 4289649680 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/8751/statm: 30480 30283 137 329 0 30149 0 Current children cumulated CPU time (s) 290.05 Current children cumulated vsize (KiB) 131180 Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8731 and gives # childrusage.ru_utime.tv_sec=12 # childrusage.ru_utime.tv_usec=716794 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=836052 # CPU time returned by wait4() is 13.5528 # while last known CPU time is 290.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 287.637 CPU time (s): 290.05 CPU user time (s): 289 CPU system time (s): 1.05 CPU usage (%): 100.839 Max. virtual memory (cumulated for all children) (KiB): 885912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.7168 system time used= 0.836052 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105315 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= 639 involuntary context switches= 500 runsolver used 0.032002 second user time and 0.128008 second system time The end