runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482884-1307578515/watcher-3482884-1307578515 -o /tmp/evaluation-result-3482884-1307578515/solver-3482884-1307578515 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482884-1307578515.opb -seed 1387998260 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.31 2.09 2/562 17444
/proc/meminfo: memFree=25308512/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/17444/stat : 17444 (python) R 17442 17444 16517 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 869451314 16625664 869 33554432000 4194304 5683644 140733480140176 18446744073709551615 210646807237 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17444/statm: 4059 869 368 364 0 546 0
[startup+0.0645019 s]
/proc/loadavg: 2.06 2.31 2.09 2/562 17444
/proc/meminfo: memFree=25308512/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=30112 CPUtime=0.03 cores=0,2,4,6
/proc/17444/stat : 17444 (python) R 17442 17444 16517 0 -1 4202496 1509 0 0 0 3 0 0 0 20 0 1 0 869451314 30834688 1347 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647144448 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/17444/statm: 7529 1348 443 364 0 899 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30112
[startup+0.100533 s]
/proc/loadavg: 2.06 2.31 2.09 2/562 17444
/proc/meminfo: memFree=25308512/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=85616 CPUtime=0.06 cores=0,2,4,6
/proc/17444/stat : 17444 (python) S 17442 17444 16517 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 869451314 87670784 2381 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 2 0 0 0
/proc/17444/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300459 s]
/proc/loadavg: 2.06 2.31 2.09 2/562 17444
/proc/meminfo: memFree=25308512/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/17444/stat : 17444 (python) S 17442 17444 16517 0 -1 4202496 5356 932 1 0 11 6 0 0 17 0 1 0 869451314 126709760 3744 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647142405 0 2147483391 16781312 2 18446744071699109054 0 0 17 2 0 0 0
/proc/17444/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700425 s]
/proc/loadavg: 2.06 2.31 2.09 2/562 17444
/proc/meminfo: memFree=25308512/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=247544 CPUtime=0.45 cores=0,2,4,6
/proc/17444/stat : 17444 (python) R 17442 17444 16517 0 -1 4202496 7900 932 1 0 30 15 0 0 16 0 1 0 869451314 253485056 6050 33554432000 4194304 5683644 140733480140176 18446744073709551615 4616848 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17444/statm: 61886 6050 1610 364 0 4890 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 247544
[startup+15.9198 s]
/proc/loadavg: 2.06 2.31 2.09 2/562 17444
/proc/meminfo: memFree=25308512/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=268660 CPUtime=1.83 cores=0,2,4,6
/proc/17444/stat : 17444 (python) D 17442 17444 16517 0 -1 4202496 8703 932 1 0 128 55 0 0 16 0 1 0 869451314 275107840 6671 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 2 0 0 0
/proc/17444/statm: 67165 6671 1704 364 0 5313 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 268660
heavy processes:
%CPU=32 pid=17367 uid=0 cmd=
[startup+17.1336 s]
/proc/loadavg: 2.86 2.47 2.15 2/564 17450
/proc/meminfo: memFree=25245972/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=268660 CPUtime=1.83 cores=0,2,4,6
/proc/17444/stat : 17444 (python) D 17442 17444 16517 0 -1 4202496 8703 932 1 0 128 55 0 0 16 0 1 0 869451314 275107840 6671 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647152183 0 0 16781312 2 18446744071562154983 0 0 17 2 0 0 0
/proc/17444/statm: 67165 6671 1704 364 0 5313 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 268660
heavy processes:
%CPU=31 pid=17367 uid=0 cmd=
[startup+17.8247 s]
/proc/loadavg: 2.86 2.47 2.15 2/564 17450
/proc/meminfo: memFree=25241584/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=326988 CPUtime=1.93 cores=0,2,4,6
/proc/17444/stat : 17444 (python) R 17442 17444 16517 0 -1 4202496 20201 932 1 0 135 58 0 0 17 0 1 0 869451314 334835712 18064 33554432000 4194304 5683644 140733480140176 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 2 0 0 1628
/proc/17444/statm: 81747 18066 1781 364 0 16640 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 326988
heavy processes:
%CPU=31 pid=17367 uid=0 cmd=
[startup+18.7184 s]
/proc/loadavg: 2.86 2.47 2.15 2/564 17450
/proc/meminfo: memFree=25241584/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=334388 CPUtime=2.16 cores=0,2,4,6
/proc/17444/stat : 17444 (python) R 17442 17444 16517 0 -1 4202496 22007 932 1 0 158 58 0 0 17 0 1 0 869451314 342413312 19870 33554432000 4194304 5683644 140733480140176 18446744073709551615 210646832851 0 0 16781312 2 0 0 0 17 2 0 0 1628
/proc/17444/statm: 83597 19877 1781 364 0 18490 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 334388
heavy processes:
%CPU=31 pid=17367 uid=0 cmd=
[startup+25.5042 s]
/proc/loadavg: 2.95 2.50 2.16 3/564 17450
/proc/meminfo: memFree=24998632/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=579768 CPUtime=8.94 cores=0,2,4,6
/proc/17444/stat : 17444 (python) R 17442 17444 16517 0 -1 4202496 98617 932 1 0 826 68 0 0 25 0 1 0 869451314 593682432 79927 33554432000 4194304 5683644 140733480140176 18446744073709551615 4295359 0 0 16781312 2 0 0 0 17 2 0 0 1628
/proc/17444/statm: 146844 80002 1784 364 0 81737 0
Current children cumulated CPU time (s) 8.94
Current children cumulated vsize (KiB) 579768
heavy processes:
%CPU=30 pid=17367 uid=0 cmd=
[startup+51.1009 s]
/proc/loadavg: 3.43 2.67 2.22 3/567 17455
/proc/meminfo: memFree=24746596/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=579724 CPUtime=21.96 cores=0,2,4,6
/proc/17444/stat : 17444 (python) S 17442 17444 16517 0 -1 4202496 128787 932 1 0 2123 73 0 0 25 0 2 0 869451314 593637376 78772 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 1628
/proc/17444/statm: 144931 78772 1872 364 0 79818 0
[pid=17451] ppid=17444 vsize=569480 CPUtime=0.06 cores=0,2,4,6
/proc/17451/stat : 17451 (python) S 17444 17444 16517 0 -1 4202560 901 0 0 0 3 3 0 0 15 0 1 0 869455166 583147520 77271 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647166479 0 0 16781312 33554946 72556772316949348 0 0 17 6 0 0 0
/proc/17451/statm: 142370 77271 375 364 0 77257 0
[pid=17453] ppid=17451 vsize=111476 CPUtime=12.56 cores=0,2,4,6
/proc/17453/stat : 17453 (wbo1.4b-fixed) R 17451 17453 17453 0 -1 4202496 39069 0 0 0 1240 16 0 0 25 0 1 0 869455167 114151424 27003 33554432000 134512640 135752315 4293068544 18446744073709551615 134611344 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17453/statm: 27869 27003 146 303 0 27564 0
[pid=17444/tid=17452] ppid=17442 vsize=579724 CPUtime=0 cores=0,2,4,6
/proc/17444/task/17452/stat : 17452 (python) S 17442 17444 16517 0 -1 4202560 27 932 0 0 0 0 0 0 25 0 2 0 869455167 593637376 78772 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 34.58
Current children cumulated vsize (KiB) 1260680
heavy processes:
%CPU=28 pid=17367 uid=0 cmd=
[startup+102.961 s]
/proc/loadavg: 4.55 3.05 2.37 3/533 17490
/proc/meminfo: memFree=24651832/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=589980 CPUtime=21.98 cores=0,2,4,6
/proc/17444/stat : 17444 (python) S 17442 17444 16517 0 -1 4202496 129651 932 1 0 2125 73 0 0 20 0 3 0 869451314 604139520 78779 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 1628
/proc/17444/statm: 147495 78779 1875 364 0 82379 0
[pid=17451] ppid=17444 vsize=579724 CPUtime=0.28 cores=0,2,4,6
/proc/17451/stat : 17451 (python) S 17444 17444 16517 0 -1 4202560 1152 0 0 0 15 13 0 0 17 0 2 0 869455166 593637376 77321 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17451/statm: 144931 77321 420 364 0 79818 0
[pid=17453] ppid=17451 vsize=135788 CPUtime=49.11 cores=0,2,4,6
/proc/17453/stat : 17453 (wbo1.4b-fixed) T 17451 17453 17453 0 -1 4202496 45140 0 0 0 4854 57 0 0 25 0 1 0 869455167 139046912 33074 33554432000 134512640 135752315 4293068544 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17453/statm: 33947 33074 146 303 0 33642 0
[pid=17451/tid=17487] ppid=17444 vsize=579724 CPUtime=0 cores=0,2,4,6
/proc/17451/task/17487/stat : 17487 (python) S 17444 17444 16517 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869460080 593637376 77321 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604453165506944 0 0 -1 0 0 0 0
[pid=17488] ppid=17444 vsize=579736 CPUtime=0.06 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17444 17444 16517 0 -1 4202560 921 0 0 0 3 3 0 0 15 0 1 0 869460082 593649664 77272 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647166534 0 0 16781312 33554946 72262103200705380 0 0 17 2 0 0 0
/proc/17488/statm: 144934 77272 372 364 0 79818 0
[pid=17490] ppid=17488 vsize=1553032 CPUtime=15.26 cores=0,2,4,6
/proc/17490/stat : 17490 (pbct-0.1.2-linu) R 17488 17490 17490 0 -1 4202496 422629 0 0 0 1472 54 0 0 25 0 1 0 869460083 1590304768 370316 33554432000 134512640 136422188 4287583040 18446744073709551615 135811945 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/17490/statm: 388258 370343 193 467 0 387789 0
[pid=17444/tid=17452] ppid=17442 vsize=589980 CPUtime=0 cores=0,2,4,6
/proc/17444/task/17452/stat : 17452 (python) S 17442 17444 16517 0 -1 4202560 27 932 0 0 0 0 0 0 25 0 3 0 869455167 604139520 78779 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 2 0 0 0
[pid=17444/tid=17489] ppid=17442 vsize=589980 CPUtime=0 cores=0,2,4,6
/proc/17444/task/17489/stat : 17489 (python) S 17442 17444 16517 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 3 0 869460083 604139520 78779 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 86.69
Current children cumulated vsize (KiB) 3438260
[startup+162.301 s]
/proc/loadavg: 4.81 3.38 2.53 3/541 17503
/proc/meminfo: memFree=15451776/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=600236 CPUtime=22.01 cores=0,2,4,6
/proc/17444/stat : 17444 (python) S 17442 17444 16517 0 -1 4202496 130555 932 1 0 2127 74 0 0 20 0 4 0 869451314 614641664 78785 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 1628
/proc/17444/statm: 150059 78785 1877 364 0 84940 0
[pid=17451] ppid=17444 vsize=579724 CPUtime=0.28 cores=0,2,4,6
/proc/17451/stat : 17451 (python) S 17444 17444 16517 0 -1 4202560 1152 0 0 0 15 13 0 0 17 0 2 0 869455166 593637376 77321 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17451/statm: 144931 77321 420 364 0 79818 0
[pid=17453] ppid=17451 vsize=135788 CPUtime=49.11 cores=0,2,4,6
/proc/17453/stat : 17453 (wbo1.4b-fixed) T 17451 17453 17453 0 -1 4202496 45140 0 0 0 4854 57 0 0 25 0 1 0 869455167 139046912 33074 33554432000 134512640 135752315 4293068544 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17453/statm: 33947 33074 146 303 0 33642 0
[pid=17451/tid=17487] ppid=17444 vsize=579724 CPUtime=0 cores=0,2,4,6
/proc/17451/task/17487/stat : 17487 (python) S 17444 17444 16517 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869460080 593637376 77321 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604453165506944 0 0 -1 0 0 0 0
[pid=17488] ppid=17444 vsize=579736 CPUtime=0.32 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17444 17444 16517 0 -1 4202560 1102 0 0 0 15 17 0 0 17 0 2 0 869460082 593649664 77297 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17488/statm: 144934 77297 396 364 0 79818 0
[pid=17490] ppid=17488 vsize=3795816 CPUtime=47.7 cores=0,2,4,6
/proc/17490/stat : 17490 (pbct-0.1.2-linu) T 17488 17490 17490 0 -1 4202496 1014977 0 0 0 4639 131 0 0 25 0 1 0 869460083 3886915584 922540 33554432000 134512640 136422188 4287583040 18446744073709551615 135686464 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/17490/statm: 948954 922540 215 467 0 948485 0
[pid=17488/tid=17496] ppid=17444 vsize=579736 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17444 17444 16517 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869464855 593649664 77297 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604452251709760 0 0 -1 6 0 0 0
[pid=17497] ppid=17444 vsize=589992 CPUtime=0.13 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17444 17444 16517 0 -1 4202560 955 0 0 0 6 7 0 0 16 0 1 0 869464858 604151808 77276 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647166534 0 0 16781312 33554946 72114768642583396 0 0 17 0 0 0 0
/proc/17497/statm: 147498 77276 372 364 0 82379 0
[pid=17499] ppid=17497 vsize=102980 CPUtime=26.79 cores=0,2,4,6
/proc/17499/stat : 17499 (wbo1.4a) R 17497 17499 17499 0 -1 4202496 36968 0 0 0 2637 42 0 0 25 0 1 0 869464859 105451520 24899 33554432000 134512640 135751879 4293380064 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17499/statm: 25745 24899 143 303 0 25440 0
[pid=17444/tid=17452] ppid=17442 vsize=600236 CPUtime=0 cores=0,2,4,6
/proc/17444/task/17452/stat : 17452 (python) S 17442 17444 16517 0 -1 4202560 27 932 0 0 0 0 0 0 25 0 4 0 869455167 614641664 78785 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 2 0 0 0
[pid=17444/tid=17489] ppid=17442 vsize=600236 CPUtime=0 cores=0,2,4,6
/proc/17444/task/17489/stat : 17489 (python) S 17442 17444 16517 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 4 0 869460083 614641664 78785 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 4 0 0 0
[pid=17444/tid=17498] ppid=17442 vsize=600236 CPUtime=0 cores=0,2,4,6
/proc/17444/task/17498/stat : 17498 (python) S 17442 17444 16517 0 -1 4202560 24 932 0 0 0 0 0 0 20 0 4 0 869464859 614641664 78785 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 146.34
################
# More data... #
################
/proc/17592/stat : 17592 (clasp-1.3.7-x86) R 17590 17592 17592 0 -1 4202496 39573 0 0 0 5352 21 0 0 25 0 1 0 869516161 134565888 32089 33554432000 134512640 136139019 4288412224 18446744073709551615 135548255 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/17592/statm: 32853 32089 184 398 0 32453 0
[pid=17590/tid=17593] ppid=17444 vsize=641272 CPUtime=0 cores=0,2,4,6
/proc/17590/task/17593/stat : 17593 (python) S 17444 17444 16517 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869520998 656662528 77327 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604445919887552 0 0 -1 6 0 0 0
[pid=17444/tid=17452] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17452/stat : 17452 (python) S 17442 17444 16517 0 -1 4202560 27 1098823 0 0 0 0 1961 1197 25 0 9 0 869455167 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 2 0 0 0
[pid=17444/tid=17489] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17489/stat : 17489 (python) S 17442 17444 16517 0 -1 4202560 29 1098823 0 0 0 0 1961 1197 20 0 9 0 869460083 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 4 0 0 0
[pid=17444/tid=17498] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17498/stat : 17498 (python) S 17442 17444 16517 0 -1 4202560 24 1098823 0 0 0 0 1961 1197 20 0 9 0 869464859 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
[pid=17444/tid=17506] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17506/stat : 17506 (python) S 17442 17444 16517 0 -1 4202560 33 1098823 0 0 0 0 1961 1197 22 0 9 0 869470070 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
[pid=17444/tid=17520] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17520/stat : 17520 (python) S 17442 17444 16517 0 -1 4202560 25 1098823 0 0 0 0 1961 1197 20 0 9 0 869475242 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
[pid=17444/tid=17554] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17554/stat : 17554 (python) S 17442 17444 16517 0 -1 4202560 30 1098823 0 0 0 0 1961 1197 25 0 9 0 869487018 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 0 0 0 0
[pid=17444/tid=17585] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17585/stat : 17585 (python) S 17442 17444 16517 0 -1 4202560 29 1098823 0 0 0 0 1961 1197 20 0 9 0 869511354 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 0 0 0 0
[pid=17444/tid=17591] ppid=17442 vsize=651516 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17591/stat : 17591 (python) S 17442 17444 16517 0 -1 4202560 32 1098823 0 0 0 0 1961 1197 18 0 9 0 869516161 667152384 78815 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 477.41
Current children cumulated vsize (KiB) 12177784
heavy processes:
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+752.702 s]
/proc/loadavg: 6.90 6.36 4.53 2/594 17615
/proc/meminfo: memFree=6878140/32951132 swapFree=57925100/67111528
[pid=17444] ppid=17442 vsize=661772 CPUtime=122.98 cores=0,2,4,6
/proc/17444/stat : 17444 (python) S 17442 17444 16517 0 -1 4202496 136153 1098823 1 0 9022 118 1961 1197 20 0 10 0 869451314 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 1628
/proc/17444/statm: 165443 78821 1889 364 0 100306 0
[pid=17451] ppid=17444 vsize=579724 CPUtime=0.28 cores=0,2,4,6
/proc/17451/stat : 17451 (python) S 17444 17444 16517 0 -1 4202560 1152 0 0 0 15 13 0 0 17 0 2 0 869455166 593637376 77321 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17451/statm: 144931 77321 420 364 0 79818 0
[pid=17453] ppid=17451 vsize=135788 CPUtime=49.11 cores=0,2,4,6
/proc/17453/stat : 17453 (wbo1.4b-fixed) T 17451 17453 17453 0 -1 4202496 45140 0 0 0 4854 57 0 0 25 0 1 0 869455167 139046912 33074 33554432000 134512640 135752315 4293068544 18446744073709551615 134518831 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17453/statm: 33947 33074 146 303 0 33642 0
[pid=17451/tid=17487] ppid=17444 vsize=579724 CPUtime=0 cores=0,2,4,6
/proc/17451/task/17487/stat : 17487 (python) S 17444 17444 16517 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869460080 593637376 77321 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604453165506944 0 0 -1 0 0 0 0
[pid=17488] ppid=17444 vsize=579736 CPUtime=0.32 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17444 17444 16517 0 -1 4202560 1102 0 0 0 15 17 0 0 17 0 2 0 869460082 593649664 77297 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17488/statm: 144934 77297 396 364 0 79818 0
[pid=17490] ppid=17488 vsize=3795816 CPUtime=47.7 cores=0,2,4,6
/proc/17490/stat : 17490 (pbct-0.1.2-linu) T 17488 17490 17490 0 -1 4202496 1014977 0 0 0 4639 131 0 0 25 0 1 0 869460083 3886915584 922540 33554432000 134512640 136422188 4287583040 18446744073709551615 135686464 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/17490/statm: 948954 922540 215 467 0 948485 0
[pid=17488/tid=17496] ppid=17444 vsize=579736 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17444 17444 16517 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869464855 593649664 77297 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604452251709760 0 0 -1 6 0 0 0
[pid=17497] ppid=17444 vsize=589992 CPUtime=0.24 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17444 17444 16517 0 -1 4202560 1121 0 0 0 11 13 0 0 17 0 2 0 869464858 604151808 77301 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17497/statm: 147498 77301 396 364 0 82379 0
[pid=17499] ppid=17497 vsize=108672 CPUtime=50.4 cores=0,2,4,6
/proc/17499/stat : 17499 (wbo1.4a) T 17497 17499 17499 0 -1 4202496 38382 0 0 0 4970 70 0 0 25 0 1 0 869464859 111280128 26313 33554432000 134512640 135751879 4293380064 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17499/statm: 27168 26313 143 303 0 26863 0
[pid=17497/tid=17504] ppid=17444 vsize=589992 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17504/stat : 17504 (python) S 17444 17444 16517 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869469908 604151808 77301 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604447517222208 0 0 -1 6 0 0 0
[pid=17505] ppid=17444 vsize=600248 CPUtime=2.18 cores=0,2,4,6
/proc/17505/stat : 17505 (python) S 17444 17444 16517 0 -1 4202560 1130 0 0 0 122 96 0 0 16 0 2 0 869470054 614653952 77305 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17505/statm: 150062 77305 396 364 0 84940 0
[pid=17507] ppid=17505 vsize=1441888 CPUtime=51.65 cores=0,2,4,6
/proc/17507/stat : 17507 (scip-2.0.1.linu) T 17505 17507 17507 0 -1 4202496 418988 0 0 0 4961 204 0 0 25 0 1 0 869470071 1476493312 353557 33554432000 4194304 15243407 140737215472624 18446744073709551615 5688624 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17507/statm: 360472 353557 707 2698 0 357767 0
[pid=17505/tid=17518] ppid=17444 vsize=600248 CPUtime=0 cores=0,2,4,6
/proc/17505/task/17518/stat : 17518 (python) S 17444 17444 16517 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869475238 614653952 77305 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604450012289728 0 0 -1 6 0 0 0
[pid=17519] ppid=17444 vsize=610504 CPUtime=0.25 cores=0,2,4,6
/proc/17519/stat : 17519 (python) S 17444 17444 16517 0 -1 4202560 1113 0 0 0 13 12 0 0 16 0 2 0 869475241 625156096 77309 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17519/statm: 152626 77309 396 364 0 87501 0
[pid=17521] ppid=17519 vsize=1440292 CPUtime=50.15 cores=0,2,4,6
/proc/17521/stat : 17521 (scip-2.0.1.linu) T 17519 17521 17521 0 -1 4202496 418857 0 0 0 4829 186 0 0 25 0 1 0 869475242 1474859008 353435 33554432000 4194304 13684479 140737160539536 18446744073709551615 5489481 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17521/statm: 360073 353435 659 2317 0 357751 0
[pid=17519/tid=17527] ppid=17444 vsize=610504 CPUtime=0 cores=0,2,4,6
/proc/17519/task/17527/stat : 17527 (python) S 17444 17444 16517 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869480258 625156096 77309 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604452685872192 0 0 -1 2 0 0 0
[pid=17584] ppid=17444 vsize=631016 CPUtime=0.67 cores=0,2,4,6
/proc/17584/stat : 17584 (python) S 17444 17444 16517 0 -1 4202560 1137 0 0 0 17 50 0 0 16 0 2 0 869511353 646160384 77317 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17584/statm: 157754 77317 396 364 0 92623 0
[pid=17586] ppid=17584 vsize=239908 CPUtime=47.54 cores=0,2,4,6
/proc/17586/stat : 17586 (bsolo_pb10) T 17584 17586 17586 0 -1 4202496 68533 0 0 0 4720 34 0 0 25 0 1 0 869511362 245665792 57319 33554432000 134512640 137138936 4290453408 18446744073709551615 136570369 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/17586/statm: 59977 57319 185 642 0 59333 0
[pid=17584/tid=17589] ppid=17444 vsize=631016 CPUtime=0 cores=0,2,4,6
/proc/17584/task/17589/stat : 17589 (python) S 17444 17444 16517 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869516157 646160384 77317 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604445840180544 0 0 -1 6 0 0 0
[pid=17590] ppid=17444 vsize=641272 CPUtime=0.42 cores=0,2,4,6
/proc/17590/stat : 17590 (python) S 17444 17444 16517 0 -1 4202560 1237 0 0 0 21 21 0 0 18 0 2 0 869516160 656662528 77327 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658973131 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17590/statm: 160318 77327 402 364 0 95184 0
[pid=17592] ppid=17590 vsize=158564 CPUtime=92.42 cores=0,2,4,6
/proc/17592/stat : 17592 (clasp-1.3.7-x86) T 17590 17592 17592 0 -1 4202496 46254 0 0 0 9220 22 0 0 25 0 1 0 869516161 162369536 38634 33554432000 134512640 136139019 4288412224 18446744073709551615 134608164 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/17592/statm: 39641 38634 184 398 0 39241 0
[pid=17590/tid=17593] ppid=17444 vsize=641272 CPUtime=0 cores=0,2,4,6
/proc/17590/task/17593/stat : 17593 (python) S 17444 17444 16517 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 869520998 656662528 77327 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554946 18446604445919887552 0 0 -1 6 0 0 0
[pid=17596] ppid=17444 vsize=651528 CPUtime=0.04 cores=0,2,4,6
/proc/17596/stat : 17596 (python) S 17444 17444 16517 0 -1 4202560 1023 0 0 0 2 2 0 0 15 0 1 0 869525421 667164672 77306 33554432000 4194304 5683644 140733480140176 18446744073709551615 210647166534 0 0 16781312 33554946 5266248899877634308 0 0 17 2 0 0 0
/proc/17596/statm: 162882 77306 378 364 0 97745 0
[pid=17598] ppid=17596 vsize=8466668 CPUtime=0.32 cores=0,2,4,6
/proc/17598/stat : 17598 (java) S 17596 17598 17598 0 -1 4202496 4975 0 1 0 8 24 0 0 21 0 18 0 869525422 8669868032 4429 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17598/statm: 2116667 4429 2075 9 0 2107408 0
[pid=17598/tid=17599] ppid=17596 vsize=8466668 CPUtime=0.05 cores=0,2,4,6
/proc/17598/task/17599/stat : 17599 (java) R 17596 17598 17598 0 -1 4202560 3005 0 1 0 5 0 0 0 25 0 18 0 869525448 8669868032 4448 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658975099 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17598/tid=17600] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17600/stat : 17600 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869526579 8669868032 4449 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17601] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17601/stat : 17601 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869526579 8669868032 4449 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17602] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17602/stat : 17602 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869526579 8669868032 4449 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17603] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17603/stat : 17603 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869526579 8669868032 4450 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17604] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17604/stat : 17604 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869526579 8669868032 4450 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17605] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17605/stat : 17605 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869526579 8669868032 4450 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17606] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17606/stat : 17606 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869526579 8669868032 4451 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17607] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17607/stat : 17607 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869526579 8669868032 4451 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17598/tid=17608] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17608/stat : 17608 (java) S 17596 17598 17598 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 869526580 8669868032 4451 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962944 0 0 0 16800975 18446604452695287680 0 0 -1 2 0 0 0
[pid=17598/tid=17609] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17609/stat : 17609 (java) S 17596 17598 17598 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 18 0 869526580 8669868032 4452 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 2 0 0 0
[pid=17598/tid=17610] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17610/stat : 17610 (java) S 17596 17598 17598 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 18 0 869526580 8669868032 4452 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 2 0 0 0
[pid=17598/tid=17611] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17611/stat : 17611 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869526582 8669868032 4452 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658970033 0 4 0 16800975 18446604452695287680 0 0 -1 2 0 0 0
[pid=17598/tid=17612] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17612/stat : 17612 (java) S 17596 17598 17598 0 -1 4202560 561 0 0 0 0 0 0 0 24 0 18 0 869526582 8669868032 4452 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 2 0 0 0
[pid=17598/tid=17613] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17613/stat : 17613 (java) S 17596 17598 17598 0 -1 4202560 35 0 0 0 0 0 0 0 25 0 18 0 869526583 8669868032 4452 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 2 0 0 0
[pid=17598/tid=17614] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17614/stat : 17614 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869526583 8669868032 4452 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962329 0 4 0 16800975 18446604452695287680 0 0 -1 2 0 0 0
[pid=17598/tid=17615] ppid=17596 vsize=8466668 CPUtime=0 cores=0,2,4,6
/proc/17598/task/17615/stat : 17615 (java) S 17596 17598 17598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869526583 8669868032 4452 33554432000 1073741824 1073778376 140736080067120 18446744073709551615 210658962944 0 4 0 16800975 18446604452695287680 0 0 -1 6 0 0 0
[pid=17444/tid=17452] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17452/stat : 17452 (python) S 17442 17444 16517 0 -1 4202560 27 1098823 0 0 0 0 1961 1197 25 0 10 0 869455167 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 2 0 0 0
[pid=17444/tid=17489] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17489/stat : 17489 (python) S 17442 17444 16517 0 -1 4202560 29 1098823 0 0 0 0 1961 1197 20 0 10 0 869460083 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 4 0 0 0
[pid=17444/tid=17498] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17498/stat : 17498 (python) S 17442 17444 16517 0 -1 4202560 24 1098823 0 0 0 0 1961 1197 20 0 10 0 869464859 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
[pid=17444/tid=17506] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17506/stat : 17506 (python) S 17442 17444 16517 0 -1 4202560 33 1098823 0 0 0 0 1961 1197 22 0 10 0 869470070 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
[pid=17444/tid=17520] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17520/stat : 17520 (python) S 17442 17444 16517 0 -1 4202560 25 1098823 0 0 0 0 1961 1197 20 0 10 0 869475242 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
[pid=17444/tid=17554] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17554/stat : 17554 (python) S 17442 17444 16517 0 -1 4202560 30 1098823 0 0 0 0 1961 1197 25 0 10 0 869487018 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 0 0 0 0
[pid=17444/tid=17585] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17585/stat : 17585 (python) S 17442 17444 16517 0 -1 4202560 29 1098823 0 0 0 0 1961 1197 20 0 10 0 869511354 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 0 0 0 0
[pid=17444/tid=17591] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17591/stat : 17591 (python) S 17442 17444 16517 0 -1 4202560 32 1098823 0 0 0 0 1961 1197 18 0 10 0 869516161 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 2 0 0 0
[pid=17444/tid=17597] ppid=17442 vsize=661772 CPUtime=31.58 cores=0,2,4,6
/proc/17444/task/17597/stat : 17597 (python) S 17442 17444 16517 0 -1 4202560 28 1098823 0 0 0 0 1961 1197 20 0 10 0 869525422 677654528 78821 33554432000 4194304 5683644 140733480140176 18446744073709551615 210658970033 0 0 16781312 33554434 18446604446003392960 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 516.67
Current children cumulated vsize (KiB) 21333388
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17444 and gives
# childrusage.ru_utime.tv_sec=109
# childrusage.ru_utime.tv_usec=834302
# childrusage.ru_stime.tv_sec=13
# childrusage.ru_stime.tv_usec=213991
# CPU time returned by wait4() is 123.048
# while last known CPU time is 516.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 752.829
CPU time (s): 516.67
CPU user time (s): 494
CPU system time (s): 22.67
CPU usage (%): 68.6304
Max. virtual memory (cumulated for all children) (KiB): 21333388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.834
system time used= 13.214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1234983
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3179
involuntary context switches= 2107
runsolver used 19.2071 second user time and 40.2189 second system time
The end