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-3482387-1307576799/watcher-3482387-1307576799 -o /tmp/evaluation-result-3482387-1307576799/solver-3482387-1307576799 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482387-1307576799.opb -seed 910709415 -budget 1800
running on 4 cores: 1,3,5,7
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: 4.61 2.27 0.95 3/487 4180
/proc/meminfo: memFree=18863016/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/4180/stat : 4180 (python) R 4178 4180 3857 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 601871546 15749120 695 33554432000 4194304 5683644 140736511057824 18446744073709551615 4433760 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4180/statm: 3845 696 334 364 0 332 0
[startup+0.0566049 s]
/proc/loadavg: 4.61 2.27 0.95 3/487 4180
/proc/meminfo: memFree=18863016/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=34420 CPUtime=0.03 cores=1,3,5,7
/proc/4180/stat : 4180 (python) R 4178 4180 3857 0 -1 4202496 1552 0 0 0 3 0 0 0 20 0 1 0 601871546 35246080 1387 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660658021 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4180/statm: 8605 1387 448 364 0 943 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34420
[startup+0.100593 s]
/proc/loadavg: 4.61 2.27 0.95 3/487 4180
/proc/meminfo: memFree=18863016/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/4180/stat : 4180 (python) R 4178 4180 3857 0 -1 4202496 3169 929 1 0 6 1 0 0 18 0 1 0 601871546 98430976 2483 33554432000 4194304 5683644 140736511057824 18446744073709551615 5168667 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4180/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300782 s]
/proc/loadavg: 4.61 2.27 0.95 3/487 4180
/proc/meminfo: memFree=18863016/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=184596 CPUtime=0.21 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 6357 929 1 0 17 4 0 0 17 0 1 0 601871546 189026304 4656 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/4180/statm: 46149 4656 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 184596
[startup+0.700485 s]
/proc/loadavg: 4.61 2.27 0.95 3/487 4180
/proc/meminfo: memFree=18863016/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=284932 CPUtime=0.58 cores=1,3,5,7
/proc/4180/stat : 4180 (python) R 4178 4180 3857 0 -1 4202496 10770 1348 1 0 46 9 3 0 17 0 1 0 601871546 291770368 7618 33554432000 4194304 5683644 140736511057824 18446744073709551615 268664071105 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/4180/statm: 71233 7618 1856 364 0 6123 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 284932
[startup+1.50034 s]
/proc/loadavg: 4.61 2.27 0.95 3/491 4189
/proc/meminfo: memFree=18833644/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=295188 CPUtime=0.59 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 11036 1348 1 0 47 9 3 0 18 0 2 0 601871546 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4180/statm: 73797 7629 1863 364 0 8684 0
[pid=4187] ppid=4180 vsize=284944 CPUtime=0 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 670 0 0 0 0 0 0 0 18 0 1 0 601871616 291782656 6078 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682255 0 0 16781312 33554946 3207954817624277253 0 0 17 5 0 0 0
/proc/4187/statm: 71236 6078 316 364 0 6123 0
[pid=4189] ppid=4187 vsize=4212 CPUtime=0.78 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) R 4187 4189 4189 0 -1 4202496 1096 0 0 0 78 0 0 0 21 0 1 0 601871617 4313088 813 33554432000 134512640 136139019 4288798032 18446744073709551615 134883494 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4189/statm: 1053 813 183 398 0 653 0
[pid=4180/tid=4188] ppid=4178 vsize=295188 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4188/stat : 4188 (python) S 4178 4180 3857 0 -1 4202560 24 1348 0 0 0 0 3 0 19 0 2 0 601871617 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 584344
[startup+3.10107 s]
/proc/loadavg: 4.61 2.27 0.95 3/491 4189
/proc/meminfo: memFree=18831412/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=295188 CPUtime=0.59 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 11036 1348 1 0 47 9 3 0 18 0 2 0 601871546 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4180/statm: 73797 7629 1863 364 0 8684 0
[pid=4187] ppid=4180 vsize=284944 CPUtime=0 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 693 0 0 0 0 0 0 0 18 0 1 0 601871616 291782656 6081 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682255 0 0 16781312 33554946 4363248037531713797 0 0 17 5 0 0 0
/proc/4187/statm: 71236 6081 319 364 0 6123 0
[pid=4189] ppid=4187 vsize=5268 CPUtime=2.38 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) R 4187 4189 4189 0 -1 4202496 1348 0 0 0 238 0 0 0 25 0 1 0 601871617 5394432 1065 33554432000 134512640 136139019 4288798032 18446744073709551615 134831716 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4189/statm: 1317 1065 183 398 0 917 0
[pid=4180/tid=4188] ppid=4178 vsize=295188 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4188/stat : 4188 (python) S 4178 4180 3857 0 -1 4202560 24 1348 0 0 0 0 3 0 19 0 2 0 601871617 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 585400
[startup+6.30052 s]
/proc/loadavg: 4.81 2.35 0.98 3/491 4189
/proc/meminfo: memFree=18831040/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=295188 CPUtime=0.59 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 11036 1348 1 0 47 9 3 0 18 0 2 0 601871546 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4180/statm: 73797 7629 1863 364 0 8684 0
[pid=4187] ppid=4180 vsize=284944 CPUtime=0.01 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 854 0 0 0 0 1 0 0 18 0 1 0 601871616 291782656 6105 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682255 0 0 16781312 33554946 4363232919246831877 0 0 17 5 0 0 0
/proc/4187/statm: 71236 6105 343 364 0 6123 0
[pid=4189] ppid=4187 vsize=5664 CPUtime=5.58 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) R 4187 4189 4189 0 -1 4202496 1434 0 0 0 558 0 0 0 25 0 1 0 601871617 5799936 1151 33554432000 134512640 136139019 4288798032 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4189/statm: 1416 1151 183 398 0 1016 0
[pid=4180/tid=4188] ppid=4178 vsize=295188 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4188/stat : 4188 (python) S 4178 4180 3857 0 -1 4202560 24 1348 0 0 0 0 3 0 19 0 2 0 601871617 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 585796
[startup+12.7004 s]
/proc/loadavg: 4.98 2.42 1.01 3/491 4189
/proc/meminfo: memFree=18829480/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=295188 CPUtime=0.59 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 11036 1348 1 0 47 9 3 0 18 0 2 0 601871546 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4180/statm: 73797 7629 1863 364 0 8684 0
[pid=4187] ppid=4180 vsize=284944 CPUtime=0.03 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 859 0 0 0 1 2 0 0 18 0 1 0 601871616 291782656 6105 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682255 0 0 16781312 33554946 5623606151888251682 0 0 17 5 0 0 0
/proc/4187/statm: 71236 6105 343 364 0 6123 0
[pid=4189] ppid=4187 vsize=6060 CPUtime=11.97 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) R 4187 4189 4189 0 -1 4202496 1549 0 0 0 1197 0 0 0 25 0 1 0 601871617 6205440 1266 33554432000 134512640 136139019 4288798032 18446744073709551615 134876562 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4189/statm: 1515 1266 183 398 0 1115 0
[pid=4180/tid=4188] ppid=4178 vsize=295188 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4188/stat : 4188 (python) S 4178 4180 3857 0 -1 4202560 24 1348 0 0 0 0 3 0 19 0 2 0 601871617 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 586192
[startup+25.5011 s]
/proc/loadavg: 5.05 2.56 1.08 2/491 4204
/proc/meminfo: memFree=22318700/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=295188 CPUtime=0.59 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 11036 1348 1 0 47 9 3 0 18 0 2 0 601871546 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4180/statm: 73797 7629 1863 364 0 8684 0
[pid=4187] ppid=4180 vsize=284944 CPUtime=0.09 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 866 0 0 0 4 5 0 0 18 0 1 0 601871616 291782656 6105 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682255 0 0 16781312 33554946 5623606151888251682 0 0 17 5 0 0 0
/proc/4187/statm: 71236 6105 343 364 0 6123 0
[pid=4189] ppid=4187 vsize=7244 CPUtime=24.75 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) R 4187 4189 4189 0 -1 4202496 1847 0 0 0 2475 0 0 0 25 0 1 0 601871617 7417856 1564 33554432000 134512640 136139019 4288798032 18446744073709551615 134874923 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/4189/statm: 1811 1564 183 398 0 1411 0
[pid=4180/tid=4188] ppid=4178 vsize=295188 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4188/stat : 4188 (python) S 4178 4180 3857 0 -1 4202560 24 1348 0 0 0 0 3 0 19 0 2 0 601871617 302272512 7629 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 587376
[startup+51.1006 s]
/proc/loadavg: 4.53 2.65 1.14 3/499 4227
/proc/meminfo: memFree=23066788/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=305444 CPUtime=0.62 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 11984 1348 1 0 49 10 3 0 20 0 3 0 601871546 312774656 7644 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4180/statm: 76361 7644 1874 364 0 11245 0
[pid=4187] ppid=4180 vsize=295188 CPUtime=0.18 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 1147 0 0 0 9 9 0 0 19 0 2 0 601871616 302272512 6178 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4187/statm: 73797 6178 411 364 0 8684 0
[pid=4189] ppid=4187 vsize=7224 CPUtime=48.12 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) T 4187 4189 4189 0 -1 4202496 1850 0 0 0 4812 0 0 0 25 0 1 0 601871617 7397376 1567 33554432000 134512640 136139019 4288798032 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/4189/statm: 1806 1567 183 398 0 1406 0
[pid=4187/tid=4224] ppid=4180 vsize=295188 CPUtime=0 cores=1,3,5,7
/proc/4187/task/4224/stat : 4224 (python) S 4180 4180 3857 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 601876435 302272512 6178 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604460785513728 0 0 -1 7 0 0 0
[pid=4225] ppid=4180 vsize=295200 CPUtime=0 cores=1,3,5,7
/proc/4225/stat : 4225 (python) S 4180 4180 3857 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 601876437 302284800 6086 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682310 0 0 16781312 33554946 2627825183997558784 0 0 17 5 0 0 0
/proc/4225/statm: 73800 6086 320 364 0 8684 0
[pid=4227] ppid=4225 vsize=65500 CPUtime=2.17 cores=1,3,5,7
/proc/4227/stat : 4227 (scip-2.0.1.linu) R 4225 4227 4227 0 -1 4202496 14617 0 0 0 198 19 0 0 25 0 1 0 601876438 67072000 13820 33554432000 4194304 13684479 140733655804560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4227/statm: 16375 13820 771 2317 0 14053 0
[pid=4180/tid=4188] ppid=4178 vsize=305444 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4188/stat : 4188 (python) S 4178 4180 3857 0 -1 4202560 24 1348 0 0 0 0 3 0 19 0 3 0 601871617 312774656 7644 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
[pid=4180/tid=4226] ppid=4178 vsize=305444 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4226/stat : 4226 (python) S 4178 4180 3857 0 -1 4202560 25 1348 0 0 0 0 3 0 20 0 3 0 601876438 312774656 7644 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 968556
[startup+102.319 s]
/proc/loadavg: 3.15 2.56 1.19 3/507 4237
/proc/meminfo: memFree=22900368/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=315700 CPUtime=0.64 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 12906 1348 1 0 51 10 3 0 20 0 4 0 601871546 323276800 7650 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4180/statm: 78925 7650 1876 364 0 13806 0
[pid=4187] ppid=4180 vsize=295188 CPUtime=0.18 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 1147 0 0 0 9 9 0 0 19 0 2 0 601871616 302272512 6178 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4187/statm: 73797 6178 411 364 0 8684 0
[pid=4189] ppid=4187 vsize=7224 CPUtime=48.12 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) T 4187 4189 4189 0 -1 4202496 1850 0 0 0 4812 0 0 0 25 0 1 0 601871617 7397376 1567 33554432000 134512640 136139019 4288798032 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/4189/statm: 1806 1567 183 398 0 1406 0
[pid=4187/tid=4224] ppid=4180 vsize=295188 CPUtime=0 cores=1,3,5,7
/proc/4187/task/4224/stat : 4224 (python) S 4180 4180 3857 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 601876435 302272512 6178 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604460785513728 0 0 -1 7 0 0 0
[pid=4225] ppid=4180 vsize=295200 CPUtime=0.22 cores=1,3,5,7
/proc/4225/stat : 4225 (python) S 4180 4180 3857 0 -1 4202560 1128 0 0 0 9 13 0 0 17 0 2 0 601876437 302284800 6158 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4225/statm: 73800 6158 391 364 0 8684 0
[pid=4227] ppid=4225 vsize=90840 CPUtime=50.09 cores=1,3,5,7
/proc/4227/stat : 4227 (scip-2.0.1.linu) T 4225 4227 4227 0 -1 4202496 26045 0 0 0 4897 112 0 0 19 0 1 0 601876438 93020160 20365 33554432000 4194304 13684479 140733655804560 18446744073709551615 4752933 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/4227/statm: 22710 20365 843 2317 0 20388 0
[pid=4225/tid=4234] ppid=4180 vsize=295200 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (python) S 4180 4180 3857 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 601881448 302284800 6158 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604457723084928 0 0 -1 7 0 0 0
[pid=4235] ppid=4180 vsize=305456 CPUtime=0 cores=1,3,5,7
/proc/4235/stat : 4235 (python) S 4180 4180 3857 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 601881450 312786944 6090 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682310 0 0 16781312 33554946 3644769093459902464 0 0 17 5 0 0 0
################
# More data... #
################
[pid=4180/tid=4256] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4256/stat : 4256 (python) S 4178 4180 3857 0 -1 4202560 31 1348 0 0 0 0 3 0 20 0 10 0 601899792 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 1 0 0 0
[pid=4180/tid=4290] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4290/stat : 4290 (python) S 4178 4180 3857 0 -1 4202560 32 1348 0 0 0 0 3 0 20 0 10 0 601923187 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 7 0 0 0
[pid=4180/tid=4340] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4340/stat : 4340 (python) S 4178 4180 3857 0 -1 4202560 29 1348 0 0 0 0 3 0 20 0 10 0 601970039 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 1 0 0 0
[pid=4180/tid=4348] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4348/stat : 4348 (python) S 4178 4180 3857 0 -1 4202560 28 1348 0 0 0 0 3 0 20 0 10 0 601974936 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 1 0 0 0
[pid=4180/tid=4374] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4374/stat : 4374 (python) S 4178 4180 3857 0 -1 4202560 27 1348 0 0 0 0 3 0 20 0 10 0 602040214 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (KiB) 12718856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.8 s]
/proc/loadavg: 2.00 2.05 1.90 3/597 4384
/proc/meminfo: memFree=20270384/32951124 swapFree=46575304/67111528
[pid=4180] ppid=4178 vsize=377236 CPUtime=1.3 cores=1,3,5,7
/proc/4180/stat : 4180 (python) S 4178 4180 3857 0 -1 4202496 19674 1348 1 0 115 12 3 0 18 0 10 0 601871546 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4180/statm: 94309 7686 1888 364 0 29172 0
[pid=4187] ppid=4180 vsize=295188 CPUtime=0.96 cores=1,3,5,7
/proc/4187/stat : 4187 (python) S 4180 4180 3857 0 -1 4202560 1217 0 0 0 47 49 0 0 18 0 2 0 601871616 302272512 6179 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4187/statm: 73797 6179 412 364 0 8684 0
[pid=4189] ppid=4187 vsize=10920 CPUtime=232.9 cores=1,3,5,7
/proc/4189/stat : 4189 (clasp-1.3.7-x86) T 4187 4189 4189 0 -1 4202496 2760 0 0 0 23289 1 0 0 25 0 1 0 601871617 11182080 2473 33554432000 134512640 136139019 4288798032 18446744073709551615 134598640 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/4189/statm: 2730 2473 183 398 0 2330 0
[pid=4187/tid=4224] ppid=4180 vsize=295188 CPUtime=0 cores=1,3,5,7
/proc/4187/task/4224/stat : 4224 (python) S 4180 4180 3857 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 601876435 302272512 6179 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604460785513728 0 0 -1 7 0 0 0
[pid=4225] ppid=4180 vsize=295200 CPUtime=5.18 cores=1,3,5,7
/proc/4225/stat : 4225 (python) S 4180 4180 3857 0 -1 4202560 1305 0 0 0 243 275 0 0 15 0 2 0 601876437 302284800 6159 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4225/statm: 73800 6159 392 364 0 8684 0
[pid=4227] ppid=4225 vsize=115728 CPUtime=1074.69 cores=1,3,5,7
/proc/4227/stat : 4227 (scip-2.0.1.linu) T 4225 4227 4227 0 -1 4202496 32511 0 0 0 104966 2503 0 0 18 0 1 0 601876438 118505472 26812 33554432000 4194304 13684479 140733655804560 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/4227/statm: 28932 26812 843 2317 0 26610 0
[pid=4225/tid=4234] ppid=4180 vsize=295200 CPUtime=0 cores=1,3,5,7
/proc/4225/task/4234/stat : 4234 (python) S 4180 4180 3857 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 601881448 302284800 6159 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604457723084928 0 0 -1 1 0 0 0
[pid=4235] ppid=4180 vsize=305456 CPUtime=0.68 cores=1,3,5,7
/proc/4235/stat : 4235 (python) S 4180 4180 3857 0 -1 4202560 1163 0 0 0 30 38 0 0 15 0 2 0 601881450 312786944 6162 33554432000 4194304 5683644 140736511057824 18446744073709551615 268660682310 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4235/statm: 76364 6162 391 364 0 11245 0
[pid=4237] ppid=4235 vsize=81748 CPUtime=144.74 cores=1,3,5,7
/proc/4237/stat : 4237 (scip-2.0.1.linu) R 4235 4237 4237 0 -1 4202496 63003 0 0 0 14358 116 0 0 25 0 1 0 601881450 83709952 17873 33554432000 4194304 15243407 140734174897312 18446744073709551615 4413032 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/4237/statm: 20437 17873 967 2698 0 17732 0
[pid=4235/tid=4243] ppid=4180 vsize=305456 CPUtime=0 cores=1,3,5,7
/proc/4235/task/4243/stat : 4243 (python) S 4180 4180 3857 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 601886398 312786944 6162 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604455859204544 0 0 -1 7 0 0 0
[pid=4246] ppid=4180 vsize=315712 CPUtime=0.19 cores=1,3,5,7
/proc/4246/stat : 4246 (python) S 4180 4180 3857 0 -1 4202560 1120 0 0 0 7 12 0 0 19 0 2 0 601890864 323289088 6166 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4246/statm: 78928 6166 391 364 0 13806 0
[pid=4248] ppid=4246 vsize=74728 CPUtime=46.35 cores=1,3,5,7
/proc/4248/stat : 4248 (minion) T 4246 4248 4248 0 -1 4202496 11973 0 0 0 4634 1 0 0 25 0 1 0 601890864 76521472 11421 33554432000 134512640 165565024 4292955216 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 1 0 0 0
/proc/4248/statm: 18682 11421 359 7582 0 11097 0
[pid=4246/tid=4250] ppid=4180 vsize=315712 CPUtime=0 cores=1,3,5,7
/proc/4246/task/4250/stat : 4250 (python) S 4180 4180 3857 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 601895500 323289088 6166 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604460785512832 0 0 -1 1 0 0 0
[pid=4255] ppid=4180 vsize=325968 CPUtime=0.19 cores=1,3,5,7
/proc/4255/stat : 4255 (python) S 4180 4180 3857 0 -1 4202560 1168 0 0 0 9 10 0 0 19 0 2 0 601899792 333791232 6170 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4255/statm: 81492 6170 391 364 0 16367 0
[pid=4257] ppid=4255 vsize=113792 CPUtime=48.23 cores=1,3,5,7
/proc/4257/stat : 4257 (pbct-0.1.2-linu) T 4255 4257 4257 0 -1 4202496 28968 0 0 0 4685 138 0 0 25 0 1 0 601899792 116523008 27145 33554432000 134512640 136422188 4287243440 18446744073709551615 135029220 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/4257/statm: 28448 27145 214 467 0 27979 0
[pid=4255/tid=4261] ppid=4180 vsize=325968 CPUtime=0 cores=1,3,5,7
/proc/4255/task/4261/stat : 4261 (python) S 4180 4180 3857 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 601904616 333791232 6170 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604454854549696 0 0 -1 7 0 0 0
[pid=4289] ppid=4180 vsize=336224 CPUtime=0.2 cores=1,3,5,7
/proc/4289/stat : 4289 (python) S 4180 4180 3857 0 -1 4202560 1179 0 0 0 8 12 0 0 17 0 2 0 601923187 344293376 6174 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/4289/statm: 84056 6174 391 364 0 18928 0
[pid=4291] ppid=4289 vsize=8545704 CPUtime=50.84 cores=1,3,5,7
/proc/4291/stat : 4291 (java) T 4289 4291 4291 0 -1 4202496 164938 0 1 0 5062 22 0 0 18 0 19 0 601923187 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4291/statm: 2136426 116058 2249 9 0 2127167 0
[pid=4291/tid=4292] ppid=4289 vsize=8545704 CPUtime=48.19 cores=1,3,5,7
/proc/4291/task/4292/stat : 4292 (java) T 4289 4291 4291 0 -1 4202560 124896 0 1 0 4803 16 0 0 25 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 46912505791050 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4293] ppid=4289 vsize=8545704 CPUtime=0.08 cores=1,3,5,7
/proc/4291/task/4293/stat : 4293 (java) T 4289 4291 4291 0 -1 4202560 2688 0 0 0 8 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4294] ppid=4289 vsize=8545704 CPUtime=0.08 cores=1,3,5,7
/proc/4291/task/4294/stat : 4294 (java) T 4289 4291 4291 0 -1 4202560 2380 0 0 0 8 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4295] ppid=4289 vsize=8545704 CPUtime=0.1 cores=1,3,5,7
/proc/4291/task/4295/stat : 4295 (java) T 4289 4291 4291 0 -1 4202560 4060 0 0 0 10 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4296] ppid=4289 vsize=8545704 CPUtime=0.08 cores=1,3,5,7
/proc/4291/task/4296/stat : 4296 (java) T 4289 4291 4291 0 -1 4202560 1621 0 0 0 8 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4297] ppid=4289 vsize=8545704 CPUtime=0.1 cores=1,3,5,7
/proc/4291/task/4297/stat : 4297 (java) T 4289 4291 4291 0 -1 4202560 4217 0 0 0 10 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4298] ppid=4289 vsize=8545704 CPUtime=0.09 cores=1,3,5,7
/proc/4291/task/4298/stat : 4298 (java) T 4289 4291 4291 0 -1 4202560 1969 0 0 0 9 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4291/tid=4299] ppid=4289 vsize=8545704 CPUtime=0.05 cores=1,3,5,7
/proc/4291/task/4299/stat : 4299 (java) T 4289 4291 4291 0 -1 4202560 1731 0 0 0 5 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4300] ppid=4289 vsize=8545704 CPUtime=0.08 cores=1,3,5,7
/proc/4291/task/4300/stat : 4300 (java) T 4289 4291 4291 0 -1 4202560 3556 0 0 0 8 0 0 0 15 0 19 0 601923188 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4301] ppid=4289 vsize=8545704 CPUtime=0 cores=1,3,5,7
/proc/4291/task/4301/stat : 4301 (java) T 4289 4291 4291 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 601923190 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478720 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4291/tid=4302] ppid=4289 vsize=8545704 CPUtime=0 cores=1,3,5,7
/proc/4291/task/4302/stat : 4302 (java) T 4289 4291 4291 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 601923190 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4291/tid=4303] ppid=4289 vsize=8545704 CPUtime=0 cores=1,3,5,7
/proc/4291/task/4303/stat : 4303 (java) T 4289 4291 4291 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 601923190 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4291/tid=4304] ppid=4289 vsize=8545704 CPUtime=0 cores=1,3,5,7
/proc/4291/task/4304/stat : 4304 (java) T 4289 4291 4291 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 601923192 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672485809 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4291/tid=4305] ppid=4289 vsize=8545704 CPUtime=1.07 cores=1,3,5,7
/proc/4291/task/4305/stat : 4305 (java) T 4289 4291 4291 0 -1 4202560 8120 0 0 0 107 0 0 0 15 0 19 0 601923192 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=4291/tid=4306] ppid=4289 vsize=8545704 CPUtime=0.81 cores=1,3,5,7
/proc/4291/task/4306/stat : 4306 (java) T 4289 4291 4291 0 -1 4202560 8106 0 0 0 80 1 0 0 15 0 19 0 601923192 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4307] ppid=4289 vsize=8545704 CPUtime=0 cores=1,3,5,7
/proc/4291/task/4307/stat : 4307 (java) T 4289 4291 4291 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 601923192 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478105 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4291/tid=4308] ppid=4289 vsize=8545704 CPUtime=0 cores=1,3,5,7
/proc/4291/task/4308/stat : 4308 (java) T 4289 4291 4291 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 601923192 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478720 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=4291/tid=4309] ppid=4289 vsize=8545704 CPUtime=0 cores=1,3,5,7
/proc/4291/task/4309/stat : 4309 (java) T 4289 4291 4291 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 601923226 8750800896 116058 33554432000 1073741824 1073778376 140736116286800 18446744073709551615 268672478720 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=4289/tid=4317] ppid=4180 vsize=336224 CPUtime=0 cores=1,3,5,7
/proc/4289/task/4317/stat : 4317 (python) S 4180 4180 3857 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 601928046 344293376 6174 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604470674225920 0 0 -1 1 0 0 0
[pid=4339] ppid=4180 vsize=346480 CPUtime=0.21 cores=1,3,5,7
/proc/4339/stat : 4339 (python) S 4180 4180 3857 0 -1 4202560 1157 0 0 0 10 11 0 0 16 0 2 0 601970039 354795520 6178 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4339/statm: 86620 6178 391 364 0 21489 0
[pid=4341] ppid=4339 vsize=85468 CPUtime=48.93 cores=1,3,5,7
/proc/4341/stat : 4341 (bsolo_pb10) T 4339 4341 4341 0 -1 4202496 19326 0 0 0 4887 6 0 0 25 0 1 0 601970040 87519232 18929 33554432000 134512640 137138936 4288216192 18446744073709551615 134542307 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/4341/statm: 21367 18929 192 642 0 20723 0
[pid=4339/tid=4346] ppid=4180 vsize=346480 CPUtime=0 cores=1,3,5,7
/proc/4339/task/4346/stat : 4346 (python) S 4180 4180 3857 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 601974934 354795520 6178 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604462842847296 0 0 -1 7 0 0 0
[pid=4347] ppid=4180 vsize=356736 CPUtime=0.39 cores=1,3,5,7
/proc/4347/stat : 4347 (python) S 4180 4180 3857 0 -1 4202560 1252 0 0 0 18 21 0 0 17 0 2 0 601974936 365297664 6188 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4347/statm: 89184 6188 397 364 0 24050 0
[pid=4349] ppid=4347 vsize=141732 CPUtime=93.13 cores=1,3,5,7
/proc/4349/stat : 4349 (bsolo_pb10) T 4347 4349 4349 0 -1 4202496 33399 0 0 0 9298 15 0 0 25 0 1 0 601974936 145133568 33005 33554432000 134512640 137138936 4294303568 18446744073709551615 134542295 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/4349/statm: 35433 33005 190 642 0 34789 0
[pid=4347/tid=4354] ppid=4180 vsize=356736 CPUtime=0 cores=1,3,5,7
/proc/4347/task/4354/stat : 4354 (python) S 4180 4180 3857 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 601984251 365297664 6188 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604456094269888 0 0 -1 7 0 0 0
[pid=4373] ppid=4180 vsize=366992 CPUtime=0.23 cores=1,3,5,7
/proc/4373/stat : 4373 (python) S 4180 4180 3857 0 -1 4202560 1212 0 0 0 10 13 0 0 17 0 2 0 602040213 375799808 6192 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/4373/statm: 91748 6192 397 364 0 26611 0
[pid=4375] ppid=4373 vsize=229252 CPUtime=50.72 cores=1,3,5,7
/proc/4375/stat : 4375 (wbo1.4a) T 4373 4375 4375 0 -1 4202496 57090 0 0 0 5003 69 0 0 25 0 1 0 602040214 234754048 56756 33554432000 134512640 135751879 4291474624 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/4375/statm: 57313 56756 143 303 0 57008 0
[pid=4373/tid=4381] ppid=4180 vsize=366992 CPUtime=0 cores=1,3,5,7
/proc/4373/task/4381/stat : 4381 (python) S 4180 4180 3857 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 602045287 375799808 6192 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554946 18446604465648269312 0 0 -1 1 0 0 0
[pid=4180/tid=4188] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4188/stat : 4188 (python) S 4178 4180 3857 0 -1 4202560 34 1348 0 0 0 0 3 0 18 0 10 0 601871617 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
[pid=4180/tid=4226] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4226/stat : 4226 (python) S 4178 4180 3857 0 -1 4202560 42 1348 0 0 0 0 3 0 18 0 10 0 601876438 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 5 0 0 0
[pid=4180/tid=4236] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4236/stat : 4236 (python) S 4178 4180 3857 0 -1 4202560 40 1348 0 0 0 0 3 0 15 0 10 0 601881450 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 7 0 0 0
[pid=4180/tid=4247] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4247/stat : 4247 (python) S 4178 4180 3857 0 -1 4202560 29 1348 0 0 0 0 3 0 20 0 10 0 601890864 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 7 0 0 0
[pid=4180/tid=4256] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4256/stat : 4256 (python) S 4178 4180 3857 0 -1 4202560 31 1348 0 0 0 0 3 0 20 0 10 0 601899792 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 1 0 0 0
[pid=4180/tid=4290] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4290/stat : 4290 (python) S 4178 4180 3857 0 -1 4202560 32 1348 0 0 0 0 3 0 20 0 10 0 601923187 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 7 0 0 0
[pid=4180/tid=4340] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4340/stat : 4340 (python) S 4178 4180 3857 0 -1 4202560 29 1348 0 0 0 0 3 0 20 0 10 0 601970039 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 1 0 0 0
[pid=4180/tid=4348] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4348/stat : 4348 (python) S 4178 4180 3857 0 -1 4202560 28 1348 0 0 0 0 3 0 20 0 10 0 601974936 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 1 0 0 0
[pid=4180/tid=4374] ppid=4178 vsize=377236 CPUtime=0.03 cores=1,3,5,7
/proc/4180/task/4374/stat : 4374 (python) S 4178 4180 3857 0 -1 4202560 27 1348 0 0 0 0 3 0 20 0 10 0 602040214 386289664 7686 33554432000 4194304 5683644 140736511057824 18446744073709551615 268672485809 0 0 16781312 33554434 18446604466852226112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 12720264
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 4180 and gives
# childrusage.ru_utime.tv_sec=197
# childrusage.ru_utime.tv_usec=556966
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=823114
# CPU time returned by wait4() is 203.38
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.88
CPU time (s): 1800.06
CPU user time (s): 1766.82
CPU system time (s): 33.24
CPU usage (%): 100.569
Max. virtual memory (cumulated for all children) (KiB): 12722068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.557
system time used= 5.82311
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116254
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= 5143
involuntary context switches= 863
runsolver used 12.7541 second user time and 29.8315 second system time
The end