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-3482281-1307578835/watcher-3482281-1307578835 -o /tmp/evaluation-result-3482281-1307578835/solver-3482281-1307578835 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482281-1307578835.opb -seed 921398561 -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: 2.08 2.09 1.92 2/822 9607
/proc/meminfo: memFree=9841304/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/9607/stat : 9607 (python) R 9605 9607 7805 0 -1 4202496 885 0 0 0 0 0 0 0 20 0 1 0 850299410 16154624 766 33554432000 4194304 5683644 140735917366048 18446744073709551615 233509958341 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9607/statm: 3944 766 343 364 0 431 0
[startup+0.0793981 s]
/proc/loadavg: 2.08 2.09 1.92 2/822 9607
/proc/meminfo: memFree=9841304/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=85364 CPUtime=0.05 cores=1,3,5,7
/proc/9607/stat : 9607 (python) D 9605 9607 7805 0 -1 4202496 2586 0 0 0 4 1 0 0 17 0 1 0 850299410 87412736 2310 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510303287 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/9607/statm: 21341 2310 709 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.100728 s]
/proc/loadavg: 2.08 2.09 1.92 2/822 9607
/proc/meminfo: memFree=9841304/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=85364 CPUtime=0.05 cores=1,3,5,7
/proc/9607/stat : 9607 (python) D 9605 9607 7805 0 -1 4202496 2586 0 0 0 4 1 0 0 17 0 1 0 850299410 87412736 2310 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510303287 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/9607/statm: 21341 2310 709 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.300688 s]
/proc/loadavg: 2.08 2.09 1.92 2/822 9607
/proc/meminfo: memFree=9841304/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=85368 CPUtime=0.05 cores=1,3,5,7
/proc/9607/stat : 9607 (python) D 9605 9607 7805 0 -1 4202496 2594 0 0 0 4 1 0 0 18 0 1 0 850299410 87416832 2316 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510303287 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 16
/proc/9607/statm: 21342 2316 714 364 0 1559 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85368
[startup+0.70058 s]
/proc/loadavg: 2.08 2.09 1.92 2/822 9607
/proc/meminfo: memFree=9841304/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=212464 CPUtime=0.22 cores=1,3,5,7
/proc/9607/stat : 9607 (python) R 9605 9607 7805 0 -1 4202496 6879 928 1 0 17 5 0 0 17 0 1 0 850299410 217563136 5135 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510295552 0 0 16781312 2 0 0 0 17 7 0 0 38
/proc/9607/statm: 53116 5135 1514 364 0 3818 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 212464
[startup+1.50048 s]
/proc/loadavg: 2.08 2.09 1.92 3/823 9612
/proc/meminfo: memFree=9805536/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=311292 CPUtime=1 cores=1,3,5,7
/proc/9607/stat : 9607 (python) R 9605 9607 7805 0 -1 4202496 16154 928 1 0 91 9 0 0 18 0 1 0 850299410 318763008 14015 33554432000 4194304 5683644 140735917366048 18446744073709551615 233509958341 0 0 16781312 2 0 0 0 17 5 0 0 38
/proc/9607/statm: 77823 14015 1781 364 0 12716 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 311292
[startup+3.10018 s]
/proc/loadavg: 2.08 2.09 1.92 3/823 9612
/proc/meminfo: memFree=9778876/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=322508 CPUtime=2.61 cores=1,3,5,7
/proc/9607/stat : 9607 (python) R 9605 9607 7805 0 -1 4202496 25713 928 1 0 250 11 0 0 20 0 1 0 850299410 330248192 16974 33554432000 4194304 5683644 140735917366048 18446744073709551615 233513706161 0 0 16781312 33554434 0 0 0 17 5 0 0 38
/proc/9607/statm: 80627 16974 1816 364 0 15520 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 322508
[startup+6.3006 s]
/proc/loadavg: 2.08 2.09 1.92 3/826 9615
/proc/meminfo: memFree=9732744/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=335652 CPUtime=3.28 cores=1,3,5,7
/proc/9607/stat : 9607 (python) S 9605 9607 7805 0 -1 4202496 26716 928 1 0 317 11 0 0 24 0 2 0 850299410 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 38
/proc/9607/statm: 83913 17751 1870 364 0 18800 0
[pid=9613] ppid=9607 vsize=325408 CPUtime=0 cores=1,3,5,7
/proc/9613/stat : 9613 (python) S 9607 9607 7805 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 850299788 333217792 16228 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510317583 0 0 16781312 33554946 1512439674923122688 0 0 17 5 0 0 0
/proc/9613/statm: 81352 16228 351 364 0 16239 0
[pid=9615] ppid=9613 vsize=45160 CPUtime=2.5 cores=1,3,5,7
/proc/9615/stat : 9615 (wbo1.4a) R 9613 9615 9615 0 -1 4202496 21377 0 0 0 246 4 0 0 21 0 1 0 850299788 46243840 10585 33554432000 134512640 135751879 4288111856 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/9615/statm: 11290 10585 146 303 0 10985 0
[pid=9607/tid=9614] ppid=9605 vsize=335652 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9614/stat : 9614 (python) S 9605 9607 7805 0 -1 4202560 25 928 0 0 0 0 0 0 24 0 2 0 850299788 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 706220
[startup+12.7005 s]
/proc/loadavg: 2.07 2.09 1.92 3/826 9615
/proc/meminfo: memFree=9707596/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=335652 CPUtime=3.28 cores=1,3,5,7
/proc/9607/stat : 9607 (python) S 9605 9607 7805 0 -1 4202496 26716 928 1 0 317 11 0 0 24 0 2 0 850299410 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 38
/proc/9607/statm: 83913 17751 1870 364 0 18800 0
[pid=9613] ppid=9607 vsize=325408 CPUtime=0.06 cores=1,3,5,7
/proc/9613/stat : 9613 (python) S 9607 9607 7805 0 -1 4202560 922 0 0 0 3 3 0 0 15 0 1 0 850299788 333217792 16252 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510317583 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/9613/statm: 81352 16252 375 364 0 16239 0
[pid=9615] ppid=9613 vsize=45860 CPUtime=8.89 cores=1,3,5,7
/proc/9615/stat : 9615 (wbo1.4a) R 9613 9615 9615 0 -1 4202496 24318 0 0 0 878 11 0 0 25 0 1 0 850299788 46960640 10883 33554432000 134512640 135751879 4288111856 18446744073709551615 134616350 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9615/statm: 11465 10883 146 303 0 11160 0
[pid=9607/tid=9614] ppid=9605 vsize=335652 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9614/stat : 9614 (python) S 9605 9607 7805 0 -1 4202560 25 928 0 0 0 0 0 0 24 0 2 0 850299788 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 706920
[startup+25.5012 s]
/proc/loadavg: 2.20 2.11 1.93 3/826 9615
/proc/meminfo: memFree=9684092/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=335652 CPUtime=3.28 cores=1,3,5,7
/proc/9607/stat : 9607 (python) S 9605 9607 7805 0 -1 4202496 26716 928 1 0 317 11 0 0 24 0 2 0 850299410 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 38
/proc/9607/statm: 83913 17751 1870 364 0 18800 0
[pid=9613] ppid=9607 vsize=325408 CPUtime=0.12 cores=1,3,5,7
/proc/9613/stat : 9613 (python) S 9607 9607 7805 0 -1 4202560 928 0 0 0 6 6 0 0 15 0 1 0 850299788 333217792 16252 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510317583 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/9613/statm: 81352 16252 375 364 0 16239 0
[pid=9615] ppid=9613 vsize=51784 CPUtime=21.69 cores=1,3,5,7
/proc/9615/stat : 9615 (wbo1.4a) R 9613 9615 9615 0 -1 4202496 26791 0 0 0 2147 22 0 0 25 0 1 0 850299788 53026816 12310 33554432000 134512640 135751879 4288111856 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9615/statm: 12946 12310 146 303 0 12641 0
[pid=9607/tid=9614] ppid=9605 vsize=335652 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9614/stat : 9614 (python) S 9605 9607 7805 0 -1 4202560 25 928 0 0 0 0 0 0 24 0 2 0 850299788 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 712844
[startup+51.1006 s]
/proc/loadavg: 2.13 2.10 1.93 3/827 9617
/proc/meminfo: memFree=9661768/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=335652 CPUtime=3.28 cores=1,3,5,7
/proc/9607/stat : 9607 (python) S 9605 9607 7805 0 -1 4202496 26716 928 1 0 317 11 0 0 24 0 2 0 850299410 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 38
/proc/9607/statm: 83913 17751 1870 364 0 18800 0
[pid=9613] ppid=9607 vsize=325408 CPUtime=0.24 cores=1,3,5,7
/proc/9613/stat : 9613 (python) S 9607 9607 7805 0 -1 4202560 938 0 0 0 12 12 0 0 15 0 1 0 850299788 333217792 16252 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510317583 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/9613/statm: 81352 16252 375 364 0 16239 0
[pid=9615] ppid=9613 vsize=58360 CPUtime=47.29 cores=1,3,5,7
/proc/9615/stat : 9615 (wbo1.4a) R 9613 9615 9615 0 -1 4202496 29116 0 0 0 4691 38 0 0 25 0 1 0 850299788 59760640 13935 33554432000 134512640 135751879 4288111856 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9615/statm: 14590 13935 146 303 0 14285 0
[pid=9607/tid=9614] ppid=9605 vsize=335652 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9614/stat : 9614 (python) S 9605 9607 7805 0 -1 4202560 25 928 0 0 0 0 0 0 24 0 2 0 850299788 343707648 17751 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 719420
[startup+102.322 s]
/proc/loadavg: 2.19 2.12 1.94 3/853 9644
/proc/meminfo: memFree=8421724/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=356164 CPUtime=3.33 cores=1,3,5,7
/proc/9607/stat : 9607 (python) S 9605 9607 7805 0 -1 4202496 28455 928 1 0 322 11 0 0 20 0 4 0 850299410 364711936 17764 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 38
/proc/9607/statm: 89041 17764 1875 364 0 23922 0
[pid=9613] ppid=9607 vsize=335652 CPUtime=0.28 cores=1,3,5,7
/proc/9613/stat : 9613 (python) S 9607 9607 7805 0 -1 4202560 1102 0 0 0 14 14 0 0 16 0 2 0 850299788 343707648 16288 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9613/statm: 83913 16288 406 364 0 18800 0
[pid=9615] ppid=9613 vsize=58360 CPUtime=48.08 cores=1,3,5,7
/proc/9615/stat : 9615 (wbo1.4a) T 9613 9615 9615 0 -1 4202496 29118 0 0 0 4770 38 0 0 25 0 1 0 850299788 59760640 13937 33554432000 134512640 135751879 4288111856 18446744073709551615 134601283 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/9615/statm: 14590 13937 146 303 0 14285 0
[pid=9613/tid=9618] ppid=9607 vsize=335652 CPUtime=0 cores=1,3,5,7
/proc/9613/task/9618/stat : 9618 (python) S 9607 9607 7805 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850304599 343707648 16288 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554946 18446604469042879296 0 0 -1 7 0 0 0
[pid=9619] ppid=9607 vsize=335664 CPUtime=0.24 cores=1,3,5,7
/proc/9619/stat : 9619 (python) S 9607 9607 7805 0 -1 4202560 1125 0 0 0 11 13 0 0 17 0 2 0 850304602 343719936 16278 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9619/statm: 83916 16278 396 364 0 18800 0
[pid=9621] ppid=9619 vsize=896072 CPUtime=47.65 cores=1,3,5,7
/proc/9621/stat : 9621 (scip-2.0.1.linu) T 9619 9621 9621 0 -1 4202496 221020 0 0 0 4617 148 0 0 25 0 1 0 850304602 917577728 216894 33554432000 4194304 13684479 140735961295488 18446744073709551615 4820555 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/9621/statm: 224018 216894 663 2317 0 221696 0
[pid=9619/tid=9623] ppid=9607 vsize=335664 CPUtime=0 cores=1,3,5,7
/proc/9619/task/9623/stat : 9623 (python) S 9607 9607 7805 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850309368 343719936 16278 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554946 18446604469204107648 0 0 -1 7 0 0 0
[pid=9624] ppid=9607 vsize=345920 CPUtime=0 cores=1,3,5,7
/proc/9624/stat : 9624 (python) S 9607 9607 7805 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 850309370 354222080 16233 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510317638 0 0 16781312 33554946 4016431979590320128 0 0 17 1 0 0 0
/proc/9624/statm: 86480 16233 348 364 0 21361 0
[pid=9626] ppid=9624 vsize=8547896 CPUtime=4.61 cores=1,3,5,7
/proc/9626/stat : 9626 (java) S 9624 9626 9626 0 -1 4202496 99424 0 1 0 449 12 0 0 20 0 19 0 850309371 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9626/statm: 2136974 91678 2242 9 0 2127715 0
[pid=9626/tid=9627] ppid=9624 vsize=8547896 CPUtime=2.59 cores=1,3,5,7
/proc/9626/task/9627/stat : 9627 (java) R 9624 9626 9626 0 -1 4202560 65096 0 1 0 252 7 0 0 21 0 19 0 850309372 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 46912506059578 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9626/tid=9628] ppid=9624 vsize=8547896 CPUtime=0.04 cores=1,3,5,7
/proc/9626/task/9628/stat : 9628 (java) S 9624 9626 9626 0 -1 4202560 3144 0 0 0 4 0 0 0 15 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 1 0 0 0
[pid=9626/tid=9629] ppid=9624 vsize=8547896 CPUtime=0.02 cores=1,3,5,7
/proc/9626/task/9629/stat : 9629 (java) S 9624 9626 9626 0 -1 4202560 2701 0 0 0 2 0 0 0 16 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 7 0 0 0
[pid=9626/tid=9630] ppid=9624 vsize=8547896 CPUtime=0.06 cores=1,3,5,7
/proc/9626/task/9630/stat : 9630 (java) S 9624 9626 9626 0 -1 4202560 4779 0 0 0 6 0 0 0 16 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 3 0 0 0
[pid=9626/tid=9631] ppid=9624 vsize=8547896 CPUtime=0.01 cores=1,3,5,7
/proc/9626/task/9631/stat : 9631 (java) S 9624 9626 9626 0 -1 4202560 1592 0 0 0 1 0 0 0 15 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 3 0 0 0
[pid=9626/tid=9632] ppid=9624 vsize=8547896 CPUtime=0.02 cores=1,3,5,7
/proc/9626/task/9632/stat : 9632 (java) S 9624 9626 9626 0 -1 4202560 1933 0 0 0 2 0 0 0 16 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 1 0 0 0
[pid=9626/tid=9633] ppid=9624 vsize=8547896 CPUtime=0.01 cores=1,3,5,7
/proc/9626/task/9633/stat : 9633 (java) S 9624 9626 9626 0 -1 4202560 1396 0 0 0 1 0 0 0 15 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 7 0 0 0
[pid=9626/tid=9634] ppid=9624 vsize=8547896 CPUtime=0.04 cores=1,3,5,7
/proc/9626/task/9634/stat : 9634 (java) S 9624 9626 9626 0 -1 4202560 3614 0 0 0 4 0 0 0 15 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 3 0 0 0
[pid=9626/tid=9635] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9635/stat : 9635 (java) S 9624 9626 9626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850309373 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 3 0 0 0
[pid=9626/tid=9636] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9636/stat : 9636 (java) S 9624 9626 9626 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 850309374 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522114048 0 0 0 16800975 18446604469204109440 0 0 -1 7 0 0 0
[pid=9626/tid=9637] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9637/stat : 9637 (java) S 9624 9626 9626 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 850309374 8753045504 91678 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446604469204109440 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=9626/tid=9644] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9644/stat : 9644 (java) T 9624 9626 9626 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850309504 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9624/tid=9650] ppid=9607 vsize=345920 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9650/stat : 9650 (python) S 9607 9607 7805 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850314062 354222080 16282 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554946 18446604462407915648 0 0 -1 3 0 0 0
[pid=9651] ppid=9607 vsize=356176 CPUtime=0.39 cores=1,3,5,7
/proc/9651/stat : 9651 (python) S 9607 9607 7805 0 -1 4202560 1003 0 0 0 19 20 0 0 15 0 1 0 850314065 364724224 16261 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510317638 0 0 16781312 33554946 5623753486446373582 0 0 17 7 0 0 0
/proc/9651/statm: 89044 16261 372 364 0 23922 0
[pid=9653] ppid=9651 vsize=30172 CPUtime=75.75 cores=1,3,5,7
/proc/9653/stat : 9653 (clasp-1.3.7-x86) R 9651 9653 9653 0 -1 4202496 9276 0 0 0 7574 1 0 0 25 0 1 0 850314065 30896128 7271 33554432000 134512640 136139019 4294289504 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/9653/statm: 7543 7271 190 398 0 7143 0
[pid=9607/tid=9614] ppid=9605 vsize=366420 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9614/stat : 9614 (python) S 9605 9607 7805 0 -1 4202560 25 928 0 0 0 0 0 0 24 0 5 0 850299788 375214080 17770 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
[pid=9607/tid=9620] ppid=9605 vsize=366420 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9620/stat : 9620 (python) S 9605 9607 7805 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 5 0 850304602 375214080 17770 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 1 0 0 0
[pid=9607/tid=9625] ppid=9605 vsize=366420 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9625/stat : 9625 (python) S 9605 9607 7805 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 5 0 850309371 375214080 17770 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
[pid=9607/tid=9652] ppid=9605 vsize=366420 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9652/stat : 9652 (python) S 9605 9607 7805 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 5 0 850314065 375214080 17770 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 225.62
Current children cumulated vsize (KiB) 11272332
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+243.002 s]
/proc/loadavg: 2.13 2.10 1.95 4/882 9677
/proc/meminfo: memFree=5572868/32951124 swapFree=64303752/67111528
[pid=9607] ppid=9605 vsize=376676 CPUtime=3.39 cores=1,3,5,7
/proc/9607/stat : 9607 (python) S 9605 9607 7805 0 -1 4202496 30265 928 1 0 327 12 0 0 19 0 6 0 850299410 385716224 17776 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 38
/proc/9607/statm: 94169 17776 1879 364 0 29044 0
[pid=9613] ppid=9607 vsize=335652 CPUtime=0.28 cores=1,3,5,7
/proc/9613/stat : 9613 (python) S 9607 9607 7805 0 -1 4202560 1102 0 0 0 14 14 0 0 16 0 2 0 850299788 343707648 16288 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9613/statm: 83913 16288 406 364 0 18800 0
[pid=9615] ppid=9613 vsize=58360 CPUtime=48.08 cores=1,3,5,7
/proc/9615/stat : 9615 (wbo1.4a) T 9613 9615 9615 0 -1 4202496 29118 0 0 0 4770 38 0 0 25 0 1 0 850299788 59760640 13937 33554432000 134512640 135751879 4288111856 18446744073709551615 134601283 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/9615/statm: 14590 13937 146 303 0 14285 0
[pid=9613/tid=9618] ppid=9607 vsize=335652 CPUtime=0 cores=1,3,5,7
/proc/9613/task/9618/stat : 9618 (python) S 9607 9607 7805 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850304599 343707648 16288 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554946 18446604469042879296 0 0 -1 7 0 0 0
[pid=9619] ppid=9607 vsize=335664 CPUtime=0.24 cores=1,3,5,7
/proc/9619/stat : 9619 (python) S 9607 9607 7805 0 -1 4202560 1125 0 0 0 11 13 0 0 17 0 2 0 850304602 343719936 16278 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9619/statm: 83916 16278 396 364 0 18800 0
[pid=9621] ppid=9619 vsize=896072 CPUtime=47.65 cores=1,3,5,7
/proc/9621/stat : 9621 (scip-2.0.1.linu) T 9619 9621 9621 0 -1 4202496 221020 0 0 0 4617 148 0 0 25 0 1 0 850304602 917577728 216894 33554432000 4194304 13684479 140735961295488 18446744073709551615 4820555 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/9621/statm: 224018 216894 663 2317 0 221696 0
[pid=9619/tid=9623] ppid=9607 vsize=335664 CPUtime=0 cores=1,3,5,7
/proc/9619/task/9623/stat : 9623 (python) S 9607 9607 7805 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850309368 343719936 16278 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554946 18446604469204107648 0 0 -1 7 0 0 0
[pid=9624] ppid=9607 vsize=345920 CPUtime=0.24 cores=1,3,5,7
/proc/9624/stat : 9624 (python) S 9607 9607 7805 0 -1 4202560 1113 0 0 0 12 12 0 0 17 0 2 0 850309370 354222080 16282 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/9624/statm: 86480 16282 396 364 0 21361 0
[pid=9626] ppid=9624 vsize=8547896 CPUtime=49.63 cores=1,3,5,7
/proc/9626/stat : 9626 (java) T 9624 9626 9626 0 -1 4202496 720599 0 1 0 4881 82 0 0 18 0 19 0 850309371 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9626/statm: 2136974 708555 2259 9 0 2127715 0
[pid=9626/tid=9627] ppid=9624 vsize=8547896 CPUtime=46.37 cores=1,3,5,7
/proc/9626/task/9627/stat : 9627 (java) T 9624 9626 9626 0 -1 4202560 631934 0 1 0 4566 71 0 0 25 0 19 0 850309372 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 46912506059440 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9626/tid=9628] ppid=9624 vsize=8547896 CPUtime=0.15 cores=1,3,5,7
/proc/9626/task/9628/stat : 9628 (java) T 9624 9626 9626 0 -1 4202560 10981 0 0 0 14 1 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9626/tid=9629] ppid=9624 vsize=8547896 CPUtime=0.09 cores=1,3,5,7
/proc/9626/task/9629/stat : 9629 (java) T 9624 9626 9626 0 -1 4202560 7397 0 0 0 8 1 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9626/tid=9630] ppid=9624 vsize=8547896 CPUtime=0.12 cores=1,3,5,7
/proc/9626/task/9630/stat : 9630 (java) T 9624 9626 9626 0 -1 4202560 7918 0 0 0 12 0 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9626/tid=9631] ppid=9624 vsize=8547896 CPUtime=0.09 cores=1,3,5,7
/proc/9626/task/9631/stat : 9631 (java) T 9624 9626 9626 0 -1 4202560 7805 0 0 0 9 0 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9626/tid=9632] ppid=9624 vsize=8547896 CPUtime=0.07 cores=1,3,5,7
/proc/9626/task/9632/stat : 9632 (java) T 9624 9626 9626 0 -1 4202560 5844 0 0 0 7 0 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9626/tid=9633] ppid=9624 vsize=8547896 CPUtime=0.11 cores=1,3,5,7
/proc/9626/task/9633/stat : 9633 (java) T 9624 9626 9626 0 -1 4202560 8892 0 0 0 11 0 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9626/tid=9634] ppid=9624 vsize=8547896 CPUtime=0.13 cores=1,3,5,7
/proc/9626/task/9634/stat : 9634 (java) T 9624 9626 9626 0 -1 4202560 9290 0 0 0 12 1 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9626/tid=9635] ppid=9624 vsize=8547896 CPUtime=0.14 cores=1,3,5,7
/proc/9626/task/9635/stat : 9635 (java) T 9624 9626 9626 0 -1 4202560 12093 0 0 0 13 1 0 0 15 0 19 0 850309373 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9626/tid=9636] ppid=9624 vsize=8547896 CPUtime=0.18 cores=1,3,5,7
/proc/9626/task/9636/stat : 9636 (java) T 9624 9626 9626 0 -1 4202560 3410 0 0 0 18 0 0 0 15 0 19 0 850309374 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522114048 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9626/tid=9637] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9637/stat : 9637 (java) T 9624 9626 9626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850309374 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9626/tid=9638] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9638/stat : 9638 (java) T 9624 9626 9626 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 850309374 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9626/tid=9639] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9639/stat : 9639 (java) T 9624 9626 9626 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850309376 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9626/tid=9640] ppid=9624 vsize=8547896 CPUtime=0.95 cores=1,3,5,7
/proc/9626/task/9640/stat : 9640 (java) T 9624 9626 9626 0 -1 4202560 5900 0 0 0 94 1 0 0 15 0 19 0 850309376 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9626/tid=9641] ppid=9624 vsize=8547896 CPUtime=1.11 cores=1,3,5,7
/proc/9626/task/9641/stat : 9641 (java) T 9624 9626 9626 0 -1 4202560 7741 0 0 0 111 0 0 0 15 0 19 0 850309376 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9626/tid=9642] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9642/stat : 9642 (java) T 9624 9626 9626 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850309376 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9626/tid=9643] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9643/stat : 9643 (java) T 9624 9626 9626 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850309376 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9626/tid=9644] ppid=9624 vsize=8547896 CPUtime=0 cores=1,3,5,7
/proc/9626/task/9644/stat : 9644 (java) T 9624 9626 9626 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850309504 8753045504 708555 33554432000 1073741824 1073778376 140733280813744 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9624/tid=9650] ppid=9607 vsize=345920 CPUtime=0 cores=1,3,5,7
/proc/9624/task/9650/stat : 9650 (python) S 9607 9607 7805 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850314062 354222080 16282 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554946 18446604462407915648 0 0 -1 3 0 0 0
[pid=9651] ppid=9607 vsize=356176 CPUtime=0.48 cores=1,3,5,7
/proc/9651/stat : 9651 (python) S 9607 9607 7805 0 -1 4202560 1176 0 0 0 23 25 0 0 16 0 2 0 850314065 364724224 16286 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9651/statm: 89044 16286 396 364 0 23922 0
[pid=9653] ppid=9651 vsize=30172 CPUtime=95.5 cores=1,3,5,7
/proc/9653/stat : 9653 (clasp-1.3.7-x86) T 9651 9653 9653 0 -1 4202496 9276 0 0 0 9549 1 0 0 25 0 1 0 850314065 30896128 7271 33554432000 134512640 136139019 4294289504 18446744073709551615 134883272 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/9653/statm: 7543 7271 190 398 0 7143 0
[pid=9651/tid=9657] ppid=9607 vsize=356176 CPUtime=0 cores=1,3,5,7
/proc/9651/task/9657/stat : 9657 (python) S 9607 9607 7805 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850323616 364724224 16286 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554946 18446604462804636992 0 0 -1 7 0 0 0
[pid=9658] ppid=9607 vsize=366432 CPUtime=0 cores=1,3,5,7
/proc/9658/stat : 9658 (python) S 9607 9607 7805 0 -1 4202560 822 0 0 0 0 0 0 0 18 0 1 0 850323618 375226368 16241 33554432000 4194304 5683644 140735917366048 18446744073709551615 233510317638 0 0 16781312 33554946 1072703064684625920 0 0 17 5 0 0 0
/proc/9658/statm: 91608 16241 348 364 0 26483 0
[pid=9660] ppid=9658 vsize=8536532 CPUtime=1.48 cores=1,3,5,7
/proc/9660/stat : 9660 (java) S 9658 9660 9660 0 -1 4202496 43631 0 1 0 142 6 0 0 20 0 18 0 850323619 8741408768 41504 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9660/statm: 2134133 41504 2229 9 0 2124874 0
[pid=9660/tid=9661] ppid=9658 vsize=8536532 CPUtime=0.9 cores=1,3,5,7
/proc/9660/task/9661/stat : 9661 (java) S 9658 9660 9660 0 -1 4202560 35187 0 1 0 85 5 0 0 18 0 18 0 850323620 8741408768 43646 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 3 0 0 0
[pid=9660/tid=9662] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9662/stat : 9662 (java) R 9658 9660 9660 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 18 0 850323621 8741408768 43650 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9660/tid=9663] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9663/stat : 9663 (java) S 9658 9660 9660 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 850323621 8741408768 43653 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 5 0 0 0
[pid=9660/tid=9664] ppid=9658 vsize=8536532 CPUtime=0.01 cores=1,3,5,7
/proc/9660/task/9664/stat : 9664 (java) R 9658 9660 9660 0 -1 4202560 1027 0 0 0 1 0 0 0 15 0 18 0 850323621 8741408768 43658 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 47971415520969 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9660/tid=9665] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9665/stat : 9665 (java) S 9658 9660 9660 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 850323621 8741408768 43662 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 3 0 0 0
[pid=9660/tid=9666] ppid=9658 vsize=8536532 CPUtime=0.01 cores=1,3,5,7
/proc/9660/task/9666/stat : 9666 (java) S 9658 9660 9660 0 -1 4202560 726 0 0 0 1 0 0 0 16 0 18 0 850323621 8741408768 43665 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 3 0 0 0
[pid=9660/tid=9667] ppid=9658 vsize=8536532 CPUtime=0.02 cores=1,3,5,7
/proc/9660/task/9667/stat : 9667 (java) R 9658 9660 9660 0 -1 4202560 1434 0 0 0 2 0 0 0 15 0 18 0 850323621 8741408768 43668 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 47971415520961 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9660/tid=9668] ppid=9658 vsize=8536532 CPUtime=0.01 cores=1,3,5,7
/proc/9660/task/9668/stat : 9668 (java) S 9658 9660 9660 0 -1 4202560 867 0 0 0 1 0 0 0 16 0 18 0 850323621 8741408768 43673 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 7 0 0 0
[pid=9660/tid=9669] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9669/stat : 9669 (java) R 9658 9660 9660 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 18 0 850323621 8741408768 43676 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 47971415520949 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9660/tid=9670] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9670/stat : 9670 (java) S 9658 9660 9660 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 18 0 850323622 8741408768 43680 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 0 0 16800975 18446604464445602688 0 0 -1 1 0 0 0
[pid=9660/tid=9671] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9671/stat : 9671 (java) S 9658 9660 9660 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 850323622 8741408768 43683 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 1 0 0 0
[pid=9660/tid=9672] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9672/stat : 9672 (java) S 9658 9660 9660 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 18 0 850323622 8741408768 43687 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 7 0 0 0
[pid=9660/tid=9673] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9673/stat : 9673 (java) S 9658 9660 9660 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850323624 8741408768 43690 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522121137 0 4 0 16800975 18446604464445602688 0 0 -1 1 0 0 0
[pid=9660/tid=9674] ppid=9658 vsize=8536532 CPUtime=0.27 cores=1,3,5,7
/proc/9660/task/9674/stat : 9674 (java) S 9658 9660 9660 0 -1 4202560 2292 0 0 0 27 0 0 0 15 0 18 0 850323624 8741408768 43694 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 1 0 0 0
[pid=9660/tid=9675] ppid=9658 vsize=8536532 CPUtime=0.25 cores=1,3,5,7
/proc/9660/task/9675/stat : 9675 (java) S 9658 9660 9660 0 -1 4202560 2306 0 0 0 25 0 0 0 15 0 18 0 850323624 8741408768 43699 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 5 0 0 0
[pid=9660/tid=9676] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9676/stat : 9676 (java) S 9658 9660 9660 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850323624 8741408768 43702 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522113433 0 4 0 16800975 18446604464445602688 0 0 -1 5 0 0 0
[pid=9660/tid=9677] ppid=9658 vsize=8536532 CPUtime=0 cores=1,3,5,7
/proc/9660/task/9677/stat : 9677 (java) S 9658 9660 9660 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 850323624 8741408768 43706 33554432000 1073741824 1073778376 140736274089632 18446744073709551615 233522114048 0 4 0 16800975 18446604464445602688 0 0 -1 3 0 0 0
[pid=9607/tid=9614] ppid=9605 vsize=376676 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9614/stat : 9614 (python) S 9605 9607 7805 0 -1 4202560 25 928 0 0 0 0 0 0 24 0 6 0 850299788 385716224 17776 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
[pid=9607/tid=9620] ppid=9605 vsize=376676 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9620/stat : 9620 (python) S 9605 9607 7805 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 850304602 385716224 17776 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 1 0 0 0
[pid=9607/tid=9625] ppid=9605 vsize=376676 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9625/stat : 9625 (python) S 9605 9607 7805 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 6 0 850309371 385716224 17776 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
[pid=9607/tid=9652] ppid=9605 vsize=376676 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9652/stat : 9652 (python) S 9605 9607 7805 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 850314065 385716224 17776 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 7 0 0 0
[pid=9607/tid=9659] ppid=9605 vsize=376676 CPUtime=0 cores=1,3,5,7
/proc/9607/task/9659/stat : 9659 (python) S 9605 9607 7805 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 850323619 385716224 17776 33554432000 4194304 5683644 140735917366048 18446744073709551615 233522121137 0 0 16781312 33554434 18446604454944807744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 246.97
Current children cumulated vsize (KiB) 20185552
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 9607 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=273502
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=130980
# CPU time returned by wait4() is 3.40448
# while last known CPU time is 246.97
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 243.098
CPU time (s): 246.97
CPU user time (s): 243.46
CPU system time (s): 3.51
CPU usage (%): 101.593
Max. virtual memory (cumulated for all children) (KiB): 20185552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2735
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31196
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= 1023
involuntary context switches= 27
runsolver used 1.65175 second user time and 3.62845 second system time
The end