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-3481815-1307577544/watcher-3481815-1307577544 -o /tmp/evaluation-result-3481815-1307577544/solver-3481815-1307577544 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481815-1307577544.opb -seed 1108741732 -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.09 2.04 1.48 2/655 16234
/proc/meminfo: memFree=17891560/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=15756 CPUtime=0 cores=1,3,5,7
/proc/16234/stat : 16234 (python) R 16232 16234 14716 0 -1 4202496 843 0 0 0 0 0 0 0 23 0 1 0 947985273 16134144 725 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988635783 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16234/statm: 3942 728 334 364 0 429 0
[startup+0.046079 s]
/proc/loadavg: 2.09 2.04 1.48 2/655 16234
/proc/meminfo: memFree=17891560/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=18892 CPUtime=0.02 cores=1,3,5,7
/proc/16234/stat : 16234 (python) R 16232 16234 14716 0 -1 4202496 1288 0 0 0 2 0 0 0 23 0 1 0 947985273 19345408 1140 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988253381 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16234/statm: 4723 1140 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.101006 s]
/proc/loadavg: 2.09 2.04 1.48 2/655 16234
/proc/meminfo: memFree=17891560/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/16234/stat : 16234 (python) R 16232 16234 14716 0 -1 4202496 2666 0 0 0 4 2 0 0 17 0 1 0 947985273 87678976 2382 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16234/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300973 s]
/proc/loadavg: 2.09 2.04 1.48 2/655 16234
/proc/meminfo: memFree=17891560/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=123744 CPUtime=0.16 cores=1,3,5,7
/proc/16234/stat : 16234 (python) S 16232 16234 14716 0 -1 4202496 5358 930 1 0 11 5 0 0 17 0 1 0 947985273 126713856 3745 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988588549 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/16234/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123744
[startup+0.700903 s]
/proc/loadavg: 2.09 2.04 1.48 2/655 16234
/proc/meminfo: memFree=17891560/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=287444 CPUtime=0.46 cores=1,3,5,7
/proc/16234/stat : 16234 (python) R 16232 16234 14716 0 -1 4202496 10337 930 1 0 33 13 0 0 15 0 1 0 947985273 294342656 8200 33554432000 4194304 5683644 140733317694320 18446744073709551615 4603005 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16234/statm: 71861 8200 1781 364 0 6754 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 287444
[startup+1.50078 s]
/proc/loadavg: 2.09 2.04 1.48 3/656 16239
/proc/meminfo: memFree=17856956/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=307412 CPUtime=1.26 cores=1,3,5,7
/proc/16234/stat : 16234 (python) R 16232 16234 14716 0 -1 4202496 15303 930 1 0 112 14 0 0 16 0 1 0 947985273 314789888 13062 33554432000 4194304 5683644 140733317694320 18446744073709551615 4623632 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/16234/statm: 76853 13062 1781 364 0 11746 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 307412
[startup+3.10048 s]
/proc/loadavg: 2.08 2.04 1.48 3/656 16239
/proc/meminfo: memFree=17842816/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=307236 CPUtime=2.86 cores=1,3,5,7
/proc/16234/stat : 16234 (python) R 16232 16234 14716 0 -1 4202496 21070 930 1 0 271 15 0 0 18 0 1 0 947985273 314609664 13156 33554432000 4194304 5683644 140733317694320 18446744073709551615 215992001205 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/16234/statm: 76809 13156 1816 364 0 11702 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 307236
[startup+6.30092 s]
/proc/loadavg: 2.08 2.04 1.48 3/659 16242
/proc/meminfo: memFree=17801252/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=317848 CPUtime=2.92 cores=1,3,5,7
/proc/16234/stat : 16234 (python) S 16232 16234 14716 0 -1 4202496 21444 930 1 0 277 15 0 0 21 0 2 0 947985273 325476352 13302 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16234/statm: 79462 13302 1872 364 0 14349 0
[pid=16240] ppid=16234 vsize=307604 CPUtime=0 cores=1,3,5,7
/proc/16240/stat : 16240 (python) S 16234 16234 14716 0 -1 4202560 743 0 0 0 0 0 0 0 15 0 1 0 947985590 314986496 11777 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988612623 0 0 16781312 33554946 4456287818120921351 0 0 17 3 0 0 0
/proc/16240/statm: 76901 11777 351 364 0 11788 0
[pid=16242] ppid=16240 vsize=39680 CPUtime=3.13 cores=1,3,5,7
/proc/16242/stat : 16242 (wbo1.4a) R 16240 16242 16242 0 -1 4202496 10974 0 0 0 311 2 0 0 25 0 1 0 947985590 40632320 9435 33554432000 134512640 135751879 4288384720 18446744073709551615 134518799 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/16242/statm: 9920 9435 146 303 0 9615 0
[pid=16234/tid=16241] ppid=16232 vsize=317848 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16241/stat : 16241 (python) S 16232 16234 14716 0 -1 4202560 25 930 0 0 0 0 0 0 21 0 2 0 947985590 325476352 13302 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 665132
[startup+12.7008 s]
/proc/loadavg: 2.07 2.03 1.49 3/659 16242
/proc/meminfo: memFree=17802472/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=317848 CPUtime=2.92 cores=1,3,5,7
/proc/16234/stat : 16234 (python) S 16232 16234 14716 0 -1 4202496 21444 930 1 0 277 15 0 0 21 0 2 0 947985273 325476352 13302 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16234/statm: 79462 13302 1872 364 0 14349 0
[pid=16240] ppid=16234 vsize=307604 CPUtime=0.03 cores=1,3,5,7
/proc/16240/stat : 16240 (python) S 16234 16234 14716 0 -1 4202560 898 0 0 0 1 2 0 0 15 0 1 0 947985590 314986496 11801 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988612623 0 0 16781312 33554946 4294934788 0 0 17 3 0 0 0
/proc/16240/statm: 76901 11801 375 364 0 11788 0
[pid=16242] ppid=16240 vsize=39680 CPUtime=9.52 cores=1,3,5,7
/proc/16242/stat : 16242 (wbo1.4a) R 16240 16242 16242 0 -1 4202496 10974 0 0 0 950 2 0 0 25 0 1 0 947985590 40632320 9435 33554432000 134512640 135751879 4288384720 18446744073709551615 134611220 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/16242/statm: 9920 9435 146 303 0 9615 0
[pid=16234/tid=16241] ppid=16232 vsize=317848 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16241/stat : 16241 (python) S 16232 16234 14716 0 -1 4202560 25 930 0 0 0 0 0 0 21 0 2 0 947985590 325476352 13302 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 665132
[startup+25.5006 s]
/proc/loadavg: 2.06 2.03 1.49 3/659 16243
/proc/meminfo: memFree=17803504/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=317848 CPUtime=2.92 cores=1,3,5,7
/proc/16234/stat : 16234 (python) S 16232 16234 14716 0 -1 4202496 21444 930 1 0 277 15 0 0 21 0 2 0 947985273 325476352 13302 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16234/statm: 79462 13302 1872 364 0 14349 0
[pid=16240] ppid=16234 vsize=307604 CPUtime=0.08 cores=1,3,5,7
/proc/16240/stat : 16240 (python) S 16234 16234 14716 0 -1 4202560 902 0 0 0 3 5 0 0 15 0 1 0 947985590 314986496 11801 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988612623 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/16240/statm: 76901 11801 375 364 0 11788 0
[pid=16242] ppid=16240 vsize=39680 CPUtime=22.32 cores=1,3,5,7
/proc/16242/stat : 16242 (wbo1.4a) R 16240 16242 16242 0 -1 4202496 10974 0 0 0 2229 3 0 0 25 0 1 0 947985590 40632320 9435 33554432000 134512640 135751879 4288384720 18446744073709551615 134611210 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/16242/statm: 9920 9435 146 303 0 9615 0
[pid=16234/tid=16241] ppid=16232 vsize=317848 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16241/stat : 16241 (python) S 16232 16234 14716 0 -1 4202560 25 930 0 0 0 0 0 0 21 0 2 0 947985590 325476352 13302 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 665132
[startup+51.1011 s]
/proc/loadavg: 2.04 2.03 1.50 3/680 16264
/proc/meminfo: memFree=17586472/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=328104 CPUtime=2.94 cores=1,3,5,7
/proc/16234/stat : 16234 (python) S 16232 16234 14716 0 -1 4202496 22301 930 1 0 279 15 0 0 20 0 3 0 947985273 335978496 13309 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16234/statm: 82026 13309 1875 364 0 16910 0
[pid=16240] ppid=16234 vsize=317848 CPUtime=0.22 cores=1,3,5,7
/proc/16240/stat : 16240 (python) S 16234 16234 14716 0 -1 4202560 1151 0 0 0 11 11 0 0 17 0 2 0 947985590 325476352 11842 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16240/statm: 79462 11842 411 364 0 14349 0
[pid=16242] ppid=16240 vsize=39680 CPUtime=46.16 cores=1,3,5,7
/proc/16242/stat : 16242 (wbo1.4a) T 16240 16242 16242 0 -1 4202496 10975 0 0 0 4610 6 0 0 25 0 1 0 947985590 40632320 9436 33554432000 134512640 135751879 4288384720 18446744073709551615 134611160 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/16242/statm: 9920 9436 146 303 0 9615 0
[pid=16240/tid=16244] ppid=16234 vsize=317848 CPUtime=0 cores=1,3,5,7
/proc/16240/task/16244/stat : 16244 (python) S 16234 16234 14716 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 947990208 325476352 11842 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554946 18446604468669251712 0 0 -1 7 0 0 0
[pid=16245] ppid=16234 vsize=317860 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (python) S 16234 16234 14716 0 -1 4202560 784 0 0 0 0 0 0 0 16 0 1 0 947990210 325488640 11778 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988612678 0 0 16781312 33554946 697766326847930368 0 0 17 5 0 0 0
/proc/16245/statm: 79465 11778 348 364 0 14349 0
[pid=16247] ppid=16245 vsize=8543384 CPUtime=2.79 cores=1,3,5,7
/proc/16247/stat : 16247 (java) S 16245 16247 16247 0 -1 4202496 73263 0 1 0 270 9 0 0 17 0 19 0 947990211 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16247/statm: 2135846 70087 2241 9 0 2126587 0
[pid=16247/tid=16248] ppid=16245 vsize=8543384 CPUtime=1.63 cores=1,3,5,7
/proc/16247/task/16248/stat : 16248 (java) R 16245 16247 16247 0 -1 4202560 49715 0 1 0 157 6 0 0 25 0 19 0 947990211 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 46912505906127 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16247/tid=16249] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 16247 0 -1 4202560 529 0 0 0 0 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 7 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 16247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 5 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=8543384 CPUtime=0.03 cores=1,3,5,7
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 16247 0 -1 4202560 3384 0 0 0 3 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 5 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 16247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 5 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=8543384 CPUtime=0.05 cores=1,3,5,7
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 16247 0 -1 4202560 4404 0 0 0 5 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=8543384 CPUtime=0.02 cores=1,3,5,7
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 16247 0 -1 4202560 2174 0 0 0 2 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 7 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=8543384 CPUtime=0.03 cores=1,3,5,7
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 16247 0 -1 4202560 2724 0 0 0 3 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 7 0 0 0
[pid=16247/tid=16256] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16256/stat : 16256 (java) S 16245 16247 16247 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947990212 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 5 0 0 0
[pid=16247/tid=16257] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16257/stat : 16257 (java) S 16245 16247 16247 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 947990213 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000409088 0 0 0 16800975 18446604459119987712 0 0 -1 1 0 0 0
[pid=16247/tid=16258] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16258/stat : 16258 (java) S 16245 16247 16247 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947990213 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 1 0 0 0
[pid=16247/tid=16259] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16259/stat : 16259 (java) S 16245 16247 16247 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 947990213 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 1 0 0 0
[pid=16247/tid=16260] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16260/stat : 16260 (java) S 16245 16247 16247 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947990216 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000416177 0 4 0 16800975 18446604459119987712 0 0 -1 1 0 0 0
[pid=16247/tid=16261] ppid=16245 vsize=8543384 CPUtime=0.48 cores=1,3,5,7
/proc/16247/task/16261/stat : 16261 (java) S 16245 16247 16247 0 -1 4202560 5716 0 0 0 48 0 0 0 15 0 19 0 947990216 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 1 0 0 0
[pid=16247/tid=16262] ppid=16245 vsize=8543384 CPUtime=0.48 cores=1,3,5,7
/proc/16247/task/16262/stat : 16262 (java) S 16245 16247 16247 0 -1 4202560 3152 0 0 0 48 0 0 0 16 0 19 0 947990216 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 5 0 0 0
[pid=16247/tid=16263] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16263/stat : 16263 (java) S 16245 16247 16247 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947990216 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446604459119987712 0 0 -1 7 0 0 0
[pid=16247/tid=16264] ppid=16245 vsize=8543384 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16264/stat : 16264 (java) S 16245 16247 16247 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 947990216 8748425216 70087 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000409088 0 4 0 16800975 18446604459119987712 0 0 -1 5 0 0 0
[pid=16234/tid=16241] ppid=16232 vsize=328104 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16241/stat : 16241 (python) S 16232 16234 14716 0 -1 4202560 25 930 0 0 0 0 0 0 21 0 3 0 947985590 335978496 13309 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 7 0 0 0
[pid=16234/tid=16246] ppid=16232 vsize=328104 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16246/stat : 16246 (python) S 16232 16234 14716 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 3 0 947990211 335978496 13309 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 52.11
Current children cumulated vsize (KiB) 9546876
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+98.9017 s]
/proc/loadavg: 2.01 2.02 1.53 12/702 16288
################
# More data... #
################
/proc/16271/stat : 16271 (java) S 16269 16271 16271 0 -1 4202496 59808 0 1 0 180 7 0 0 20 0 18 0 947995062 8745713664 54938 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 2135184 54938 2223 9 0 2125925 0
[pid=16271/tid=16272] ppid=16269 vsize=8540948 CPUtime=0.96 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (java) R 16269 16271 16271 0 -1 4202560 35172 0 1 0 92 4 0 0 25 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 46912505516998 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=8540948 CPUtime=0.06 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (java) S 16269 16271 16271 0 -1 4202560 5175 0 0 0 6 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16274] ppid=16269 vsize=8540948 CPUtime=0.02 cores=1,3,5,7
/proc/16271/task/16274/stat : 16274 (java) S 16269 16271 16271 0 -1 4202560 1571 0 0 0 2 0 0 0 15 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16275] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16275/stat : 16275 (java) S 16269 16271 16271 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 3 0 0 0
[pid=16271/tid=16276] ppid=16269 vsize=8540948 CPUtime=0.03 cores=1,3,5,7
/proc/16271/task/16276/stat : 16276 (java) S 16269 16271 16271 0 -1 4202560 2981 0 0 0 3 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 3 0 0 0
[pid=16271/tid=16277] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16277/stat : 16277 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16278] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16278/stat : 16278 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16279] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16279/stat : 16279 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16280] ppid=16269 vsize=8540948 CPUtime=0.04 cores=1,3,5,7
/proc/16271/task/16280/stat : 16280 (java) S 16269 16271 16271 0 -1 4202560 3453 0 0 0 4 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16281] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16281/stat : 16281 (java) S 16269 16271 16271 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 947995064 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000409088 0 0 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16282] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16282/stat : 16282 (java) S 16269 16271 16271 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 947995065 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16283] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16283/stat : 16283 (java) S 16269 16271 16271 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 947995065 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16284] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16284/stat : 16284 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000416177 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16285] ppid=16269 vsize=8540948 CPUtime=0.37 cores=1,3,5,7
/proc/16271/task/16285/stat : 16285 (java) R 16269 16271 16271 0 -1 4202560 3800 0 0 0 37 0 0 0 21 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 47840437876824 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16271/tid=16286] ppid=16269 vsize=8540948 CPUtime=0.35 cores=1,3,5,7
/proc/16271/task/16286/stat : 16286 (java) R 16269 16271 16271 0 -1 4202560 6184 0 0 0 35 0 0 0 21 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 215988283829 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16271/tid=16287] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16287/stat : 16287 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 3 0 0 0
[pid=16271/tid=16288] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16288/stat : 16288 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000409088 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16234/tid=16241] ppid=16232 vsize=338360 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16241/stat : 16241 (python) S 16232 16234 14716 0 -1 4202560 25 930 0 0 0 0 0 0 21 0 4 0 947985590 346480640 13315 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 7 0 0 0
[pid=16234/tid=16246] ppid=16232 vsize=338360 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16246/stat : 16246 (python) S 16232 16234 14716 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 4 0 947990211 346480640 13315 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 5 0 0 0
[pid=16234/tid=16270] ppid=16232 vsize=338360 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16270/stat : 16270 (python) S 16232 16234 14716 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 947995062 346480640 13315 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 18423828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+98.9017 s]
/proc/loadavg: 2.01 2.02 1.53 12/702 16288
/proc/meminfo: memFree=14817480/32950940 swapFree=67111360/67111528
[pid=16234] ppid=16232 vsize=338360 CPUtime=2.97 cores=1,3,5,7
/proc/16234/stat : 16234 (python) S 16232 16234 14716 0 -1 4202496 23165 930 1 0 282 15 0 0 19 0 4 0 947985273 346480640 13315 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/16234/statm: 84590 13315 1877 364 0 19471 0
[pid=16240] ppid=16234 vsize=317848 CPUtime=0.22 cores=1,3,5,7
/proc/16240/stat : 16240 (python) S 16234 16234 14716 0 -1 4202560 1151 0 0 0 11 11 0 0 17 0 2 0 947985590 325476352 11842 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16240/statm: 79462 11842 411 364 0 14349 0
[pid=16242] ppid=16240 vsize=39680 CPUtime=46.16 cores=1,3,5,7
/proc/16242/stat : 16242 (wbo1.4a) T 16240 16242 16242 0 -1 4202496 10975 0 0 0 4610 6 0 0 25 0 1 0 947985590 40632320 9436 33554432000 134512640 135751879 4288384720 18446744073709551615 134611160 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/16242/statm: 9920 9436 146 303 0 9615 0
[pid=16240/tid=16244] ppid=16234 vsize=317848 CPUtime=0 cores=1,3,5,7
/proc/16240/task/16244/stat : 16244 (python) S 16234 16234 14716 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 947990208 325476352 11842 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554946 18446604468669251712 0 0 -1 7 0 0 0
[pid=16245] ppid=16234 vsize=317860 CPUtime=0.22 cores=1,3,5,7
/proc/16245/stat : 16245 (python) S 16234 16234 14716 0 -1 4202560 1119 0 0 0 11 11 0 0 17 0 2 0 947990210 325488640 11827 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/16245/statm: 79465 11827 396 364 0 14349 0
[pid=16247] ppid=16245 vsize=8541228 CPUtime=50.68 cores=1,3,5,7
/proc/16247/stat : 16247 (java) T 16245 16247 16247 0 -1 4202496 696965 0 1 0 4994 74 0 0 15 0 19 0 947990211 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16247/statm: 2135307 691138 2247 9 0 2126048 0
[pid=16247/tid=16248] ppid=16245 vsize=8541228 CPUtime=48.17 cores=1,3,5,7
/proc/16247/task/16248/stat : 16248 (java) T 16245 16247 16247 0 -1 4202560 630896 0 1 0 4752 65 0 0 25 0 19 0 947990211 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 46912506228218 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16247/tid=16249] ppid=16245 vsize=8541228 CPUtime=0.09 cores=1,3,5,7
/proc/16247/task/16249/stat : 16249 (java) T 16245 16247 16247 0 -1 4202560 5019 0 0 0 9 0 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=8541228 CPUtime=0.05 cores=1,3,5,7
/proc/16247/task/16250/stat : 16250 (java) T 16245 16247 16247 0 -1 4202560 4126 0 0 0 5 0 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=8541228 CPUtime=0.05 cores=1,3,5,7
/proc/16247/task/16251/stat : 16251 (java) T 16245 16247 16247 0 -1 4202560 4104 0 0 0 5 0 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=8541228 CPUtime=0.07 cores=1,3,5,7
/proc/16247/task/16252/stat : 16252 (java) T 16245 16247 16247 0 -1 4202560 4524 0 0 0 7 0 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=8541228 CPUtime=0.16 cores=1,3,5,7
/proc/16247/task/16253/stat : 16253 (java) T 16245 16247 16247 0 -1 4202560 11069 0 0 0 15 1 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=8541228 CPUtime=0.11 cores=1,3,5,7
/proc/16247/task/16254/stat : 16254 (java) T 16245 16247 16247 0 -1 4202560 8067 0 0 0 11 0 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=8541228 CPUtime=0.15 cores=1,3,5,7
/proc/16247/task/16255/stat : 16255 (java) T 16245 16247 16247 0 -1 4202560 10484 0 0 0 14 1 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16247/tid=16256] ppid=16245 vsize=8541228 CPUtime=0.08 cores=1,3,5,7
/proc/16247/task/16256/stat : 16256 (java) T 16245 16247 16247 0 -1 4202560 5536 0 0 0 8 0 0 0 15 0 19 0 947990212 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16247/tid=16257] ppid=16245 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16257/stat : 16257 (java) T 16245 16247 16247 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 947990213 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16247/tid=16258] ppid=16245 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16258/stat : 16258 (java) T 16245 16247 16247 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947990213 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16247/tid=16259] ppid=16245 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16259/stat : 16259 (java) T 16245 16247 16247 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 947990213 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16247/tid=16260] ppid=16245 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16260/stat : 16260 (java) T 16245 16247 16247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947990216 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16247/tid=16261] ppid=16245 vsize=8541228 CPUtime=0.93 cores=1,3,5,7
/proc/16247/task/16261/stat : 16261 (java) T 16245 16247 16247 0 -1 4202560 7290 0 0 0 93 0 0 0 15 0 19 0 947990216 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16247/tid=16262] ppid=16245 vsize=8541228 CPUtime=0.69 cores=1,3,5,7
/proc/16247/task/16262/stat : 16262 (java) T 16245 16247 16247 0 -1 4202560 3183 0 0 0 69 0 0 0 15 0 19 0 947990216 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=16247/tid=16263] ppid=16245 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16263/stat : 16263 (java) T 16245 16247 16247 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947990216 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=16247/tid=16264] ppid=16245 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16264/stat : 16264 (java) T 16245 16247 16247 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 947990216 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=16247/tid=16265] ppid=16245 vsize=8541228 CPUtime=0 cores=1,3,5,7
/proc/16247/task/16265/stat : 16265 (java) T 16245 16247 16247 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947990339 8746217472 691138 33554432000 1073741824 1073778376 140734314143760 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=16245/tid=16268] ppid=16234 vsize=317860 CPUtime=0 cores=1,3,5,7
/proc/16245/task/16268/stat : 16268 (python) S 16234 16234 14716 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947995059 325488640 11827 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554946 18446604469761939264 0 0 -1 7 0 0 0
[pid=16269] ppid=16234 vsize=328116 CPUtime=0 cores=1,3,5,7
/proc/16269/stat : 16269 (python) S 16234 16234 14716 0 -1 4202560 816 0 0 0 0 0 0 0 19 0 1 0 947995062 335990784 11782 33554432000 4194304 5683644 140733317694320 18446744073709551615 215988612678 0 0 16781312 33554946 2178265300653309952 0 0 17 5 0 0 0
/proc/16269/statm: 82029 11782 348 364 0 16910 0
[pid=16271] ppid=16269 vsize=8540736 CPUtime=1.87 cores=1,3,5,7
/proc/16271/stat : 16271 (java) S 16269 16271 16271 0 -1 4202496 59808 0 1 0 180 7 0 0 20 0 18 0 947995062 8745713664 54938 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16271/statm: 2135184 54938 2223 9 0 2125925 0
[pid=16271/tid=16272] ppid=16269 vsize=8540948 CPUtime=0.96 cores=1,3,5,7
/proc/16271/task/16272/stat : 16272 (java) R 16269 16271 16271 0 -1 4202560 35172 0 1 0 92 4 0 0 25 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 46912505516998 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16271/tid=16273] ppid=16269 vsize=8540948 CPUtime=0.06 cores=1,3,5,7
/proc/16271/task/16273/stat : 16273 (java) S 16269 16271 16271 0 -1 4202560 5175 0 0 0 6 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16274] ppid=16269 vsize=8540948 CPUtime=0.02 cores=1,3,5,7
/proc/16271/task/16274/stat : 16274 (java) S 16269 16271 16271 0 -1 4202560 1571 0 0 0 2 0 0 0 15 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16275] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16275/stat : 16275 (java) S 16269 16271 16271 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 3 0 0 0
[pid=16271/tid=16276] ppid=16269 vsize=8540948 CPUtime=0.03 cores=1,3,5,7
/proc/16271/task/16276/stat : 16276 (java) S 16269 16271 16271 0 -1 4202560 2981 0 0 0 3 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 3 0 0 0
[pid=16271/tid=16277] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16277/stat : 16277 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16278] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16278/stat : 16278 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16279] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16279/stat : 16279 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16280] ppid=16269 vsize=8540948 CPUtime=0.04 cores=1,3,5,7
/proc/16271/task/16280/stat : 16280 (java) S 16269 16271 16271 0 -1 4202560 3453 0 0 0 4 0 0 0 16 0 18 0 947995063 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16281] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16281/stat : 16281 (java) S 16269 16271 16271 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 947995064 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000409088 0 0 0 16800975 18446604459524297664 0 0 -1 5 0 0 0
[pid=16271/tid=16282] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16282/stat : 16282 (java) S 16269 16271 16271 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 947995065 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16283] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16283/stat : 16283 (java) S 16269 16271 16271 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 18 0 947995065 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16284] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16284/stat : 16284 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000416177 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16271/tid=16285] ppid=16269 vsize=8540948 CPUtime=0.37 cores=1,3,5,7
/proc/16271/task/16285/stat : 16285 (java) R 16269 16271 16271 0 -1 4202560 3800 0 0 0 37 0 0 0 21 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 47840437876824 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16271/tid=16286] ppid=16269 vsize=8540948 CPUtime=0.35 cores=1,3,5,7
/proc/16271/task/16286/stat : 16286 (java) R 16269 16271 16271 0 -1 4202560 6184 0 0 0 35 0 0 0 21 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 215988283829 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16271/tid=16287] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16287/stat : 16287 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000408473 0 4 0 16800975 18446604459524297664 0 0 -1 3 0 0 0
[pid=16271/tid=16288] ppid=16269 vsize=8540948 CPUtime=0 cores=1,3,5,7
/proc/16271/task/16288/stat : 16288 (java) S 16269 16271 16271 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 947995067 8745930752 54940 33554432000 1073741824 1073778376 140734946157552 18446744073709551615 216000409088 0 4 0 16800975 18446604459524297664 0 0 -1 1 0 0 0
[pid=16234/tid=16241] ppid=16232 vsize=338360 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16241/stat : 16241 (python) S 16232 16234 14716 0 -1 4202560 25 930 0 0 0 0 0 0 21 0 4 0 947985590 346480640 13315 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 7 0 0 0
[pid=16234/tid=16246] ppid=16232 vsize=338360 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16246/stat : 16246 (python) S 16232 16234 14716 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 4 0 947990211 346480640 13315 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 5 0 0 0
[pid=16234/tid=16270] ppid=16232 vsize=338360 CPUtime=0 cores=1,3,5,7
/proc/16234/task/16270/stat : 16270 (python) S 16232 16234 14716 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 947995062 346480640 13315 33554432000 4194304 5683644 140733317694320 18446744073709551615 216000416177 0 0 16781312 33554434 18446604463657666496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 18423828
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16234 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=826570
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=162975
# CPU time returned by wait4() is 2.98954
# while last known CPU time is 102.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 98.9783
CPU time (s): 102.12
CPU user time (s): 100.88
CPU system time (s): 1.24
CPU usage (%): 103.174
Max. virtual memory (cumulated for all children) (KiB): 18426228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.82657
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24095
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= 2867
involuntary context switches= 20
runsolver used 0.526919 second user time and 1.36179 second system time
The end