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-3455438-1307196938/watcher-3455438-1307196938 -o /tmp/evaluation-result-3455438-1307196938/solver-3455438-1307196938 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455438-1307196938.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.89 3.37 2/555 22536
/proc/meminfo: memFree=21481016/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 5079 0 1 0 0 0 0 0 17 0 2 0 812110126 10694979584 4781 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2611079 4794 917 9 0 2602235 0
[pid=22536/tid=22537] ppid=22534 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) R 22534 22536 21439 0 -1 4202560 6285 0 1 0 0 0 0 0 18 0 2 0 812110126 10694979584 7100 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0753841 s]
/proc/loadavg: 2.05 2.89 3.37 2/555 22536
/proc/meminfo: memFree=21481016/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 11904 0 1 0 5 1 0 0 17 0 18 0 812110126 10724442112 11601 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2618272 11602 1754 9 0 2609006 0
[pid=22536/tid=22537] ppid=22534 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) R 22534 22536 21439 0 -1 4202560 10732 0 1 0 5 1 0 0 25 0 18 0 812110126 10724442112 11602 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 47723276643427 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100389 s]
/proc/loadavg: 2.05 2.89 3.37 2/555 22536
/proc/meminfo: memFree=21481016/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10539980 CPUtime=0.1 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 13040 0 1 0 9 1 0 0 17 0 18 0 812110126 10792939520 12718 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2634995 12718 2092 9 0 2625729 0
[pid=22536/tid=22537] ppid=22534 vsize=10539980 CPUtime=0.08 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) R 22534 22536 21439 0 -1 4202560 11103 0 1 0 7 1 0 0 25 0 18 0 812110126 10792939520 12718 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 47723273350714 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) 10539980
[startup+0.300309 s]
/proc/loadavg: 2.05 2.89 3.37 2/555 22536
/proc/meminfo: memFree=21481016/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10542980 CPUtime=0.48 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 16888 0 1 0 46 2 0 0 17 0 18 0 812110126 10796011520 16302 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2635745 16302 2200 9 0 2626479 0
[pid=22536/tid=22537] ppid=22534 vsize=10542980 CPUtime=0.27 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) R 22534 22536 21439 0 -1 4202560 13546 0 1 0 26 1 0 0 25 0 18 0 812110126 10796011520 16303 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912505570422 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542980
[startup+0.700297 s]
/proc/loadavg: 2.05 2.89 3.37 2/555 22536
/proc/meminfo: memFree=21481016/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10544548 CPUtime=1.27 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 50357 0 1 0 121 6 0 0 17 0 18 0 812110126 10797617152 47324 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2636137 47330 2221 9 0 2626871 0
[pid=22536/tid=22537] ppid=22534 vsize=10544548 CPUtime=0.68 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) R 22534 22536 21439 0 -1 4202560 42768 0 1 0 63 5 0 0 25 0 18 0 812110126 10797617152 47332 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912505570267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10544548
[startup+1.50113 s]
/proc/loadavg: 2.05 2.89 3.37 3/573 22554
/proc/meminfo: memFree=21179004/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10551344 CPUtime=2.53 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 126182 0 1 0 239 14 0 0 17 0 18 0 812110126 10804576256 120306 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2637836 120310 2225 9 0 2628570 0
[pid=22536/tid=22537] ppid=22534 vsize=10551344 CPUtime=1.47 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) R 22534 22536 21439 0 -1 4202560 112959 0 1 0 135 12 0 0 18 0 18 0 812110126 10804576256 120312 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912505729959 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22536/tid=22539] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22539/stat : 22539 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 812110128 10804576256 120314 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22540] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22540/stat : 22540 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 812110128 10804576256 120317 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22541] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22541/stat : 22541 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 812110128 10804576256 120319 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22542] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22542/stat : 22542 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 812110128 10804576256 120322 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22543] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22543/stat : 22543 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 812110128 10804576256 120328 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22544] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22544/stat : 22544 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 812110128 10804576256 120328 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22545] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22545/stat : 22545 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 812110128 10804576256 120332 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22546] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22546/stat : 22546 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 812110128 10804576256 120333 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22547] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22547/stat : 22547 (java) S 22534 22536 21439 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 812110129 10804576256 120335 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 0 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22548] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22548/stat : 22548 (java) S 22534 22536 21439 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 812110129 10804576256 120337 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22549] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22549/stat : 22549 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 812110129 10804576256 120339 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22550] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22550/stat : 22550 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812110132 10804576256 120342 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051478961 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22551] ppid=22534 vsize=10551344 CPUtime=0.5 cores=1,3,5,7
/proc/22536/task/22551/stat : 22551 (java) S 22534 22536 21439 0 -1 4202560 6129 0 0 0 50 0 0 0 19 0 18 0 812110132 10804576256 120344 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22552] ppid=22534 vsize=10551344 CPUtime=0.52 cores=1,3,5,7
/proc/22536/task/22552/stat : 22552 (java) S 22534 22536 21439 0 -1 4202560 5948 0 0 0 52 0 0 0 18 0 18 0 812110132 10804576256 120347 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22553] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22553/stat : 22553 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 812110132 10804576256 120349 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22554] ppid=22534 vsize=10551344 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22554/stat : 22554 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 812110132 10804576256 120355 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 10551344
[startup+3.10084 s]
/proc/loadavg: 2.20 2.91 3.37 4/577 22558
/proc/meminfo: memFree=20881868/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10556156 CPUtime=6.54 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 272260 0 1 0 625 29 0 0 17 0 22 0 812110126 10809503744 265147 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2639039 265157 2240 9 0 2629773 0
[pid=22536/tid=22537] ppid=22534 vsize=10556156 CPUtime=1.53 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) S 22534 22536 21439 0 -1 4202560 117794 0 1 0 140 13 0 0 15 0 22 0 812110126 10809503744 265159 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22539] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22539/stat : 22539 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 812110128 10809503744 265165 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22540] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22540/stat : 22540 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 812110128 10809503744 265170 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22541] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22541/stat : 22541 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 812110128 10809503744 265173 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22542] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22542/stat : 22542 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 812110128 10809503744 265179 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22543] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22543/stat : 22543 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 812110128 10809503744 265182 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22544] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22544/stat : 22544 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 812110128 10809503744 265187 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22545] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22545/stat : 22545 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 812110128 10809503744 265193 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22546] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22546/stat : 22546 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 812110128 10809503744 265195 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22547] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22547/stat : 22547 (java) S 22534 22536 21439 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 812110129 10809503744 265200 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 0 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22548] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22548/stat : 22548 (java) S 22534 22536 21439 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 812110129 10809503744 265207 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22549] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22549/stat : 22549 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 812110129 10809503744 265208 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22550] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22550/stat : 22550 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 265215 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051478961 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22551] ppid=22534 vsize=10556156 CPUtime=0.94 cores=1,3,5,7
/proc/22536/task/22551/stat : 22551 (java) S 22534 22536 21439 0 -1 4202560 6362 0 0 0 94 0 0 0 15 0 22 0 812110132 10809503744 265220 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22552] ppid=22534 vsize=10556156 CPUtime=0.97 cores=1,3,5,7
/proc/22536/task/22552/stat : 22552 (java) S 22534 22536 21439 0 -1 4202560 7262 0 0 0 96 1 0 0 15 0 22 0 812110132 10809503744 265222 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22553] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22553/stat : 22553 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 265228 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22554] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22554/stat : 22554 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 812110132 10809503744 265233 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22555] ppid=22534 vsize=10556156 CPUtime=1.54 cores=1,3,5,7
/proc/22536/task/22555/stat : 22555 (java) R 22534 22536 21439 0 -1 4202560 833 0 0 0 154 0 0 0 25 0 22 0 812110281 10809503744 265236 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506094119 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22536/tid=22556] ppid=22534 vsize=10556156 CPUtime=1.52 cores=1,3,5,7
/proc/22536/task/22556/stat : 22556 (java) R 22534 22536 21439 0 -1 4202560 138937 0 0 0 139 13 0 0 19 0 22 0 812110281 10809503744 265242 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506143439 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22536/tid=22557] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22557/stat : 22557 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812110286 10809503744 265245 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22558] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22558/stat : 22558 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812110287 10809503744 265250 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 10556156
[startup+6.30127 s]
/proc/loadavg: 2.20 2.91 3.37 4/577 22558
/proc/meminfo: memFree=19637404/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10556156 CPUtime=13.09 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 468413 0 1 0 1259 50 0 0 17 0 22 0 812110126 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2639039 461153 2266 9 0 2629773 0
[pid=22536/tid=22537] ppid=22534 vsize=10556156 CPUtime=1.53 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) S 22534 22536 21439 0 -1 4202560 117794 0 1 0 140 13 0 0 15 0 22 0 812110126 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22539] ppid=22534 vsize=10556156 CPUtime=0.05 cores=1,3,5,7
/proc/22536/task/22539/stat : 22539 (java) S 22534 22536 21439 0 -1 4202560 3190 0 0 0 5 0 0 0 18 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22540] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22540/stat : 22540 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22541] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22541/stat : 22541 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22542] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22542/stat : 22542 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22543] ppid=22534 vsize=10556156 CPUtime=0.05 cores=1,3,5,7
/proc/22536/task/22543/stat : 22543 (java) S 22534 22536 21439 0 -1 4202560 2902 0 0 0 5 0 0 0 18 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22544] ppid=22534 vsize=10556156 CPUtime=0.05 cores=1,3,5,7
/proc/22536/task/22544/stat : 22544 (java) S 22534 22536 21439 0 -1 4202560 3244 0 0 0 5 0 0 0 18 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22545] ppid=22534 vsize=10556156 CPUtime=0.04 cores=1,3,5,7
/proc/22536/task/22545/stat : 22545 (java) S 22534 22536 21439 0 -1 4202560 2905 0 0 0 4 0 0 0 18 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22546] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22546/stat : 22546 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 812110128 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22547] ppid=22534 vsize=10556156 CPUtime=0.18 cores=1,3,5,7
/proc/22536/task/22547/stat : 22547 (java) S 22534 22536 21439 0 -1 4202560 15022 0 0 0 17 1 0 0 15 0 22 0 812110129 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 0 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22548] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22548/stat : 22548 (java) S 22534 22536 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22549] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22549/stat : 22549 (java) S 22534 22536 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22550] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22550/stat : 22550 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 461153 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051478961 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=17200840/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10556156 CPUtime=1617.36 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 1040322 0 1 0 161620 116 0 0 17 0 22 0 812110126 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2639039 1020989 2266 9 0 2629773 0
[pid=22536/tid=22537] ppid=22534 vsize=10556156 CPUtime=1.53 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) S 22534 22536 21439 0 -1 4202560 117823 0 1 0 140 13 0 0 15 0 22 0 812110126 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22539] ppid=22534 vsize=10556156 CPUtime=1.14 cores=1,3,5,7
/proc/22536/task/22539/stat : 22539 (java) S 22534 22536 21439 0 -1 4202560 16926 0 0 0 112 2 0 0 16 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22540] ppid=22534 vsize=10556156 CPUtime=1.06 cores=1,3,5,7
/proc/22536/task/22540/stat : 22540 (java) S 22534 22536 21439 0 -1 4202560 12406 0 0 0 106 0 0 0 16 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22541] ppid=22534 vsize=10556156 CPUtime=1.16 cores=1,3,5,7
/proc/22536/task/22541/stat : 22541 (java) S 22534 22536 21439 0 -1 4202560 14454 0 0 0 114 2 0 0 15 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22542] ppid=22534 vsize=10556156 CPUtime=1.19 cores=1,3,5,7
/proc/22536/task/22542/stat : 22542 (java) S 22534 22536 21439 0 -1 4202560 15482 0 0 0 118 1 0 0 15 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22543] ppid=22534 vsize=10556156 CPUtime=1.23 cores=1,3,5,7
/proc/22536/task/22543/stat : 22543 (java) S 22534 22536 21439 0 -1 4202560 15581 0 0 0 122 1 0 0 15 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22544] ppid=22534 vsize=10556156 CPUtime=1.08 cores=1,3,5,7
/proc/22536/task/22544/stat : 22544 (java) S 22534 22536 21439 0 -1 4202560 15331 0 0 0 106 2 0 0 15 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22545] ppid=22534 vsize=10556156 CPUtime=1.01 cores=1,3,5,7
/proc/22536/task/22545/stat : 22545 (java) S 22534 22536 21439 0 -1 4202560 17540 0 0 0 99 2 0 0 16 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22546] ppid=22534 vsize=10556156 CPUtime=1.04 cores=1,3,5,7
/proc/22536/task/22546/stat : 22546 (java) S 22534 22536 21439 0 -1 4202560 15180 0 0 0 102 2 0 0 16 0 22 0 812110128 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22547] ppid=22534 vsize=10556156 CPUtime=32.84 cores=1,3,5,7
/proc/22536/task/22547/stat : 22547 (java) S 22534 22536 21439 0 -1 4202560 58713 0 0 0 3277 7 0 0 15 0 22 0 812110129 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 0 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22548] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22548/stat : 22548 (java) S 22534 22536 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22549] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22549/stat : 22549 (java) S 22534 22536 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22550] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22550/stat : 22550 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051478961 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22551] ppid=22534 vsize=10556156 CPUtime=1.24 cores=1,3,5,7
/proc/22536/task/22551/stat : 22551 (java) S 22534 22536 21439 0 -1 4202560 6378 0 0 0 124 0 0 0 15 0 22 0 812110132 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22552] ppid=22534 vsize=10556156 CPUtime=2.28 cores=1,3,5,7
/proc/22536/task/22552/stat : 22552 (java) S 22534 22536 21439 0 -1 4202560 16730 0 0 0 227 1 0 0 15 0 22 0 812110132 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22553] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22553/stat : 22553 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22554] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22554/stat : 22554 (java) S 22534 22536 21439 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 812110132 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22555] ppid=22534 vsize=10556156 CPUtime=785.2 cores=1,3,5,7
/proc/22536/task/22555/stat : 22555 (java) R 22534 22536 21439 0 -1 4202560 1241 0 0 0 78520 0 0 0 25 0 22 0 812110281 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506087149 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22536/tid=22556] ppid=22534 vsize=10556156 CPUtime=785.2 cores=1,3,5,7
/proc/22536/task/22556/stat : 22556 (java) R 22534 22536 21439 0 -1 4202560 715335 0 0 0 78446 74 0 0 25 0 22 0 812110281 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506228270 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22536/tid=22557] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22557/stat : 22557 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812110286 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22558] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22558/stat : 22558 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812110287 10809503744 1020989 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1617.36
Current children cumulated vsize (KiB) 10556156
[startup+882.301 s]
/proc/loadavg: 4.01 3.90 3.67 5/578 22867
/proc/meminfo: memFree=17168556/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10556156 CPUtime=1734.8 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 1048259 0 1 0 173364 116 0 0 17 0 22 0 812110126 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2639039 1028793 2267 9 0 2629773 0
[pid=22536/tid=22537] ppid=22534 vsize=10556156 CPUtime=1.53 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) S 22534 22536 21439 0 -1 4202560 117823 0 1 0 140 13 0 0 15 0 22 0 812110126 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22539] ppid=22534 vsize=10556156 CPUtime=1.17 cores=1,3,5,7
/proc/22536/task/22539/stat : 22539 (java) S 22534 22536 21439 0 -1 4202560 17423 0 0 0 115 2 0 0 15 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22540] ppid=22534 vsize=10556156 CPUtime=1.17 cores=1,3,5,7
/proc/22536/task/22540/stat : 22540 (java) S 22534 22536 21439 0 -1 4202560 14458 0 0 0 116 1 0 0 15 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22541] ppid=22534 vsize=10556156 CPUtime=1.21 cores=1,3,5,7
/proc/22536/task/22541/stat : 22541 (java) S 22534 22536 21439 0 -1 4202560 14454 0 0 0 119 2 0 0 16 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22542] ppid=22534 vsize=10556156 CPUtime=1.25 cores=1,3,5,7
/proc/22536/task/22542/stat : 22542 (java) S 22534 22536 21439 0 -1 4202560 16040 0 0 0 124 1 0 0 16 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22543] ppid=22534 vsize=10556156 CPUtime=1.28 cores=1,3,5,7
/proc/22536/task/22543/stat : 22543 (java) S 22534 22536 21439 0 -1 4202560 16058 0 0 0 126 2 0 0 15 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22544] ppid=22534 vsize=10556156 CPUtime=1.11 cores=1,3,5,7
/proc/22536/task/22544/stat : 22544 (java) S 22534 22536 21439 0 -1 4202560 15331 0 0 0 109 2 0 0 16 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22545] ppid=22534 vsize=10556156 CPUtime=1.09 cores=1,3,5,7
/proc/22536/task/22545/stat : 22545 (java) S 22534 22536 21439 0 -1 4202560 18834 0 0 0 107 2 0 0 16 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22546] ppid=22534 vsize=10556156 CPUtime=1.1 cores=1,3,5,7
/proc/22536/task/22546/stat : 22546 (java) S 22534 22536 21439 0 -1 4202560 16949 0 0 0 108 2 0 0 15 0 22 0 812110128 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22547] ppid=22534 vsize=10556156 CPUtime=35.59 cores=1,3,5,7
/proc/22536/task/22547/stat : 22547 (java) S 22534 22536 21439 0 -1 4202560 59992 0 0 0 3552 7 0 0 15 0 22 0 812110129 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 0 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22548] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22548/stat : 22548 (java) S 22534 22536 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22549] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22549/stat : 22549 (java) S 22534 22536 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22550] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22550/stat : 22550 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051478961 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22551] ppid=22534 vsize=10556156 CPUtime=1.26 cores=1,3,5,7
/proc/22536/task/22551/stat : 22551 (java) S 22534 22536 21439 0 -1 4202560 6380 0 0 0 126 0 0 0 15 0 22 0 812110132 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22552] ppid=22534 vsize=10556156 CPUtime=2.28 cores=1,3,5,7
/proc/22536/task/22552/stat : 22552 (java) S 22534 22536 21439 0 -1 4202560 16730 0 0 0 227 1 0 0 15 0 22 0 812110132 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22553] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22553/stat : 22553 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22554] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22554/stat : 22554 (java) S 22534 22536 21439 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 812110132 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22555] ppid=22534 vsize=10556156 CPUtime=842.32 cores=1,3,5,7
/proc/22536/task/22555/stat : 22555 (java) R 22534 22536 21439 0 -1 4202560 1246 0 0 0 84232 0 0 0 25 0 22 0 812110281 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506094119 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22536/tid=22556] ppid=22534 vsize=10556156 CPUtime=842.32 cores=1,3,5,7
/proc/22536/task/22556/stat : 22556 (java) R 22534 22536 21439 0 -1 4202560 715335 0 0 0 84158 74 0 0 25 0 22 0 812110281 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506229170 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22536/tid=22557] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22557/stat : 22557 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812110286 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22558] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22558/stat : 22558 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812110287 10809503744 1028793 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1734.8
Current children cumulated vsize (KiB) 10556156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+915.501 s]
/proc/loadavg: 3.94 3.89 3.67 5/578 22868
/proc/meminfo: memFree=17163920/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=10556156 CPUtime=1800.21 cores=1,3,5,7
/proc/22536/stat : 22536 (java) S 22534 22536 21439 0 -1 4202496 1048282 0 1 0 179905 116 0 0 17 0 22 0 812110126 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 2639039 1028809 2267 9 0 2629773 0
[pid=22536/tid=22537] ppid=22534 vsize=10556156 CPUtime=1.53 cores=1,3,5,7
/proc/22536/task/22537/stat : 22537 (java) S 22534 22536 21439 0 -1 4202560 117823 0 1 0 140 13 0 0 15 0 22 0 812110126 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22539] ppid=22534 vsize=10556156 CPUtime=1.21 cores=1,3,5,7
/proc/22536/task/22539/stat : 22539 (java) S 22534 22536 21439 0 -1 4202560 17428 0 0 0 119 2 0 0 16 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22540] ppid=22534 vsize=10556156 CPUtime=1.2 cores=1,3,5,7
/proc/22536/task/22540/stat : 22540 (java) S 22534 22536 21439 0 -1 4202560 14458 0 0 0 119 1 0 0 15 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22541] ppid=22534 vsize=10556156 CPUtime=1.27 cores=1,3,5,7
/proc/22536/task/22541/stat : 22541 (java) S 22534 22536 21439 0 -1 4202560 14465 0 0 0 125 2 0 0 16 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22542] ppid=22534 vsize=10556156 CPUtime=1.27 cores=1,3,5,7
/proc/22536/task/22542/stat : 22542 (java) S 22534 22536 21439 0 -1 4202560 16040 0 0 0 126 1 0 0 15 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22543] ppid=22534 vsize=10556156 CPUtime=1.33 cores=1,3,5,7
/proc/22536/task/22543/stat : 22543 (java) S 22534 22536 21439 0 -1 4202560 16058 0 0 0 131 2 0 0 16 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22544] ppid=22534 vsize=10556156 CPUtime=1.12 cores=1,3,5,7
/proc/22536/task/22544/stat : 22544 (java) S 22534 22536 21439 0 -1 4202560 15331 0 0 0 110 2 0 0 15 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22545] ppid=22534 vsize=10556156 CPUtime=1.12 cores=1,3,5,7
/proc/22536/task/22545/stat : 22545 (java) S 22534 22536 21439 0 -1 4202560 18834 0 0 0 110 2 0 0 15 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22546] ppid=22534 vsize=10556156 CPUtime=1.12 cores=1,3,5,7
/proc/22536/task/22546/stat : 22546 (java) S 22534 22536 21439 0 -1 4202560 16949 0 0 0 110 2 0 0 16 0 22 0 812110128 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22547] ppid=22534 vsize=10556156 CPUtime=36.73 cores=1,3,5,7
/proc/22536/task/22547/stat : 22547 (java) S 22534 22536 21439 0 -1 4202560 59994 0 0 0 3666 7 0 0 15 0 22 0 812110129 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 0 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22548] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22548/stat : 22548 (java) S 22534 22536 21439 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22549] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22549/stat : 22549 (java) S 22534 22536 21439 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 812110129 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22550] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22550/stat : 22550 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051478961 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22551] ppid=22534 vsize=10556156 CPUtime=1.26 cores=1,3,5,7
/proc/22536/task/22551/stat : 22551 (java) S 22534 22536 21439 0 -1 4202560 6380 0 0 0 126 0 0 0 15 0 22 0 812110132 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 7 0 0 0
[pid=22536/tid=22552] ppid=22534 vsize=10556156 CPUtime=2.28 cores=1,3,5,7
/proc/22536/task/22552/stat : 22552 (java) S 22534 22536 21439 0 -1 4202560 16730 0 0 0 227 1 0 0 15 0 22 0 812110132 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 1 0 0 0
[pid=22536/tid=22553] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22553/stat : 22553 (java) S 22534 22536 21439 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 812110132 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471257 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22554] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22554/stat : 22554 (java) S 22534 22536 21439 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 812110132 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
[pid=22536/tid=22555] ppid=22534 vsize=10556156 CPUtime=874.32 cores=1,3,5,7
/proc/22536/task/22555/stat : 22555 (java) R 22534 22536 21439 0 -1 4202560 1248 0 0 0 87432 0 0 0 25 0 22 0 812110281 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506094442 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22536/tid=22556] ppid=22534 vsize=10556156 CPUtime=874.32 cores=1,3,5,7
/proc/22536/task/22556/stat : 22556 (java) R 22534 22536 21439 0 -1 4202560 715336 0 0 0 87358 74 0 0 25 0 22 0 812110281 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 46912506228202 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22536/tid=22557] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22557/stat : 22557 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 812110286 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 5 0 0 0
[pid=22536/tid=22558] ppid=22534 vsize=10556156 CPUtime=0 cores=1,3,5,7
/proc/22536/task/22558/stat : 22558 (java) S 22534 22536 21439 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 812110287 10809503744 1028809 33554432000 1073741824 1073778376 140736393187232 18446744073709551615 212051471872 0 4 0 16800975 18446604462903262144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 10556156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+915.627 s]
/proc/loadavg: 3.94 3.89 3.67 5/578 22868
/proc/meminfo: memFree=17163920/32951124 swapFree=46970528/67111528
[pid=22536] ppid=22534 vsize=0 CPUtime=1800.39 cores=1,3,5,7
/proc/22536/stat : 22536 (java) Z 22534 22536 21439 0 -1 4203548 1048314 0 1 0 179915 124 0 0 15 0 2 0 812110126 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22536/statm: 0 0 0 0 0 0 0
[pid=22536/tid=22557] ppid=22534 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/22536/task/22557/stat : 22557 (java) R 22534 22536 21439 0 -1 4203588 7 0 0 0 0 7 0 0 18 0 2 0 812110286 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 915.696
CPU time (s): 1800.46
CPU user time (s): 1799.15
CPU system time (s): 1.3118
CPU usage (%): 196.623
Max. virtual memory (cumulated for all children) (KiB): 10556156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.3118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1048314
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= 24832
involuntary context switches= 16817
runsolver used 4.88226 second user time and 11.8202 second system time
The end