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-3481700-1307576725/watcher-3481700-1307576725 -o /tmp/evaluation-result-3481700-1307576725/solver-3481700-1307576725 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481700-1307576725.opb -seed 852816353 -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.09 1.41 0.63 2/621 30853
/proc/meminfo: memFree=29870232/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=16404 CPUtime=0.01 cores=0,2,4,6
/proc/30853/stat : 30853 (python) R 30851 30853 30488 0 -1 4202496 1147 0 0 0 1 0 0 0 25 0 1 0 869271394 16797696 1013 33554432000 4194304 5683644 140737058846416 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30853/statm: 4100 1013 413 364 0 587 0
[startup+0.053042 s]
/proc/loadavg: 2.09 1.41 0.63 2/621 30853
/proc/meminfo: memFree=29870232/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=29792 CPUtime=0.02 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 1457 0 0 0 2 0 0 0 25 0 1 0 869271394 30507008 1297 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30853/statm: 7448 1297 443 364 0 818 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29792
[startup+0.100237 s]
/proc/loadavg: 2.09 1.41 0.63 2/621 30853
/proc/meminfo: memFree=29870232/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=94068 CPUtime=0.05 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 2809 0 1 0 4 1 0 0 18 0 1 0 869271394 96325632 2479 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272688896 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/30853/statm: 24033 2483 792 364 0 1628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 94068
[startup+0.300273 s]
/proc/loadavg: 2.09 1.41 0.63 2/621 30853
/proc/meminfo: memFree=29870232/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 5360 931 1 0 12 5 0 0 18 0 1 0 869271394 126713856 3746 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272685061 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/30853/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.705196 s]
/proc/loadavg: 2.09 1.41 0.63 2/621 30853
/proc/meminfo: memFree=29870232/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=284456 CPUtime=0.47 cores=0,2,4,6
/proc/30853/stat : 30853 (python) R 30851 30853 30488 0 -1 4202496 9595 931 1 0 36 11 0 0 17 0 1 0 869271394 291282944 7455 33554432000 4194304 5683644 140737058846416 18446744073709551615 268276097968 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/30853/statm: 71114 7455 1815 364 0 6007 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 284456
[startup+1.50094 s]
/proc/loadavg: 2.08 1.42 0.63 3/625 30861
/proc/meminfo: memFree=29818308/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=294724 CPUtime=0.55 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 10011 931 1 0 44 11 0 0 19 0 2 0 869271394 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30853/statm: 73681 7514 1870 364 0 8568 0
[pid=30859] ppid=30853 vsize=284480 CPUtime=0 cores=0,2,4,6
/proc/30859/stat : 30859 (python) S 30853 30853 30488 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 869271473 291307520 5992 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272709135 0 0 16781312 33554946 12108064182440526083 0 0 17 6 0 0 0
/proc/30859/statm: 71120 5992 352 364 0 6007 0
[pid=30861] ppid=30859 vsize=52108 CPUtime=0.7 cores=0,2,4,6
/proc/30861/stat : 30861 (scip-2.0.1.linu) R 30859 30861 30861 0 -1 4202496 11454 0 0 0 67 3 0 0 22 0 1 0 869271473 53358592 10642 33554432000 4194304 13684479 140736848905648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 13027 10642 745 2317 0 10705 0
[pid=30853/tid=30860] ppid=30851 vsize=294724 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30860/stat : 30860 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869271473 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 631312
[startup+3.12176 s]
/proc/loadavg: 2.08 1.42 0.63 3/625 30861
/proc/meminfo: memFree=29801476/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=294724 CPUtime=0.55 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 10011 931 1 0 44 11 0 0 19 0 2 0 869271394 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30853/statm: 73681 7514 1870 364 0 8568 0
[pid=30859] ppid=30853 vsize=284480 CPUtime=0 cores=0,2,4,6
/proc/30859/stat : 30859 (python) S 30853 30853 30488 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 869271473 291307520 5992 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272709135 0 0 16781312 33554946 12108064182440526083 0 0 17 6 0 0 0
/proc/30859/statm: 71120 5992 352 364 0 6007 0
[pid=30861] ppid=30859 vsize=53224 CPUtime=2.32 cores=0,2,4,6
/proc/30861/stat : 30861 (scip-2.0.1.linu) R 30859 30861 30861 0 -1 4202496 11701 0 0 0 228 4 0 0 25 0 1 0 869271473 54501376 10882 33554432000 4194304 13684479 140736848905648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 13306 10882 766 2317 0 10984 0
[pid=30853/tid=30860] ppid=30851 vsize=294724 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30860/stat : 30860 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869271473 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 632428
[startup+6.30119 s]
/proc/loadavg: 2.07 1.42 0.64 3/625 30861
/proc/meminfo: memFree=29785240/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=294724 CPUtime=0.55 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 10011 931 1 0 44 11 0 0 19 0 2 0 869271394 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30853/statm: 73681 7514 1870 364 0 8568 0
[pid=30859] ppid=30853 vsize=284480 CPUtime=0.01 cores=0,2,4,6
/proc/30859/stat : 30859 (python) S 30853 30853 30488 0 -1 4202560 910 0 0 0 0 1 0 0 15 0 1 0 869271473 291307520 6016 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272709135 0 0 16781312 33554946 2218267659680612352 0 0 17 6 0 0 0
/proc/30859/statm: 71120 6016 376 364 0 6007 0
[pid=30861] ppid=30859 vsize=68524 CPUtime=5.52 cores=0,2,4,6
/proc/30861/stat : 30861 (scip-2.0.1.linu) R 30859 30861 30861 0 -1 4202496 15791 0 0 0 545 7 0 0 25 0 1 0 869271473 70168576 14774 33554432000 4194304 13684479 140736848905648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 17131 14774 869 2317 0 14809 0
[pid=30853/tid=30860] ppid=30851 vsize=294724 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30860/stat : 30860 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869271473 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 647728
[startup+12.7011 s]
/proc/loadavg: 2.07 1.43 0.65 3/625 30861
/proc/meminfo: memFree=29755744/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=294724 CPUtime=0.55 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 10011 931 1 0 44 11 0 0 19 0 2 0 869271394 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30853/statm: 73681 7514 1870 364 0 8568 0
[pid=30859] ppid=30853 vsize=284480 CPUtime=0.04 cores=0,2,4,6
/proc/30859/stat : 30859 (python) S 30853 30853 30488 0 -1 4202560 913 0 0 0 2 2 0 0 15 0 1 0 869271473 291307520 6016 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272709135 0 0 16781312 33554946 3153330856618098688 0 0 17 6 0 0 0
/proc/30859/statm: 71120 6016 376 364 0 6007 0
[pid=30861] ppid=30859 vsize=105800 CPUtime=11.9 cores=0,2,4,6
/proc/30861/stat : 30861 (scip-2.0.1.linu) R 30859 30861 30861 0 -1 4202496 26377 0 0 0 1180 10 0 0 25 0 1 0 869271473 108339200 23484 33554432000 4194304 13684479 140736848905648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 26450 23484 808 2317 0 24128 0
[pid=30853/tid=30860] ppid=30851 vsize=294724 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30860/stat : 30860 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869271473 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 685004
[startup+25.5007 s]
/proc/loadavg: 2.14 1.47 0.67 3/625 30920
/proc/meminfo: memFree=29706488/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=294724 CPUtime=0.55 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 10011 931 1 0 44 11 0 0 19 0 2 0 869271394 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30853/statm: 73681 7514 1870 364 0 8568 0
[pid=30859] ppid=30853 vsize=284480 CPUtime=0.11 cores=0,2,4,6
/proc/30859/stat : 30859 (python) S 30853 30853 30488 0 -1 4202560 924 0 0 0 5 6 0 0 15 0 1 0 869271473 291307520 6016 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272709135 0 0 16781312 33554946 1769219860992098304 0 0 17 6 0 0 0
/proc/30859/statm: 71120 6016 376 364 0 6007 0
[pid=30861] ppid=30859 vsize=182492 CPUtime=24.7 cores=0,2,4,6
/proc/30861/stat : 30861 (scip-2.0.1.linu) R 30859 30861 30861 0 -1 4202496 50451 0 0 0 2450 20 0 0 25 0 1 0 869271473 186871808 42013 33554432000 4194304 13684479 140736848905648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 45623 42013 1034 2317 0 43301 0
[pid=30853/tid=30860] ppid=30851 vsize=294724 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30860/stat : 30860 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 2 0 869271473 301797376 7514 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 761696
[startup+51.1011 s]
/proc/loadavg: 2.27 1.57 0.72 3/647 31012
/proc/meminfo: memFree=29575360/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=305484 CPUtime=0.57 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 10920 931 1 0 46 11 0 0 20 0 3 0 869271394 312815616 7649 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/30853/statm: 76371 7649 1873 364 0 11255 0
[pid=30859] ppid=30853 vsize=294724 CPUtime=0.27 cores=0,2,4,6
/proc/30859/stat : 30859 (python) S 30853 30853 30488 0 -1 4202560 1091 0 0 0 13 14 0 0 16 0 2 0 869271473 301797376 6052 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30859/statm: 73681 6052 407 364 0 8568 0
[pid=30861] ppid=30859 vsize=221644 CPUtime=46.71 cores=0,2,4,6
/proc/30861/stat : 30861 (scip-2.0.1.linu) T 30859 30861 30861 0 -1 4202496 66779 0 0 0 4639 32 0 0 25 0 1 0 869271473 226963456 52031 33554432000 4194304 13684479 140736848905648 18446744073709551615 4939901 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/30861/statm: 55411 52031 1345 2317 0 53089 0
[pid=30859/tid=30991] ppid=30853 vsize=294724 CPUtime=0 cores=0,2,4,6
/proc/30859/task/30991/stat : 30991 (python) S 30853 30853 30488 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869276145 301797376 6052 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604451703700288 0 0 -1 0 0 0 0
[pid=30992] ppid=30853 vsize=295240 CPUtime=0 cores=0,2,4,6
/proc/30992/stat : 30992 (python) S 30853 30853 30488 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 869276148 302325760 6121 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272709190 0 0 16781312 33554946 3450556384641286144 0 0 17 2 0 0 0
/proc/30992/statm: 73810 6121 349 364 0 8694 0
[pid=30994] ppid=30992 vsize=8539768 CPUtime=4.21 cores=0,2,4,6
/proc/30994/stat : 30994 (java) S 30992 30994 30994 0 -1 4202496 15125 0 1 0 419 2 0 0 20 0 19 0 869276148 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/30994/statm: 2134942 13032 2252 9 0 2125683 0
[pid=30994/tid=30995] ppid=30992 vsize=8539768 CPUtime=3.51 cores=0,2,4,6
/proc/30994/task/30995/stat : 30995 (java) R 30992 30994 30994 0 -1 4202560 8018 0 1 0 350 1 0 0 25 0 19 0 869276148 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 46912505727008 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30994/tid=30996] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/30996/stat : 30996 (java) S 30992 30994 30994 0 -1 4202560 269 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=30997] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/30997/stat : 30997 (java) S 30992 30994 30994 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 2 0 0 0
[pid=30994/tid=30998] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/30998/stat : 30998 (java) S 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=30999] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/30999/stat : 30999 (java) S 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=31000] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31000/stat : 31000 (java) S 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=31001] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31001/stat : 31001 (java) S 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=31002] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31002/stat : 31002 (java) S 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=31003] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31003/stat : 31003 (java) S 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276149 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=31004] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31004/stat : 31004 (java) S 30992 30994 30994 0 -1 4202560 553 0 0 0 0 0 0 0 15 0 19 0 869276150 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284505600 0 0 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=30994/tid=31005] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31005/stat : 31005 (java) S 30992 30994 30994 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869276150 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=30994/tid=31006] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31006/stat : 31006 (java) S 30992 30994 30994 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869276150 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=30994/tid=31007] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31007/stat : 31007 (java) S 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869276152 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284512689 0 4 0 16800975 18446604443150771136 0 0 -1 6 0 0 0
[pid=30994/tid=31008] ppid=30992 vsize=8539768 CPUtime=0.39 cores=0,2,4,6
/proc/30994/task/31008/stat : 31008 (java) S 30992 30994 30994 0 -1 4202560 2670 0 0 0 39 0 0 0 15 0 19 0 869276152 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=31009] ppid=30992 vsize=8539768 CPUtime=0.25 cores=0,2,4,6
/proc/30994/task/31009/stat : 31009 (java) S 30992 30994 30994 0 -1 4202560 1939 0 0 0 25 0 0 0 15 0 19 0 869276153 8744722432 13032 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446604443150771136 0 0 -1 0 0 0 0
[pid=30994/tid=31010] ppid=30992 vsize=8539768 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=31210/tid=31224] ppid=31208 vsize=8603720 CPUtime=0.4 cores=0,2,4,6
/proc/31210/task/31224/stat : 31224 (java) S 31208 31210 31210 0 -1 4202560 3185 0 0 0 40 0 0 0 25 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 2 0 0 0
[pid=31210/tid=31225] ppid=31208 vsize=8603720 CPUtime=0.38 cores=0,2,4,6
/proc/31210/task/31225/stat : 31225 (java) S 31208 31210 31210 0 -1 4202560 4236 0 0 0 38 0 0 0 25 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31226] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31226/stat : 31226 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31227] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31227/stat : 31227 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284505600 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31228] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31228/stat : 31228 (java) S 31208 31210 31210 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869290336 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284505600 0 4 0 16800975 18446604452363006080 0 0 -1 0 0 0 0
[pid=30853/tid=30860] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30860/stat : 30860 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 6 0 869271473 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
[pid=30853/tid=30993] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30993/stat : 30993 (python) S 30851 30853 30488 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 6 0 869276148 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 0 0 0 0
[pid=30853/tid=31017] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/31017/stat : 31017 (python) S 30851 30853 30488 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 6 0 869280723 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
[pid=30853/tid=31169] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/31169/stat : 31169 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 869285500 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
[pid=30853/tid=31209] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/31209/stat : 31209 (python) S 30851 30853 30488 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 6 0 869290295 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 192.27
Current children cumulated vsize (KiB) 19488608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+190.001 s]
/proc/loadavg: 2.06 1.73 0.90 5/677 31228
/proc/meminfo: memFree=29174092/32950928 swapFree=43925852/67111528
[pid=30853] ppid=30851 vsize=336252 CPUtime=0.66 cores=0,2,4,6
/proc/30853/stat : 30853 (python) S 30851 30853 30488 0 -1 4202496 13701 931 1 0 54 12 0 0 20 0 6 0 869271394 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/30853/statm: 84063 7670 1879 364 0 18938 0
[pid=30859] ppid=30853 vsize=294724 CPUtime=0.27 cores=0,2,4,6
/proc/30859/stat : 30859 (python) S 30853 30853 30488 0 -1 4202560 1091 0 0 0 13 14 0 0 16 0 2 0 869271473 301797376 6052 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30859/statm: 73681 6052 407 364 0 8568 0
[pid=30861] ppid=30859 vsize=221644 CPUtime=46.71 cores=0,2,4,6
/proc/30861/stat : 30861 (scip-2.0.1.linu) T 30859 30861 30861 0 -1 4202496 66779 0 0 0 4639 32 0 0 25 0 1 0 869271473 226963456 52031 33554432000 4194304 13684479 140736848905648 18446744073709551615 4939901 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/30861/statm: 55411 52031 1345 2317 0 53089 0
[pid=30859/tid=30991] ppid=30853 vsize=294724 CPUtime=0 cores=0,2,4,6
/proc/30859/task/30991/stat : 30991 (python) S 30853 30853 30488 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869276145 301797376 6052 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604451703700288 0 0 -1 0 0 0 0
[pid=30992] ppid=30853 vsize=295240 CPUtime=0.24 cores=0,2,4,6
/proc/30992/stat : 30992 (python) S 30853 30853 30488 0 -1 4202560 1152 0 0 0 12 12 0 0 16 0 2 0 869276148 302325760 6176 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30992/statm: 73810 6176 403 364 0 8694 0
[pid=30994] ppid=30992 vsize=8538792 CPUtime=46.4 cores=0,2,4,6
/proc/30994/stat : 30994 (java) T 30992 30994 30994 0 -1 4202496 16388 0 1 0 4638 2 0 0 18 0 19 0 869276148 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/30994/statm: 2134698 14054 2252 9 0 2125439 0
[pid=30994/tid=30995] ppid=30992 vsize=8538792 CPUtime=45.55 cores=0,2,4,6
/proc/30994/task/30995/stat : 30995 (java) T 30992 30994 30994 0 -1 4202560 8027 0 1 0 4554 1 0 0 25 0 19 0 869276148 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 46912505789484 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=30996] ppid=30992 vsize=8538792 CPUtime=0.01 cores=0,2,4,6
/proc/30994/task/30996/stat : 30996 (java) T 30992 30994 30994 0 -1 4202560 345 0 0 0 1 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=30997] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/30997/stat : 30997 (java) T 30992 30994 30994 0 -1 4202560 284 0 0 0 0 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=30998] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/30998/stat : 30998 (java) T 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=30999] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/30999/stat : 30999 (java) T 30992 30994 30994 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=31000] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31000/stat : 31000 (java) T 30992 30994 30994 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=31001] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31001/stat : 31001 (java) T 30992 30994 30994 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=31002] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31002/stat : 31002 (java) T 30992 30994 30994 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=31003] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31003/stat : 31003 (java) T 30992 30994 30994 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869276149 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=31004] ppid=30992 vsize=8538792 CPUtime=0.08 cores=0,2,4,6
/proc/30994/task/31004/stat : 31004 (java) T 30992 30994 30994 0 -1 4202560 1368 0 0 0 8 0 0 0 15 0 19 0 869276150 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30994/tid=31005] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31005/stat : 31005 (java) T 30992 30994 30994 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869276150 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30994/tid=31006] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31006/stat : 31006 (java) T 30992 30994 30994 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869276150 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30994/tid=31007] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31007/stat : 31007 (java) T 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276152 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30994/tid=31008] ppid=30992 vsize=8538792 CPUtime=0.41 cores=0,2,4,6
/proc/30994/task/31008/stat : 31008 (java) T 30992 30994 30994 0 -1 4202560 2671 0 0 0 41 0 0 0 15 0 19 0 869276152 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=30994/tid=31009] ppid=30992 vsize=8538792 CPUtime=0.3 cores=0,2,4,6
/proc/30994/task/31009/stat : 31009 (java) T 30992 30994 30994 0 -1 4202560 1948 0 0 0 30 0 0 0 15 0 19 0 869276153 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=31010] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31010/stat : 31010 (java) T 30992 30994 30994 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869276153 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30994/tid=31011] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31011/stat : 31011 (java) T 30992 30994 30994 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869276153 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=30994/tid=31012] ppid=30992 vsize=8538792 CPUtime=0 cores=0,2,4,6
/proc/30994/task/31012/stat : 31012 (java) T 30992 30994 30994 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869276187 8743723008 14054 33554432000 1073741824 1073778376 140737200448000 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=30992/tid=31015] ppid=30853 vsize=295240 CPUtime=0 cores=0,2,4,6
/proc/30992/task/31015/stat : 31015 (python) S 30853 30853 30488 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869280720 302325760 6176 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604446126167040 0 0 -1 6 0 0 0
[pid=31016] ppid=30853 vsize=305496 CPUtime=0.28 cores=0,2,4,6
/proc/31016/stat : 31016 (python) S 30853 30853 30488 0 -1 4202560 1190 0 0 0 14 14 0 0 16 0 2 0 869280723 312827904 6180 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31016/statm: 76374 6180 403 364 0 11255 0
[pid=31018] ppid=31016 vsize=127880 CPUtime=47.73 cores=0,2,4,6
/proc/31018/stat : 31018 (scip-2.0.1.linu) T 31016 31018 31018 0 -1 4202496 56305 0 0 0 4744 29 0 0 25 0 1 0 869280723 130949120 26896 33554432000 4194304 15243407 140735541503808 18446744073709551615 8118636 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/31018/statm: 31970 26896 921 2698 0 29265 0
[pid=31016/tid=31167] ppid=30853 vsize=305496 CPUtime=0 cores=0,2,4,6
/proc/31016/task/31167/stat : 31167 (python) S 30853 30853 30488 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869285497 312827904 6180 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604451703699392 0 0 -1 6 0 0 0
[pid=31168] ppid=30853 vsize=315752 CPUtime=0.26 cores=0,2,4,6
/proc/31168/stat : 31168 (python) S 30853 30853 30488 0 -1 4202560 1154 0 0 0 13 13 0 0 16 0 2 0 869285500 323330048 6181 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31168/statm: 78938 6181 397 364 0 13816 0
[pid=31170] ppid=31168 vsize=123100 CPUtime=47.91 cores=0,2,4,6
/proc/31170/stat : 31170 (wbo1.4a) T 31168 31170 31170 0 -1 4202496 39509 0 0 0 4727 64 0 0 25 0 1 0 869285500 126054400 30334 33554432000 134512640 135751879 4292361056 18446744073709551615 134517428 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/31170/statm: 30775 30334 146 303 0 30470 0
[pid=31168/tid=31207] ppid=30853 vsize=315752 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31207/stat : 31207 (python) S 30853 30853 30488 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869290292 323330048 6181 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554946 18446604450748417856 0 0 -1 6 0 0 0
[pid=31208] ppid=30853 vsize=326008 CPUtime=0 cores=0,2,4,6
/proc/31208/stat : 31208 (python) S 30853 30853 30488 0 -1 4202560 814 0 0 0 0 0 0 0 16 0 1 0 869290295 333832192 6136 33554432000 4194304 5683644 140737058846416 18446744073709551615 268272709190 0 0 16781312 33554946 3799173485578682368 0 0 17 2 0 0 0
/proc/31208/statm: 81502 6136 349 364 0 16377 0
[pid=31210] ppid=31208 vsize=8603720 CPUtime=1.81 cores=0,2,4,6
/proc/31210/stat : 31210 (java) S 31208 31210 31210 0 -1 4202496 42205 0 1 0 175 6 0 0 20 0 19 0 869290295 8810209280 37429 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31210/statm: 2150930 37431 2225 9 0 2141671 0
[pid=31210/tid=31211] ppid=31208 vsize=8603720 CPUtime=0.99 cores=0,2,4,6
/proc/31210/task/31211/stat : 31211 (java) R 31208 31210 31210 0 -1 4202560 33452 0 1 0 95 4 0 0 25 0 19 0 869290296 8810209280 37496 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 46912505789169 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31210/tid=31212] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31212/stat : 31212 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869290297 8810209280 37496 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31213] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31213/stat : 31213 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869290297 8810209280 37496 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31214] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31214/stat : 31214 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869290297 8810209280 37496 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31215] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31215/stat : 31215 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290297 8810209280 37496 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31216] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31216/stat : 31216 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290297 8810209280 37502 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31217] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31217/stat : 31217 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290297 8810209280 37504 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31218] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31218/stat : 31218 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290297 8810209280 37506 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31219] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31219/stat : 31219 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290297 8810209280 37508 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31220] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31220/stat : 31220 (java) R 31208 31210 31210 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 869290298 8810209280 37510 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284505600 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=31210/tid=31221] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31221/stat : 31221 (java) S 31208 31210 31210 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869290298 8810209280 37512 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31222] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31222/stat : 31222 (java) S 31208 31210 31210 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869290298 8810209280 37514 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31223] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31223/stat : 31223 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284512689 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31224] ppid=31208 vsize=8603720 CPUtime=0.4 cores=0,2,4,6
/proc/31210/task/31224/stat : 31224 (java) S 31208 31210 31210 0 -1 4202560 3185 0 0 0 40 0 0 0 25 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 2 0 0 0
[pid=31210/tid=31225] ppid=31208 vsize=8603720 CPUtime=0.38 cores=0,2,4,6
/proc/31210/task/31225/stat : 31225 (java) S 31208 31210 31210 0 -1 4202560 4236 0 0 0 38 0 0 0 25 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31226] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31226/stat : 31226 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284504985 0 4 0 16800975 18446604452363006080 0 0 -1 6 0 0 0
[pid=31210/tid=31227] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31227/stat : 31227 (java) S 31208 31210 31210 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869290300 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284505600 0 4 0 16800975 18446604452363006080 0 0 -1 4 0 0 0
[pid=31210/tid=31228] ppid=31208 vsize=8603720 CPUtime=0 cores=0,2,4,6
/proc/31210/task/31228/stat : 31228 (java) S 31208 31210 31210 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869290336 8810209280 37515 33554432000 1073741824 1073778376 140735931791632 18446744073709551615 268284505600 0 4 0 16800975 18446604452363006080 0 0 -1 0 0 0 0
[pid=30853/tid=30860] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30860/stat : 30860 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 6 0 869271473 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
[pid=30853/tid=30993] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/30993/stat : 30993 (python) S 30851 30853 30488 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 6 0 869276148 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 0 0 0 0
[pid=30853/tid=31017] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/31017/stat : 31017 (python) S 30851 30853 30488 0 -1 4202560 33 931 0 0 0 0 0 0 20 0 6 0 869280723 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
[pid=30853/tid=31169] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/31169/stat : 31169 (python) S 30851 30853 30488 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 869285500 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 2 0 0 0
[pid=30853/tid=31209] ppid=30851 vsize=336252 CPUtime=0 cores=0,2,4,6
/proc/30853/task/31209/stat : 31209 (python) S 30851 30853 30488 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 6 0 869290295 344322048 7670 33554432000 4194304 5683644 140737058846416 18446744073709551615 268284512689 0 0 16781312 33554434 18446604440533859136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 192.27
Current children cumulated vsize (KiB) 19488608
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30853 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=541917
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=131979
# CPU time returned by wait4() is 0.673896
# while last known CPU time is 192.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 190.09
CPU time (s): 192.27
CPU user time (s): 190.29
CPU system time (s): 1.98
CPU usage (%): 101.147
Max. virtual memory (cumulated for all children) (KiB): 19488608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.541917
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14635
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= 2588
involuntary context switches= 22
runsolver used 1.40279 second user time and 2.76358 second system time
The end