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-3481755-1307576859/watcher-3481755-1307576859 -o /tmp/evaluation-result-3481755-1307576859/solver-3481755-1307576859 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481755-1307576859.opb -seed 2057148573 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 1.57 0.74 3/475 27032
/proc/meminfo: memFree=22279412/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/27032/stat : 27032 (python) R 27030 27032 26377 0 -1 4202496 1037 0 0 0 0 0 0 0 25 0 1 0 869288700 16629760 909 33554432000 4194304 5683644 140735930505328 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27032/statm: 4060 909 380 364 0 547 0
[startup+0.103812 s]
/proc/loadavg: 2.10 1.57 0.74 3/475 27032
/proc/meminfo: memFree=22279412/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/27032/stat : 27032 (python) R 27030 27032 26377 0 -1 4202496 3169 928 1 0 5 2 0 0 18 0 1 0 869288700 98430976 2483 33554432000 4194304 5683644 140735930505328 18446744073709551615 5178064 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27032/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200802 s]
/proc/loadavg: 2.10 1.57 0.74 3/475 27032
/proc/meminfo: memFree=22279412/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 5356 928 1 0 10 4 0 0 17 0 1 0 869288700 126709760 3743 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370953221 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/27032/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300817 s]
/proc/loadavg: 2.10 1.57 0.74 3/475 27032
/proc/meminfo: memFree=22279412/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/27032/stat : 27032 (python) R 27030 27032 26377 0 -1 4202496 5359 928 1 0 11 6 0 0 16 0 1 0 869288700 126709760 3746 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370953221 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27032/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700704 s]
/proc/loadavg: 2.10 1.57 0.74 3/475 27032
/proc/meminfo: memFree=22279412/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=284616 CPUtime=0.5 cores=1,3,5,7
/proc/27032/stat : 27032 (python) R 27030 27032 26377 0 -1 4202496 9638 928 1 0 40 10 0 0 16 0 1 0 869288700 291446784 7499 33554432000 4194304 5683644 140735930505328 18446744073709551615 47056977582336 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/27032/statm: 71154 7499 1816 364 0 6047 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 284616
[startup+1.50056 s]
/proc/loadavg: 2.10 1.57 0.74 3/479 27040
/proc/meminfo: memFree=22207536/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=294884 CPUtime=0.53 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 10053 928 1 0 42 11 0 0 18 0 2 0 869288700 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27032/statm: 73721 7558 1870 364 0 8608 0
[pid=27038] ppid=27032 vsize=284640 CPUtime=0 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 744 0 0 0 0 0 0 0 16 0 1 0 869288773 291471360 6036 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370977295 0 0 16781312 33554946 2701175958328541447 0 0 17 5 0 0 0
/proc/27038/statm: 71160 6036 352 364 0 6047 0
[pid=27040] ppid=27038 vsize=58712 CPUtime=0.76 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) R 27038 27040 27040 0 -1 4202496 13094 0 0 0 69 7 0 0 21 0 1 0 869288773 60121088 12251 33554432000 4194304 13684479 140734315863552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27040/statm: 14678 12251 737 2317 0 12356 0
[pid=27032/tid=27039] ppid=27030 vsize=294884 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 2 0 869288773 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 638236
[startup+3.10029 s]
/proc/loadavg: 2.10 1.57 0.74 3/479 27041
/proc/meminfo: memFree=22204228/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=294884 CPUtime=0.53 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 10053 928 1 0 42 11 0 0 18 0 2 0 869288700 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27032/statm: 73721 7558 1870 364 0 8608 0
[pid=27038] ppid=27032 vsize=284640 CPUtime=0 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869288773 291471360 6036 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370977295 0 0 16781312 33554946 2701175958328541447 0 0 17 5 0 0 0
/proc/27038/statm: 71160 6036 352 364 0 6047 0
[pid=27040] ppid=27038 vsize=60496 CPUtime=2.35 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) R 27038 27040 27040 0 -1 4202496 13511 0 0 0 221 14 0 0 25 0 1 0 869288773 61947904 12666 33554432000 4194304 13684479 140734315863552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27040/statm: 15124 12666 773 2317 0 12802 0
[pid=27032/tid=27039] ppid=27030 vsize=294884 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 2 0 869288773 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 640020
[startup+6.30071 s]
/proc/loadavg: 2.10 1.58 0.75 3/479 27041
/proc/meminfo: memFree=22198292/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=294884 CPUtime=0.53 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 10053 928 1 0 42 11 0 0 18 0 2 0 869288700 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27032/statm: 73721 7558 1870 364 0 8608 0
[pid=27038] ppid=27032 vsize=284640 CPUtime=0.01 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 990 0 0 0 0 1 0 0 16 0 1 0 869288773 291471360 6065 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370977295 0 0 16781312 33554946 4177299691899191296 0 0 17 5 0 0 0
/proc/27038/statm: 71160 6065 381 364 0 6047 0
[pid=27040] ppid=27038 vsize=66536 CPUtime=5.56 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) R 27038 27040 27040 0 -1 4202496 15199 0 0 0 532 24 0 0 18 0 1 0 869288773 68132864 14144 33554432000 4194304 13684479 140734315863552 18446744073709551615 7173360 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27040/statm: 16634 14144 774 2317 0 14312 0
[pid=27032/tid=27039] ppid=27030 vsize=294884 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 2 0 869288773 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 646060
[startup+12.7006 s]
/proc/loadavg: 2.08 1.59 0.76 3/479 27041
/proc/meminfo: memFree=22190360/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=294884 CPUtime=0.53 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 10053 928 1 0 42 11 0 0 18 0 2 0 869288700 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27032/statm: 73721 7558 1870 364 0 8608 0
[pid=27038] ppid=27032 vsize=284640 CPUtime=0.05 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 1002 0 0 0 2 3 0 0 15 0 1 0 869288773 291471360 6065 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370977295 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/27038/statm: 71160 6065 381 364 0 6047 0
[pid=27040] ppid=27038 vsize=73924 CPUtime=11.97 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) R 27038 27040 27040 0 -1 4202496 18587 0 0 0 1159 38 0 0 18 0 1 0 869288773 75698176 16069 33554432000 4194304 13684479 140734315863552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27040/statm: 18481 16069 809 2317 0 16159 0
[pid=27032/tid=27039] ppid=27030 vsize=294884 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 2 0 869288773 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 653448
[startup+25.5003 s]
/proc/loadavg: 2.07 1.60 0.77 3/479 27153
/proc/meminfo: memFree=22241392/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=294884 CPUtime=0.53 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 10053 928 1 0 42 11 0 0 18 0 2 0 869288700 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27032/statm: 73721 7558 1870 364 0 8608 0
[pid=27038] ppid=27032 vsize=284640 CPUtime=0.08 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 1008 0 0 0 3 5 0 0 15 0 1 0 869288773 291471360 6065 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370977295 0 0 16781312 33554946 3442938650256474112 0 0 17 5 0 0 0
/proc/27038/statm: 71160 6065 381 364 0 6047 0
[pid=27040] ppid=27038 vsize=76116 CPUtime=24.76 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) R 27038 27040 27040 0 -1 4202496 21103 0 0 0 2412 64 0 0 25 0 1 0 869288773 77942784 16592 33554432000 4194304 13684479 140734315863552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/27040/statm: 19029 16592 805 2317 0 16707 0
[pid=27032/tid=27039] ppid=27030 vsize=294884 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 2 0 869288773 301961216 7558 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 655640
[startup+51.1007 s]
/proc/loadavg: 2.04 1.63 0.80 3/479 27154
/proc/meminfo: memFree=22232164/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=305644 CPUtime=0.56 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 10954 928 1 0 45 11 0 0 20 0 3 0 869288700 312979456 7693 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27032/statm: 76411 7693 1873 364 0 11295 0
[pid=27038] ppid=27032 vsize=294884 CPUtime=0.17 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 1149 0 0 0 8 9 0 0 16 0 2 0 869288773 301961216 6101 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27038/statm: 73721 6101 412 364 0 8608 0
[pid=27040] ppid=27038 vsize=75564 CPUtime=50.26 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) T 27038 27040 27040 0 -1 4202496 21491 0 0 0 4926 100 0 0 25 0 1 0 869288773 77377536 16463 33554432000 4194304 13684479 140734315863552 18446744073709551615 7154426 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/27040/statm: 18891 16463 803 2317 0 16569 0
[pid=27032/tid=27039] ppid=27030 vsize=305644 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 3 0 869288773 312979456 7693 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 676092
[startup+102.302 s]
/proc/loadavg: 2.10 1.70 0.87 3/527 27203
/proc/meminfo: memFree=22011372/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=315900 CPUtime=0.58 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 11860 928 1 0 47 11 0 0 20 0 4 0 869288700 323481600 7699 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27032/statm: 78975 7699 1875 364 0 13856 0
[pid=27038] ppid=27032 vsize=294884 CPUtime=0.17 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 1149 0 0 0 8 9 0 0 16 0 2 0 869288773 301961216 6101 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27038/statm: 73721 6101 412 364 0 8608 0
[pid=27040] ppid=27038 vsize=75564 CPUtime=50.26 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) T 27038 27040 27040 0 -1 4202496 21491 0 0 0 4926 100 0 0 25 0 1 0 869288773 77377536 16463 33554432000 4194304 13684479 140734315863552 18446744073709551615 7154426 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/27040/statm: 18891 16463 803 2317 0 16569 0
[pid=27038/tid=27155] ppid=27032 vsize=294884 CPUtime=0 cores=1,3,5,7
/proc/27038/task/27155/stat : 27155 (python) S 27032 27032 26377 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869293800 301961216 6101 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468477518080 0 0 -1 7 0 0 0
[pid=27156] ppid=27032 vsize=295400 CPUtime=0.15 cores=1,3,5,7
/proc/27156/stat : 27156 (python) S 27032 27032 26377 0 -1 4202560 1095 0 0 0 8 7 0 0 16 0 2 0 869293803 302489600 6214 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27156/statm: 73850 6214 397 364 0 8734 0
[pid=27158] ppid=27156 vsize=8537688 CPUtime=45.72 cores=1,3,5,7
/proc/27158/stat : 27158 (java) T 27156 27158 27158 0 -1 4202496 33459 0 1 0 4567 5 0 0 18 0 19 0 869293803 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27158/statm: 2134422 30872 2259 9 0 2125163 0
[pid=27158/tid=27159] ppid=27156 vsize=8537688 CPUtime=44.56 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) T 27156 27158 27158 0 -1 4202560 11876 0 1 0 4455 1 0 0 25 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 46912505730880 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27158/tid=27160] ppid=27156 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) T 27156 27158 27158 0 -1 4202560 1407 0 0 0 2 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27161] ppid=27156 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) T 27156 27158 27158 0 -1 4202560 1298 0 0 0 1 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27162] ppid=27156 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) T 27156 27158 27158 0 -1 4202560 480 0 0 0 2 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27163] ppid=27156 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) T 27156 27158 27158 0 -1 4202560 1136 0 0 0 1 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27164] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) T 27156 27158 27158 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27165] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) T 27156 27158 27158 0 -1 4202560 1233 0 0 0 0 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=27295/tid=27307] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27307/stat : 27307 (java) S 27293 27295 27295 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869307909 8668819456 3834 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 7 0 0 0
[pid=27295/tid=27308] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27308/stat : 27308 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3835 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382780849 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27309] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27309/stat : 27309 (java) S 27293 27295 27295 0 -1 4202560 23 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3835 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27310] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27310/stat : 27310 (java) R 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3835 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27295/tid=27311] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27311/stat : 27311 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3837 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27312] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27312/stat : 27312 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3837 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773760 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27032/tid=27039] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 6 0 869288773 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
[pid=27032/tid=27157] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27157/stat : 27157 (python) S 27030 27032 26377 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 869293803 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
[pid=27032/tid=27202] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27202/stat : 27202 (python) S 27030 27032 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 6 0 869298290 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 7 0 0 0
[pid=27032/tid=27211] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27211/stat : 27211 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 869303186 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 3 0 0 0
[pid=27032/tid=27294] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27294/stat : 27294 (python) S 27030 27032 26377 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 869307906 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.42
Current children cumulated vsize (KiB) 19100740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+192.102 s]
/proc/loadavg: 2.02 1.78 0.97 4/569 27312
/proc/meminfo: memFree=21536008/32951124 swapFree=49244124/67111528
[pid=27032] ppid=27030 vsize=336412 CPUtime=0.64 cores=1,3,5,7
/proc/27032/stat : 27032 (python) S 27030 27032 26377 0 -1 4202496 13767 928 1 0 52 12 0 0 20 0 6 0 869288700 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27032/statm: 84103 7711 1879 364 0 18978 0
[pid=27038] ppid=27032 vsize=294884 CPUtime=0.17 cores=1,3,5,7
/proc/27038/stat : 27038 (python) S 27032 27032 26377 0 -1 4202560 1149 0 0 0 8 9 0 0 16 0 2 0 869288773 301961216 6101 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27038/statm: 73721 6101 412 364 0 8608 0
[pid=27040] ppid=27038 vsize=75564 CPUtime=50.26 cores=1,3,5,7
/proc/27040/stat : 27040 (scip-2.0.1.linu) T 27038 27040 27040 0 -1 4202496 21491 0 0 0 4926 100 0 0 25 0 1 0 869288773 77377536 16463 33554432000 4194304 13684479 140734315863552 18446744073709551615 7154426 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/27040/statm: 18891 16463 803 2317 0 16569 0
[pid=27038/tid=27155] ppid=27032 vsize=294884 CPUtime=0 cores=1,3,5,7
/proc/27038/task/27155/stat : 27155 (python) S 27032 27032 26377 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869293800 301961216 6101 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468477518080 0 0 -1 7 0 0 0
[pid=27156] ppid=27032 vsize=295400 CPUtime=0.15 cores=1,3,5,7
/proc/27156/stat : 27156 (python) S 27032 27032 26377 0 -1 4202560 1095 0 0 0 8 7 0 0 16 0 2 0 869293803 302489600 6214 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27156/statm: 73850 6214 397 364 0 8734 0
[pid=27158] ppid=27156 vsize=8537688 CPUtime=45.72 cores=1,3,5,7
/proc/27158/stat : 27158 (java) T 27156 27158 27158 0 -1 4202496 33459 0 1 0 4567 5 0 0 18 0 19 0 869293803 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27158/statm: 2134422 30872 2259 9 0 2125163 0
[pid=27158/tid=27159] ppid=27156 vsize=8537688 CPUtime=44.56 cores=1,3,5,7
/proc/27158/task/27159/stat : 27159 (java) T 27156 27158 27158 0 -1 4202560 11876 0 1 0 4455 1 0 0 25 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 46912505730880 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27158/tid=27160] ppid=27156 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27160/stat : 27160 (java) T 27156 27158 27158 0 -1 4202560 1407 0 0 0 2 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27161] ppid=27156 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27161/stat : 27161 (java) T 27156 27158 27158 0 -1 4202560 1298 0 0 0 1 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27162] ppid=27156 vsize=8537688 CPUtime=0.02 cores=1,3,5,7
/proc/27158/task/27162/stat : 27162 (java) T 27156 27158 27158 0 -1 4202560 480 0 0 0 2 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27163] ppid=27156 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27163/stat : 27163 (java) T 27156 27158 27158 0 -1 4202560 1136 0 0 0 1 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27164] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27164/stat : 27164 (java) T 27156 27158 27158 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27165] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27165/stat : 27165 (java) T 27156 27158 27158 0 -1 4202560 1233 0 0 0 0 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27166] ppid=27156 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27166/stat : 27166 (java) T 27156 27158 27158 0 -1 4202560 684 0 0 0 1 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27167] ppid=27156 vsize=8537688 CPUtime=0.01 cores=1,3,5,7
/proc/27158/task/27167/stat : 27167 (java) T 27156 27158 27158 0 -1 4202560 1431 0 0 0 1 0 0 0 15 0 19 0 869293804 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27168] ppid=27156 vsize=8537688 CPUtime=0.19 cores=1,3,5,7
/proc/27158/task/27168/stat : 27168 (java) T 27156 27158 27158 0 -1 4202560 7198 0 0 0 19 0 0 0 15 0 19 0 869293805 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27158/tid=27169] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27169/stat : 27169 (java) T 27156 27158 27158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869293805 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27170] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27170/stat : 27170 (java) T 27156 27158 27158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869293805 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27171] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27171/stat : 27171 (java) T 27156 27158 27158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293807 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27172] ppid=27156 vsize=8537688 CPUtime=0.45 cores=1,3,5,7
/proc/27158/task/27172/stat : 27172 (java) T 27156 27158 27158 0 -1 4202560 2612 0 0 0 45 0 0 0 15 0 19 0 869293807 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27158/tid=27173] ppid=27156 vsize=8537688 CPUtime=0.35 cores=1,3,5,7
/proc/27158/task/27173/stat : 27173 (java) T 27156 27158 27158 0 -1 4202560 2274 0 0 0 35 0 0 0 15 0 19 0 869293808 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27174] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27174/stat : 27174 (java) T 27156 27158 27158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869293808 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27175] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27175/stat : 27175 (java) T 27156 27158 27158 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 869293808 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27158/tid=27176] ppid=27156 vsize=8537688 CPUtime=0 cores=1,3,5,7
/proc/27158/task/27176/stat : 27176 (java) T 27156 27158 27158 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869293843 8742592512 30872 33554432000 1073741824 1073778376 140735536256240 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27156/tid=27200] ppid=27032 vsize=295400 CPUtime=0 cores=1,3,5,7
/proc/27156/task/27200/stat : 27200 (python) S 27032 27032 26377 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869298287 302489600 6214 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554946 18446604470557416512 0 0 -1 7 0 0 0
[pid=27201] ppid=27032 vsize=305656 CPUtime=0.17 cores=1,3,5,7
/proc/27201/stat : 27201 (python) S 27032 27032 26377 0 -1 4202560 1113 0 0 0 9 8 0 0 16 0 2 0 869298290 312991744 6218 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27201/statm: 76414 6218 397 364 0 11295 0
[pid=27203] ppid=27201 vsize=72524 CPUtime=48.91 cores=1,3,5,7
/proc/27203/stat : 27203 (scip-2.0.1.linu) T 27201 27203 27203 0 -1 4202496 102027 0 0 0 4838 53 0 0 25 0 1 0 869298290 74264576 13732 33554432000 4194304 15243407 140737154425488 18446744073709551615 8114139 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/27203/statm: 18131 13732 909 2698 0 15426 0
[pid=27201/tid=27209] ppid=27032 vsize=305656 CPUtime=0 cores=1,3,5,7
/proc/27201/task/27209/stat : 27209 (python) S 27032 27032 26377 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869303183 312991744 6218 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554946 18446604464092211392 0 0 -1 7 0 0 0
[pid=27210] ppid=27032 vsize=315912 CPUtime=0.19 cores=1,3,5,7
/proc/27210/stat : 27210 (python) S 27032 27032 26377 0 -1 4202560 1154 0 0 0 10 9 0 0 16 0 2 0 869303186 323493888 6222 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27210/statm: 78978 6222 397 364 0 13856 0
[pid=27212] ppid=27210 vsize=74888 CPUtime=47.16 cores=1,3,5,7
/proc/27212/stat : 27212 (wbo1.4a) T 27210 27212 27212 0 -1 4202496 20495 0 0 0 4647 69 0 0 25 0 1 0 869303186 76685312 18240 33554432000 134512640 135751879 4288490000 18446744073709551615 134602472 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/27212/statm: 18722 18240 146 303 0 18417 0
[pid=27210/tid=27292] ppid=27032 vsize=315912 CPUtime=0 cores=1,3,5,7
/proc/27210/task/27292/stat : 27292 (python) S 27032 27032 26377 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869307903 323493888 6222 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554946 18446604461899473152 0 0 -1 7 0 0 0
[pid=27293] ppid=27032 vsize=326168 CPUtime=0 cores=1,3,5,7
/proc/27293/stat : 27293 (python) S 27032 27032 26377 0 -1 4202560 746 0 0 0 0 0 0 0 19 0 1 0 869307906 333996032 6174 33554432000 4194304 5683644 140735930505328 18446744073709551615 218370977350 0 0 16781312 33554946 3241575752897888518 0 0 17 3 0 0 0
/proc/27293/statm: 81542 6174 346 364 0 16417 0
[pid=27295] ppid=27293 vsize=8465644 CPUtime=0.05 cores=1,3,5,7
/proc/27295/stat : 27295 (java) S 27293 27295 27295 0 -1 4202496 4351 0 1 0 5 0 0 0 20 0 18 0 869307906 8668819456 3810 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/27295/statm: 2116411 3810 1748 9 0 2107152 0
[pid=27295/tid=27296] ppid=27293 vsize=8465644 CPUtime=0.05 cores=1,3,5,7
/proc/27295/task/27296/stat : 27296 (java) R 27293 27295 27295 0 -1 4202560 2958 0 1 0 5 0 0 0 25 0 18 0 869307907 8668819456 3828 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 47124449641495 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27295/tid=27297] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27297/stat : 27297 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869307907 8668819456 3828 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 7 0 0 0
[pid=27295/tid=27298] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27298/stat : 27298 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869307907 8668819456 3828 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 7 0 0 0
[pid=27295/tid=27299] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27299/stat : 27299 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869307907 8668819456 3830 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 7 0 0 0
[pid=27295/tid=27300] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27300/stat : 27300 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307907 8668819456 3830 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27301] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27301/stat : 27301 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307907 8668819456 3830 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27302] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27302/stat : 27302 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307907 8668819456 3832 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27303] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27303/stat : 27303 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307907 8668819456 3833 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27304] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27304/stat : 27304 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307907 8668819456 3833 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27305] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27305/stat : 27305 (java) S 27293 27295 27295 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869307908 8668819456 3833 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773760 0 0 0 16800975 18446604457295928128 0 0 -1 7 0 0 0
[pid=27295/tid=27306] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27306/stat : 27306 (java) S 27293 27295 27295 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869307909 8668819456 3834 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 7 0 0 0
[pid=27295/tid=27307] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27307/stat : 27307 (java) S 27293 27295 27295 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869307909 8668819456 3834 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 7 0 0 0
[pid=27295/tid=27308] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27308/stat : 27308 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3835 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382780849 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27309] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27309/stat : 27309 (java) S 27293 27295 27295 0 -1 4202560 23 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3835 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27310] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27310/stat : 27310 (java) R 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3835 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27295/tid=27311] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27311/stat : 27311 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3837 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773145 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27295/tid=27312] ppid=27293 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/27295/task/27312/stat : 27312 (java) S 27293 27295 27295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869307911 8668819456 3837 33554432000 1073741824 1073778376 140737450512880 18446744073709551615 218382773760 0 4 0 16800975 18446604457295928128 0 0 -1 5 0 0 0
[pid=27032/tid=27039] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27039/stat : 27039 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 6 0 869288773 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
[pid=27032/tid=27157] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27157/stat : 27157 (python) S 27030 27032 26377 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 869293803 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
[pid=27032/tid=27202] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27202/stat : 27202 (python) S 27030 27032 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 6 0 869298290 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 7 0 0 0
[pid=27032/tid=27211] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27211/stat : 27211 (python) S 27030 27032 26377 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 6 0 869303186 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 3 0 0 0
[pid=27032/tid=27294] ppid=27030 vsize=336412 CPUtime=0 cores=1,3,5,7
/proc/27032/task/27294/stat : 27294 (python) S 27030 27032 26377 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 6 0 869307906 344485888 7711 33554432000 4194304 5683644 140735930505328 18446744073709551615 218382780849 0 0 16781312 33554434 18446604461076908800 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.42
Current children cumulated vsize (KiB) 19100740
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27032 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=525920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123981
# CPU time returned by wait4() is 0.649901
# while last known CPU time is 193.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 192.175
CPU time (s): 193.42
CPU user time (s): 190.7
CPU system time (s): 2.72
CPU usage (%): 100.648
Max. virtual memory (cumulated for all children) (KiB): 19100740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52592
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14697
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= 1590
involuntary context switches= 26
runsolver used 0.840872 second user time and 1.91671 second system time
The end