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-3481491-1307577925/watcher-3481491-1307577925 -o /tmp/evaluation-result-3481491-1307577925/solver-3481491-1307577925 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481491-1307577925.opb -seed 1844147195 -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.34 2.17 1.73 2/858 8453
/proc/meminfo: memFree=22336008/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=15752 CPUtime=0 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 840 0 0 0 0 0 0 0 25 0 1 0 948023190 16130048 723 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/8453/statm: 3938 723 334 364 0 425 0
[startup+0.105055 s]
/proc/loadavg: 2.34 2.17 1.73 2/858 8453
/proc/meminfo: memFree=22336008/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/8453/stat : 8453 (python) R 8451 8453 7156 0 -1 4202496 3169 929 1 0 5 1 0 0 18 0 1 0 948023190 98430976 2483 33554432000 4194304 5683644 140735436586000 18446744073709551615 5170800 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8453/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.201049 s]
/proc/loadavg: 2.34 2.17 1.73 2/858 8453
/proc/meminfo: memFree=22336008/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=123740 CPUtime=0.14 cores=0,2,4,6
/proc/8453/stat : 8453 (python) R 8451 8453 7156 0 -1 4202496 5357 929 1 0 11 3 0 0 17 0 1 0 948023190 126709760 3744 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284921861 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8453/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300986 s]
/proc/loadavg: 2.34 2.17 1.73 2/858 8453
/proc/meminfo: memFree=22336008/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=202992 CPUtime=0.22 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 6678 929 1 0 17 5 0 0 17 0 1 0 948023190 207863808 4962 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/8453/statm: 50749 4963 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202992
[startup+0.700958 s]
/proc/loadavg: 2.34 2.17 1.73 2/858 8453
/proc/meminfo: memFree=22336008/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=285312 CPUtime=0.57 cores=0,2,4,6
/proc/8453/stat : 8453 (python) R 8451 8453 7156 0 -1 4202496 11273 1376 1 0 43 8 6 0 18 0 1 0 948023190 292159488 7674 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284581872 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/8453/statm: 71328 7674 1816 364 0 6221 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 285312
[startup+1.50084 s]
/proc/loadavg: 2.34 2.17 1.73 3/862 8462
/proc/meminfo: memFree=22262800/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=295728 CPUtime=0.7 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 12002 1376 1 0 55 9 6 0 20 0 2 0 948023190 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 73932 7797 1871 364 0 8819 0
[pid=8460] ppid=8453 vsize=285484 CPUtime=0 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 1 0 948023272 292335616 6241 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945935 0 0 16781312 33554946 3906499843517808899 0 0 17 4 0 0 0
/proc/8460/statm: 71371 6241 319 364 0 6258 0
[pid=8462] ppid=8460 vsize=86032 CPUtime=0.67 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) R 8460 8462 8462 0 -1 4202496 21455 0 0 0 57 10 0 0 18 0 1 0 948023272 88096768 19159 33554432000 4194304 13684479 140734679754240 18446744073709551615 4957287 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8462/statm: 21508 19159 756 2317 0 19186 0
[pid=8453/tid=8461] ppid=8451 vsize=295728 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 2 0 948023272 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 667244
[startup+3.10058 s]
/proc/loadavg: 2.34 2.17 1.73 3/862 8462
/proc/meminfo: memFree=22227948/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=295728 CPUtime=0.7 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 12002 1376 1 0 55 9 6 0 20 0 2 0 948023190 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 73932 7797 1871 364 0 8819 0
[pid=8460] ppid=8453 vsize=285484 CPUtime=0 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 1 0 948023272 292335616 6241 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945935 0 0 16781312 33554946 3906499843517808899 0 0 17 4 0 0 0
/proc/8460/statm: 71371 6241 319 364 0 6258 0
[pid=8462] ppid=8460 vsize=91484 CPUtime=2.27 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) R 8460 8462 8462 0 -1 4202496 22875 0 0 0 212 15 0 0 20 0 1 0 948023272 93679616 20508 33554432000 4194304 13684479 140734679754240 18446744073709551615 6457236 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8462/statm: 22871 20508 944 2317 0 20549 0
[pid=8453/tid=8461] ppid=8451 vsize=295728 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 2 0 948023272 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 672696
[startup+6.30101 s]
/proc/loadavg: 2.31 2.17 1.74 3/862 8462
/proc/meminfo: memFree=22221384/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=295728 CPUtime=0.7 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 12002 1376 1 0 55 9 6 0 20 0 2 0 948023190 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 73932 7797 1871 364 0 8819 0
[pid=8460] ppid=8453 vsize=285484 CPUtime=0.02 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 881 0 0 0 1 1 0 0 15 0 1 0 948023272 292335616 6265 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945935 0 0 16781312 33554946 1815977658115162112 0 0 17 6 0 0 0
/proc/8460/statm: 71371 6265 343 364 0 6258 0
[pid=8462] ppid=8460 vsize=94884 CPUtime=5.47 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) R 8460 8462 8462 0 -1 4202496 32354 0 0 0 528 19 0 0 25 0 1 0 948023272 97161216 21184 33554432000 4194304 13684479 140734679754240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8462/statm: 23721 21184 805 2317 0 21399 0
[pid=8453/tid=8461] ppid=8451 vsize=295728 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 2 0 948023272 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 676096
[startup+12.701 s]
/proc/loadavg: 2.44 2.20 1.75 3/862 8462
/proc/meminfo: memFree=22223768/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=295728 CPUtime=0.7 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 12002 1376 1 0 55 9 6 0 20 0 2 0 948023190 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 73932 7797 1871 364 0 8819 0
[pid=8460] ppid=8453 vsize=285484 CPUtime=0.05 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 884 0 0 0 3 2 0 0 15 0 1 0 948023272 292335616 6265 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945935 0 0 16781312 33554946 72556772316949166 0 0 17 6 0 0 0
/proc/8460/statm: 71371 6265 343 364 0 6258 0
[pid=8462] ppid=8460 vsize=95436 CPUtime=11.86 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) R 8460 8462 8462 0 -1 4202496 32572 0 0 0 1163 23 0 0 25 0 1 0 948023272 97726464 21402 33554432000 4194304 13684479 140734679754240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8462/statm: 23859 21402 812 2317 0 21537 0
[pid=8453/tid=8461] ppid=8451 vsize=295728 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 2 0 948023272 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 676648
[startup+25.5008 s]
/proc/loadavg: 2.42 2.20 1.76 3/862 8464
/proc/meminfo: memFree=22222536/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=295728 CPUtime=0.7 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 12002 1376 1 0 55 9 6 0 20 0 2 0 948023190 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 73932 7797 1871 364 0 8819 0
[pid=8460] ppid=8453 vsize=285484 CPUtime=0.13 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 893 0 0 0 7 6 0 0 15 0 1 0 948023272 292335616 6265 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945935 0 0 16781312 33554946 72556772316949166 0 0 17 6 0 0 0
/proc/8460/statm: 71371 6265 343 364 0 6258 0
[pid=8462] ppid=8460 vsize=95792 CPUtime=24.66 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) R 8460 8462 8462 0 -1 4202496 32675 0 0 0 2437 29 0 0 25 0 1 0 948023272 98091008 21502 33554432000 4194304 13684479 140734679754240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8462/statm: 23948 21502 812 2317 0 21626 0
[pid=8453/tid=8461] ppid=8451 vsize=295728 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 2 0 948023272 302825472 7797 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 677004
[startup+51.1015 s]
/proc/loadavg: 2.27 2.19 1.76 3/866 8468
/proc/meminfo: memFree=22132012/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=305984 CPUtime=0.73 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 12873 1376 1 0 58 9 6 0 20 0 3 0 948023190 313327616 7804 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 76496 7804 1874 364 0 11380 0
[pid=8460] ppid=8453 vsize=295728 CPUtime=0.25 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 1105 0 0 0 12 13 0 0 16 0 2 0 948023272 302825472 6333 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8460/statm: 73932 6333 406 364 0 8819 0
[pid=8462] ppid=8460 vsize=99140 CPUtime=47.03 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) T 8460 8462 8462 0 -1 4202496 33460 0 0 0 4661 42 0 0 25 0 1 0 948023272 101519360 22246 33554432000 4194304 13684479 140734679754240 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8462/statm: 24785 22246 812 2317 0 22463 0
[pid=8460/tid=8465] ppid=8453 vsize=295728 CPUtime=0 cores=0,2,4,6
/proc/8460/task/8465/stat : 8465 (python) S 8453 8453 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948027977 302825472 6333 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554946 18446604449453456320 0 0 -1 6 0 0 0
[pid=8466] ppid=8453 vsize=295740 CPUtime=0 cores=0,2,4,6
/proc/8466/stat : 8466 (python) S 8453 8453 7156 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 948027980 302837760 6246 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945990 0 0 16781312 33554946 2543740556249399296 0 0 17 0 0 0 0
/proc/8466/statm: 73935 6246 320 364 0 8819 0
[pid=8468] ppid=8466 vsize=98652 CPUtime=3.19 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.linu) R 8466 8468 8468 0 -1 4202496 23737 0 0 0 303 16 0 0 21 0 1 0 948027980 101019648 21250 33554432000 4194304 15243407 140735641789520 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/8468/statm: 24663 21250 873 2698 0 21958 0
[pid=8453/tid=8461] ppid=8451 vsize=305984 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 3 0 948023272 313327616 7804 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
[pid=8453/tid=8467] ppid=8451 vsize=305984 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8467/stat : 8467 (python) S 8451 8453 7156 0 -1 4202560 32 1376 0 0 0 0 6 0 20 0 3 0 948027980 313327616 7804 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 1095244
[startup+102.302 s]
/proc/loadavg: 2.12 2.16 1.77 3/889 8493
/proc/meminfo: memFree=21550976/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=316240 CPUtime=0.76 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 13758 1376 1 0 61 9 6 0 20 0 4 0 948023190 323829760 7810 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 79060 7810 1876 364 0 13941 0
[pid=8460] ppid=8453 vsize=295728 CPUtime=0.25 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 1105 0 0 0 12 13 0 0 16 0 2 0 948023272 302825472 6333 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8460/statm: 73932 6333 406 364 0 8819 0
[pid=8462] ppid=8460 vsize=99140 CPUtime=47.03 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) T 8460 8462 8462 0 -1 4202496 33460 0 0 0 4661 42 0 0 25 0 1 0 948023272 101519360 22246 33554432000 4194304 13684479 140734679754240 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8462/statm: 24785 22246 812 2317 0 22463 0
[pid=8460/tid=8465] ppid=8453 vsize=295728 CPUtime=0 cores=0,2,4,6
/proc/8460/task/8465/stat : 8465 (python) S 8453 8453 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948027977 302825472 6333 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554946 18446604449453456320 0 0 -1 6 0 0 0
[pid=8466] ppid=8453 vsize=295740 CPUtime=0.26 cores=0,2,4,6
/proc/8466/stat : 8466 (python) S 8453 8453 7156 0 -1 4202560 1117 0 0 0 12 14 0 0 16 0 2 0 948027980 302837760 6318 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8466/statm: 73935 6318 391 364 0 8819 0
[pid=8468] ppid=8466 vsize=99496 CPUtime=47.16 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.linu) T 8466 8468 8468 0 -1 4202496 52585 0 0 0 4682 34 0 0 25 0 1 0 948027980 101883904 22060 33554432000 4194304 15243407 140735641789520 18446744073709551615 4941736 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/8468/statm: 24874 22060 935 2698 0 22169 0
[pid=8466/tid=8472] ppid=8453 vsize=295740 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8472/stat : 8472 (python) S 8453 8453 7156 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948032697 302837760 6318 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443397973184 0 0 -1 2 0 0 0
[pid=8473] ppid=8453 vsize=305996 CPUtime=0.02 cores=0,2,4,6
/proc/8473/stat : 8473 (python) S 8453 8453 7156 0 -1 4202560 907 0 0 0 1 1 0 0 15 0 1 0 948032700 313339904 6273 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945990 0 0 16781312 33554946 4294934788 0 0 17 0 0 0 0
################
# More data... #
################
[pid=8475/tid=8484] ppid=8473 vsize=8542744 CPUtime=0.01 cores=0,2,4,6
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 8475 0 -1 4202560 1591 0 0 0 1 0 0 0 15 0 19 0 948032702 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446604446929688448 0 0 -1 6 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=8542744 CPUtime=0.08 cores=0,2,4,6
/proc/8475/task/8485/stat : 8485 (java) S 8473 8475 8475 0 -1 4202560 2492 0 0 0 8 0 0 0 16 0 19 0 948032703 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296742400 0 0 0 16800975 18446604446929688448 0 0 -1 4 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8486/stat : 8486 (java) S 8473 8475 8475 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948032703 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446604446929688448 0 0 -1 2 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8487/stat : 8487 (java) S 8473 8475 8475 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948032704 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446604446929688448 0 0 -1 2 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 8475 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948032706 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296749489 0 4 0 16800975 18446604446929688448 0 0 -1 4 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=8542744 CPUtime=0.54 cores=0,2,4,6
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 8475 0 -1 4202560 4881 0 0 0 53 1 0 0 15 0 19 0 948032706 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446604446929688448 0 0 -1 0 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=8542744 CPUtime=0.61 cores=0,2,4,6
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 8475 0 -1 4202560 3778 0 0 0 61 0 0 0 15 0 19 0 948032706 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446604446929688448 0 0 -1 2 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 8475 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948032706 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446604446929688448 0 0 -1 2 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8492/stat : 8492 (java) S 8473 8475 8475 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948032706 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296742400 0 4 0 16800975 18446604446929688448 0 0 -1 2 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8493/stat : 8493 (java) S 8473 8475 8475 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948032752 8747769856 148590 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296742400 0 4 0 16800975 18446604446929688448 0 0 -1 0 0 0 0
[pid=8453/tid=8461] ppid=8451 vsize=316240 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 4 0 948023272 323829760 7810 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
[pid=8453/tid=8467] ppid=8451 vsize=316240 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8467/stat : 8467 (python) S 8451 8453 7156 0 -1 4202560 32 1376 0 0 0 0 6 0 20 0 4 0 948027980 323829760 7810 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 6 0 0 0
[pid=8453/tid=8474] ppid=8451 vsize=316240 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8474/stat : 8474 (python) S 8451 8453 7156 0 -1 4202560 28 1376 0 0 0 0 6 0 20 0 4 0 948032700 323829760 7810 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 103.88
Current children cumulated vsize (KiB) 9955084
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+144.102 s]
/proc/loadavg: 2.05 2.13 1.78 5/911 8515
/proc/meminfo: memFree=21581396/32951124 swapFree=33333036/67111528
[pid=8453] ppid=8451 vsize=326496 CPUtime=0.78 cores=0,2,4,6
/proc/8453/stat : 8453 (python) S 8451 8453 7156 0 -1 4202496 14621 1376 1 0 63 9 6 0 20 0 5 0 948023190 334331904 7816 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/8453/statm: 81624 7816 1878 364 0 16502 0
[pid=8460] ppid=8453 vsize=295728 CPUtime=0.25 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8453 8453 7156 0 -1 4202560 1105 0 0 0 12 13 0 0 16 0 2 0 948023272 302825472 6333 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8460/statm: 73932 6333 406 364 0 8819 0
[pid=8462] ppid=8460 vsize=99140 CPUtime=47.03 cores=0,2,4,6
/proc/8462/stat : 8462 (scip-2.0.1.linu) T 8460 8462 8462 0 -1 4202496 33460 0 0 0 4661 42 0 0 25 0 1 0 948023272 101519360 22246 33554432000 4194304 13684479 140734679754240 18446744073709551615 7354539 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/8462/statm: 24785 22246 812 2317 0 22463 0
[pid=8460/tid=8465] ppid=8453 vsize=295728 CPUtime=0 cores=0,2,4,6
/proc/8460/task/8465/stat : 8465 (python) S 8453 8453 7156 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948027977 302825472 6333 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554946 18446604449453456320 0 0 -1 6 0 0 0
[pid=8466] ppid=8453 vsize=295740 CPUtime=0.26 cores=0,2,4,6
/proc/8466/stat : 8466 (python) S 8453 8453 7156 0 -1 4202560 1117 0 0 0 12 14 0 0 16 0 2 0 948027980 302837760 6318 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8466/statm: 73935 6318 391 364 0 8819 0
[pid=8468] ppid=8466 vsize=99496 CPUtime=47.16 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.linu) T 8466 8468 8468 0 -1 4202496 52585 0 0 0 4682 34 0 0 25 0 1 0 948027980 101883904 22060 33554432000 4194304 15243407 140735641789520 18446744073709551615 4941736 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/8468/statm: 24874 22060 935 2698 0 22169 0
[pid=8466/tid=8472] ppid=8453 vsize=295740 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8472/stat : 8472 (python) S 8453 8453 7156 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 948032697 302837760 6318 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554946 18446604443397973184 0 0 -1 2 0 0 0
[pid=8473] ppid=8453 vsize=305996 CPUtime=0.29 cores=0,2,4,6
/proc/8473/stat : 8473 (python) S 8453 8453 7156 0 -1 4202560 1122 0 0 0 16 13 0 0 16 0 2 0 948032700 313339904 6322 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8473/statm: 76499 6322 391 364 0 11380 0
[pid=8475] ppid=8473 vsize=8542744 CPUtime=49.63 cores=0,2,4,6
/proc/8475/stat : 8475 (java) T 8473 8475 8475 0 -1 4202496 158830 0 1 0 4942 21 0 0 18 0 19 0 948032700 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8475/statm: 2135686 115632 2262 9 0 2126427 0
[pid=8475/tid=8476] ppid=8473 vsize=8542744 CPUtime=47.33 cores=0,2,4,6
/proc/8475/task/8476/stat : 8476 (java) T 8473 8475 8475 0 -1 4202560 129070 0 1 0 4718 15 0 0 25 0 19 0 948032701 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 46912505870368 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 4
[pid=8475/tid=8477] ppid=8473 vsize=8542744 CPUtime=0.07 cores=0,2,4,6
/proc/8475/task/8477/stat : 8477 (java) T 8473 8475 8475 0 -1 4202560 1921 0 0 0 7 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8475/tid=8478] ppid=8473 vsize=8542744 CPUtime=0.07 cores=0,2,4,6
/proc/8475/task/8478/stat : 8478 (java) T 8473 8475 8475 0 -1 4202560 2832 0 0 0 7 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=8542744 CPUtime=0.07 cores=0,2,4,6
/proc/8475/task/8479/stat : 8479 (java) T 8473 8475 8475 0 -1 4202560 1913 0 0 0 7 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=8542744 CPUtime=0.08 cores=0,2,4,6
/proc/8475/task/8480/stat : 8480 (java) T 8473 8475 8475 0 -1 4202560 2841 0 0 0 8 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=8542744 CPUtime=0.05 cores=0,2,4,6
/proc/8475/task/8481/stat : 8481 (java) T 8473 8475 8475 0 -1 4202560 2163 0 0 0 5 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=8542744 CPUtime=0.08 cores=0,2,4,6
/proc/8475/task/8482/stat : 8482 (java) T 8473 8475 8475 0 -1 4202560 2041 0 0 0 8 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8483] ppid=8473 vsize=8542744 CPUtime=0.08 cores=0,2,4,6
/proc/8475/task/8483/stat : 8483 (java) T 8473 8475 8475 0 -1 4202560 894 0 0 0 8 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=8542744 CPUtime=0.06 cores=0,2,4,6
/proc/8475/task/8484/stat : 8484 (java) T 8473 8475 8475 0 -1 4202560 2481 0 0 0 6 0 0 0 15 0 19 0 948032702 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=8542744 CPUtime=0.45 cores=0,2,4,6
/proc/8475/task/8485/stat : 8485 (java) T 8473 8475 8475 0 -1 4202560 2622 0 0 0 44 1 0 0 15 0 19 0 948032703 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8486/stat : 8486 (java) T 8473 8475 8475 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948032703 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8487/stat : 8487 (java) T 8473 8475 8475 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948032704 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8488/stat : 8488 (java) T 8473 8475 8475 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948032706 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=8542744 CPUtime=0.56 cores=0,2,4,6
/proc/8475/task/8489/stat : 8489 (java) T 8473 8475 8475 0 -1 4202560 4884 0 0 0 55 1 0 0 15 0 19 0 948032706 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=8542744 CPUtime=0.61 cores=0,2,4,6
/proc/8475/task/8490/stat : 8490 (java) T 8473 8475 8475 0 -1 4202560 3779 0 0 0 61 0 0 0 15 0 19 0 948032706 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8491/stat : 8491 (java) T 8473 8475 8475 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948032706 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8492/stat : 8492 (java) T 8473 8475 8475 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948032706 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=8542744 CPUtime=0 cores=0,2,4,6
/proc/8475/task/8493/stat : 8493 (java) T 8473 8475 8475 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948032752 8747769856 115632 33554432000 1073741824 1073778376 140735937012864 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8473/tid=8494] ppid=8453 vsize=305996 CPUtime=0 cores=0,2,4,6
/proc/8473/task/8494/stat : 8494 (python) S 8453 8453 7156 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948037514 313339904 6322 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554946 18446604445467077696 0 0 -1 6 0 0 0
[pid=8495] ppid=8453 vsize=316252 CPUtime=0 cores=0,2,4,6
/proc/8495/stat : 8495 (python) S 8453 8453 7156 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 948037517 323842048 6254 33554432000 4194304 5683644 140735436586000 18446744073709551615 224284945990 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/8495/statm: 79063 6254 320 364 0 13941 0
[pid=8497] ppid=8495 vsize=8546352 CPUtime=2 cores=0,2,4,6
/proc/8497/stat : 8497 (java) S 8495 8497 8497 0 -1 4202496 30220 0 1 0 196 4 0 0 20 0 19 0 948037517 8751464448 26243 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8497/statm: 2136588 26246 2233 9 0 2127329 0
[pid=8497/tid=8498] ppid=8495 vsize=8546352 CPUtime=0.86 cores=0,2,4,6
/proc/8497/task/8498/stat : 8498 (java) R 8495 8497 8497 0 -1 4202560 20412 0 1 0 83 3 0 0 19 0 19 0 948037518 8751464448 27191 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 46912505614961 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8497/tid=8499] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8499/stat : 8499 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 948037518 8751464448 27192 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8500] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8500/stat : 8500 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 948037518 8751464448 27195 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8501] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8501/stat : 8501 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 948037518 8751464448 27199 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8502] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8502/stat : 8502 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948037518 8751464448 27203 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 2 0 0 0
[pid=8497/tid=8503] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8503/stat : 8503 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948037518 8751464448 27203 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 2 0 0 0
[pid=8497/tid=8504] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8504/stat : 8504 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948037518 8751464448 27204 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 2 0 0 0
[pid=8497/tid=8505] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8505/stat : 8505 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948037518 8751464448 27206 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 2 0 0 0
[pid=8497/tid=8506] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8506/stat : 8506 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948037518 8751464448 27209 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 2 0 0 0
[pid=8497/tid=8507] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8507/stat : 8507 (java) S 8495 8497 8497 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 948037519 8751464448 27212 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296742400 0 0 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8508] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8508/stat : 8508 (java) S 8495 8497 8497 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 948037520 8751464448 27216 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8509] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8509/stat : 8509 (java) S 8495 8497 8497 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 948037520 8751464448 27220 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8510] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8510/stat : 8510 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948037522 8751464448 27224 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296749489 0 4 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8511] ppid=8495 vsize=8546352 CPUtime=0.58 cores=0,2,4,6
/proc/8497/task/8511/stat : 8511 (java) S 8495 8497 8497 0 -1 4202560 4441 0 0 0 58 0 0 0 25 0 19 0 948037522 8751464448 27229 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 0 0 0 0
[pid=8497/tid=8512] ppid=8495 vsize=8546352 CPUtime=0.55 cores=0,2,4,6
/proc/8497/task/8512/stat : 8512 (java) S 8495 8497 8497 0 -1 4202560 4914 0 0 0 55 0 0 0 16 0 19 0 948037522 8751464448 27232 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 2 0 0 0
[pid=8497/tid=8513] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8513/stat : 8513 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948037522 8751464448 27236 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296741785 0 4 0 16800975 18446604451561231488 0 0 -1 4 0 0 0
[pid=8497/tid=8514] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8514/stat : 8514 (java) S 8495 8497 8497 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948037522 8751464448 27240 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296742400 0 4 0 16800975 18446604451561231488 0 0 -1 6 0 0 0
[pid=8497/tid=8515] ppid=8495 vsize=8546352 CPUtime=0 cores=0,2,4,6
/proc/8497/task/8515/stat : 8515 (java) S 8495 8497 8497 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 948037564 8751464448 27244 33554432000 1073741824 1073778376 140735333060640 18446744073709551615 224296742400 0 4 0 16800975 18446604451561231488 0 0 -1 6 0 0 0
[pid=8453/tid=8461] ppid=8451 vsize=326496 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8461/stat : 8461 (python) S 8451 8453 7156 0 -1 4202560 29 1376 0 0 0 0 6 0 20 0 5 0 948023272 334331904 7816 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
[pid=8453/tid=8467] ppid=8451 vsize=326496 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8467/stat : 8467 (python) S 8451 8453 7156 0 -1 4202560 32 1376 0 0 0 0 6 0 20 0 5 0 948027980 334331904 7816 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 6 0 0 0
[pid=8453/tid=8474] ppid=8451 vsize=326496 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8474/stat : 8474 (python) S 8451 8453 7156 0 -1 4202560 28 1376 0 0 0 0 6 0 20 0 5 0 948032700 334331904 7816 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
[pid=8453/tid=8496] ppid=8451 vsize=326496 CPUtime=0.06 cores=0,2,4,6
/proc/8453/task/8496/stat : 8496 (python) S 8451 8453 7156 0 -1 4202560 28 1376 0 0 0 0 6 0 20 0 5 0 948037517 334331904 7816 33554432000 4194304 5683644 140735436586000 18446744073709551615 224296749489 0 0 16781312 33554434 18446604445467075904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.4
Current children cumulated vsize (KiB) 18827944
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 8453 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=707892
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=107983
# CPU time returned by wait4() is 0.815875
# while last known CPU time is 147.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 144.188
CPU time (s): 147.4
CPU user time (s): 145.9
CPU system time (s): 1.5
CPU usage (%): 102.228
Max. virtual memory (cumulated for all children) (KiB): 18827944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.707892
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15998
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= 5765
involuntary context switches= 26
runsolver used 1.15682 second user time and 2.23466 second system time
The end