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-3456303-1307223857/watcher-3456303-1307223857 -o /tmp/evaluation-result-3456303-1307223857/solver-3456303-1307223857 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456303-1307223857.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: 1.94 2.03 2.00 2/553 25549
/proc/meminfo: memFree=21243872/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 4648 0 1 0 0 0 0 0 17 0 2 0 814801920 10694979584 4351 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2611079 4364 917 9 0 2602235 0
[pid=25549/tid=25550] ppid=25547 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 5766 0 1 0 0 0 0 0 18 0 2 0 814801921 10694979584 6582 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.118279 s]
/proc/loadavg: 1.94 2.03 2.00 2/553 25549
/proc/meminfo: memFree=21243872/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10540388 CPUtime=0.12 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 13329 0 1 0 11 1 0 0 17 0 18 0 814801920 10793357312 12996 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2635097 12996 2134 9 0 2625831 0
[pid=25549/tid=25550] ppid=25547 vsize=10540388 CPUtime=0.1 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 11345 0 1 0 9 1 0 0 18 0 18 0 814801921 10793357312 12997 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 47893250816820 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540388
[startup+0.200784 s]
/proc/loadavg: 1.94 2.03 2.00 2/553 25549
/proc/meminfo: memFree=21243872/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10540920 CPUtime=0.28 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 14263 0 1 0 26 2 0 0 17 0 18 0 814801920 10793902080 13780 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2635230 13781 2187 9 0 2625964 0
[pid=25549/tid=25550] ppid=25547 vsize=10540920 CPUtime=0.18 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 11905 0 1 0 17 1 0 0 18 0 18 0 814801921 10793902080 13781 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10540920
[startup+0.3073 s]
/proc/loadavg: 1.94 2.03 2.00 2/553 25549
/proc/meminfo: memFree=21243872/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10542460 CPUtime=0.53 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 17092 0 1 0 51 2 0 0 17 0 18 0 814801920 10795479040 15989 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2635615 15990 2205 9 0 2626349 0
[pid=25549/tid=25550] ppid=25547 vsize=10542460 CPUtime=0.29 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 13716 0 1 0 27 2 0 0 18 0 18 0 814801921 10795479040 15991 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505606950 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542460
[startup+0.701141 s]
/proc/loadavg: 1.94 2.03 2.00 2/553 25549
/proc/meminfo: memFree=21243872/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10554172 CPUtime=1.48 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 27364 0 1 0 144 4 0 0 17 0 19 0 814801920 10807472128 23624 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2638543 23624 2235 9 0 2629277 0
[pid=25549/tid=25550] ppid=25547 vsize=10554172 CPUtime=0.68 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 17259 0 1 0 66 2 0 0 19 0 19 0 814801921 10807472128 23624 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505833656 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10554172
[startup+1.50103 s]
/proc/loadavg: 1.94 2.03 2.00 3/572 25568
/proc/meminfo: memFree=21048336/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10554172 CPUtime=2.46 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 106469 0 1 0 233 13 0 0 17 0 19 0 814801920 10807472128 102235 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2638543 102241 2235 9 0 2629277 0
[pid=25549/tid=25550] ppid=25547 vsize=10554172 CPUtime=1.48 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 95830 0 1 0 137 11 0 0 20 0 19 0 814801921 10807472128 102242 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505941965 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25549/tid=25552] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25552/stat : 25552 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814801922 10807472128 102249 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25553] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25553/stat : 25553 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 102256 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25554] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25554/stat : 25554 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 102262 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25555] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25555/stat : 25555 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 102262 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25556] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25556/stat : 25556 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 102265 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25557] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25557/stat : 25557 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 102272 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25558] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25558/stat : 25558 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 102279 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25559] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25559/stat : 25559 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814801922 10807472128 102283 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25560] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25560/stat : 25560 (java) S 25547 25549 24457 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 814801923 10807472128 102283 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 0 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25561] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25561/stat : 25561 (java) S 25547 25549 24457 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 814801924 10807472128 102289 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25562] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25562/stat : 25562 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 814801924 10807472128 102295 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25563] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25563/stat : 25563 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10807472128 102302 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051478961 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25564] ppid=25547 vsize=10554172 CPUtime=0.47 cores=1,3,5,7
/proc/25549/task/25564/stat : 25564 (java) S 25547 25549 24457 0 -1 4202560 4074 0 0 0 47 0 0 0 15 0 19 0 814801926 10807472128 102304 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25565] ppid=25547 vsize=10554172 CPUtime=0.48 cores=1,3,5,7
/proc/25549/task/25565/stat : 25565 (java) S 25547 25549 24457 0 -1 4202560 5413 0 0 0 48 0 0 0 15 0 19 0 814801926 10807472128 102305 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25566] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25566/stat : 25566 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10807472128 102311 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25567] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25567/stat : 25567 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814801926 10807472128 102318 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25568] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25568/stat : 25568 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814801958 10807472128 102325 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 10554172
[startup+3.10076 s]
/proc/loadavg: 1.94 2.03 2.00 4/572 25568
/proc/meminfo: memFree=20521460/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10554172 CPUtime=4.23 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 305509 0 1 0 391 32 0 0 17 0 19 0 814801920 10807472128 299436 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2638543 299439 2236 9 0 2629277 0
[pid=25549/tid=25550] ppid=25547 vsize=10554172 CPUtime=3.08 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 292488 0 1 0 277 31 0 0 18 0 19 0 814801921 10807472128 299445 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505941965 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25549/tid=25552] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25552/stat : 25552 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814801922 10807472128 299446 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25553] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25553/stat : 25553 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 299450 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25554] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25554/stat : 25554 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 299454 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25555] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25555/stat : 25555 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 299455 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25556] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25556/stat : 25556 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 299461 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25557] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25557/stat : 25557 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 299462 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25558] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25558/stat : 25558 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814801922 10807472128 299466 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25559] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25559/stat : 25559 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814801922 10807472128 299470 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25560] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25560/stat : 25560 (java) S 25547 25549 24457 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 814801923 10807472128 299471 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 0 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25561] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25561/stat : 25561 (java) S 25547 25549 24457 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 814801924 10807472128 299477 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25562] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25562/stat : 25562 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 814801924 10807472128 299479 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25563] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25563/stat : 25563 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10807472128 299482 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051478961 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25564] ppid=25547 vsize=10554172 CPUtime=0.63 cores=1,3,5,7
/proc/25549/task/25564/stat : 25564 (java) S 25547 25549 24457 0 -1 4202560 6456 0 0 0 63 0 0 0 15 0 19 0 814801926 10807472128 299487 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25565] ppid=25547 vsize=10554172 CPUtime=0.49 cores=1,3,5,7
/proc/25549/task/25565/stat : 25565 (java) S 25547 25549 24457 0 -1 4202560 5414 0 0 0 49 0 0 0 16 0 19 0 814801926 10807472128 299487 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25566] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25566/stat : 25566 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10807472128 299493 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25567] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25567/stat : 25567 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814801926 10807472128 299495 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25568] ppid=25547 vsize=10554172 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25568/stat : 25568 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814801958 10807472128 299498 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 10554172
[startup+6.30114 s]
/proc/loadavg: 1.95 2.03 2.00 3/572 25569
/proc/meminfo: memFree=18869128/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10551112 CPUtime=7.44 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 665929 0 1 0 676 68 0 0 17 0 19 0 814801920 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2637778 659097 2249 9 0 2628512 0
[pid=25549/tid=25550] ppid=25547 vsize=10551112 CPUtime=6.27 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 651092 0 1 0 561 66 0 0 22 0 19 0 814801921 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505942101 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25549/tid=25552] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25552/stat : 25552 (java) S 25547 25549 24457 0 -1 4202560 698 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25553] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25553/stat : 25553 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25554] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25554/stat : 25554 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25555] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25555/stat : 25555 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25556] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25556/stat : 25556 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25557] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25557/stat : 25557 (java) S 25547 25549 24457 0 -1 4202560 586 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25558] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25558/stat : 25558 (java) S 25547 25549 24457 0 -1 4202560 517 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25559] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25559/stat : 25559 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814801922 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25560] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25560/stat : 25560 (java) S 25547 25549 24457 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 814801923 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 0 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25561] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25561/stat : 25561 (java) S 25547 25549 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25562] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25562/stat : 25562 (java) S 25547 25549 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25563] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25563/stat : 25563 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051478961 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25564] ppid=25547 vsize=10551112 CPUtime=0.63 cores=1,3,5,7
/proc/25549/task/25564/stat : 25564 (java) S 25547 25549 24457 0 -1 4202560 6456 0 0 0 63 0 0 0 15 0 19 0 814801926 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25565] ppid=25547 vsize=10551112 CPUtime=0.49 cores=1,3,5,7
/proc/25549/task/25565/stat : 25565 (java) S 25547 25549 24457 0 -1 4202560 5414 0 0 0 49 0 0 0 16 0 19 0 814801926 10804338688 659097 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=25549/tid=25566] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25566/stat : 25566 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 1060095 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25567] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25567/stat : 25567 (java) S 25547 25549 24457 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 814801926 10804338688 1060095 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25568] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25568/stat : 25568 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814801958 10804338688 1060095 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1673.44
Current children cumulated vsize (KiB) 10551112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/572 25671
/proc/meminfo: memFree=16922192/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10551112 CPUtime=1733.86 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 1076436 0 1 0 173270 116 0 0 17 0 19 0 814801920 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2637778 1063535 2251 9 0 2628512 0
[pid=25549/tid=25550] ppid=25547 vsize=10551112 CPUtime=1717.74 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 846636 0 1 0 171690 84 0 0 25 0 19 0 814801921 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505695625 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25549/tid=25552] ppid=25547 vsize=10551112 CPUtime=1.84 cores=1,3,5,7
/proc/25549/task/25552/stat : 25552 (java) S 25547 25549 24457 0 -1 4202560 26901 0 0 0 180 4 0 0 16 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25553] ppid=25547 vsize=10551112 CPUtime=1.7 cores=1,3,5,7
/proc/25549/task/25553/stat : 25553 (java) S 25547 25549 24457 0 -1 4202560 22755 0 0 0 168 2 0 0 16 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25554] ppid=25547 vsize=10551112 CPUtime=1.82 cores=1,3,5,7
/proc/25549/task/25554/stat : 25554 (java) S 25547 25549 24457 0 -1 4202560 29313 0 0 0 178 4 0 0 15 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25555] ppid=25547 vsize=10551112 CPUtime=1.8 cores=1,3,5,7
/proc/25549/task/25555/stat : 25555 (java) S 25547 25549 24457 0 -1 4202560 27017 0 0 0 177 3 0 0 16 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25556] ppid=25547 vsize=10551112 CPUtime=1.75 cores=1,3,5,7
/proc/25549/task/25556/stat : 25556 (java) S 25547 25549 24457 0 -1 4202560 26552 0 0 0 173 2 0 0 16 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25557] ppid=25547 vsize=10551112 CPUtime=1.88 cores=1,3,5,7
/proc/25549/task/25557/stat : 25557 (java) S 25547 25549 24457 0 -1 4202560 30037 0 0 0 185 3 0 0 15 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25558] ppid=25547 vsize=10551112 CPUtime=1.76 cores=1,3,5,7
/proc/25549/task/25558/stat : 25558 (java) S 25547 25549 24457 0 -1 4202560 23870 0 0 0 174 2 0 0 16 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25559] ppid=25547 vsize=10551112 CPUtime=1.81 cores=1,3,5,7
/proc/25549/task/25559/stat : 25559 (java) S 25547 25549 24457 0 -1 4202560 29955 0 0 0 178 3 0 0 15 0 19 0 814801922 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25560] ppid=25547 vsize=10551112 CPUtime=0.04 cores=1,3,5,7
/proc/25549/task/25560/stat : 25560 (java) S 25547 25549 24457 0 -1 4202560 111 0 0 0 2 2 0 0 15 0 19 0 814801923 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 0 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25561] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25561/stat : 25561 (java) S 25547 25549 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25562] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25562/stat : 25562 (java) S 25547 25549 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25563] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25563/stat : 25563 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051478961 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25564] ppid=25547 vsize=10551112 CPUtime=0.82 cores=1,3,5,7
/proc/25549/task/25564/stat : 25564 (java) S 25547 25549 24457 0 -1 4202560 6588 0 0 0 82 0 0 0 15 0 19 0 814801926 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25565] ppid=25547 vsize=10551112 CPUtime=0.77 cores=1,3,5,7
/proc/25549/task/25565/stat : 25565 (java) S 25547 25549 24457 0 -1 4202560 5454 0 0 0 77 0 0 0 15 0 19 0 814801926 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25566] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25566/stat : 25566 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25567] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25567/stat : 25567 (java) S 25547 25549 24457 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814801926 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25568] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25568/stat : 25568 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814801958 10804338688 1063535 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1733.86
Current children cumulated vsize (KiB) 10551112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/572 25673
/proc/meminfo: memFree=16911096/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10551112 CPUtime=1794.3 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 1079105 0 1 0 179314 116 0 0 17 0 19 0 814801920 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2637778 1066150 2251 9 0 2628512 0
[pid=25549/tid=25550] ppid=25547 vsize=10551112 CPUtime=1777.54 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 846643 0 1 0 177670 84 0 0 25 0 19 0 814801921 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505942114 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25549/tid=25552] ppid=25547 vsize=10551112 CPUtime=1.93 cores=1,3,5,7
/proc/25549/task/25552/stat : 25552 (java) S 25547 25549 24457 0 -1 4202560 27394 0 0 0 189 4 0 0 15 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25553] ppid=25547 vsize=10551112 CPUtime=1.84 cores=1,3,5,7
/proc/25549/task/25553/stat : 25553 (java) S 25547 25549 24457 0 -1 4202560 23462 0 0 0 182 2 0 0 16 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25554] ppid=25547 vsize=10551112 CPUtime=1.88 cores=1,3,5,7
/proc/25549/task/25554/stat : 25554 (java) S 25547 25549 24457 0 -1 4202560 29368 0 0 0 184 4 0 0 16 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25555] ppid=25547 vsize=10551112 CPUtime=1.87 cores=1,3,5,7
/proc/25549/task/25555/stat : 25555 (java) S 25547 25549 24457 0 -1 4202560 27280 0 0 0 184 3 0 0 15 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25556] ppid=25547 vsize=10551112 CPUtime=1.81 cores=1,3,5,7
/proc/25549/task/25556/stat : 25556 (java) S 25547 25549 24457 0 -1 4202560 26774 0 0 0 178 3 0 0 16 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25557] ppid=25547 vsize=10551112 CPUtime=1.96 cores=1,3,5,7
/proc/25549/task/25557/stat : 25557 (java) S 25547 25549 24457 0 -1 4202560 30459 0 0 0 193 3 0 0 15 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25558] ppid=25547 vsize=10551112 CPUtime=1.85 cores=1,3,5,7
/proc/25549/task/25558/stat : 25558 (java) S 25547 25549 24457 0 -1 4202560 24271 0 0 0 183 2 0 0 16 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25559] ppid=25547 vsize=10551112 CPUtime=1.86 cores=1,3,5,7
/proc/25549/task/25559/stat : 25559 (java) S 25547 25549 24457 0 -1 4202560 30046 0 0 0 183 3 0 0 15 0 19 0 814801922 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25560] ppid=25547 vsize=10551112 CPUtime=0.05 cores=1,3,5,7
/proc/25549/task/25560/stat : 25560 (java) S 25547 25549 24457 0 -1 4202560 115 0 0 0 3 2 0 0 15 0 19 0 814801923 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 0 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25561] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25561/stat : 25561 (java) S 25547 25549 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25562] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25562/stat : 25562 (java) S 25547 25549 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25563] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25563/stat : 25563 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051478961 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25564] ppid=25547 vsize=10551112 CPUtime=0.82 cores=1,3,5,7
/proc/25549/task/25564/stat : 25564 (java) S 25547 25549 24457 0 -1 4202560 6588 0 0 0 82 0 0 0 15 0 19 0 814801926 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25565] ppid=25547 vsize=10551112 CPUtime=0.77 cores=1,3,5,7
/proc/25549/task/25565/stat : 25565 (java) S 25547 25549 24457 0 -1 4202560 5454 0 0 0 77 0 0 0 15 0 19 0 814801926 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25566] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25566/stat : 25566 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25567] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25567/stat : 25567 (java) S 25547 25549 24457 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814801926 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25568] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25568/stat : 25568 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814801958 10804338688 1066150 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1794.3
Current children cumulated vsize (KiB) 10551112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788 s]
/proc/loadavg: 2.00 2.00 2.00 3/572 25673
/proc/meminfo: memFree=16910332/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=10551112 CPUtime=1800.08 cores=1,3,5,7
/proc/25549/stat : 25549 (java) S 25547 25549 24457 0 -1 4202496 1079456 0 1 0 179892 116 0 0 17 0 19 0 814801920 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 2637778 1066500 2251 9 0 2628512 0
[pid=25549/tid=25550] ppid=25547 vsize=10551112 CPUtime=1783.23 cores=1,3,5,7
/proc/25549/task/25550/stat : 25550 (java) R 25547 25549 24457 0 -1 4202560 846644 0 1 0 178239 84 0 0 25 0 19 0 814801921 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 46912505761411 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25549/tid=25552] ppid=25547 vsize=10551112 CPUtime=1.93 cores=1,3,5,7
/proc/25549/task/25552/stat : 25552 (java) S 25547 25549 24457 0 -1 4202560 27394 0 0 0 189 4 0 0 15 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25553] ppid=25547 vsize=10551112 CPUtime=1.87 cores=1,3,5,7
/proc/25549/task/25553/stat : 25553 (java) S 25547 25549 24457 0 -1 4202560 23686 0 0 0 185 2 0 0 16 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25554] ppid=25547 vsize=10551112 CPUtime=1.91 cores=1,3,5,7
/proc/25549/task/25554/stat : 25554 (java) S 25547 25549 24457 0 -1 4202560 29481 0 0 0 187 4 0 0 16 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25555] ppid=25547 vsize=10551112 CPUtime=1.87 cores=1,3,5,7
/proc/25549/task/25555/stat : 25555 (java) S 25547 25549 24457 0 -1 4202560 27280 0 0 0 184 3 0 0 15 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25556] ppid=25547 vsize=10551112 CPUtime=1.81 cores=1,3,5,7
/proc/25549/task/25556/stat : 25556 (java) S 25547 25549 24457 0 -1 4202560 26774 0 0 0 178 3 0 0 15 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25557] ppid=25547 vsize=10551112 CPUtime=1.96 cores=1,3,5,7
/proc/25549/task/25557/stat : 25557 (java) S 25547 25549 24457 0 -1 4202560 30459 0 0 0 193 3 0 0 15 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25558] ppid=25547 vsize=10551112 CPUtime=1.85 cores=1,3,5,7
/proc/25549/task/25558/stat : 25558 (java) S 25547 25549 24457 0 -1 4202560 24271 0 0 0 183 2 0 0 15 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25559] ppid=25547 vsize=10551112 CPUtime=1.9 cores=1,3,5,7
/proc/25549/task/25559/stat : 25559 (java) S 25547 25549 24457 0 -1 4202560 30059 0 0 0 186 4 0 0 16 0 19 0 814801922 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25560] ppid=25547 vsize=10551112 CPUtime=0.05 cores=1,3,5,7
/proc/25549/task/25560/stat : 25560 (java) S 25547 25549 24457 0 -1 4202560 115 0 0 0 3 2 0 0 15 0 19 0 814801923 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 0 0 16800975 18446604460621919232 0 0 -1 1 0 0 0
[pid=25549/tid=25561] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25561/stat : 25561 (java) S 25547 25549 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25562] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25562/stat : 25562 (java) S 25547 25549 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814801924 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25563] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25563/stat : 25563 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051478961 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25564] ppid=25547 vsize=10551112 CPUtime=0.82 cores=1,3,5,7
/proc/25549/task/25564/stat : 25564 (java) S 25547 25549 24457 0 -1 4202560 6588 0 0 0 82 0 0 0 15 0 19 0 814801926 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25565] ppid=25547 vsize=10551112 CPUtime=0.77 cores=1,3,5,7
/proc/25549/task/25565/stat : 25565 (java) S 25547 25549 24457 0 -1 4202560 5454 0 0 0 77 0 0 0 15 0 19 0 814801926 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 7 0 0 0
[pid=25549/tid=25566] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25566/stat : 25566 (java) S 25547 25549 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814801926 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471257 0 4 0 16800975 18446604460621919232 0 0 -1 3 0 0 0
[pid=25549/tid=25567] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25567/stat : 25567 (java) S 25547 25549 24457 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814801926 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
[pid=25549/tid=25568] ppid=25547 vsize=10551112 CPUtime=0 cores=1,3,5,7
/proc/25549/task/25568/stat : 25568 (java) S 25547 25549 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814801958 10804338688 1066500 33554432000 1073741824 1073778376 140737283038736 18446744073709551615 212051471872 0 4 0 16800975 18446604460621919232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10551112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/572 25673
/proc/meminfo: memFree=16910332/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/25549/stat : 25549 (java) Z 25547 25549 24457 0 -1 4203548 1079490 0 1 0 179898 123 0 0 15 0 2 0 814801920 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
[startup+1788.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/572 25673
/proc/meminfo: memFree=16910332/32951124 swapFree=46970528/67111528
[pid=25549] ppid=25547 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/25549/stat : 25549 (java) Z 25547 25549 24457 0 -1 4203548 1079490 0 1 0 179898 130 0 0 15 0 2 0 814801920 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25549/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.21
CPU time (s): 1800.3
CPU user time (s): 1798.98
CPU system time (s): 1.3168
CPU usage (%): 100.676
Max. virtual memory (cumulated for all children) (KiB): 10554172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.3168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1079490
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= 43614
involuntary context switches= 25354
runsolver used 9.34958 second user time and 22.7585 second system time
The end