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-3481860-1307576908/watcher-3481860-1307576908 -o /tmp/evaluation-result-3481860-1307576908/solver-3481860-1307576908 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481860-1307576908.opb -seed 1011501254 -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.00 1.74 0.90 2/549 28210
/proc/meminfo: memFree=21684464/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/28210/stat : 28210 (python) R 28208 28210 27243 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 850106848 16629760 919 33554432000 4194304 5683644 140734072636736 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28210/statm: 4060 919 381 364 0 547 0
[startup+0.0748751 s]
/proc/loadavg: 2.00 1.74 0.90 2/549 28210
/proc/meminfo: memFree=21684464/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=84568 CPUtime=0.05 cores=0,2,4,6
/proc/28210/stat : 28210 (python) S 28208 28210 27243 0 -1 4202496 2398 0 0 0 4 1 0 0 20 0 1 0 850106848 86597632 2127 33554432000 4194304 5683644 140734072636736 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/28210/statm: 21142 2127 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568
[startup+0.10931 s]
/proc/loadavg: 2.00 1.74 0.90 2/549 28210
/proc/meminfo: memFree=21684464/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/28210/stat : 28210 (python) R 28208 28210 27243 0 -1 4202496 3168 929 1 0 6 1 0 0 18 0 1 0 850106848 98430976 2483 33554432000 4194304 5683644 140734072636736 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28210/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301263 s]
/proc/loadavg: 2.00 1.74 0.90 2/549 28210
/proc/meminfo: memFree=21684464/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=202992 CPUtime=0.22 cores=0,2,4,6
/proc/28210/stat : 28210 (python) S 28208 28210 27243 0 -1 4202496 6676 929 1 0 17 5 0 0 18 0 1 0 850106848 207863808 4962 33554432000 4194304 5683644 140734072636736 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/28210/statm: 50748 4962 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202992
[startup+0.70016 s]
/proc/loadavg: 2.00 1.74 0.90 2/549 28210
/proc/meminfo: memFree=21684464/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=285728 CPUtime=0.6 cores=0,2,4,6
/proc/28210/stat : 28210 (python) R 28208 28210 27243 0 -1 4202496 10340 929 1 0 52 8 0 0 19 0 1 0 850106848 292585472 7817 33554432000 4194304 5683644 140734072636736 18446744073709551615 220819718527 0 0 16781312 33554434 0 0 0 17 6 0 0 0
/proc/28210/statm: 71432 7817 1863 364 0 6322 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 285728
[startup+1.50102 s]
/proc/loadavg: 2.00 1.74 0.90 5/570 28235
/proc/meminfo: memFree=21637924/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=295984 CPUtime=0.62 cores=0,2,4,6
/proc/28210/stat : 28210 (python) S 28208 28210 27243 0 -1 4202496 10566 929 1 0 54 8 0 0 21 0 2 0 850106848 303087616 7828 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28210/statm: 73996 7828 1870 364 0 8883 0
[pid=28216] ppid=28210 vsize=285740 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (python) S 28210 28210 27243 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 850106919 292597760 6306 33554432000 4194304 5683644 140734072636736 18446744073709551615 220816256527 0 0 16781312 33554946 8056985333033566467 0 0 17 0 0 0 0
/proc/28216/statm: 71435 6306 352 364 0 6322 0
[pid=28218] ppid=28216 vsize=8538572 CPUtime=1.48 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28218 28218 0 -1 4202496 18996 0 1 0 145 3 0 0 23 0 19 0 850106919 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 2134643 16373 2224 9 0 2125384 0
[pid=28218/tid=28219] ppid=28216 vsize=8538572 CPUtime=0.75 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28218 28218 0 -1 4202560 12355 0 1 0 73 2 0 0 19 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 46912505875171 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28218 28218 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28222] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28223] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28224] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28225] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28226] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28227] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106920 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28228] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28218 28218 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850106921 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 0 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28229] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28218 28218 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850106922 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28230] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) S 28216 28218 28218 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850106922 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28231] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106924 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828060081 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28232] ppid=28216 vsize=8538572 CPUtime=0.33 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28218 28218 0 -1 4202560 3398 0 0 0 33 0 0 0 16 0 19 0 850106924 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28233] ppid=28216 vsize=8538572 CPUtime=0.37 cores=0,2,4,6
/proc/28218/task/28233/stat : 28233 (java) S 28216 28218 28218 0 -1 4202560 1857 0 0 0 37 0 0 0 25 0 19 0 850106924 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
[pid=28218/tid=28234] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28234/stat : 28234 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106924 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28235] ppid=28216 vsize=8538572 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28235/stat : 28235 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850106924 8743497728 16373 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 4 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
[pid=28210/tid=28217] ppid=28208 vsize=295984 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28217/stat : 28217 (python) S 28208 28210 27243 0 -1 4202560 26 929 0 0 0 0 0 0 21 0 2 0 850106919 303087616 7828 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9120296
[startup+3.10078 s]
/proc/loadavg: 2.00 1.74 0.90 3/571 28236
/proc/meminfo: memFree=21580876/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=295984 CPUtime=0.62 cores=0,2,4,6
/proc/28210/stat : 28210 (python) S 28208 28210 27243 0 -1 4202496 10566 929 1 0 54 8 0 0 21 0 2 0 850106848 303087616 7828 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28210/statm: 73996 7828 1870 364 0 8883 0
[pid=28216] ppid=28210 vsize=285740 CPUtime=0 cores=0,2,4,6
/proc/28216/stat : 28216 (python) S 28210 28210 27243 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 850106919 292597760 6306 33554432000 4194304 5683644 140734072636736 18446744073709551615 220816256527 0 0 16781312 33554946 8056985333033566467 0 0 17 0 0 0 0
/proc/28216/statm: 71435 6306 352 364 0 6322 0
[pid=28218] ppid=28216 vsize=8538408 CPUtime=3.19 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28218 28218 0 -1 4202496 29914 0 1 0 314 5 0 0 23 0 19 0 850106919 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 2134602 27176 2255 9 0 2125343 0
[pid=28218/tid=28219] ppid=28216 vsize=8538408 CPUtime=2.29 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28218 28218 0 -1 4202560 13600 0 1 0 227 2 0 0 22 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 46912505793689 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28218 28218 0 -1 4202560 1465 0 0 0 0 0 0 0 16 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28218 28218 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
[pid=28218/tid=28222] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28218 28218 0 -1 4202560 1036 0 0 0 0 0 0 0 16 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28223] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28224] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
[pid=28218/tid=28225] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28218 28218 0 -1 4202560 612 0 0 0 0 0 0 0 16 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28226] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28218 28218 0 -1 4202560 1252 0 0 0 0 0 0 0 16 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
[pid=28218/tid=28227] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28218 28218 0 -1 4202560 714 0 0 0 0 0 0 0 16 0 19 0 850106920 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28228] ppid=28216 vsize=8538408 CPUtime=0.03 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28218 28218 0 -1 4202560 4154 0 0 0 3 0 0 0 15 0 19 0 850106921 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 0 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28229] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) S 28216 28218 28218 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850106922 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28230] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) S 28216 28218 28218 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850106922 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28231] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106924 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828060081 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28232] ppid=28216 vsize=8538408 CPUtime=0.39 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) S 28216 28218 28218 0 -1 4202560 3411 0 0 0 38 1 0 0 15 0 19 0 850106924 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28233] ppid=28216 vsize=8538408 CPUtime=0.43 cores=0,2,4,6
/proc/28218/task/28233/stat : 28233 (java) S 28216 28218 28218 0 -1 4202560 1967 0 0 0 43 0 0 0 15 0 19 0 850106924 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28234] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28234/stat : 28234 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850106924 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28235] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28235/stat : 28235 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850106924 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 4 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
[pid=28218/tid=28236] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28236/stat : 28236 (java) S 28216 28218 28218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850106963 8743329792 27176 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28210/tid=28217] ppid=28208 vsize=295984 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28217/stat : 28217 (python) S 28208 28210 27243 0 -1 4202560 26 929 0 0 0 0 0 0 21 0 2 0 850106919 303087616 7828 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9120132
[startup+6.30119 s]
/proc/loadavg: 2.00 1.74 0.91 3/571 28236
/proc/meminfo: memFree=21536912/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=295984 CPUtime=0.62 cores=0,2,4,6
/proc/28210/stat : 28210 (python) S 28208 28210 27243 0 -1 4202496 10566 929 1 0 54 8 0 0 21 0 2 0 850106848 303087616 7828 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28210/statm: 73996 7828 1870 364 0 8883 0
[pid=28216] ppid=28210 vsize=285740 CPUtime=0.02 cores=0,2,4,6
/proc/28216/stat : 28216 (python) S 28210 28210 27243 0 -1 4202560 896 0 0 0 1 1 0 0 15 0 1 0 850106919 292597760 6330 33554432000 4194304 5683644 140734072636736 18446744073709551615 220816256527 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/28216/statm: 71435 6330 376 364 0 6322 0
[pid=28218] ppid=28216 vsize=8538408 CPUtime=6.44 cores=0,2,4,6
/proc/28218/stat : 28218 (java) S 28216 28218 28218 0 -1 4202496 34016 0 1 0 639 5 0 0 23 0 19 0 850106919 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 2134602 31157 2255 9 0 2125343 0
[pid=28218/tid=28219] ppid=28216 vsize=8538408 CPUtime=5.4 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) R 28216 28218 28218 0 -1 4202560 13603 0 1 0 538 2 0 0 19 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 46912505875176 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=8538408 CPUtime=0.01 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) S 28216 28218 28218 0 -1 4202560 2120 0 0 0 1 0 0 0 16 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=8538408 CPUtime=0.01 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) S 28216 28218 28218 0 -1 4202560 729 0 0 0 1 0 0 0 15 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28222] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) S 28216 28218 28218 0 -1 4202560 1036 0 0 0 0 0 0 0 15 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28223] ppid=28216 vsize=8538408 CPUtime=0.01 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) S 28216 28218 28218 0 -1 4202560 765 0 0 0 1 0 0 0 15 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28224] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) S 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 6 0 0 0
[pid=28218/tid=28225] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) S 28216 28218 28218 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28226] ppid=28216 vsize=8538408 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) S 28216 28218 28218 0 -1 4202560 1496 0 0 0 0 0 0 0 15 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28227] ppid=28216 vsize=8538408 CPUtime=0.01 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) S 28216 28218 28218 0 -1 4202560 938 0 0 0 1 0 0 0 16 0 19 0 850106920 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446604446914287616 0 0 -1 4 0 0 0
[pid=28218/tid=28228] ppid=28216 vsize=8538408 CPUtime=0.09 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) S 28216 28218 28218 0 -1 4202560 5876 0 0 0 9 0 0 0 15 0 19 0 850106921 8743329792 31157 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 0 0 16800975 18446604446914287616 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=28210/tid=28244] ppid=28208 vsize=337512 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28244/stat : 28244 (python) S 28208 28210 27243 0 -1 4202560 25 929 0 0 0 0 0 0 20 0 6 0 850111819 345612288 7986 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 0 0 0 0
[pid=28210/tid=28331] ppid=28208 vsize=337512 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28331/stat : 28331 (python) S 28208 28210 27243 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 6 0 850120772 345612288 7986 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 2 0 0 0
[pid=28210/tid=28338] ppid=28208 vsize=337512 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28338/stat : 28338 (python) S 28208 28210 27243 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 850125486 345612288 7986 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 2 0 0 0
[pid=28210/tid=28347] ppid=28208 vsize=337512 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28347/stat : 28347 (python) S 28208 28210 27243 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 6 0 850134658 345612288 7986 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 284.45
Current children cumulated vsize (KiB) 10637704
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+324.401 s]
/proc/loadavg: 2.08 1.95 1.23 6/634 28374
/proc/meminfo: memFree=20321444/32951124 swapFree=60476376/67111528
[pid=28210] ppid=28208 vsize=347768 CPUtime=0.78 cores=0,2,4,6
/proc/28210/stat : 28210 (python) S 28208 28210 27243 0 -1 4202496 15282 929 1 0 69 9 0 0 20 0 7 0 850106848 356114432 7992 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/28210/statm: 86942 7992 1881 364 0 21814 0
[pid=28216] ppid=28210 vsize=295984 CPUtime=0.4 cores=0,2,4,6
/proc/28216/stat : 28216 (python) S 28210 28210 27243 0 -1 4202560 1112 0 0 0 21 19 0 0 15 0 2 0 850106919 303087616 6367 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28216/statm: 73996 6367 408 364 0 8883 0
[pid=28218] ppid=28216 vsize=8537140 CPUtime=92 cores=0,2,4,6
/proc/28218/stat : 28218 (java) T 28216 28218 28218 0 -1 4202496 46810 0 1 0 9193 7 0 0 18 0 19 0 850106919 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 2134285 43413 2255 9 0 2125026 0
[pid=28218/tid=28219] ppid=28216 vsize=8537140 CPUtime=89.41 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (java) T 28216 28218 28218 0 -1 4202560 13639 0 1 0 8939 2 0 0 25 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 46912505785056 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=8537140 CPUtime=0.09 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (java) T 28216 28218 28218 0 -1 4202560 3293 0 0 0 9 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=8537140 CPUtime=0.09 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (java) T 28216 28218 28218 0 -1 4202560 2188 0 0 0 9 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28218/tid=28222] ppid=28216 vsize=8537140 CPUtime=0.08 cores=0,2,4,6
/proc/28218/task/28222/stat : 28222 (java) T 28216 28218 28218 0 -1 4202560 2461 0 0 0 8 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28218/tid=28223] ppid=28216 vsize=8537140 CPUtime=0.07 cores=0,2,4,6
/proc/28218/task/28223/stat : 28223 (java) T 28216 28218 28218 0 -1 4202560 1103 0 0 0 7 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28218/tid=28224] ppid=28216 vsize=8537140 CPUtime=0.07 cores=0,2,4,6
/proc/28218/task/28224/stat : 28224 (java) T 28216 28218 28218 0 -1 4202560 753 0 0 0 7 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28218/tid=28225] ppid=28216 vsize=8537140 CPUtime=0.05 cores=0,2,4,6
/proc/28218/task/28225/stat : 28225 (java) T 28216 28218 28218 0 -1 4202560 989 0 0 0 5 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28218/tid=28226] ppid=28216 vsize=8537140 CPUtime=0.08 cores=0,2,4,6
/proc/28218/task/28226/stat : 28226 (java) T 28216 28218 28218 0 -1 4202560 2753 0 0 0 8 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28218/tid=28227] ppid=28216 vsize=8537140 CPUtime=0.08 cores=0,2,4,6
/proc/28218/task/28227/stat : 28227 (java) T 28216 28218 28218 0 -1 4202560 2203 0 0 0 8 0 0 0 15 0 19 0 850106920 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28218/tid=28228] ppid=28216 vsize=8537140 CPUtime=1.04 cores=0,2,4,6
/proc/28218/task/28228/stat : 28228 (java) T 28216 28218 28218 0 -1 4202560 10582 0 0 0 103 1 0 0 15 0 19 0 850106921 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28218/tid=28229] ppid=28216 vsize=8537140 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28229/stat : 28229 (java) T 28216 28218 28218 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850106922 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28218/tid=28230] ppid=28216 vsize=8537140 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28230/stat : 28230 (java) T 28216 28218 28218 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850106922 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28218/tid=28231] ppid=28216 vsize=8537140 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28231/stat : 28231 (java) T 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850106924 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28218/tid=28232] ppid=28216 vsize=8537140 CPUtime=0.41 cores=0,2,4,6
/proc/28218/task/28232/stat : 28232 (java) T 28216 28218 28218 0 -1 4202560 3493 0 0 0 40 1 0 0 15 0 19 0 850106924 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28218/tid=28233] ppid=28216 vsize=8537140 CPUtime=0.44 cores=0,2,4,6
/proc/28218/task/28233/stat : 28233 (java) T 28216 28218 28218 0 -1 4202560 1969 0 0 0 44 0 0 0 15 0 19 0 850106924 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28218/tid=28234] ppid=28216 vsize=8537140 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28234/stat : 28234 (java) T 28216 28218 28218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850106924 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28218/tid=28235] ppid=28216 vsize=8537140 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28235/stat : 28235 (java) T 28216 28218 28218 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 850106924 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28218/tid=28236] ppid=28216 vsize=8537140 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28236/stat : 28236 (java) T 28216 28218 28218 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850106963 8742031360 43413 33554432000 1073741824 1073778376 140736500818160 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28216/tid=28242] ppid=28210 vsize=295984 CPUtime=0 cores=0,2,4,6
/proc/28216/task/28242/stat : 28242 (python) S 28210 28210 27243 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 850111816 303087616 6367 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554946 18446604448890986752 0 0 -1 2 0 0 0
[pid=28243] ppid=28210 vsize=296500 CPUtime=0.21 cores=0,2,4,6
/proc/28243/stat : 28243 (python) S 28210 28210 27243 0 -1 4202560 1136 0 0 0 12 9 0 0 16 0 2 0 850111819 303616000 6482 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28243/statm: 74125 6482 397 364 0 9009 0
[pid=28245] ppid=28243 vsize=68140 CPUtime=47.6 cores=0,2,4,6
/proc/28245/stat : 28245 (wbo1.4a) T 28243 28245 28245 0 -1 4202496 17161 0 0 0 4717 43 0 0 25 0 1 0 850111819 69775360 16558 33554432000 134512640 135751879 4290296544 18446744073709551615 134616480 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28245/statm: 17035 16558 146 303 0 16730 0
[pid=28243/tid=28324] ppid=28210 vsize=296500 CPUtime=0 cores=0,2,4,6
/proc/28243/task/28324/stat : 28324 (python) S 28210 28210 27243 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850116580 303616000 6482 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554946 18446604447573629952 0 0 -1 6 0 0 0
[pid=28330] ppid=28210 vsize=306756 CPUtime=0.19 cores=0,2,4,6
/proc/28330/stat : 28330 (python) S 28210 28210 27243 0 -1 4202560 1186 0 0 0 9 10 0 0 16 0 2 0 850120772 314118144 6493 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28330/statm: 76689 6493 403 364 0 11570 0
[pid=28332] ppid=28330 vsize=56700 CPUtime=47.08 cores=0,2,4,6
/proc/28332/stat : 28332 (pbct-0.1.2-linu) T 28330 28332 28332 0 -1 4202496 14275 0 0 0 4628 80 0 0 25 0 1 0 850120772 58060800 13667 33554432000 134512640 136422188 4288381712 18446744073709551615 134860438 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/28332/statm: 14175 13667 236 467 0 13706 0
[pid=28330/tid=28336] ppid=28210 vsize=306756 CPUtime=0 cores=0,2,4,6
/proc/28330/task/28336/stat : 28336 (python) S 28210 28210 27243 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850125483 314118144 6493 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554946 18446604453936720832 0 0 -1 6 0 0 0
[pid=28337] ppid=28210 vsize=317012 CPUtime=0.36 cores=0,2,4,6
/proc/28337/stat : 28337 (python) S 28210 28210 27243 0 -1 4202560 1230 0 0 0 18 18 0 0 17 0 2 0 850125486 324620288 6503 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28337/statm: 79253 6503 403 364 0 14131 0
[pid=28339] ppid=28337 vsize=14200 CPUtime=91.68 cores=0,2,4,6
/proc/28339/stat : 28339 (clasp-1.3.7-x86) T 28337 28339 28339 0 -1 4202496 3672 0 0 0 9168 0 0 0 25 0 1 0 850125486 14540800 3310 33554432000 134512640 136139019 4292808768 18446744073709551615 134883821 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/28339/statm: 3550 3310 187 398 0 3150 0
[pid=28337/tid=28345] ppid=28210 vsize=317012 CPUtime=0 cores=0,2,4,6
/proc/28337/task/28345/stat : 28345 (python) S 28210 28210 27243 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850134655 324620288 6503 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554946 18446604446992274752 0 0 -1 6 0 0 0
[pid=28346] ppid=28210 vsize=327268 CPUtime=0.23 cores=0,2,4,6
/proc/28346/stat : 28346 (python) S 28210 28210 27243 0 -1 4202560 1158 0 0 0 13 10 0 0 16 0 2 0 850134658 335122432 6501 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/28346/statm: 81817 6501 397 364 0 16692 0
[pid=28348] ppid=28346 vsize=107888 CPUtime=45.87 cores=0,2,4,6
/proc/28348/stat : 28348 (scip-2.0.1.linu) T 28346 28348 28348 0 -1 4202496 25220 0 0 0 4568 19 0 0 25 0 1 0 850134658 110477312 24099 33554432000 4194304 15243407 140736522511456 18446744073709551615 8113576 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/28348/statm: 26972 24099 924 2698 0 24267 0
[pid=28346/tid=28354] ppid=28210 vsize=327268 CPUtime=0 cores=0,2,4,6
/proc/28346/task/28354/stat : 28354 (python) S 28210 28210 27243 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850139256 335122432 6501 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554946 18446604444990928704 0 0 -1 0 0 0 0
[pid=28355] ppid=28210 vsize=337524 CPUtime=0 cores=0,2,4,6
/proc/28355/stat : 28355 (python) S 28210 28210 27243 0 -1 4202560 809 0 0 0 0 0 0 0 19 0 1 0 850139259 345624576 6456 33554432000 4194304 5683644 140734072636736 18446744073709551615 220816256582 0 0 16781312 33554946 742361504858243072 0 0 17 0 0 0 0
/proc/28355/statm: 84381 6456 349 364 0 19253 0
[pid=28357] ppid=28355 vsize=8534900 CPUtime=0.51 cores=0,2,4,6
/proc/28357/stat : 28357 (java) S 28355 28357 28357 0 -1 4202496 9098 0 1 0 49 2 0 0 20 0 18 0 850139259 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28357/statm: 2133725 7860 2200 9 0 2124466 0
[pid=28357/tid=28358] ppid=28355 vsize=8534900 CPUtime=0.26 cores=0,2,4,6
/proc/28357/task/28358/stat : 28358 (java) R 28355 28357 28357 0 -1 4202560 4862 0 1 0 25 1 0 0 18 0 18 0 850139260 8739737600 7844 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 46912505226113 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28357/tid=28359] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28359/stat : 28359 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850139260 8739737600 7854 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 2 0 0 0
[pid=28357/tid=28360] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28360/stat : 28360 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850139260 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 2 0 0 0
[pid=28357/tid=28361] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28361/stat : 28361 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850139260 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 2 0 0 0
[pid=28357/tid=28362] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28362/stat : 28362 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850139260 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 0 0 0 0
[pid=28357/tid=28363] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28363/stat : 28363 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850139260 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 6 0 0 0
[pid=28357/tid=28364] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28364/stat : 28364 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850139260 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 0 0 0 0
[pid=28357/tid=28365] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28365/stat : 28365 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850139260 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 6 0 0 0
[pid=28357/tid=28366] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28366/stat : 28366 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850139260 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 0 0 0 0
[pid=28357/tid=28367] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28367/stat : 28367 (java) S 28355 28357 28357 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850139261 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052992 0 0 0 16800975 18446604448506087552 0 0 -1 2 0 0 0
[pid=28357/tid=28368] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28368/stat : 28368 (java) S 28355 28357 28357 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850139262 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 2 0 0 0
[pid=28357/tid=28369] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28369/stat : 28369 (java) S 28355 28357 28357 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 850139262 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 0 0 0 0
[pid=28357/tid=28370] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28370/stat : 28370 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850139264 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828060081 0 4 0 16800975 18446604448506087552 0 0 -1 2 0 0 0
[pid=28357/tid=28371] ppid=28355 vsize=8534900 CPUtime=0.11 cores=0,2,4,6
/proc/28357/task/28371/stat : 28371 (java) R 28355 28357 28357 0 -1 4202560 1369 0 0 0 11 0 0 0 19 0 18 0 850139264 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 47645608705706 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28357/tid=28372] ppid=28355 vsize=8534900 CPUtime=0.12 cores=0,2,4,6
/proc/28357/task/28372/stat : 28372 (java) R 28355 28357 28357 0 -1 4202560 1517 0 0 0 12 0 0 0 16 0 18 0 850139264 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 47645608982976 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28357/tid=28373] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28373/stat : 28373 (java) S 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850139264 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052377 0 4 0 16800975 18446604448506087552 0 0 -1 2 0 0 0
[pid=28357/tid=28374] ppid=28355 vsize=8534900 CPUtime=0 cores=0,2,4,6
/proc/28357/task/28374/stat : 28374 (java) R 28355 28357 28357 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850139264 8739737600 7860 33554432000 1073741824 1073778376 140735260066944 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28210/tid=28217] ppid=28208 vsize=347768 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28217/stat : 28217 (python) S 28208 28210 27243 0 -1 4202560 30 929 0 0 0 0 0 0 18 0 7 0 850106919 356114432 7992 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 0 0 0 0
[pid=28210/tid=28244] ppid=28208 vsize=347768 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28244/stat : 28244 (python) S 28208 28210 27243 0 -1 4202560 25 929 0 0 0 0 0 0 20 0 7 0 850111819 356114432 7992 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 0 0 0 0
[pid=28210/tid=28331] ppid=28208 vsize=347768 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28331/stat : 28331 (python) S 28208 28210 27243 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 7 0 850120772 356114432 7992 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 2 0 0 0
[pid=28210/tid=28338] ppid=28208 vsize=347768 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28338/stat : 28338 (python) S 28208 28210 27243 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 7 0 850125486 356114432 7992 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 2 0 0 0
[pid=28210/tid=28347] ppid=28208 vsize=347768 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28347/stat : 28347 (python) S 28208 28210 27243 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 7 0 850134658 356114432 7992 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 2 0 0 0
[pid=28210/tid=28356] ppid=28208 vsize=347768 CPUtime=0 cores=0,2,4,6
/proc/28210/task/28356/stat : 28356 (python) S 28208 28210 27243 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 7 0 850139259 356114432 7992 33554432000 4194304 5683644 140734072636736 18446744073709551615 220828060081 0 0 16781312 33554434 18446604451281015104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 326.91
Current children cumulated vsize (KiB) 19547780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28210 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=699893
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=97985
# CPU time returned by wait4() is 0.797878
# while last known CPU time is 326.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 324.487
CPU time (s): 326.91
CPU user time (s): 324.65
CPU system time (s): 2.26
CPU usage (%): 100.747
Max. virtual memory (cumulated for all children) (KiB): 19547952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.699893
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16652
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= 1014
involuntary context switches= 22
runsolver used 2.29565 second user time and 4.20236 second system time
The end