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-3459610-1307152170/watcher-3459610-1307152170 -o /tmp/evaluation-result-3459610-1307152170/solver-3459610-1307152170 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459610-1307152170.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.04 2.06 2.02 2/539 28423
/proc/meminfo: memFree=21288592/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 6389 0 1 0 0 0 0 0 22 0 2 0 807633015 13850947584 6091 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3381579 6103 917 9 0 3372735 0
[pid=28423/tid=28424] ppid=28421 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 5653 0 1 0 0 0 0 0 23 0 2 0 807633016 13850947584 6470 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.106358 s]
/proc/loadavg: 2.04 2.06 2.02 2/539 28423
/proc/meminfo: memFree=21288592/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13622012 CPUtime=0.1 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 15569 0 1 0 8 2 0 0 22 0 18 0 807633015 13948940288 15266 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3405503 15267 2092 9 0 3396237 0
[pid=28423/tid=28424] ppid=28421 vsize=13622012 CPUtime=0.09 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 13681 0 1 0 7 2 0 0 25 0 18 0 807633016 13948940288 15268 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 47672910506835 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622012
[startup+0.200304 s]
/proc/loadavg: 2.04 2.06 2.02 2/539 28423
/proc/meminfo: memFree=21288592/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13623316 CPUtime=0.29 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 16690 0 1 0 27 2 0 0 22 0 18 0 807633015 13950275584 16357 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3405829 16357 2185 9 0 3396563 0
[pid=28423/tid=28424] ppid=28421 vsize=13623316 CPUtime=0.18 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 14380 0 1 0 16 2 0 0 25 0 18 0 807633016 13950275584 16357 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107268038 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13623316
[startup+0.300287 s]
/proc/loadavg: 2.04 2.06 2.02 2/539 28423
/proc/meminfo: memFree=21288592/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13625468 CPUtime=0.56 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 20701 0 1 0 53 3 0 0 22 0 18 0 807633015 13952479232 19320 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3406367 19320 2202 9 0 3397101 0
[pid=28423/tid=28424] ppid=28421 vsize=13625468 CPUtime=0.28 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 15776 0 1 0 26 2 0 0 25 0 18 0 807633016 13952479232 19321 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505568088 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13625468
[startup+0.700246 s]
/proc/loadavg: 2.04 2.06 2.02 2/539 28423
/proc/meminfo: memFree=21288592/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13625468 CPUtime=1.09 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 46334 0 1 0 102 7 0 0 22 0 18 0 807633015 13952479232 44889 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3406367 44891 2210 9 0 3397101 0
[pid=28423/tid=28424] ppid=28421 vsize=13625468 CPUtime=0.67 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 41342 0 1 0 62 5 0 0 25 0 18 0 807633016 13952479232 44893 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505589214 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13625468
[startup+1.5011 s]
/proc/loadavg: 2.20 2.09 2.03 3/557 28441
/proc/meminfo: memFree=21008432/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13625468 CPUtime=1.88 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 99984 0 1 0 176 12 0 0 22 0 18 0 807633015 13952479232 98539 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3406367 98543 2210 9 0 3397101 0
[pid=28423/tid=28424] ppid=28421 vsize=13625468 CPUtime=1.48 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 94993 0 1 0 137 11 0 0 25 0 18 0 807633016 13952479232 98544 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505571294 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28423/tid=28426] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 807633018 13952479232 98546 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28427] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13952479232 98547 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28428] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13952479232 98549 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13952479232 98550 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28430] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13952479232 98552 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28431] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13952479232 98555 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28432] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13952479232 98556 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28433] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13952479232 98558 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28434] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28421 28423 25640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 807633019 13952479232 98559 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28435] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28421 28423 25640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 807633020 13952479232 98561 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28436] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28421 28423 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 807633020 13952479232 98562 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28437] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13952479232 98564 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28438] ppid=28421 vsize=13625468 CPUtime=0.21 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28421 28423 25640 0 -1 4202560 1914 0 0 0 21 0 0 0 16 0 18 0 807633022 13952479232 98565 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28439] ppid=28421 vsize=13625468 CPUtime=0.17 cores=1,3,5,7
/proc/28423/task/28439/stat : 28439 (java) S 28421 28423 25640 0 -1 4202560 1932 0 0 0 17 0 0 0 17 0 18 0 807633022 13952479232 98568 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28440] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28440/stat : 28440 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13952479232 98570 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28441] ppid=28421 vsize=13625468 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28441/stat : 28441 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 807633022 13952479232 98571 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13625468
[startup+3.10081 s]
/proc/loadavg: 2.20 2.09 2.03 3/557 28441
/proc/meminfo: memFree=20705252/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13628440 CPUtime=3.7 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 213892 0 1 0 345 25 0 0 22 0 18 0 807633015 13955522560 212187 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3407110 212190 2214 9 0 3397844 0
[pid=28423/tid=28424] ppid=28421 vsize=13628440 CPUtime=3.08 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 207324 0 1 0 285 23 0 0 19 0 18 0 807633016 13955522560 212193 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505579947 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28423/tid=28426] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 807633018 13955522560 212195 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28427] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 212196 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28428] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 212198 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 212199 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28430] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 212201 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28431] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 212202 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28432] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 212204 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28433] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 212207 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28434] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28421 28423 25640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 807633019 13955522560 212209 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28435] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28421 28423 25640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 807633020 13955522560 212210 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28436] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28421 28423 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 807633020 13955522560 212212 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28437] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13955522560 212213 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28438] ppid=28421 vsize=13628440 CPUtime=0.31 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28421 28423 25640 0 -1 4202560 2654 0 0 0 31 0 0 0 16 0 18 0 807633022 13955522560 212215 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28439] ppid=28421 vsize=13628440 CPUtime=0.28 cores=1,3,5,7
/proc/28423/task/28439/stat : 28439 (java) S 28421 28423 25640 0 -1 4202560 2770 0 0 0 28 0 0 0 15 0 18 0 807633022 13955522560 212216 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28440] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28440/stat : 28440 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13955522560 212220 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28441] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28441/stat : 28441 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 807633022 13955522560 212221 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13628440
[startup+6.30122 s]
/proc/loadavg: 2.18 2.09 2.03 3/557 28441
/proc/meminfo: memFree=19623624/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13628440 CPUtime=6.99 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 489621 0 1 0 647 52 0 0 22 0 18 0 807633015 13955522560 487753 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3407110 487757 2226 9 0 3397844 0
[pid=28423/tid=28424] ppid=28421 vsize=13628440 CPUtime=6.28 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 483035 0 1 0 577 51 0 0 25 0 18 0 807633016 13955522560 487759 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505706249 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28423/tid=28426] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 807633018 13955522560 487761 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28427] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 487763 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28428] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 487766 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 487768 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28430] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 487770 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28431] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 487773 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28432] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 487775 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28433] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633018 13955522560 487778 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28434] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28421 28423 25640 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 807633019 13955522560 487780 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28435] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28421 28423 25640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 807633020 13955522560 487782 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28436] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28421 28423 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 807633020 13955522560 487784 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28437] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13955522560 487786 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28438] ppid=28421 vsize=13628440 CPUtime=0.34 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28421 28423 25640 0 -1 4202560 2658 0 0 0 34 0 0 0 16 0 18 0 807633022 13955522560 487787 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28439] ppid=28421 vsize=13628440 CPUtime=0.34 cores=1,3,5,7
/proc/28423/task/28439/stat : 28439 (java) S 28421 28423 25640 0 -1 4202560 2780 0 0 0 34 0 0 0 15 0 18 0 807633022 13955522560 487788 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28440] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28440/stat : 28440 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13955522560 487792 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28441] ppid=28421 vsize=13628440 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28441/stat : 28441 (java) S 28421 28423 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 807633022 13955522560 487794 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/28423/task/28433/stat : 28433 (java) S 28421 28423 25640 0 -1 4202560 5383 0 0 0 10 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28434] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28421 28423 25640 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 807633019 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28435] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28421 28423 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28436] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28421 28423 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28437] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28438] ppid=28421 vsize=13627576 CPUtime=0.36 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28421 28423 25640 0 -1 4202560 2662 0 0 0 36 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28439] ppid=28421 vsize=13627576 CPUtime=0.35 cores=1,3,5,7
/proc/28423/task/28439/stat : 28439 (java) S 28421 28423 25640 0 -1 4202560 2782 0 0 0 35 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28440] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28440/stat : 28440 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28441] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28441/stat : 28441 (java) S 28421 28423 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.74
Current children cumulated vsize (KiB) 13627576
[startup+16.0014 s]
/proc/loadavg: 2.45 2.15 2.05 3/557 28441
/proc/meminfo: memFree=17794284/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13627576 CPUtime=16.95 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 875848 0 1 0 1597 98 0 0 22 0 18 0 807633015 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3406894 873721 2239 9 0 3397628 0
[pid=28423/tid=28424] ppid=28421 vsize=13627576 CPUtime=15.85 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 845466 0 1 0 1491 94 0 0 25 0 18 0 807633016 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505506500 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28423/tid=28426] ppid=28421 vsize=13627576 CPUtime=0.12 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28421 28423 25640 0 -1 4202560 10598 0 0 0 11 1 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28427] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28428] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=28423/tid=28430] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28421 28423 25640 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28431] ppid=28421 vsize=13627576 CPUtime=0.09 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28421 28423 25640 0 -1 4202560 2987 0 0 0 9 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28432] ppid=28421 vsize=13627576 CPUtime=0.01 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28421 28423 25640 0 -1 4202560 4715 0 0 0 1 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28433] ppid=28421 vsize=13627576 CPUtime=0.1 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28421 28423 25640 0 -1 4202560 5383 0 0 0 10 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28434] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28421 28423 25640 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 807633019 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28435] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28421 28423 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28436] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28421 28423 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28437] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28438] ppid=28421 vsize=13627576 CPUtime=0.36 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28421 28423 25640 0 -1 4202560 2662 0 0 0 36 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28439] ppid=28421 vsize=13627576 CPUtime=0.35 cores=1,3,5,7
/proc/28423/task/28439/stat : 28439 (java) S 28421 28423 25640 0 -1 4202560 2782 0 0 0 35 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28440] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28440/stat : 28440 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28441] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28441/stat : 28441 (java) S 28421 28423 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16.95
Current children cumulated vsize (KiB) 13627576
[startup+16.8013 s]
/proc/loadavg: 2.45 2.15 2.05 3/557 28441
/proc/meminfo: memFree=17794284/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13627576 CPUtime=17.75 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 875848 0 1 0 1676 99 0 0 22 0 18 0 807633015 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3406894 873721 2239 9 0 3397628 0
[pid=28423/tid=28424] ppid=28421 vsize=13627576 CPUtime=16.65 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 845466 0 1 0 1570 95 0 0 25 0 18 0 807633016 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505598464 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28423/tid=28426] ppid=28421 vsize=13627576 CPUtime=0.12 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28421 28423 25640 0 -1 4202560 10598 0 0 0 11 1 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28427] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28428] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=28423/tid=28430] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28421 28423 25640 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28431] ppid=28421 vsize=13627576 CPUtime=0.09 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28421 28423 25640 0 -1 4202560 2987 0 0 0 9 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28432] ppid=28421 vsize=13627576 CPUtime=0.01 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28421 28423 25640 0 -1 4202560 4715 0 0 0 1 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28433] ppid=28421 vsize=13627576 CPUtime=0.1 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28421 28423 25640 0 -1 4202560 5383 0 0 0 10 0 0 0 18 0 18 0 807633018 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28434] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28421 28423 25640 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 807633019 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28435] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28421 28423 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28436] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28421 28423 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28437] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28438] ppid=28421 vsize=13627576 CPUtime=0.36 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28421 28423 25640 0 -1 4202560 2662 0 0 0 36 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28439] ppid=28421 vsize=13627576 CPUtime=0.35 cores=1,3,5,7
/proc/28423/task/28439/stat : 28439 (java) S 28421 28423 25640 0 -1 4202560 2782 0 0 0 35 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28440] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28440/stat : 28440 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28441] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28441/stat : 28441 (java) S 28421 28423 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 807633022 13954637824 873721 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 17.75
Current children cumulated vsize (KiB) 13627576
[startup+17.6012 s]
/proc/loadavg: 2.45 2.15 2.05 3/557 28441
/proc/meminfo: memFree=17794396/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=13627576 CPUtime=18.56 cores=1,3,5,7
/proc/28423/stat : 28423 (java) S 28421 28423 25640 0 -1 4202496 875892 0 1 0 1757 99 0 0 22 0 18 0 807633015 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 3406894 873765 2239 9 0 3397628 0
[pid=28423/tid=28424] ppid=28421 vsize=13627576 CPUtime=17.47 cores=1,3,5,7
/proc/28423/task/28424/stat : 28424 (java) R 28421 28423 25640 0 -1 4202560 845510 0 1 0 1652 95 0 0 25 0 18 0 807633016 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 46912505531680 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28423/tid=28426] ppid=28421 vsize=13627576 CPUtime=0.12 cores=1,3,5,7
/proc/28423/task/28426/stat : 28426 (java) S 28421 28423 25640 0 -1 4202560 10598 0 0 0 11 1 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28427] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28427/stat : 28427 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28428] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28428/stat : 28428 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 1 0 0 0
[pid=28423/tid=28430] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28430/stat : 28430 (java) S 28421 28423 25640 0 -1 4202560 98 0 0 0 0 0 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28431] ppid=28421 vsize=13627576 CPUtime=0.09 cores=1,3,5,7
/proc/28423/task/28431/stat : 28431 (java) S 28421 28423 25640 0 -1 4202560 2987 0 0 0 9 0 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28432] ppid=28421 vsize=13627576 CPUtime=0.01 cores=1,3,5,7
/proc/28423/task/28432/stat : 28432 (java) S 28421 28423 25640 0 -1 4202560 4715 0 0 0 1 0 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28433] ppid=28421 vsize=13627576 CPUtime=0.1 cores=1,3,5,7
/proc/28423/task/28433/stat : 28433 (java) S 28421 28423 25640 0 -1 4202560 5383 0 0 0 10 0 0 0 18 0 18 0 807633018 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28434] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28434/stat : 28434 (java) S 28421 28423 25640 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 807633019 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 0 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28435] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28435/stat : 28435 (java) S 28421 28423 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28436] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28436/stat : 28436 (java) S 28421 28423 25640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 807633020 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28437] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28437/stat : 28437 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107274673 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
[pid=28423/tid=28438] ppid=28421 vsize=13627576 CPUtime=0.36 cores=1,3,5,7
/proc/28423/task/28438/stat : 28438 (java) S 28421 28423 25640 0 -1 4202560 2662 0 0 0 36 0 0 0 15 0 18 0 807633022 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 7 0 0 0
[pid=28423/tid=28439] ppid=28421 vsize=13627576 CPUtime=0.35 cores=1,3,5,7
/proc/28423/task/28439/stat : 28439 (java) S 28421 28423 25640 0 -1 4202560 2782 0 0 0 35 0 0 0 15 0 18 0 807633022 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28440] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28440/stat : 28440 (java) S 28421 28423 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 807633022 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107266969 0 4 0 16800975 18446604459193403584 0 0 -1 5 0 0 0
[pid=28423/tid=28441] ppid=28421 vsize=13627576 CPUtime=0 cores=1,3,5,7
/proc/28423/task/28441/stat : 28441 (java) S 28421 28423 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 807633022 13954637824 873765 33554432000 1073741824 1073778376 140735210109552 18446744073709551615 228107267584 0 4 0 16800975 18446604459193403584 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.56
Current children cumulated vsize (KiB) 13627576
[startup+17.8011 s]
/proc/loadavg: 2.45 2.15 2.05 3/557 28441
/proc/meminfo: memFree=17794396/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=0 CPUtime=18.75 cores=1,3,5,7
/proc/28423/stat : 28423 (java) Z 28421 28423 25640 0 -1 4203548 875938 0 1 0 1774 101 0 0 18 0 2 0 807633015 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 0 0 0 0 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=0 CPUtime=0.01 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) R 28421 28423 25640 0 -1 4203588 1 0 0 0 0 1 0 0 15 0 2 0 807633018 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.75
Current children cumulated vsize (KiB) 0
[startup+17.9011 s]
/proc/loadavg: 2.45 2.15 2.05 3/557 28441
/proc/meminfo: memFree=17794396/32951124 swapFree=58800704/67111528
[pid=28423] ppid=28421 vsize=0 CPUtime=18.85 cores=1,3,5,7
/proc/28423/stat : 28423 (java) Z 28421 28423 25640 0 -1 4203548 875938 0 1 0 1774 111 0 0 18 0 2 0 807633015 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28423/statm: 0 0 0 0 0 0 0
[pid=28423/tid=28429] ppid=28421 vsize=0 CPUtime=0.11 cores=1,3,5,7
/proc/28423/task/28429/stat : 28429 (java) R 28421 28423 25640 0 -1 4203588 1 0 0 0 0 11 0 0 16 0 2 0 807633018 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 17.9216
CPU time (s): 18.8791
CPU user time (s): 17.7483
CPU system time (s): 1.13083
CPU usage (%): 105.343
Max. virtual memory (cumulated for all children) (KiB): 13628440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.7483
system time used= 1.13083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 875938
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= 650
involuntary context switches= 440
runsolver used 0.101984 second user time and 0.224965 second system time
The end