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-3456566-1307635168/watcher-3456566-1307635168 -o /tmp/evaluation-result-3456566-1307635168/solver-3456566-1307635168 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456566-1307635168.opb
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.05 2.00 1.70 2/195 13137
/proc/meminfo: memFree=28747072/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13137/stat : 13137 (java) R 13135 13137 12325 0 -1 4202496 951 0 0 0 0 0 0 0 24 0 1 0 953747452 23580672 695 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224279963112 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13137/statm: 5757 696 513 9 0 124 0
[startup+0.0122681 s]
/proc/loadavg: 2.05 2.00 1.70 2/195 13137
/proc/meminfo: memFree=28747072/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 2226 0 1 0 0 0 0 0 24 0 2 0 953747452 10681323520 1928 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2607745 1948 906 9 0 2598901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10430980
[startup+0.1043 s]
/proc/loadavg: 2.05 2.00 1.70 2/195 13137
/proc/meminfo: memFree=28747072/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10540296 CPUtime=0.1 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 13070 0 1 0 8 2 0 0 24 0 18 0 953747452 10793263104 12767 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2635074 12769 2093 9 0 2625808 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540296
[startup+0.300214 s]
/proc/loadavg: 2.05 2.00 1.70 2/195 13137
/proc/meminfo: memFree=28747072/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10542568 CPUtime=0.45 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 15736 0 1 0 43 2 0 0 24 0 18 0 953747452 10795589632 15203 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2635642 15204 2201 9 0 2626376 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542568
[startup+0.700153 s]
/proc/loadavg: 2.05 2.00 1.70 2/195 13137
/proc/meminfo: memFree=28747072/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10554776 CPUtime=1.44 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 32007 0 1 0 140 4 0 0 24 0 19 0 953747452 10808090624 28155 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2638694 28155 2230 9 0 2629428 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10554776
[startup+1.50102 s]
/proc/loadavg: 2.21 2.03 1.72 3/214 13156
/proc/meminfo: memFree=28589464/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10554776 CPUtime=2.55 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 75153 0 1 0 245 10 0 0 24 0 19 0 953747452 10808090624 70405 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2638694 70408 2235 9 0 2629428 0
[pid=13137/tid=13139] ppid=13135 vsize=10554776 CPUtime=1.47 cores=1,3,5,7
/proc/13137/task/13139/stat : 13139 (java) R 13135 13137 12325 0 -1 4202560 62631 0 1 0 139 8 0 0 18 0 19 0 953747453 10808090624 70408 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 46912505728210 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13137/tid=13140] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13140/stat : 13140 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70409 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13141] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13141/stat : 13141 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70410 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13142] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13142/stat : 13142 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70412 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13143] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13143/stat : 13143 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70414 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13144] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13144/stat : 13144 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70415 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13145] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13145/stat : 13145 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70416 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13146] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13146/stat : 13146 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70419 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13147] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13147/stat : 13147 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 70421 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13148] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13148/stat : 13148 (java) S 13135 13137 12325 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953747456 10808090624 70423 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13149] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13149/stat : 13149 (java) S 13135 13137 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953747456 10808090624 70425 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13150] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13150/stat : 13150 (java) S 13135 13137 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953747456 10808090624 70427 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13151] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13151/stat : 13151 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747458 10808090624 70428 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13152] ppid=13135 vsize=10554776 CPUtime=0.54 cores=1,3,5,7
/proc/13137/task/13152/stat : 13152 (java) S 13135 13137 12325 0 -1 4202560 5397 0 0 0 54 0 0 0 15 0 19 0 953747458 10808090624 70430 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13153] ppid=13135 vsize=10554776 CPUtime=0.5 cores=1,3,5,7
/proc/13137/task/13153/stat : 13153 (java) S 13135 13137 12325 0 -1 4202560 5967 0 0 0 50 0 0 0 16 0 19 0 953747458 10808090624 70431 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13154] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13154/stat : 13154 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747458 10808090624 70432 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13155] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13155/stat : 13155 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953747458 10808090624 70432 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13156] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13156/stat : 13156 (java) S 13135 13137 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953747495 10808090624 70434 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 10554776
[startup+3.10075 s]
/proc/loadavg: 2.21 2.03 1.72 3/214 13156
/proc/meminfo: memFree=28335032/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10554776 CPUtime=4.28 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 168082 0 1 0 406 22 0 0 24 0 19 0 953747452 10808090624 163334 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2638694 163336 2237 9 0 2629428 0
[pid=13137/tid=13139] ppid=13135 vsize=10554776 CPUtime=3.08 cores=1,3,5,7
/proc/13137/task/13139/stat : 13139 (java) R 13135 13137 12325 0 -1 4202560 155536 0 1 0 288 20 0 0 21 0 19 0 953747453 10808090624 163337 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 46912505708735 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13137/tid=13140] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13140/stat : 13140 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163339 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13141] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13141/stat : 13141 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163340 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13142] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13142/stat : 13142 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163341 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13143] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13143/stat : 13143 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163343 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13144] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13144/stat : 13144 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163344 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13145] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13145/stat : 13145 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163344 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13146] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13146/stat : 13146 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163346 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13147] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13147/stat : 13147 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10808090624 163347 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13148] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13148/stat : 13148 (java) S 13135 13137 12325 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953747456 10808090624 163348 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13149] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13149/stat : 13149 (java) S 13135 13137 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953747456 10808090624 163350 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13150] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13150/stat : 13150 (java) S 13135 13137 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953747456 10808090624 163351 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13151] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13151/stat : 13151 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747458 10808090624 163352 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13152] ppid=13135 vsize=10554776 CPUtime=0.65 cores=1,3,5,7
/proc/13137/task/13152/stat : 13152 (java) S 13135 13137 12325 0 -1 4202560 5419 0 0 0 65 0 0 0 15 0 19 0 953747458 10808090624 163353 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13153] ppid=13135 vsize=10554776 CPUtime=0.53 cores=1,3,5,7
/proc/13137/task/13153/stat : 13153 (java) S 13135 13137 12325 0 -1 4202560 5969 0 0 0 53 0 0 0 15 0 19 0 953747458 10808090624 163354 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13154] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13154/stat : 13154 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747458 10808090624 163355 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13155] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13155/stat : 13155 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953747458 10808090624 163357 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13156] ppid=13135 vsize=10554776 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13156/stat : 13156 (java) S 13135 13137 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953747495 10808090624 163358 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 10554776
[startup+6.30122 s]
/proc/loadavg: 2.21 2.03 1.72 3/214 13156
/proc/meminfo: memFree=27545780/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10552148 CPUtime=7.64 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 360885 0 1 0 721 43 0 0 24 0 19 0 953747452 10805399552 354718 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2638037 354720 2238 9 0 2628771 0
[pid=13137/tid=13139] ppid=13135 vsize=10552148 CPUtime=6.27 cores=1,3,5,7
/proc/13137/task/13139/stat : 13139 (java) R 13135 13137 12325 0 -1 4202560 347502 0 1 0 586 41 0 0 18 0 19 0 953747453 10805399552 354722 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 46912505752190 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13137/tid=13140] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13140/stat : 13140 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354723 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13141] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13141/stat : 13141 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354724 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13142] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13142/stat : 13142 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354724 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13143] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13143/stat : 13143 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354724 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13144] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13144/stat : 13144 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354725 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13145] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13145/stat : 13145 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354727 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13146] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13146/stat : 13146 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354728 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13147] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13147/stat : 13147 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953747455 10805399552 354730 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13148] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13148/stat : 13148 (java) S 13135 13137 12325 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953747456 10805399552 354731 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13149] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13149/stat : 13149 (java) S 13135 13137 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953747456 10805399552 354733 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13150] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13150/stat : 13150 (java) S 13135 13137 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953747456 10805399552 354734 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13151] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13151/stat : 13151 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747458 10805399552 354736 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13152] ppid=13135 vsize=10552148 CPUtime=0.8 cores=1,3,5,7
/proc/13137/task/13152/stat : 13152 (java) S 13135 13137 12325 0 -1 4202560 6256 0 0 0 80 0 0 0 15 0 19 0 953747458 10805399552 354737 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13153] ppid=13135 vsize=10552148 CPUtime=0.53 cores=1,3,5,7
/proc/13137/task/13153/stat : 13153 (java) S 13135 13137 12325 0 -1 4202560 5969 0 0 0 53 0 0 0 15 0 19 0 953747458 10805399552 354739 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13154] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13154/stat : 13154 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747458 10805399552 354740 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13155] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13155/stat : 13155 (java) S 13135 13137 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953747458 10805399552 354741 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13156] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13156/stat : 13156 (java) S 13135 13137 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953747495 10805399552 354743 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 10552148
[startup+12.7011 s]
################
# More data... #
################
/proc/13137/task/13149/stat : 13149 (java) S 13135 13137 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13150] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13150/stat : 13150 (java) S 13135 13137 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13151] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13151/stat : 13151 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747458 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13152] ppid=13135 vsize=10552148 CPUtime=0.94 cores=1,3,5,7
/proc/13137/task/13152/stat : 13152 (java) S 13135 13137 12325 0 -1 4202560 6285 0 0 0 94 0 0 0 15 0 19 0 953747458 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13153] ppid=13135 vsize=10552148 CPUtime=0.64 cores=1,3,5,7
/proc/13137/task/13153/stat : 13153 (java) S 13135 13137 12325 0 -1 4202560 5984 0 0 0 64 0 0 0 15 0 19 0 953747458 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13154] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13154/stat : 13154 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747458 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13155] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13155/stat : 13155 (java) S 13135 13137 12325 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 953747458 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13156] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13156/stat : 13156 (java) S 13135 13137 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953747495 10805399552 1016197 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1670.56
Current children cumulated vsize (KiB) 10552148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/214 13269
/proc/meminfo: memFree=24149480/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10552148 CPUtime=1730.76 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 1028227 0 1 0 172955 121 0 0 24 0 19 0 953747452 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2638037 1018321 2267 9 0 2628771 0
[pid=13137/tid=13139] ppid=13135 vsize=10552148 CPUtime=1718.79 cores=1,3,5,7
/proc/13137/task/13139/stat : 13139 (java) R 13135 13137 12325 0 -1 4202560 741631 0 1 0 171797 82 0 0 25 0 19 0 953747453 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 46912505749275 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13137/tid=13140] ppid=13135 vsize=10552148 CPUtime=1.11 cores=1,3,5,7
/proc/13137/task/13140/stat : 13140 (java) S 13135 13137 12325 0 -1 4202560 32905 0 0 0 107 4 0 0 16 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13141] ppid=13135 vsize=10552148 CPUtime=1.06 cores=1,3,5,7
/proc/13137/task/13141/stat : 13141 (java) S 13135 13137 12325 0 -1 4202560 31021 0 0 0 102 4 0 0 15 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13142] ppid=13135 vsize=10552148 CPUtime=0.95 cores=1,3,5,7
/proc/13137/task/13142/stat : 13142 (java) S 13135 13137 12325 0 -1 4202560 24992 0 0 0 92 3 0 0 16 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13143] ppid=13135 vsize=10552148 CPUtime=1.4 cores=1,3,5,7
/proc/13137/task/13143/stat : 13143 (java) S 13135 13137 12325 0 -1 4202560 43205 0 0 0 134 6 0 0 16 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13144] ppid=13135 vsize=10552148 CPUtime=1.25 cores=1,3,5,7
/proc/13137/task/13144/stat : 13144 (java) S 13135 13137 12325 0 -1 4202560 38249 0 0 0 121 4 0 0 16 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13145] ppid=13135 vsize=10552148 CPUtime=1.24 cores=1,3,5,7
/proc/13137/task/13145/stat : 13145 (java) S 13135 13137 12325 0 -1 4202560 32391 0 0 0 121 3 0 0 16 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=13137/tid=13146] ppid=13135 vsize=10552148 CPUtime=1.2 cores=1,3,5,7
/proc/13137/task/13146/stat : 13146 (java) S 13135 13137 12325 0 -1 4202560 35112 0 0 0 116 4 0 0 16 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=13137/tid=13147] ppid=13135 vsize=10552148 CPUtime=0.96 cores=1,3,5,7
/proc/13137/task/13147/stat : 13147 (java) S 13135 13137 12325 0 -1 4202560 27359 0 0 0 92 4 0 0 15 0 19 0 953747455 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13148] ppid=13135 vsize=10552148 CPUtime=1.1 cores=1,3,5,7
/proc/13137/task/13148/stat : 13148 (java) S 13135 13137 12325 0 -1 4202560 7843 0 0 0 109 1 0 0 15 0 19 0 953747456 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13149] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13149/stat : 13149 (java) S 13135 13137 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13150] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13150/stat : 13150 (java) S 13135 13137 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13151] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13151/stat : 13151 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747458 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13152] ppid=13135 vsize=10552148 CPUtime=0.94 cores=1,3,5,7
/proc/13137/task/13152/stat : 13152 (java) S 13135 13137 12325 0 -1 4202560 6285 0 0 0 94 0 0 0 15 0 19 0 953747458 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13153] ppid=13135 vsize=10552148 CPUtime=0.64 cores=1,3,5,7
/proc/13137/task/13153/stat : 13153 (java) S 13135 13137 12325 0 -1 4202560 5984 0 0 0 64 0 0 0 15 0 19 0 953747458 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13154] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13154/stat : 13154 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747458 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13155] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13155/stat : 13155 (java) S 13135 13137 12325 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953747458 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13156] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13156/stat : 13156 (java) S 13135 13137 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953747495 10805399552 1018321 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.76
Current children cumulated vsize (KiB) 10552148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/214 13271
/proc/meminfo: memFree=24131932/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10552148 CPUtime=1790.97 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 1030528 0 1 0 178975 122 0 0 24 0 19 0 953747452 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2638037 1020562 2267 9 0 2628771 0
[pid=13137/tid=13139] ppid=13135 vsize=10552148 CPUtime=1778.72 cores=1,3,5,7
/proc/13137/task/13139/stat : 13139 (java) R 13135 13137 12325 0 -1 4202560 741633 0 1 0 177790 82 0 0 25 0 19 0 953747453 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 46912505724297 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13137/tid=13140] ppid=13135 vsize=10552148 CPUtime=1.15 cores=1,3,5,7
/proc/13137/task/13140/stat : 13140 (java) S 13135 13137 12325 0 -1 4202560 33269 0 0 0 111 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=13137/tid=13141] ppid=13135 vsize=10552148 CPUtime=1.09 cores=1,3,5,7
/proc/13137/task/13141/stat : 13141 (java) S 13135 13137 12325 0 -1 4202560 31289 0 0 0 105 4 0 0 15 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13142] ppid=13135 vsize=10552148 CPUtime=1 cores=1,3,5,7
/proc/13137/task/13142/stat : 13142 (java) S 13135 13137 12325 0 -1 4202560 25522 0 0 0 97 3 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13143] ppid=13135 vsize=10552148 CPUtime=1.43 cores=1,3,5,7
/proc/13137/task/13143/stat : 13143 (java) S 13135 13137 12325 0 -1 4202560 43573 0 0 0 137 6 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13144] ppid=13135 vsize=10552148 CPUtime=1.26 cores=1,3,5,7
/proc/13137/task/13144/stat : 13144 (java) S 13135 13137 12325 0 -1 4202560 38370 0 0 0 122 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13145] ppid=13135 vsize=10552148 CPUtime=1.24 cores=1,3,5,7
/proc/13137/task/13145/stat : 13145 (java) S 13135 13137 12325 0 -1 4202560 32391 0 0 0 121 3 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=13137/tid=13146] ppid=13135 vsize=10552148 CPUtime=1.25 cores=1,3,5,7
/proc/13137/task/13146/stat : 13146 (java) S 13135 13137 12325 0 -1 4202560 35417 0 0 0 121 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13147] ppid=13135 vsize=10552148 CPUtime=1.01 cores=1,3,5,7
/proc/13137/task/13147/stat : 13147 (java) S 13135 13137 12325 0 -1 4202560 27694 0 0 0 97 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13148] ppid=13135 vsize=10552148 CPUtime=1.11 cores=1,3,5,7
/proc/13137/task/13148/stat : 13148 (java) S 13135 13137 12325 0 -1 4202560 7847 0 0 0 110 1 0 0 15 0 19 0 953747456 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13149] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13149/stat : 13149 (java) S 13135 13137 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13150] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13150/stat : 13150 (java) S 13135 13137 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13151] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13151/stat : 13151 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13152] ppid=13135 vsize=10552148 CPUtime=0.94 cores=1,3,5,7
/proc/13137/task/13152/stat : 13152 (java) S 13135 13137 12325 0 -1 4202560 6285 0 0 0 94 0 0 0 15 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13153] ppid=13135 vsize=10552148 CPUtime=0.64 cores=1,3,5,7
/proc/13137/task/13153/stat : 13153 (java) S 13135 13137 12325 0 -1 4202560 5984 0 0 0 64 0 0 0 15 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13154] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13154/stat : 13154 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13155] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13155/stat : 13155 (java) S 13135 13137 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13156] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13156/stat : 13156 (java) S 13135 13137 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953747495 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.97
Current children cumulated vsize (KiB) 10552148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.4 s]
/proc/loadavg: 2.07 2.03 1.98 3/214 13271
/proc/meminfo: memFree=24127960/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=10552148 CPUtime=1800.08 cores=1,3,5,7
/proc/13137/stat : 13137 (java) S 13135 13137 12325 0 -1 4202496 1030528 0 1 0 179886 122 0 0 24 0 19 0 953747452 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 2638037 1020562 2267 9 0 2628771 0
[pid=13137/tid=13139] ppid=13135 vsize=10552148 CPUtime=1787.82 cores=1,3,5,7
/proc/13137/task/13139/stat : 13139 (java) R 13135 13137 12325 0 -1 4202560 741633 0 1 0 178700 82 0 0 25 0 19 0 953747453 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 46912505724443 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13137/tid=13140] ppid=13135 vsize=10552148 CPUtime=1.15 cores=1,3,5,7
/proc/13137/task/13140/stat : 13140 (java) S 13135 13137 12325 0 -1 4202560 33269 0 0 0 111 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=13137/tid=13141] ppid=13135 vsize=10552148 CPUtime=1.09 cores=1,3,5,7
/proc/13137/task/13141/stat : 13141 (java) S 13135 13137 12325 0 -1 4202560 31289 0 0 0 105 4 0 0 15 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13142] ppid=13135 vsize=10552148 CPUtime=1 cores=1,3,5,7
/proc/13137/task/13142/stat : 13142 (java) S 13135 13137 12325 0 -1 4202560 25522 0 0 0 97 3 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13143] ppid=13135 vsize=10552148 CPUtime=1.43 cores=1,3,5,7
/proc/13137/task/13143/stat : 13143 (java) S 13135 13137 12325 0 -1 4202560 43573 0 0 0 137 6 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13144] ppid=13135 vsize=10552148 CPUtime=1.26 cores=1,3,5,7
/proc/13137/task/13144/stat : 13144 (java) S 13135 13137 12325 0 -1 4202560 38370 0 0 0 122 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13145] ppid=13135 vsize=10552148 CPUtime=1.24 cores=1,3,5,7
/proc/13137/task/13145/stat : 13145 (java) S 13135 13137 12325 0 -1 4202560 32391 0 0 0 121 3 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=13137/tid=13146] ppid=13135 vsize=10552148 CPUtime=1.25 cores=1,3,5,7
/proc/13137/task/13146/stat : 13146 (java) S 13135 13137 12325 0 -1 4202560 35417 0 0 0 121 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13147] ppid=13135 vsize=10552148 CPUtime=1.01 cores=1,3,5,7
/proc/13137/task/13147/stat : 13147 (java) S 13135 13137 12325 0 -1 4202560 27694 0 0 0 97 4 0 0 16 0 19 0 953747455 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13148] ppid=13135 vsize=10552148 CPUtime=1.11 cores=1,3,5,7
/proc/13137/task/13148/stat : 13148 (java) S 13135 13137 12325 0 -1 4202560 7847 0 0 0 110 1 0 0 15 0 19 0 953747456 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13149] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13149/stat : 13149 (java) S 13135 13137 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13150] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13150/stat : 13150 (java) S 13135 13137 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953747456 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13151] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13151/stat : 13151 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13152] ppid=13135 vsize=10552148 CPUtime=0.94 cores=1,3,5,7
/proc/13137/task/13152/stat : 13152 (java) S 13135 13137 12325 0 -1 4202560 6285 0 0 0 94 0 0 0 15 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=13137/tid=13153] ppid=13135 vsize=10552148 CPUtime=0.64 cores=1,3,5,7
/proc/13137/task/13153/stat : 13153 (java) S 13135 13137 12325 0 -1 4202560 5984 0 0 0 64 0 0 0 15 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13154] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13154/stat : 13154 (java) S 13135 13137 12325 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=13137/tid=13155] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13155/stat : 13155 (java) S 13135 13137 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953747458 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=13137/tid=13156] ppid=13135 vsize=10552148 CPUtime=0 cores=1,3,5,7
/proc/13137/task/13156/stat : 13156 (java) S 13135 13137 12325 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953747495 10805399552 1020562 33554432000 1073741824 1073778376 140736818472704 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.51 s]
/proc/loadavg: 2.07 2.03 1.98 3/214 13271
/proc/meminfo: memFree=24127960/32951124 swapFree=67049456/67111528
[pid=13137] ppid=13135 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/13137/stat : 13137 (java) Z 13135 13137 12325 0 -1 4203548 1030558 0 1 0 179890 129 0 0 17 0 2 0 953747452 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13137/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.59
CPU time (s): 1800.27
CPU user time (s): 1798.91
CPU system time (s): 1.36379
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 10554776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.36379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1030558
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= 38469
involuntary context switches= 23792
runsolver used 2.84857 second user time and 6.94394 second system time
The end