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-3481669-1307577690/watcher-3481669-1307577690 -o /tmp/evaluation-result-3481669-1307577690/solver-3481669-1307577690 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481669-1307577690.opb -seed 197278373 -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.03 2.02 1.52 2/662 28343
/proc/meminfo: memFree=18469652/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/28343/stat : 28343 (python) R 28341 28343 27575 0 -1 4202496 1086 0 0 0 1 0 0 0 17 0 1 0 850184668 16793600 956 33554432000 4194304 5683644 140735569009360 18446744073709551615 5210636 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28343/statm: 4100 957 390 364 0 587 0
[startup+0.110216 s]
/proc/loadavg: 2.03 2.02 1.52 2/662 28343
/proc/meminfo: memFree=18469652/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/28343/stat : 28343 (python) R 28341 28343 27575 0 -1 4202496 3169 931 1 0 7 1 0 0 18 0 1 0 850184668 98435072 2483 33554432000 4194304 5683644 140735569009360 18446744073709551615 5177504 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28343/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.201207 s]
/proc/loadavg: 2.03 2.02 1.52 2/662 28343
/proc/meminfo: memFree=18469652/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=123744 CPUtime=0.16 cores=0,2,4,6
/proc/28343/stat : 28343 (python) R 28341 28343 27575 0 -1 4202496 5358 931 1 0 12 4 0 0 17 0 1 0 850184668 126713856 3744 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726401029 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28343/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.301177 s]
/proc/loadavg: 2.03 2.02 1.52 2/662 28343
/proc/meminfo: memFree=18469652/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 6672 931 1 0 17 6 0 0 17 0 1 0 850184668 207867904 4957 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/28343/statm: 50749 4957 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.70114 s]
/proc/loadavg: 2.03 2.02 1.52 2/662 28343
/proc/meminfo: memFree=18469652/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=288860 CPUtime=0.6 cores=0,2,4,6
/proc/28343/stat : 28343 (python) R 28341 28343 27575 0 -1 4202496 11565 931 1 0 51 9 0 0 17 0 1 0 850184668 295792640 8555 33554432000 4194304 5683644 140735569009360 18446744073709551615 264729813676 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/28343/statm: 72215 8555 1815 364 0 7108 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 288860
[startup+1.50099 s]
/proc/loadavg: 2.03 2.02 1.52 3/666 28351
/proc/meminfo: memFree=18418532/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=299884 CPUtime=0.85 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 12035 931 1 0 76 9 0 0 20 0 2 0 850184668 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/28343/statm: 74971 8795 1862 364 0 9858 0
[pid=28349] ppid=28343 vsize=289640 CPUtime=0 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 842 0 0 0 0 0 0 0 15 0 1 0 850184763 296591360 7286 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425103 0 0 16781312 33554946 4271720635186512130 0 0 17 6 0 0 0
/proc/28349/statm: 72410 7286 357 364 0 7297 0
[pid=28351] ppid=28349 vsize=89056 CPUtime=0.54 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) R 28349 28351 28351 0 -1 4202496 20990 0 0 0 49 5 0 0 18 0 1 0 850184763 91193344 19616 33554432000 4194304 13684479 140737242880240 18446744073709551615 4508550 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28351/statm: 22264 19616 639 2317 0 19942 0
[pid=28343/tid=28350] ppid=28341 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850184763 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 678580
[startup+3.10064 s]
/proc/loadavg: 2.03 2.02 1.52 3/666 28351
/proc/meminfo: memFree=18358456/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=299884 CPUtime=0.85 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 12035 931 1 0 76 9 0 0 20 0 2 0 850184668 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/28343/statm: 74971 8795 1862 364 0 9858 0
[pid=28349] ppid=28343 vsize=289640 CPUtime=0 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 851 0 0 0 0 0 0 0 15 0 1 0 850184763 296591360 7286 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425103 0 0 16781312 33554946 4271720635186512130 0 0 17 6 0 0 0
/proc/28349/statm: 72410 7286 357 364 0 7297 0
[pid=28351] ppid=28349 vsize=144956 CPUtime=2.13 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) R 28349 28351 28351 0 -1 4202496 34535 0 0 0 203 10 0 0 21 0 1 0 850184763 148434944 32448 33554432000 4194304 13684479 140737242880240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28351/statm: 36239 32448 846 2317 0 33917 0
[pid=28343/tid=28350] ppid=28341 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850184763 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 734480
[startup+6.30106 s]
/proc/loadavg: 2.03 2.02 1.53 3/666 28351
/proc/meminfo: memFree=18304064/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=299884 CPUtime=0.85 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 12035 931 1 0 76 9 0 0 20 0 2 0 850184668 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/28343/statm: 74971 8795 1862 364 0 9858 0
[pid=28349] ppid=28343 vsize=289640 CPUtime=0.01 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 1002 0 0 0 0 1 0 0 15 0 1 0 850184763 296591360 7309 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425103 0 0 16781312 33554946 4271720635186512130 0 0 17 6 0 0 0
/proc/28349/statm: 72410 7309 380 364 0 7297 0
[pid=28351] ppid=28349 vsize=150100 CPUtime=5.33 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) R 28349 28351 28351 0 -1 4202496 36386 0 0 0 520 13 0 0 25 0 1 0 850184763 153702400 34066 33554432000 4194304 13684479 140737242880240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28351/statm: 37525 34066 771 2317 0 35203 0
[pid=28343/tid=28350] ppid=28341 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850184763 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 739624
[startup+12.7008 s]
/proc/loadavg: 2.03 2.02 1.53 3/666 28352
/proc/meminfo: memFree=18298716/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=299884 CPUtime=0.85 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 12035 931 1 0 76 9 0 0 20 0 2 0 850184668 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/28343/statm: 74971 8795 1862 364 0 9858 0
[pid=28349] ppid=28343 vsize=289640 CPUtime=0.03 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 1007 0 0 0 1 2 0 0 15 0 1 0 850184763 296591360 7309 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425103 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/28349/statm: 72410 7309 380 364 0 7297 0
[pid=28351] ppid=28349 vsize=152828 CPUtime=11.73 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) R 28349 28351 28351 0 -1 4202496 37922 0 0 0 1158 15 0 0 25 0 1 0 850184763 156495872 35425 33554432000 4194304 13684479 140737242880240 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28351/statm: 38207 35425 935 2317 0 35885 0
[pid=28343/tid=28350] ppid=28341 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850184763 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 742352
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 1.53 3/670 28356
/proc/meminfo: memFree=18292736/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=299884 CPUtime=0.85 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 12035 931 1 0 76 9 0 0 20 0 2 0 850184668 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/28343/statm: 74971 8795 1862 364 0 9858 0
[pid=28349] ppid=28343 vsize=289640 CPUtime=0.1 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 1014 0 0 0 5 5 0 0 15 0 1 0 850184763 296591360 7309 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425103 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/28349/statm: 72410 7309 380 364 0 7297 0
[pid=28351] ppid=28349 vsize=152828 CPUtime=24.53 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) R 28349 28351 28351 0 -1 4202496 37952 0 0 0 2436 17 0 0 25 0 1 0 850184763 156495872 35426 33554432000 4194304 13684479 140737242880240 18446744073709551615 7388118 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28351/statm: 38207 35426 906 2317 0 35885 0
[pid=28343/tid=28350] ppid=28341 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 2 0 850184763 307081216 8795 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 742352
[startup+51.1006 s]
/proc/loadavg: 2.01 2.02 1.55 3/674 28361
/proc/meminfo: memFree=18208772/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=310140 CPUtime=0.87 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 12943 931 1 0 78 9 0 0 20 0 3 0 850184668 317583360 8808 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28343/statm: 77535 8808 1865 364 0 12419 0
[pid=28349] ppid=28343 vsize=299884 CPUtime=0.21 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 1156 0 0 0 9 12 0 0 17 0 2 0 850184763 307081216 7345 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28349/statm: 74971 7345 411 364 0 9858 0
[pid=28351] ppid=28349 vsize=152828 CPUtime=48.58 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) T 28349 28351 28351 0 -1 4202496 37986 0 0 0 4839 19 0 0 25 0 1 0 850184763 156495872 35428 33554432000 4194304 13684479 140737242880240 18446744073709551615 7398349 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/28351/statm: 38207 35428 876 2317 0 35885 0
[pid=28349/tid=28357] ppid=28343 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28349/task/28357/stat : 28357 (python) S 28343 28343 27575 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850189622 307081216 7345 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554946 18446604444554142016 0 0 -1 6 0 0 0
[pid=28358] ppid=28343 vsize=299896 CPUtime=0 cores=0,2,4,6
/proc/28358/stat : 28358 (python) R 28343 28343 27575 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 850189624 307093504 7287 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425158 0 0 16781312 33554946 0 0 0 17 2 0 0 0
/proc/28358/statm: 74974 7287 348 364 0 9858 0
[pid=28360] ppid=28358 vsize=94684 CPUtime=1.52 cores=0,2,4,6
/proc/28360/stat : 28360 (scip-2.0.1.linu) R 28358 28360 28360 0 -1 4202496 22270 0 0 0 145 7 0 0 25 0 1 0 850189625 96956416 20894 33554432000 4194304 15243407 140735820764256 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28360/statm: 23671 20894 708 2698 0 20966 0
[pid=28343/tid=28350] ppid=28341 vsize=310140 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 3 0 850184763 317583360 8808 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
[pid=28343/tid=28359] ppid=28341 vsize=310140 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28359/stat : 28359 (python) S 28341 28343 27575 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 3 0 850189625 317583360 8808 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1157432
[startup+102.301 s]
/proc/loadavg: 2.10 2.04 1.58 3/678 28366
/proc/meminfo: memFree=18066188/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=320396 CPUtime=0.9 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 13840 931 1 0 80 10 0 0 20 0 4 0 850184668 328085504 8822 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/28343/statm: 80099 8822 1875 364 0 14980 0
[pid=28349] ppid=28343 vsize=299884 CPUtime=0.21 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 1156 0 0 0 9 12 0 0 17 0 2 0 850184763 307081216 7345 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28349/statm: 74971 7345 411 364 0 9858 0
[pid=28351] ppid=28349 vsize=152828 CPUtime=48.58 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) T 28349 28351 28351 0 -1 4202496 37986 0 0 0 4839 19 0 0 25 0 1 0 850184763 156495872 35428 33554432000 4194304 13684479 140737242880240 18446744073709551615 7398349 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/28351/statm: 38207 35428 876 2317 0 35885 0
[pid=28349/tid=28357] ppid=28343 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28349/task/28357/stat : 28357 (python) S 28343 28343 27575 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850189622 307081216 7345 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554946 18446604444554142016 0 0 -1 6 0 0 0
[pid=28358] ppid=28343 vsize=299896 CPUtime=0.21 cores=0,2,4,6
/proc/28358/stat : 28358 (python) S 28343 28343 27575 0 -1 4202560 1109 0 0 0 11 10 0 0 17 0 2 0 850189624 307093504 7336 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28358/statm: 74974 7336 396 364 0 9858 0
[pid=28360] ppid=28358 vsize=212132 CPUtime=47.68 cores=0,2,4,6
/proc/28360/stat : 28360 (scip-2.0.1.linu) T 28358 28360 28360 0 -1 4202496 52921 0 0 0 4738 30 0 0 25 0 1 0 850189625 217223168 48075 33554432000 4194304 15243407 140735820764256 18446744073709551615 7279010 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/28360/statm: 53033 48075 926 2698 0 50328 0
[pid=28358/tid=28363] ppid=28343 vsize=299896 CPUtime=0 cores=0,2,4,6
/proc/28358/task/28363/stat : 28363 (python) S 28343 28343 27575 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850194394 307093504 7336 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449984668736 0 0 -1 6 0 0 0
[pid=28364] ppid=28343 vsize=310152 CPUtime=0.02 cores=0,2,4,6
/proc/28364/stat : 28364 (python) S 28343 28343 27575 0 -1 4202560 944 0 0 0 1 1 0 0 15 0 1 0 850194396 317595648 7315 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425158 0 0 16781312 33554946 757040831197609984 0 0 17 4 0 0 0
################
# More data... #
################
[pid=28454/tid=28468] ppid=28452 vsize=8539372 CPUtime=0.46 cores=0,2,4,6
/proc/28454/task/28468/stat : 28468 (java) S 28452 28454 28454 0 -1 4202560 2817 0 0 0 46 0 0 0 16 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 0 0 0 0
[pid=28454/tid=28469] ppid=28452 vsize=8539372 CPUtime=0.54 cores=0,2,4,6
/proc/28454/task/28469/stat : 28469 (java) R 28452 28454 28454 0 -1 4202560 2799 0 0 0 54 0 0 0 25 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 47881260838367 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28454/tid=28470] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28470/stat : 28470 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28471] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28471/stat : 28471 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738221568 0 4 0 16800975 18446604453979477888 0 0 -1 6 0 0 0
[pid=28454/tid=28472] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28472/stat : 28472 (java) S 28452 28454 28454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850203867 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738221568 0 4 0 16800975 18446604453979477888 0 0 -1 4 0 0 0
[pid=28343/tid=28350] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 850184763 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
[pid=28343/tid=28359] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28359/stat : 28359 (python) S 28341 28343 27575 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 850189625 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 4 0 0 0
[pid=28343/tid=28365] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28365/stat : 28365 (python) S 28341 28343 27575 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 850194397 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 4 0 0 0
[pid=28343/tid=28370] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28370/stat : 28370 (python) S 28341 28343 27575 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 6 0 850199019 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 4 0 0 0
[pid=28343/tid=28453] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28453/stat : 28453 (python) S 28341 28343 27575 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850203816 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 195.52
Current children cumulated vsize (KiB) 19553296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+192.502 s]
/proc/loadavg: 2.25 2.09 1.64 5/708 28472
/proc/meminfo: memFree=17461880/32951124 swapFree=62998992/67111528
[pid=28343] ppid=28341 vsize=340908 CPUtime=0.95 cores=0,2,4,6
/proc/28343/stat : 28343 (python) S 28341 28343 27575 0 -1 4202496 15745 931 1 0 85 10 0 0 20 0 6 0 850184668 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/28343/statm: 85227 8834 1879 364 0 20102 0
[pid=28349] ppid=28343 vsize=299884 CPUtime=0.21 cores=0,2,4,6
/proc/28349/stat : 28349 (python) S 28343 28343 27575 0 -1 4202560 1156 0 0 0 9 12 0 0 17 0 2 0 850184763 307081216 7345 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28349/statm: 74971 7345 411 364 0 9858 0
[pid=28351] ppid=28349 vsize=152828 CPUtime=48.58 cores=0,2,4,6
/proc/28351/stat : 28351 (scip-2.0.1.linu) T 28349 28351 28351 0 -1 4202496 37986 0 0 0 4839 19 0 0 25 0 1 0 850184763 156495872 35428 33554432000 4194304 13684479 140737242880240 18446744073709551615 7398349 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/28351/statm: 38207 35428 876 2317 0 35885 0
[pid=28349/tid=28357] ppid=28343 vsize=299884 CPUtime=0 cores=0,2,4,6
/proc/28349/task/28357/stat : 28357 (python) S 28343 28343 27575 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850189622 307081216 7345 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554946 18446604444554142016 0 0 -1 6 0 0 0
[pid=28358] ppid=28343 vsize=299896 CPUtime=0.21 cores=0,2,4,6
/proc/28358/stat : 28358 (python) S 28343 28343 27575 0 -1 4202560 1109 0 0 0 11 10 0 0 17 0 2 0 850189624 307093504 7336 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28358/statm: 74974 7336 396 364 0 9858 0
[pid=28360] ppid=28358 vsize=212132 CPUtime=47.68 cores=0,2,4,6
/proc/28360/stat : 28360 (scip-2.0.1.linu) T 28358 28360 28360 0 -1 4202496 52921 0 0 0 4738 30 0 0 25 0 1 0 850189625 217223168 48075 33554432000 4194304 15243407 140735820764256 18446744073709551615 7279010 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/28360/statm: 53033 48075 926 2698 0 50328 0
[pid=28358/tid=28363] ppid=28343 vsize=299896 CPUtime=0 cores=0,2,4,6
/proc/28358/task/28363/stat : 28363 (python) S 28343 28343 27575 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850194394 307093504 7336 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554946 18446604449984668736 0 0 -1 6 0 0 0
[pid=28364] ppid=28343 vsize=310152 CPUtime=0.21 cores=0,2,4,6
/proc/28364/stat : 28364 (python) S 28343 28343 27575 0 -1 4202560 1125 0 0 0 10 11 0 0 17 0 2 0 850194396 317595648 7340 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/28364/statm: 77538 7340 396 364 0 12419 0
[pid=28366] ppid=28364 vsize=209500 CPUtime=46.15 cores=0,2,4,6
/proc/28366/stat : 28366 (wbo1.4a) T 28364 28366 28366 0 -1 4202496 52926 0 0 0 4584 31 0 0 25 0 1 0 850194397 214528000 51830 33554432000 134512640 135751879 4288181296 18446744073709551615 134516982 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28366/statm: 52375 51830 146 303 0 52070 0
[pid=28364/tid=28368] ppid=28343 vsize=310152 CPUtime=0 cores=0,2,4,6
/proc/28364/task/28368/stat : 28368 (python) S 28343 28343 27575 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850199016 317595648 7340 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554946 18446604446760624320 0 0 -1 4 0 0 0
[pid=28369] ppid=28343 vsize=320408 CPUtime=0.24 cores=0,2,4,6
/proc/28369/stat : 28369 (python) S 28343 28343 27575 0 -1 4202560 1141 0 0 0 12 12 0 0 16 0 2 0 850199019 328097792 7344 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28369/statm: 80102 7344 396 364 0 14980 0
[pid=28371] ppid=28369 vsize=8537552 CPUtime=49.21 cores=0,2,4,6
/proc/28371/stat : 28371 (java) T 28369 28371 28371 0 -1 4202496 38423 0 1 0 4913 8 0 0 18 0 19 0 850199019 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28371/statm: 2134388 34119 2261 9 0 2125129 0
[pid=28371/tid=28372] ppid=28369 vsize=8537552 CPUtime=47.49 cores=0,2,4,6
/proc/28371/task/28372/stat : 28372 (java) T 28369 28371 28371 0 -1 4202560 21268 0 1 0 4743 6 0 0 25 0 19 0 850199020 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 46912505893098 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28371/tid=28373] ppid=28369 vsize=8537552 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28373/stat : 28373 (java) T 28369 28371 28371 0 -1 4202560 523 0 0 0 2 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28371/tid=28374] ppid=28369 vsize=8537552 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28374/stat : 28374 (java) T 28369 28371 28371 0 -1 4202560 908 0 0 0 2 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28371/tid=28375] ppid=28369 vsize=8537552 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28375/stat : 28375 (java) T 28369 28371 28371 0 -1 4202560 944 0 0 0 2 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28371/tid=28376] ppid=28369 vsize=8537552 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28376/stat : 28376 (java) T 28369 28371 28371 0 -1 4202560 482 0 0 0 2 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28371/tid=28377] ppid=28369 vsize=8537552 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28377/stat : 28377 (java) T 28369 28371 28371 0 -1 4202560 501 0 0 0 0 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28371/tid=28378] ppid=28369 vsize=8537552 CPUtime=0.02 cores=0,2,4,6
/proc/28371/task/28378/stat : 28378 (java) T 28369 28371 28371 0 -1 4202560 776 0 0 0 2 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28371/tid=28379] ppid=28369 vsize=8537552 CPUtime=0.01 cores=0,2,4,6
/proc/28371/task/28379/stat : 28379 (java) T 28369 28371 28371 0 -1 4202560 854 0 0 0 1 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28371/tid=28380] ppid=28369 vsize=8537552 CPUtime=0.01 cores=0,2,4,6
/proc/28371/task/28380/stat : 28380 (java) T 28369 28371 28371 0 -1 4202560 962 0 0 0 1 0 0 0 15 0 19 0 850199021 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28371/tid=28381] ppid=28369 vsize=8537552 CPUtime=0.34 cores=0,2,4,6
/proc/28371/task/28381/stat : 28381 (java) T 28369 28371 28371 0 -1 4202560 2664 0 0 0 34 0 0 0 15 0 19 0 850199022 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738221568 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28371/tid=28382] ppid=28369 vsize=8537552 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28382/stat : 28382 (java) T 28369 28371 28371 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850199023 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28371/tid=28383] ppid=28369 vsize=8537552 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28383/stat : 28383 (java) T 28369 28371 28371 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850199023 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28371/tid=28384] ppid=28369 vsize=8537552 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28384/stat : 28384 (java) T 28369 28371 28371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850199025 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28371/tid=28385] ppid=28369 vsize=8537552 CPUtime=0.66 cores=0,2,4,6
/proc/28371/task/28385/stat : 28385 (java) T 28369 28371 28371 0 -1 4202560 3130 0 0 0 66 0 0 0 15 0 19 0 850199025 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28371/tid=28386] ppid=28369 vsize=8537552 CPUtime=0.53 cores=0,2,4,6
/proc/28371/task/28386/stat : 28386 (java) T 28369 28371 28371 0 -1 4202560 4020 0 0 0 53 0 0 0 15 0 19 0 850199025 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28371/tid=28387] ppid=28369 vsize=8537552 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28387/stat : 28387 (java) T 28369 28371 28371 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850199025 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28371/tid=28388] ppid=28369 vsize=8537552 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28388/stat : 28388 (java) T 28369 28371 28371 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850199025 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28371/tid=28389] ppid=28369 vsize=8537552 CPUtime=0 cores=0,2,4,6
/proc/28371/task/28389/stat : 28389 (java) T 28369 28371 28371 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850199071 8742453248 34119 33554432000 1073741824 1073778376 140736136219600 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28369/tid=28451] ppid=28343 vsize=320408 CPUtime=0 cores=0,2,4,6
/proc/28369/task/28451/stat : 28451 (python) S 28343 28343 27575 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850203813 328097792 7344 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554946 18446604445375864896 0 0 -1 6 0 0 0
[pid=28452] ppid=28343 vsize=330664 CPUtime=0 cores=0,2,4,6
/proc/28452/stat : 28452 (python) S 28343 28343 27575 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 1 0 850203816 338599936 7299 33554432000 4194304 5683644 140735569009360 18446744073709551615 264726425158 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/28452/statm: 82666 7299 348 364 0 17541 0
[pid=28454] ppid=28452 vsize=8539372 CPUtime=2.08 cores=0,2,4,6
/proc/28454/stat : 28454 (java) S 28452 28454 28454 0 -1 4202496 43562 0 1 0 201 7 0 0 20 0 19 0 850203816 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28454/statm: 2134843 40935 2244 9 0 2125584 0
[pid=28454/tid=28455] ppid=28452 vsize=8539372 CPUtime=1.03 cores=0,2,4,6
/proc/28454/task/28455/stat : 28455 (java) R 28452 28454 28454 0 -1 4202560 35304 0 1 0 98 5 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 46912505901756 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28454/tid=28456] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28456/stat : 28456 (java) S 28452 28454 28454 0 -1 4202560 206 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28457] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28457/stat : 28457 (java) S 28452 28454 28454 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 6 0 0 0
[pid=28454/tid=28458] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28458/stat : 28458 (java) S 28452 28454 28454 0 -1 4202560 346 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 4 0 0 0
[pid=28454/tid=28459] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28459/stat : 28459 (java) S 28452 28454 28454 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28460] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28460/stat : 28460 (java) S 28452 28454 28454 0 -1 4202560 114 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 0 0 0 0
[pid=28454/tid=28461] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28461/stat : 28461 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 0 0 0 0
[pid=28454/tid=28462] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28462/stat : 28462 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28463] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28463/stat : 28463 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850203817 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28464] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28464/stat : 28464 (java) S 28452 28454 28454 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 850203818 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738221568 0 0 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28465] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28465/stat : 28465 (java) S 28452 28454 28454 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850203819 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 6 0 0 0
[pid=28454/tid=28466] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28466/stat : 28466 (java) S 28452 28454 28454 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 850203819 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28467] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28467/stat : 28467 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738228657 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28468] ppid=28452 vsize=8539372 CPUtime=0.46 cores=0,2,4,6
/proc/28454/task/28468/stat : 28468 (java) S 28452 28454 28454 0 -1 4202560 2817 0 0 0 46 0 0 0 16 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 0 0 0 0
[pid=28454/tid=28469] ppid=28452 vsize=8539372 CPUtime=0.54 cores=0,2,4,6
/proc/28454/task/28469/stat : 28469 (java) R 28452 28454 28454 0 -1 4202560 2799 0 0 0 54 0 0 0 25 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 47881260838367 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28454/tid=28470] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28470/stat : 28470 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738220953 0 4 0 16800975 18446604453979477888 0 0 -1 2 0 0 0
[pid=28454/tid=28471] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28471/stat : 28471 (java) S 28452 28454 28454 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850203821 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738221568 0 4 0 16800975 18446604453979477888 0 0 -1 6 0 0 0
[pid=28454/tid=28472] ppid=28452 vsize=8539372 CPUtime=0 cores=0,2,4,6
/proc/28454/task/28472/stat : 28472 (java) S 28452 28454 28454 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850203867 8744316928 40935 33554432000 1073741824 1073778376 140735708775392 18446744073709551615 264738221568 0 4 0 16800975 18446604453979477888 0 0 -1 4 0 0 0
[pid=28343/tid=28350] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (python) S 28341 28343 27575 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 6 0 850184763 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
[pid=28343/tid=28359] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28359/stat : 28359 (python) S 28341 28343 27575 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 850189625 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 4 0 0 0
[pid=28343/tid=28365] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28365/stat : 28365 (python) S 28341 28343 27575 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 6 0 850194397 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 4 0 0 0
[pid=28343/tid=28370] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28370/stat : 28370 (python) S 28341 28343 27575 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 6 0 850199019 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 4 0 0 0
[pid=28343/tid=28453] ppid=28341 vsize=340908 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28453/stat : 28453 (python) S 28341 28343 27575 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 6 0 850203816 349089792 8834 33554432000 4194304 5683644 140735569009360 18446744073709551615 264738228657 0 0 16781312 33554434 18446604447626861376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 195.52
Current children cumulated vsize (KiB) 19553296
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28343 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=859869
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=108983
# CPU time returned by wait4() is 0.968852
# while last known CPU time is 195.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 192.6
CPU time (s): 195.52
CPU user time (s): 194.02
CPU system time (s): 1.5
CPU usage (%): 101.516
Max. virtual memory (cumulated for all children) (KiB): 19553296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.859869
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16678
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= 1008
involuntary context switches= 22
runsolver used 1.38279 second user time and 2.49962 second system time
The end