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-3481770-1307577025/watcher-3481770-1307577025 -o /tmp/evaluation-result-3481770-1307577025/solver-3481770-1307577025 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481770-1307577025.opb -seed 1880312419 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 1.76 0.94 2/526 27264
/proc/meminfo: memFree=21932696/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/27264/stat : 27264 (python) S 27262 27264 26377 0 -1 4202496 958 0 0 0 0 0 0 0 23 0 1 0 869305398 16289792 833 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/27264/statm: 3977 833 357 364 0 464 0
[startup+0.090568 s]
/proc/loadavg: 2.03 1.76 0.94 2/526 27264
/proc/meminfo: memFree=21932696/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=84488 CPUtime=0.05 cores=0,2,4,6
/proc/27264/stat : 27264 (python) R 27262 27264 26377 0 -1 4202496 2200 0 0 0 4 1 0 0 24 0 1 0 869305398 86515712 1949 33554432000 4194304 5683644 140737137342560 18446744073709551615 218365994472 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27264/statm: 21122 1949 571 364 0 1326 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84488
[startup+0.100525 s]
/proc/loadavg: 2.03 1.76 0.94 2/526 27264
/proc/meminfo: memFree=21932696/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/27264/stat : 27264 (python) S 27262 27264 26377 0 -1 4202496 2665 0 0 0 5 1 0 0 24 0 1 0 869305398 87674880 2382 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/27264/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300574 s]
/proc/loadavg: 2.03 1.76 0.94 2/526 27264
/proc/meminfo: memFree=21932696/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/27264/stat : 27264 (python) R 27262 27264 26377 0 -1 4202496 5358 930 1 0 12 4 0 0 17 0 1 0 869305398 126709760 3744 33554432000 4194304 5683644 140737137342560 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27264/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.7005 s]
/proc/loadavg: 2.03 1.76 0.94 2/526 27264
/proc/meminfo: memFree=21932696/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=285088 CPUtime=0.43 cores=0,2,4,6
/proc/27264/stat : 27264 (python) R 27262 27264 26377 0 -1 4202496 9735 930 1 0 33 10 0 0 16 0 1 0 869305398 291930112 7596 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370623000 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27264/statm: 71272 7596 1781 364 0 6165 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 285088
[startup+1.50034 s]
/proc/loadavg: 1.95 1.75 0.94 3/527 27269
/proc/meminfo: memFree=21895488/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=298308 CPUtime=1.22 cores=0,2,4,6
/proc/27264/stat : 27264 (python) R 27262 27264 26377 0 -1 4202496 15842 930 1 0 112 10 0 0 16 0 1 0 869305398 305467392 10925 33554432000 4194304 5683644 140737137342560 18446744073709551615 4299261 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/27264/statm: 74577 10925 1816 364 0 9470 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 298308
[startup+3.10103 s]
/proc/loadavg: 1.95 1.75 0.94 4/547 27289
/proc/meminfo: memFree=21862556/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=310048 CPUtime=1.53 cores=0,2,4,6
/proc/27264/stat : 27264 (python) S 27262 27264 26377 0 -1 4202496 16494 930 1 0 142 11 0 0 19 0 2 0 869305398 317489152 11351 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27264/statm: 77512 11351 1870 364 0 12399 0
[pid=27270] ppid=27264 vsize=299804 CPUtime=0 cores=0,2,4,6
/proc/27270/stat : 27270 (python) S 27264 27264 26377 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 869305579 306999296 9828 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370977295 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/27270/statm: 74951 9828 351 364 0 9838 0
[pid=27272] ppid=27270 vsize=8537816 CPUtime=2.31 cores=0,2,4,6
/proc/27272/stat : 27272 (java) S 27270 27272 27272 0 -1 4202496 44334 0 1 0 225 6 0 0 19 0 19 0 869305580 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27272/statm: 2134454 40601 2246 9 0 2125195 0
[pid=27272/tid=27273] ppid=27270 vsize=8537816 CPUtime=1.26 cores=0,2,4,6
/proc/27272/task/27273/stat : 27273 (java) R 27270 27272 27272 0 -1 4202560 35240 0 1 0 121 5 0 0 19 0 19 0 869305580 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 46912505830721 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27272/tid=27274] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27274/stat : 27274 (java) S 27270 27272 27272 0 -1 4202560 443 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27275] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27275/stat : 27275 (java) S 27270 27272 27272 0 -1 4202560 307 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27276] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27276/stat : 27276 (java) S 27270 27272 27272 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27272/tid=27277] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27277/stat : 27277 (java) S 27270 27272 27272 0 -1 4202560 117 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27278] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27278/stat : 27278 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27279] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27279/stat : 27279 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27280] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27280/stat : 27280 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27281] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27281/stat : 27281 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869305581 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27282] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27282/stat : 27282 (java) S 27270 27272 27272 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 19 0 869305582 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 0 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27283] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27283/stat : 27283 (java) S 27270 27272 27272 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869305582 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27284] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27284/stat : 27284 (java) S 27270 27272 27272 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869305582 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27285] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27285/stat : 27285 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305584 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382780849 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27286] ppid=27270 vsize=8537816 CPUtime=0.51 cores=0,2,4,6
/proc/27272/task/27286/stat : 27286 (java) S 27270 27272 27272 0 -1 4202560 2689 0 0 0 51 0 0 0 24 0 19 0 869305584 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27287] ppid=27270 vsize=8537816 CPUtime=0.5 cores=0,2,4,6
/proc/27272/task/27287/stat : 27287 (java) S 27270 27272 27272 0 -1 4202560 3884 0 0 0 49 1 0 0 16 0 19 0 869305584 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27272/tid=27288] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27288/stat : 27288 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305584 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27289] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27289/stat : 27289 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869305584 8742723584 40601 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 4 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27264/tid=27271] ppid=27262 vsize=310048 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (python) S 27262 27264 26377 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869305579 317489152 11351 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9147668
[startup+6.30149 s]
/proc/loadavg: 2.03 1.77 0.95 3/548 27290
/proc/meminfo: memFree=21689936/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=310048 CPUtime=1.53 cores=0,2,4,6
/proc/27264/stat : 27264 (python) S 27262 27264 26377 0 -1 4202496 16494 930 1 0 142 11 0 0 19 0 2 0 869305398 317489152 11351 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27264/statm: 77512 11351 1870 364 0 12399 0
[pid=27270] ppid=27264 vsize=299804 CPUtime=0.01 cores=0,2,4,6
/proc/27270/stat : 27270 (python) S 27264 27264 26377 0 -1 4202560 894 0 0 0 0 1 0 0 15 0 1 0 869305579 306999296 9852 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370977295 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/27270/statm: 74951 9852 375 364 0 9838 0
[pid=27272] ppid=27270 vsize=8537816 CPUtime=5.67 cores=0,2,4,6
/proc/27272/stat : 27272 (java) S 27270 27272 27272 0 -1 4202496 63823 0 1 0 556 11 0 0 19 0 19 0 869305580 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27272/statm: 2134454 59495 2258 9 0 2125195 0
[pid=27272/tid=27273] ppid=27270 vsize=8537816 CPUtime=4.39 cores=0,2,4,6
/proc/27272/task/27273/stat : 27273 (java) R 27270 27272 27272 0 -1 4202560 35248 0 1 0 433 6 0 0 19 0 19 0 869305580 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 46912505830753 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27272/tid=27274] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27274/stat : 27274 (java) S 27270 27272 27272 0 -1 4202560 2004 0 0 0 0 0 0 0 15 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27272/tid=27275] ppid=27270 vsize=8537816 CPUtime=0.01 cores=0,2,4,6
/proc/27272/task/27275/stat : 27275 (java) S 27270 27272 27272 0 -1 4202560 3430 0 0 0 1 0 0 0 16 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27276] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27276/stat : 27276 (java) S 27270 27272 27272 0 -1 4202560 2105 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27272/tid=27277] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27277/stat : 27277 (java) S 27270 27272 27272 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27278] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27278/stat : 27278 (java) S 27270 27272 27272 0 -1 4202560 1911 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27279] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27279/stat : 27279 (java) S 27270 27272 27272 0 -1 4202560 584 0 0 0 0 0 0 0 15 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27280] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27280/stat : 27280 (java) S 27270 27272 27272 0 -1 4202560 1878 0 0 0 0 0 0 0 16 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27281] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27281/stat : 27281 (java) S 27270 27272 27272 0 -1 4202560 1284 0 0 0 0 0 0 0 15 0 19 0 869305581 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27282] ppid=27270 vsize=8537816 CPUtime=0.05 cores=0,2,4,6
/proc/27272/task/27282/stat : 27282 (java) S 27270 27272 27272 0 -1 4202560 7286 0 0 0 4 1 0 0 15 0 19 0 869305582 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 0 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27283] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27283/stat : 27283 (java) S 27270 27272 27272 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869305582 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27284] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27284/stat : 27284 (java) S 27270 27272 27272 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869305582 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27285] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27285/stat : 27285 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305584 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382780849 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27286] ppid=27270 vsize=8537816 CPUtime=0.59 cores=0,2,4,6
/proc/27272/task/27286/stat : 27286 (java) S 27270 27272 27272 0 -1 4202560 2704 0 0 0 59 0 0 0 15 0 19 0 869305584 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 0 0 0 0
[pid=27272/tid=27287] ppid=27270 vsize=8537816 CPUtime=0.54 cores=0,2,4,6
/proc/27272/task/27287/stat : 27287 (java) S 27270 27272 27272 0 -1 4202560 3892 0 0 0 53 1 0 0 15 0 19 0 869305584 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27272/tid=27288] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27288/stat : 27288 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869305584 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27289] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27289/stat : 27289 (java) S 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869305584 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 4 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27290] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27290/stat : 27290 (java) S 27270 27272 27272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869305652 8742723584 59495 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27264/tid=27271] ppid=27262 vsize=310048 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (python) S 27262 27264 26377 0 -1 4202560 26 930 0 0 0 0 0 0 19 0 2 0 869305579 317489152 11351 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 9147668
[startup+12.7014 s]
/proc/loadavg: 2.03 1.77 0.96 3/548 27290
/proc/meminfo: memFree=21606168/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=310048 CPUtime=1.53 cores=0,2,4,6
/proc/27264/stat : 27264 (python) S 27262 27264 26377 0 -1 4202496 16494 930 1 0 142 11 0 0 19 0 2 0 869305398 317489152 11351 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/27264/statm: 77512 11351 1870 364 0 12399 0
[pid=27270] ppid=27264 vsize=299804 CPUtime=0.02 cores=0,2,4,6
/proc/27270/stat : 27270 (python) S 27264 27264 26377 0 -1 4202560 897 0 0 0 0 2 0 0 15 0 1 0 869305579 306999296 9852 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370977295 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/27270/statm: 74951 9852 375 364 0 9838 0
[pid=27272] ppid=27270 vsize=8537816 CPUtime=12.18 cores=0,2,4,6
/proc/27272/stat : 27272 (java) S 27270 27272 27272 0 -1 4202496 76674 0 1 0 1204 14 0 0 19 0 19 0 869305580 8742723584 69029 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27272/statm: 2134454 69029 2258 9 0 2125195 0
[pid=27272/tid=27273] ppid=27270 vsize=8537816 CPUtime=10.69 cores=0,2,4,6
/proc/27272/task/27273/stat : 27273 (java) R 27270 27272 27272 0 -1 4202560 35248 0 1 0 1063 6 0 0 25 0 19 0 869305580 8742723584 69029 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 46912505903463 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27272/tid=27274] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27274/stat : 27274 (java) S 27270 27272 27272 0 -1 4202560 2062 0 0 0 0 0 0 0 15 0 19 0 869305581 8742723584 69029 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27272/tid=27275] ppid=27270 vsize=8537816 CPUtime=0.02 cores=0,2,4,6
/proc/27272/task/27275/stat : 27275 (java) S 27270 27272 27272 0 -1 4202560 6180 0 0 0 2 0 0 0 16 0 19 0 869305581 8742723584 69029 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 6 0 0 0
[pid=27272/tid=27276] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27276/stat : 27276 (java) S 27270 27272 27272 0 -1 4202560 2118 0 0 0 0 0 0 0 15 0 19 0 869305581 8742723584 69029 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 2 0 0 0
[pid=27272/tid=27277] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27277/stat : 27277 (java) S 27270 27272 27272 0 -1 4202560 1444 0 0 0 0 0 0 0 15 0 19 0 869305581 8742723584 69029 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446604442781515904 0 0 -1 4 0 0 0
[pid=27272/tid=27278] ppid=27270 vsize=8537816 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/27351/statm: 77515 9884 402 364 0 12399 0
[pid=27353] ppid=27351 vsize=38952 CPUtime=46.93 cores=0,2,4,6
/proc/27353/stat : 27353 (wbo1.4a) T 27351 27353 27353 0 -1 4202496 119935 0 0 0 4659 34 0 0 25 0 1 0 869310423 39886848 9190 33554432000 134512640 135751879 4289839856 18446744073709551615 134616871 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/27353/statm: 9738 9190 146 303 0 9433 0
[pid=27351/tid=27378] ppid=27264 vsize=310060 CPUtime=0 cores=0,2,4,6
/proc/27351/task/27378/stat : 27378 (python) S 27264 27264 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869315117 317501440 9884 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554946 18446604440688427968 0 0 -1 6 0 0 0
[pid=27380] ppid=27264 vsize=320316 CPUtime=0.27 cores=0,2,4,6
/proc/27380/stat : 27380 (python) S 27264 27264 26377 0 -1 4202560 1045 0 0 0 14 13 0 0 15 0 1 0 869319564 328003584 9863 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370977350 0 0 16781312 33554946 72556772316949182 0 0 17 6 0 0 0
/proc/27380/statm: 80079 9863 378 364 0 14960 0
[pid=27382] ppid=27380 vsize=160464 CPUtime=80.63 cores=0,2,4,6
/proc/27382/stat : 27382 (clasp-1.3.7-x86) R 27380 27382 27382 0 -1 4202496 40505 0 0 0 8056 7 0 0 25 0 1 0 869319564 164315136 39845 33554432000 134512640 136139019 4291723024 18446744073709551615 134626596 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/27382/statm: 40116 39845 187 398 0 39716 0
[pid=27264/tid=27271] ppid=27262 vsize=330560 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (python) S 27262 27264 26377 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 4 0 869305579 338493440 11364 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 6 0 0 0
[pid=27264/tid=27352] ppid=27262 vsize=330560 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27352/stat : 27352 (python) S 27262 27264 26377 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 4 0 869310423 338493440 11364 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 2 0 0 0
[pid=27264/tid=27381] ppid=27262 vsize=330560 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27381/stat : 27381 (python) S 27262 27264 26377 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 4 0 869319564 338493440 11364 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 224.58
Current children cumulated vsize (KiB) 10008216
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+280.402 s]
/proc/loadavg: 2.15 1.95 1.23 4/616 27529
/proc/meminfo: memFree=19450100/32951124 swapFree=49244124/67111528
[pid=27264] ppid=27262 vsize=351072 CPUtime=1.65 cores=0,2,4,6
/proc/27264/stat : 27264 (python) S 27262 27264 26377 0 -1 4202496 20258 930 1 0 154 11 0 0 20 0 6 0 869305398 359497728 11376 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27264/statm: 87768 11376 1879 364 0 22643 0
[pid=27270] ppid=27264 vsize=310048 CPUtime=0.34 cores=0,2,4,6
/proc/27270/stat : 27270 (python) S 27264 27264 26377 0 -1 4202560 1098 0 0 0 17 17 0 0 15 0 2 0 869305579 317489152 9889 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27270/statm: 77512 9889 407 364 0 12399 0
[pid=27272] ppid=27270 vsize=8537816 CPUtime=94.52 cores=0,2,4,6
/proc/27272/stat : 27272 (java) T 27270 27272 27272 0 -1 4202496 117524 0 1 0 9429 23 0 0 18 0 19 0 869305580 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27272/statm: 2134454 97467 2258 9 0 2125195 0
[pid=27272/tid=27273] ppid=27270 vsize=8537816 CPUtime=91.82 cores=0,2,4,6
/proc/27272/task/27273/stat : 27273 (java) T 27270 27272 27272 0 -1 4202560 35261 0 1 0 9176 6 0 0 25 0 19 0 869305580 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 46912505903406 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27272/tid=27274] ppid=27270 vsize=8537816 CPUtime=0.07 cores=0,2,4,6
/proc/27272/task/27274/stat : 27274 (java) T 27270 27272 27272 0 -1 4202560 10148 0 0 0 6 1 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27275] ppid=27270 vsize=8537816 CPUtime=0.16 cores=0,2,4,6
/proc/27272/task/27275/stat : 27275 (java) T 27270 27272 27272 0 -1 4202560 15730 0 0 0 14 2 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27272/tid=27276] ppid=27270 vsize=8537816 CPUtime=0.06 cores=0,2,4,6
/proc/27272/task/27276/stat : 27276 (java) T 27270 27272 27272 0 -1 4202560 3665 0 0 0 6 0 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27272/tid=27277] ppid=27270 vsize=8537816 CPUtime=0.09 cores=0,2,4,6
/proc/27272/task/27277/stat : 27277 (java) T 27270 27272 27272 0 -1 4202560 8379 0 0 0 7 2 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27272/tid=27278] ppid=27270 vsize=8537816 CPUtime=0.08 cores=0,2,4,6
/proc/27272/task/27278/stat : 27278 (java) T 27270 27272 27272 0 -1 4202560 8962 0 0 0 7 1 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27272/tid=27279] ppid=27270 vsize=8537816 CPUtime=0.05 cores=0,2,4,6
/proc/27272/task/27279/stat : 27279 (java) T 27270 27272 27272 0 -1 4202560 5999 0 0 0 4 1 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27272/tid=27280] ppid=27270 vsize=8537816 CPUtime=0.05 cores=0,2,4,6
/proc/27272/task/27280/stat : 27280 (java) T 27270 27272 27272 0 -1 4202560 4755 0 0 0 4 1 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27281] ppid=27270 vsize=8537816 CPUtime=0.1 cores=0,2,4,6
/proc/27272/task/27281/stat : 27281 (java) T 27270 27272 27272 0 -1 4202560 8700 0 0 0 9 1 0 0 15 0 19 0 869305581 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27282] ppid=27270 vsize=8537816 CPUtime=0.72 cores=0,2,4,6
/proc/27272/task/27282/stat : 27282 (java) T 27270 27272 27272 0 -1 4202560 7928 0 0 0 71 1 0 0 15 0 19 0 869305582 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27272/tid=27283] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27283/stat : 27283 (java) T 27270 27272 27272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869305582 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27284] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27284/stat : 27284 (java) T 27270 27272 27272 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869305582 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27285] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27285/stat : 27285 (java) T 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305584 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27286] ppid=27270 vsize=8537816 CPUtime=0.61 cores=0,2,4,6
/proc/27272/task/27286/stat : 27286 (java) T 27270 27272 27272 0 -1 4202560 2708 0 0 0 61 0 0 0 15 0 19 0 869305584 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27272/tid=27287] ppid=27270 vsize=8537816 CPUtime=0.6 cores=0,2,4,6
/proc/27272/task/27287/stat : 27287 (java) T 27270 27272 27272 0 -1 4202560 3903 0 0 0 59 1 0 0 15 0 19 0 869305584 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27272/tid=27288] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27288/stat : 27288 (java) T 27270 27272 27272 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869305584 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27289] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27289/stat : 27289 (java) T 27270 27272 27272 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869305584 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27272/tid=27290] ppid=27270 vsize=8537816 CPUtime=0 cores=0,2,4,6
/proc/27272/task/27290/stat : 27290 (java) T 27270 27272 27272 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869305652 8742723584 97467 33554432000 1073741824 1073778376 140736914409648 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=27270/tid=27350] ppid=27264 vsize=310048 CPUtime=0 cores=0,2,4,6
/proc/27270/task/27350/stat : 27350 (python) S 27264 27264 26377 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 869310420 317489152 9889 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554946 18446604449114527680 0 0 -1 4 0 0 0
[pid=27351] ppid=27264 vsize=310060 CPUtime=0.28 cores=0,2,4,6
/proc/27351/stat : 27351 (python) S 27264 27264 26377 0 -1 4202560 1223 0 0 0 19 9 0 0 16 0 2 0 869310423 317501440 9884 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27351/statm: 77515 9884 402 364 0 12399 0
[pid=27353] ppid=27351 vsize=38952 CPUtime=46.93 cores=0,2,4,6
/proc/27353/stat : 27353 (wbo1.4a) T 27351 27353 27353 0 -1 4202496 119935 0 0 0 4659 34 0 0 25 0 1 0 869310423 39886848 9190 33554432000 134512640 135751879 4289839856 18446744073709551615 134616871 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/27353/statm: 9738 9190 146 303 0 9433 0
[pid=27351/tid=27378] ppid=27264 vsize=310060 CPUtime=0 cores=0,2,4,6
/proc/27351/task/27378/stat : 27378 (python) S 27264 27264 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869315117 317501440 9884 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554946 18446604440688427968 0 0 -1 6 0 0 0
[pid=27380] ppid=27264 vsize=320316 CPUtime=0.31 cores=0,2,4,6
/proc/27380/stat : 27380 (python) S 27264 27264 26377 0 -1 4202560 1211 0 0 0 16 15 0 0 17 0 2 0 869319564 328003584 9888 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27380/statm: 80079 9888 402 364 0 14960 0
[pid=27382] ppid=27380 vsize=162052 CPUtime=91.46 cores=0,2,4,6
/proc/27382/stat : 27382 (clasp-1.3.7-x86) T 27380 27382 27382 0 -1 4202496 40898 0 0 0 9139 7 0 0 25 0 1 0 869319564 165941248 40238 33554432000 134512640 136139019 4291723024 18446744073709551615 134598634 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/27382/statm: 40513 40238 187 398 0 40113 0
[pid=27380/tid=27500] ppid=27264 vsize=320316 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27500/stat : 27500 (python) S 27264 27264 26377 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869328712 328003584 9888 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554946 18446604447190564928 0 0 -1 6 0 0 0
[pid=27501] ppid=27264 vsize=330572 CPUtime=0.17 cores=0,2,4,6
/proc/27501/stat : 27501 (python) S 27264 27264 26377 0 -1 4202560 1127 0 0 0 7 10 0 0 16 0 2 0 869328714 338505728 9886 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27501/statm: 82643 9886 396 364 0 17521 0
[pid=27503] ppid=27501 vsize=389184 CPUtime=46.62 cores=0,2,4,6
/proc/27503/stat : 27503 (pbct-0.1.2-linu) T 27501 27503 27503 0 -1 4202496 98780 0 0 0 4613 49 0 0 25 0 1 0 869328715 398524416 95033 33554432000 134512640 136422188 4286784192 18446744073709551615 134860321 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/27503/statm: 97296 95033 236 467 0 96827 0
[pid=27501/tid=27509] ppid=27264 vsize=330572 CPUtime=0 cores=0,2,4,6
/proc/27501/task/27509/stat : 27509 (python) S 27264 27264 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869333378 338505728 9886 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554946 18446604445333668032 0 0 -1 6 0 0 0
[pid=27510] ppid=27264 vsize=340828 CPUtime=0 cores=0,2,4,6
/proc/27510/stat : 27510 (python) S 27264 27264 26377 0 -1 4202560 823 0 0 0 0 0 0 0 18 0 1 0 869333380 349007872 9841 33554432000 4194304 5683644 140737137342560 18446744073709551615 218370977350 0 0 16781312 33554946 3429515249663868928 0 0 17 4 0 0 0
/proc/27510/statm: 85207 9841 348 364 0 20082 0
[pid=27512] ppid=27510 vsize=8536760 CPUtime=1.05 cores=0,2,4,6
/proc/27512/stat : 27512 (java) S 27510 27512 27512 0 -1 4202496 39215 0 1 0 100 5 0 0 20 0 18 0 869333380 8741642240 37005 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27512/statm: 2134190 37007 2207 9 0 2124931 0
[pid=27512/tid=27513] ppid=27510 vsize=8536760 CPUtime=0.59 cores=0,2,4,6
/proc/27512/task/27513/stat : 27513 (java) R 27510 27512 27512 0 -1 4202560 33160 0 1 0 55 4 0 0 18 0 18 0 869333381 8741642240 37106 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 46912505609110 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27512/tid=27514] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27514/stat : 27514 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869333382 8741642240 37109 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27515] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27515/stat : 27515 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869333382 8741642240 37112 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27516] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27516/stat : 27516 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869333382 8741642240 37115 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27517] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333382 8741642240 37118 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 4 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333382 8741642240 37121 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 4 0 0 0
[pid=27512/tid=27519] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27519/stat : 27519 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333382 8741642240 37124 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 4 0 0 0
[pid=27512/tid=27520] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27520/stat : 27520 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333382 8741642240 37127 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 4 0 0 0
[pid=27512/tid=27521] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27521/stat : 27521 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333382 8741642240 37129 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 4 0 0 0
[pid=27512/tid=27522] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27522/stat : 27522 (java) S 27510 27512 27512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869333383 8741642240 37132 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773760 0 0 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27523] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27523/stat : 27523 (java) S 27510 27512 27512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869333383 8741642240 37135 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27524] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27524/stat : 27524 (java) S 27510 27512 27512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869333383 8741642240 37137 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27525] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27525/stat : 27525 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333386 8741642240 37141 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382780849 0 4 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27526] ppid=27510 vsize=8536760 CPUtime=0.23 cores=0,2,4,6
/proc/27512/task/27526/stat : 27526 (java) S 27510 27512 27512 0 -1 4202560 2522 0 0 0 23 0 0 0 17 0 18 0 869333386 8741642240 37144 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 4 0 0 0
[pid=27512/tid=27527] ppid=27510 vsize=8536760 CPUtime=0.21 cores=0,2,4,6
/proc/27512/task/27527/stat : 27527 (java) S 27510 27512 27512 0 -1 4202560 2239 0 0 0 21 0 0 0 25 0 18 0 869333386 8741642240 37147 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 6 0 0 0
[pid=27512/tid=27528] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27528/stat : 27528 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869333386 8741642240 37150 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773145 0 4 0 16800975 18446604449938950208 0 0 -1 2 0 0 0
[pid=27512/tid=27529] ppid=27510 vsize=8536760 CPUtime=0 cores=0,2,4,6
/proc/27512/task/27529/stat : 27529 (java) S 27510 27512 27512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869333386 8741642240 37153 33554432000 1073741824 1073778376 140735526695344 18446744073709551615 218382773760 0 4 0 16800975 18446604449938950208 0 0 -1 6 0 0 0
[pid=27264/tid=27271] ppid=27262 vsize=351072 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27271/stat : 27271 (python) S 27262 27264 26377 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 6 0 869305579 359497728 11376 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 6 0 0 0
[pid=27264/tid=27352] ppid=27262 vsize=351072 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27352/stat : 27352 (python) S 27262 27264 26377 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869310423 359497728 11376 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 2 0 0 0
[pid=27264/tid=27381] ppid=27262 vsize=351072 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27381/stat : 27381 (python) S 27262 27264 26377 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 6 0 869319564 359497728 11376 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 0 0 0 0
[pid=27264/tid=27502] ppid=27262 vsize=351072 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27502/stat : 27502 (python) S 27262 27264 26377 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 6 0 869328714 359497728 11376 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 4 0 0 0
[pid=27264/tid=27511] ppid=27262 vsize=351072 CPUtime=0 cores=0,2,4,6
/proc/27264/task/27511/stat : 27511 (python) S 27262 27264 26377 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 869333380 359497728 11376 33554432000 4194304 5683644 140737137342560 18446744073709551615 218382780849 0 0 16781312 33554434 18446604451738325312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 283.33
Current children cumulated vsize (KiB) 19627660
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 27264 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=550764
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120981
# CPU time returned by wait4() is 1.67174
# while last known CPU time is 283.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 280.478
CPU time (s): 283.33
CPU user time (s): 281.53
CPU system time (s): 1.8
CPU usage (%): 101.017
Max. virtual memory (cumulated for all children) (KiB): 19627660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.55076
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21190
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= 2866
involuntary context switches= 23
runsolver used 1.53377 second user time and 2.84757 second system time
The end