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-3482289-1307578824/watcher-3482289-1307578824 -o /tmp/evaluation-result-3482289-1307578824/solver-3482289-1307578824 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482289-1307578824.opb -seed 1288066609 -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.05 2.08 1.92 2/749 19623
/proc/meminfo: memFree=14151192/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/19623/stat : 19623 (python) R 19621 19623 17566 0 -1 4202496 820 0 0 0 0 0 0 0 22 0 1 0 948112999 15753216 704 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458109063 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19623/statm: 3846 704 334 364 0 333 0
[startup+0.092111 s]
/proc/loadavg: 2.05 2.08 1.92 2/749 19623
/proc/meminfo: memFree=14151192/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=84492 CPUtime=0.05 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 2273 0 0 0 4 1 0 0 22 0 1 0 948112999 86519808 2017 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458092316 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/19623/statm: 21143 2127 707 364 0 1360 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84492
[startup+0.102106 s]
/proc/loadavg: 2.05 2.08 1.92 2/749 19623
/proc/meminfo: memFree=14151192/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=85624 CPUtime=0.05 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 2666 0 0 0 4 1 0 0 17 0 1 0 948112999 87678976 2382 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19623/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.301725 s]
/proc/loadavg: 2.05 2.08 1.92 2/749 19623
/proc/meminfo: memFree=14151192/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 5358 931 1 0 12 4 0 0 17 0 1 0 948112999 126713856 3744 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/19623/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.70606 s]
/proc/loadavg: 2.05 2.08 1.92 2/749 19623
/proc/meminfo: memFree=14151192/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=289256 CPUtime=0.42 cores=0,2,4,6
/proc/19623/stat : 19623 (python) R 19621 19623 17566 0 -1 4202496 10780 931 1 0 30 12 0 0 16 0 1 0 948112999 296198144 8641 33554432000 4194304 5683644 140733903808800 18446744073709551615 4272792 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19623/statm: 72314 8641 1781 364 0 7207 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 289256
[startup+1.50087 s]
/proc/loadavg: 2.05 2.08 1.92 3/750 19628
/proc/meminfo: memFree=14112372/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=316124 CPUtime=1.22 cores=0,2,4,6
/proc/19623/stat : 19623 (python) R 19621 19623 17566 0 -1 4202496 17189 931 1 0 109 13 0 0 16 0 1 0 948112999 323710976 15050 33554432000 4194304 5683644 140733903808800 18446744073709551615 47581666727036 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19623/statm: 79031 15050 1781 364 0 13924 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 316124
[startup+3.10061 s]
/proc/loadavg: 2.05 2.08 1.92 3/750 19628
/proc/meminfo: memFree=14085960/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=325860 CPUtime=2.82 cores=0,2,4,6
/proc/19623/stat : 19623 (python) R 19621 19623 17566 0 -1 4202496 27078 931 1 0 267 15 0 0 19 0 1 0 948112999 333680640 17812 33554432000 4194304 5683644 140733903808800 18446744073709551615 4527944 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/19623/statm: 81465 17812 1816 364 0 16358 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 325860
[startup+6.30102 s]
/proc/loadavg: 2.21 2.11 1.93 3/753 19631
/proc/meminfo: memFree=14038764/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=339140 CPUtime=3.75 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 28112 931 1 0 360 15 0 0 22 0 2 0 948112999 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19623/statm: 84785 18615 1862 364 0 19672 0
[pid=19629] ppid=19623 vsize=328896 CPUtime=0 cores=0,2,4,6
/proc/19629/stat : 19629 (python) S 19623 19623 17566 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 948113402 336789504 17100 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458085903 0 0 16781312 33554946 9150172295048691970 0 0 17 6 0 0 0
/proc/19629/statm: 82224 17100 351 364 0 17111 0
[pid=19631] ppid=19629 vsize=43068 CPUtime=2.26 cores=0,2,4,6
/proc/19631/stat : 19631 (wbo1.4a) R 19629 19631 19631 0 -1 4202496 20457 0 0 0 223 3 0 0 25 0 1 0 948113402 44101632 10154 33554432000 134512640 135751879 4294079360 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/19631/statm: 10767 10154 146 303 0 10462 0
[pid=19623/tid=19630] ppid=19621 vsize=339140 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19630/stat : 19630 (python) S 19621 19623 17566 0 -1 4202560 27 931 0 0 0 0 0 0 22 0 2 0 948113402 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 711104
[startup+12.7008 s]
/proc/loadavg: 2.19 2.11 1.93 3/753 19631
/proc/meminfo: memFree=14031348/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=339140 CPUtime=3.75 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 28112 931 1 0 360 15 0 0 22 0 2 0 948112999 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19623/statm: 84785 18615 1862 364 0 19672 0
[pid=19629] ppid=19623 vsize=328896 CPUtime=0.04 cores=0,2,4,6
/proc/19629/stat : 19629 (python) S 19623 19623 17566 0 -1 4202560 917 0 0 0 2 2 0 0 15 0 1 0 948113402 336789504 17124 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458085903 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/19629/statm: 82224 17124 375 364 0 17111 0
[pid=19631] ppid=19629 vsize=48784 CPUtime=8.65 cores=0,2,4,6
/proc/19631/stat : 19631 (wbo1.4a) R 19629 19631 19631 0 -1 4202496 28837 0 0 0 859 6 0 0 25 0 1 0 948113402 49954816 11524 33554432000 134512640 135751879 4294079360 18446744073709551615 134642044 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/19631/statm: 12196 11524 146 303 0 11891 0
[pid=19623/tid=19630] ppid=19621 vsize=339140 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19630/stat : 19630 (python) S 19621 19623 17566 0 -1 4202560 27 931 0 0 0 0 0 0 22 0 2 0 948113402 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 716820
[startup+25.5004 s]
/proc/loadavg: 2.31 2.14 1.94 3/753 19631
/proc/meminfo: memFree=14026232/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=339140 CPUtime=3.75 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 28112 931 1 0 360 15 0 0 22 0 2 0 948112999 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19623/statm: 84785 18615 1862 364 0 19672 0
[pid=19629] ppid=19623 vsize=328896 CPUtime=0.11 cores=0,2,4,6
/proc/19629/stat : 19629 (python) S 19623 19623 17566 0 -1 4202560 925 0 0 0 6 5 0 0 15 0 1 0 948113402 336789504 17124 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458085903 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/19629/statm: 82224 17124 375 364 0 17111 0
[pid=19631] ppid=19629 vsize=54888 CPUtime=21.46 cores=0,2,4,6
/proc/19631/stat : 19631 (wbo1.4a) R 19629 19631 19631 0 -1 4202496 32153 0 0 0 2134 12 0 0 25 0 1 0 948113402 56205312 13053 33554432000 134512640 135751879 4294079360 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/19631/statm: 13722 13053 146 303 0 13417 0
[pid=19623/tid=19630] ppid=19621 vsize=339140 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19630/stat : 19630 (python) S 19621 19623 17566 0 -1 4202560 27 931 0 0 0 0 0 0 22 0 2 0 948113402 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 722924
[startup+51.1007 s]
/proc/loadavg: 2.20 2.13 1.94 3/753 19632
/proc/meminfo: memFree=14010448/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=339140 CPUtime=3.75 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 28112 931 1 0 360 15 0 0 22 0 2 0 948112999 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19623/statm: 84785 18615 1862 364 0 19672 0
[pid=19629] ppid=19623 vsize=328896 CPUtime=0.24 cores=0,2,4,6
/proc/19629/stat : 19629 (python) S 19623 19623 17566 0 -1 4202560 937 0 0 0 12 12 0 0 15 0 1 0 948113402 336789504 17124 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458085903 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/19629/statm: 82224 17124 375 364 0 17111 0
[pid=19631] ppid=19629 vsize=71296 CPUtime=47.06 cores=0,2,4,6
/proc/19631/stat : 19631 (wbo1.4a) R 19629 19631 19631 0 -1 4202496 38061 0 0 0 4686 20 0 0 25 0 1 0 948113402 73007104 17176 33554432000 134512640 135751879 4294079360 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/19631/statm: 17824 17176 146 303 0 17519 0
[pid=19623/tid=19630] ppid=19621 vsize=339140 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19630/stat : 19630 (python) S 19621 19623 17566 0 -1 4202560 27 931 0 0 0 0 0 0 22 0 2 0 948113402 347279360 18615 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 739332
[startup+102.32 s]
/proc/loadavg: 2.09 2.11 1.94 3/778 19658
/proc/meminfo: memFree=13117620/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=359652 CPUtime=3.8 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 29820 931 1 0 365 15 0 0 19 0 4 0 948112999 368283648 18636 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/19623/statm: 89913 18636 1875 364 0 24794 0
[pid=19629] ppid=19623 vsize=339140 CPUtime=0.26 cores=0,2,4,6
/proc/19629/stat : 19629 (python) S 19623 19623 17566 0 -1 4202560 1098 0 0 0 13 13 0 0 16 0 2 0 948113402 347279360 17160 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19629/statm: 84785 17160 406 364 0 19672 0
[pid=19631] ppid=19629 vsize=71296 CPUtime=50.16 cores=0,2,4,6
/proc/19631/stat : 19631 (wbo1.4a) T 19629 19631 19631 0 -1 4202496 38061 0 0 0 4995 21 0 0 25 0 1 0 948113402 73007104 17176 33554432000 134512640 135751879 4294079360 18446744073709551615 134518784 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/19631/statm: 17824 17176 146 303 0 17519 0
[pid=19629/tid=19633] ppid=19623 vsize=339140 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (python) S 19623 19623 17566 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948118419 347279360 17160 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444721690560 0 0 -1 6 0 0 0
[pid=19634] ppid=19623 vsize=339152 CPUtime=0.21 cores=0,2,4,6
/proc/19634/stat : 19634 (python) S 19623 19623 17566 0 -1 4202560 1103 0 0 0 12 9 0 0 17 0 2 0 948118422 347291648 17150 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19634/statm: 84788 17150 396 364 0 19672 0
[pid=19636] ppid=19634 vsize=881024 CPUtime=47.54 cores=0,2,4,6
/proc/19636/stat : 19636 (scip-2.0.1.linu) T 19634 19636 19636 0 -1 4202496 217024 0 0 0 4685 69 0 0 25 0 1 0 948118422 902168576 212908 33554432000 4194304 13684479 140734162986128 18446744073709551615 4880636 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/19636/statm: 220256 212908 673 2317 0 217934 0
[pid=19634/tid=19638] ppid=19623 vsize=339152 CPUtime=0 cores=0,2,4,6
/proc/19634/task/19638/stat : 19638 (python) S 19623 19623 17566 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948123180 347291648 17150 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554946 18446604453859183552 0 0 -1 6 0 0 0
[pid=19639] ppid=19623 vsize=349408 CPUtime=0 cores=0,2,4,6
/proc/19639/stat : 19639 (python) S 19623 19623 17566 0 -1 4202560 795 0 0 0 0 0 0 0 18 0 1 0 948123182 357793792 17105 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458085958 0 0 16781312 33554946 3064346001897684992 0 0 17 2 0 0 0
/proc/19639/statm: 87352 17105 348 364 0 22233 0
[pid=19641] ppid=19639 vsize=8536828 CPUtime=0.94 cores=0,2,4,6
/proc/19641/stat : 19641 (java) S 19639 19641 19641 0 -1 4202496 22496 0 1 0 90 4 0 0 20 0 18 0 948123183 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19641/statm: 2134207 20110 2214 9 0 2124948 0
[pid=19641/tid=19642] ppid=19639 vsize=8536828 CPUtime=0.44 cores=0,2,4,6
/proc/19641/task/19642/stat : 19642 (java) R 19639 19641 19641 0 -1 4202560 16154 0 1 0 42 2 0 0 18 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 46912505164270 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19641/tid=19643] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19643/stat : 19643 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 6 0 0 0
[pid=19641/tid=19644] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19644/stat : 19644 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 6 0 0 0
[pid=19641/tid=19645] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19645/stat : 19645 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 6 0 0 0
[pid=19641/tid=19646] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19646/stat : 19646 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 2 0 0 0
[pid=19641/tid=19647] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19647/stat : 19647 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 2 0 0 0
[pid=19641/tid=19648] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19648/stat : 19648 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 2 0 0 0
[pid=19641/tid=19649] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19649/stat : 19649 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 2 0 0 0
[pid=19641/tid=19650] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19650/stat : 19650 (java) S 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948123184 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 2 0 0 0
[pid=19641/tid=19651] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19651/stat : 19651 (java) S 19639 19641 19641 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 948123185 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469882368 0 0 0 16800975 18446604438068361344 0 0 -1 6 0 0 0
[pid=19641/tid=19652] ppid=19639 vsize=8536828 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19652/stat : 19652 (java) S 19639 19641 19641 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 948123186 8741711872 20110 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446604438068361344 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=19623/tid=19635] ppid=19621 vsize=380164 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19635/stat : 19635 (python) S 19621 19623 17566 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 6 0 948118422 389287936 18648 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 6 0 0 0
[pid=19623/tid=19640] ppid=19621 vsize=380164 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19640/stat : 19640 (python) S 19621 19623 17566 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 948123183 389287936 18648 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 6 0 0 0
[pid=19623/tid=19664] ppid=19621 vsize=380164 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19664/stat : 19664 (python) S 19621 19623 17566 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 948127734 389287936 18648 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
[pid=19623/tid=19669] ppid=19621 vsize=380164 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19669/stat : 19669 (python) S 19621 19623 17566 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 948132537 389287936 18648 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 286.19
Current children cumulated vsize (KiB) 12537040
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+291.403 s]
/proc/loadavg: 1.61 1.95 1.91 3/787 19711
/proc/meminfo: memFree=9447484/32951124 swapFree=56297244/67111528
[pid=19623] ppid=19621 vsize=390420 CPUtime=3.89 cores=0,2,4,6
/proc/19623/stat : 19623 (python) S 19621 19623 17566 0 -1 4202496 32573 931 1 0 373 16 0 0 20 0 7 0 948112999 399790080 18654 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19623/statm: 97605 18654 1881 364 0 32477 0
[pid=19629] ppid=19623 vsize=339140 CPUtime=0.26 cores=0,2,4,6
/proc/19629/stat : 19629 (python) S 19623 19623 17566 0 -1 4202560 1098 0 0 0 13 13 0 0 16 0 2 0 948113402 347279360 17160 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19629/statm: 84785 17160 406 364 0 19672 0
[pid=19631] ppid=19629 vsize=71296 CPUtime=50.16 cores=0,2,4,6
/proc/19631/stat : 19631 (wbo1.4a) T 19629 19631 19631 0 -1 4202496 38061 0 0 0 4995 21 0 0 25 0 1 0 948113402 73007104 17176 33554432000 134512640 135751879 4294079360 18446744073709551615 134518784 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/19631/statm: 17824 17176 146 303 0 17519 0
[pid=19629/tid=19633] ppid=19623 vsize=339140 CPUtime=0 cores=0,2,4,6
/proc/19629/task/19633/stat : 19633 (python) S 19623 19623 17566 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948118419 347279360 17160 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444721690560 0 0 -1 6 0 0 0
[pid=19634] ppid=19623 vsize=339152 CPUtime=0.21 cores=0,2,4,6
/proc/19634/stat : 19634 (python) S 19623 19623 17566 0 -1 4202560 1103 0 0 0 12 9 0 0 17 0 2 0 948118422 347291648 17150 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19634/statm: 84788 17150 396 364 0 19672 0
[pid=19636] ppid=19634 vsize=881024 CPUtime=47.54 cores=0,2,4,6
/proc/19636/stat : 19636 (scip-2.0.1.linu) T 19634 19636 19636 0 -1 4202496 217024 0 0 0 4685 69 0 0 25 0 1 0 948118422 902168576 212908 33554432000 4194304 13684479 140734162986128 18446744073709551615 4880636 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/19636/statm: 220256 212908 673 2317 0 217934 0
[pid=19634/tid=19638] ppid=19623 vsize=339152 CPUtime=0 cores=0,2,4,6
/proc/19634/task/19638/stat : 19638 (python) S 19623 19623 17566 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948123180 347291648 17150 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554946 18446604453859183552 0 0 -1 6 0 0 0
[pid=19639] ppid=19623 vsize=349408 CPUtime=0.23 cores=0,2,4,6
/proc/19639/stat : 19639 (python) S 19623 19623 17566 0 -1 4202560 1105 0 0 0 12 11 0 0 17 0 2 0 948123182 357793792 17154 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/19639/statm: 87352 17154 396 364 0 22233 0
[pid=19641] ppid=19639 vsize=8544276 CPUtime=48.45 cores=0,2,4,6
/proc/19641/stat : 19641 (java) T 19639 19641 19641 0 -1 4202496 723214 0 1 0 4754 91 0 0 18 0 19 0 948123183 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19641/statm: 2136069 703586 2260 9 0 2126810 0
[pid=19641/tid=19642] ppid=19639 vsize=8544276 CPUtime=44.82 cores=0,2,4,6
/proc/19641/task/19642/stat : 19642 (java) T 19639 19641 19641 0 -1 4202560 631548 0 1 0 4406 76 0 0 25 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 46912506054440 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19641/tid=19643] ppid=19639 vsize=8544276 CPUtime=0.12 cores=0,2,4,6
/proc/19641/task/19643/stat : 19643 (java) T 19639 19641 19641 0 -1 4202560 7537 0 0 0 12 0 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19641/tid=19644] ppid=19639 vsize=8544276 CPUtime=0.22 cores=0,2,4,6
/proc/19641/task/19644/stat : 19644 (java) T 19639 19641 19641 0 -1 4202560 13650 0 0 0 20 2 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19641/tid=19645] ppid=19639 vsize=8544276 CPUtime=0.14 cores=0,2,4,6
/proc/19641/task/19645/stat : 19645 (java) T 19639 19641 19641 0 -1 4202560 8505 0 0 0 13 1 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19641/tid=19646] ppid=19639 vsize=8544276 CPUtime=0.13 cores=0,2,4,6
/proc/19641/task/19646/stat : 19646 (java) T 19639 19641 19641 0 -1 4202560 9536 0 0 0 12 1 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=19641/tid=19647] ppid=19639 vsize=8544276 CPUtime=0.17 cores=0,2,4,6
/proc/19641/task/19647/stat : 19647 (java) T 19639 19641 19641 0 -1 4202560 10738 0 0 0 16 1 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19641/tid=19648] ppid=19639 vsize=8544276 CPUtime=0.12 cores=0,2,4,6
/proc/19641/task/19648/stat : 19648 (java) T 19639 19641 19641 0 -1 4202560 8227 0 0 0 11 1 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19641/tid=19649] ppid=19639 vsize=8544276 CPUtime=0.17 cores=0,2,4,6
/proc/19641/task/19649/stat : 19649 (java) T 19639 19641 19641 0 -1 4202560 10691 0 0 0 16 1 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=19641/tid=19650] ppid=19639 vsize=8544276 CPUtime=0.13 cores=0,2,4,6
/proc/19641/task/19650/stat : 19650 (java) T 19639 19641 19641 0 -1 4202560 8151 0 0 0 12 1 0 0 15 0 19 0 948123184 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19641/tid=19651] ppid=19639 vsize=8544276 CPUtime=0.22 cores=0,2,4,6
/proc/19641/task/19651/stat : 19651 (java) T 19639 19641 19641 0 -1 4202560 1426 0 0 0 22 0 0 0 15 0 19 0 948123185 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469882368 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=19641/tid=19652] ppid=19639 vsize=8544276 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19652/stat : 19652 (java) T 19639 19641 19641 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 948123186 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19641/tid=19653] ppid=19639 vsize=8544276 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19653/stat : 19653 (java) T 19639 19641 19641 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 948123186 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19641/tid=19654] ppid=19639 vsize=8544276 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19654/stat : 19654 (java) T 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948123188 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=19641/tid=19655] ppid=19639 vsize=8544276 CPUtime=0.92 cores=0,2,4,6
/proc/19641/task/19655/stat : 19655 (java) T 19639 19641 19641 0 -1 4202560 3579 0 0 0 92 0 0 0 15 0 19 0 948123188 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19641/tid=19656] ppid=19639 vsize=8544276 CPUtime=1.18 cores=0,2,4,6
/proc/19641/task/19656/stat : 19656 (java) T 19639 19641 19641 0 -1 4202560 8237 0 0 0 117 1 0 0 15 0 19 0 948123188 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19641/tid=19657] ppid=19639 vsize=8544276 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19657/stat : 19657 (java) T 19639 19641 19641 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948123188 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=19641/tid=19658] ppid=19639 vsize=8544276 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19658/stat : 19658 (java) T 19639 19641 19641 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948123188 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=19641/tid=19659] ppid=19639 vsize=8544276 CPUtime=0 cores=0,2,4,6
/proc/19641/task/19659/stat : 19659 (java) T 19639 19641 19641 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948123328 8749338624 703586 33554432000 1073741824 1073778376 140734780988352 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=19639/tid=19662] ppid=19623 vsize=349408 CPUtime=0 cores=0,2,4,6
/proc/19639/task/19662/stat : 19662 (python) S 19623 19623 17566 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948127731 357793792 17154 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554946 18446604446410293568 0 0 -1 0 0 0 0
[pid=19663] ppid=19623 vsize=359664 CPUtime=0.22 cores=0,2,4,6
/proc/19663/stat : 19663 (python) S 19623 19623 17566 0 -1 4202560 1138 0 0 0 11 11 0 0 17 0 2 0 948127733 368295936 17158 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19663/statm: 89916 17158 396 364 0 24794 0
[pid=19665] ppid=19663 vsize=868556 CPUtime=47.96 cores=0,2,4,6
/proc/19665/stat : 19665 (scip-2.0.1.linu) T 19663 19665 19665 0 -1 4202496 213485 0 0 0 4719 77 0 0 25 0 1 0 948127734 889401344 209383 33554432000 4194304 15243407 140736258021968 18446744073709551615 5688756 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/19665/statm: 217139 209383 733 2698 0 214434 0
[pid=19663/tid=19667] ppid=19623 vsize=359664 CPUtime=0 cores=0,2,4,6
/proc/19663/task/19667/stat : 19667 (python) S 19623 19623 17566 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948132534 368295936 17158 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444334524608 0 0 -1 6 0 0 0
[pid=19668] ppid=19623 vsize=369920 CPUtime=0.43 cores=0,2,4,6
/proc/19668/stat : 19668 (python) S 19623 19623 17566 0 -1 4202560 1220 0 0 0 22 21 0 0 17 0 2 0 948132537 378798080 17168 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/19668/statm: 92480 17168 402 364 0 27355 0
[pid=19670] ppid=19668 vsize=35404 CPUtime=95.14 cores=0,2,4,6
/proc/19670/stat : 19670 (clasp-1.3.7-x86) T 19668 19670 19670 0 -1 4202496 10596 0 0 0 9512 2 0 0 25 0 1 0 948132537 36253696 8586 33554432000 134512640 136139019 4292870832 18446744073709551615 134599050 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/19670/statm: 8851 8586 190 398 0 8451 0
[pid=19668/tid=19691] ppid=19623 vsize=369920 CPUtime=0 cores=0,2,4,6
/proc/19668/task/19691/stat : 19691 (python) S 19623 19623 17566 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 948142052 378798080 17168 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554946 18446604444721688768 0 0 -1 6 0 0 0
[pid=19692] ppid=19623 vsize=380176 CPUtime=0 cores=0,2,4,6
/proc/19692/stat : 19692 (python) S 19623 19623 17566 0 -1 4202560 838 0 0 0 0 0 0 0 19 0 1 0 948142054 389300224 17124 33554432000 4194304 5683644 140733903808800 18446744073709551615 252458085958 0 0 16781312 33554946 5452934154524000514 0 0 17 0 0 0 0
/proc/19692/statm: 95044 17124 355 364 0 29916 0
[pid=19694] ppid=19692 vsize=8537484 CPUtime=1.47 cores=0,2,4,6
/proc/19694/stat : 19694 (java) S 19692 19694 19694 0 -1 4202496 44156 0 1 0 140 7 0 0 20 0 18 0 948142055 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/19694/statm: 2134371 41612 2229 9 0 2125112 0
[pid=19694/tid=19695] ppid=19692 vsize=8537484 CPUtime=0.84 cores=0,2,4,6
/proc/19694/task/19695/stat : 19695 (java) R 19692 19694 19694 0 -1 4202560 35215 0 1 0 79 5 0 0 18 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 46912505645597 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19694/tid=19696] ppid=19692 vsize=8537484 CPUtime=0.01 cores=0,2,4,6
/proc/19694/task/19696/stat : 19696 (java) S 19692 19694 19694 0 -1 4202560 856 0 0 0 1 0 0 0 16 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19697] ppid=19692 vsize=8537484 CPUtime=0.01 cores=0,2,4,6
/proc/19694/task/19697/stat : 19697 (java) S 19692 19694 19694 0 -1 4202560 855 0 0 0 1 0 0 0 17 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 2 0 0 0
[pid=19694/tid=19698] ppid=19692 vsize=8537484 CPUtime=0.01 cores=0,2,4,6
/proc/19694/task/19698/stat : 19698 (java) S 19692 19694 19694 0 -1 4202560 661 0 0 0 1 0 0 0 18 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 0 0 0 0
[pid=19694/tid=19699] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19699/stat : 19699 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19700] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19700/stat : 19700 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19701] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19701/stat : 19701 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19702] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19702/stat : 19702 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19703] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19703/stat : 19703 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948142056 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19704] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19704/stat : 19704 (java) S 19692 19694 19694 0 -1 4202560 73 0 0 0 0 0 0 0 19 0 18 0 948142057 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469882368 0 0 0 16800975 18446604451210188992 0 0 -1 0 0 0 0
[pid=19694/tid=19705] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19705/stat : 19705 (java) S 19692 19694 19694 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 948142058 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19706] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19706/stat : 19706 (java) S 19692 19694 19694 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 948142058 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19707] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19707/stat : 19707 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948142060 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469889457 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19708] ppid=19692 vsize=8537484 CPUtime=0.25 cores=0,2,4,6
/proc/19694/task/19708/stat : 19708 (java) S 19692 19694 19694 0 -1 4202560 2103 0 0 0 25 0 0 0 16 0 18 0 948142060 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 0 0 0 0
[pid=19694/tid=19709] ppid=19692 vsize=8537484 CPUtime=0.31 cores=0,2,4,6
/proc/19694/task/19709/stat : 19709 (java) S 19692 19694 19694 0 -1 4202560 2996 0 0 0 31 0 0 0 23 0 18 0 948142060 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 0 0 0 0
[pid=19694/tid=19710] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19710/stat : 19710 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 948142060 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469881753 0 4 0 16800975 18446604451210188992 0 0 -1 6 0 0 0
[pid=19694/tid=19711] ppid=19692 vsize=8537484 CPUtime=0 cores=0,2,4,6
/proc/19694/task/19711/stat : 19711 (java) S 19692 19694 19694 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 948142060 8742383616 41612 33554432000 1073741824 1073778376 140734763245776 18446744073709551615 252469882368 0 4 0 16800975 18446604451210188992 0 0 -1 0 0 0 0
[pid=19623/tid=19630] ppid=19621 vsize=390420 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19630/stat : 19630 (python) S 19621 19623 17566 0 -1 4202560 27 931 0 0 0 0 0 0 22 0 7 0 948113402 399790080 18654 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
[pid=19623/tid=19635] ppid=19621 vsize=390420 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19635/stat : 19635 (python) S 19621 19623 17566 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 7 0 948118422 399790080 18654 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 6 0 0 0
[pid=19623/tid=19640] ppid=19621 vsize=390420 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19640/stat : 19640 (python) S 19621 19623 17566 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 7 0 948123183 399790080 18654 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 6 0 0 0
[pid=19623/tid=19664] ppid=19621 vsize=390420 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19664/stat : 19664 (python) S 19621 19623 17566 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 7 0 948127734 399790080 18654 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
[pid=19623/tid=19669] ppid=19621 vsize=390420 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19669/stat : 19669 (python) S 19621 19623 17566 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 7 0 948132537 399790080 18654 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
[pid=19623/tid=19693] ppid=19621 vsize=390420 CPUtime=0 cores=0,2,4,6
/proc/19623/task/19693/stat : 19693 (python) S 19621 19623 17566 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 7 0 948142055 399790080 18654 33554432000 4194304 5683644 140733903808800 18446744073709551615 252469889457 0 0 16781312 33554434 18446604444477681792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 295.96
Current children cumulated vsize (KiB) 21465920
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 19623 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=734432
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=170974
# CPU time returned by wait4() is 3.90541
# while last known CPU time is 295.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 291.493
CPU time (s): 295.96
CPU user time (s): 292.48
CPU system time (s): 3.48
CPU usage (%): 101.532
Max. virtual memory (cumulated for all children) (KiB): 21465920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.73443
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33507
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= 2873
involuntary context switches= 31
runsolver used 2.25066 second user time and 4.6223 second system time
The end