runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313506-1304185346/watcher-3313506-1304185346 -o /tmp/evaluation-result-3313506-1304185346/solver-3313506-1304185346 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313506-1304185346.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.66 7.95 7.78 5/198 16441
/proc/meminfo: memFree=28981692/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 1423 0 0 0 0 0 0 0 24 0 2 0 530135310 27824128 893 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 6793 893 684 9 0 381 0
[pid=16441/tid=16442] ppid=16439 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 530135311 29065216 893 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230804242535 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.066869 s]
/proc/loadavg: 7.66 7.95 7.78 5/198 16441
/proc/meminfo: memFree=28981692/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 4386 0 1 0 5 0 0 0 24 0 18 0 530135310 15984414720 3825 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3902445 3825 1778 9 0 3893164 0
[pid=16441/tid=16442] ppid=16439 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 2969 0 1 0 5 0 0 0 25 0 18 0 530135311 15984414720 3825 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 47638219863180 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780
[startup+0.106901 s]
/proc/loadavg: 7.66 7.95 7.78 5/198 16441
/proc/meminfo: memFree=28981692/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15676916 CPUtime=0.11 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 5689 0 1 0 10 1 0 0 24 0 18 0 530135310 16053161984 5101 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3919229 5101 2119 9 0 3909948 0
[pid=16441/tid=16442] ppid=16439 vsize=15676916 CPUtime=0.09 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 3538 0 1 0 8 1 0 0 18 0 18 0 530135311 16053161984 5101 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676916
[startup+0.300875 s]
/proc/loadavg: 7.66 7.95 7.78 5/198 16441
/proc/meminfo: memFree=28981692/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15682644 CPUtime=0.51 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 15796 0 1 0 49 2 0 0 24 0 18 0 530135310 16059027456 14020 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3920661 14027 2206 9 0 3911380 0
[pid=16441/tid=16442] ppid=16439 vsize=15682644 CPUtime=0.28 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 10717 0 1 0 27 1 0 0 18 0 18 0 530135311 16059027456 14030 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912505640915 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682644
[startup+0.700792 s]
/proc/loadavg: 7.66 7.95 7.78 5/198 16441
/proc/meminfo: memFree=28981692/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15682644 CPUtime=0.92 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 41765 0 1 0 86 6 0 0 24 0 18 0 530135310 16059027456 39986 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3920661 39986 2222 9 0 3911380 0
[pid=16441/tid=16442] ppid=16439 vsize=15682644 CPUtime=0.68 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 35535 0 1 0 63 5 0 0 18 0 18 0 530135311 16059027456 39986 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912505208049 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15682644
[startup+1.50064 s]
/proc/loadavg: 7.66 7.95 7.78 6/216 16459
/proc/meminfo: memFree=28792404/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15682644 CPUtime=1.76 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 76880 0 1 0 165 11 0 0 24 0 18 0 530135310 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3920661 75082 2222 9 0 3911380 0
[pid=16441/tid=16442] ppid=16439 vsize=15682644 CPUtime=1.46 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 64835 0 1 0 138 8 0 0 19 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912505641259 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16441/tid=16444] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16444/stat : 16444 (java) S 16439 16441 16197 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16445] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16445/stat : 16445 (java) S 16439 16441 16197 0 -1 4202560 1087 0 0 0 0 0 0 0 16 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16446] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16446/stat : 16446 (java) S 16439 16441 16197 0 -1 4202560 3217 0 0 0 0 0 0 0 16 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16447] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16447/stat : 16447 (java) S 16439 16441 16197 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16448] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16448/stat : 16448 (java) S 16439 16441 16197 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16449] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16449/stat : 16449 (java) S 16439 16441 16197 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16450] ppid=16439 vsize=15682644 CPUtime=0.01 cores=1,3,5,7
/proc/16441/task/16450/stat : 16450 (java) S 16439 16441 16197 0 -1 4202560 944 0 0 0 1 0 0 0 16 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16451] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16451/stat : 16451 (java) S 16439 16441 16197 0 -1 4202560 1361 0 0 0 0 0 0 0 15 0 18 0 530135311 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16452] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16452/stat : 16452 (java) S 16439 16441 16197 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 18 0 530135312 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16453] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16453/stat : 16453 (java) S 16439 16441 16197 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 530135313 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16454] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16454/stat : 16454 (java) S 16439 16441 16197 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 530135313 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16455] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16455/stat : 16455 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530135315 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16456] ppid=16439 vsize=15682644 CPUtime=0.12 cores=1,3,5,7
/proc/16441/task/16456/stat : 16456 (java) S 16439 16441 16197 0 -1 4202560 2224 0 0 0 12 0 0 0 16 0 18 0 530135315 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16457] ppid=16439 vsize=15682644 CPUtime=0.09 cores=1,3,5,7
/proc/16441/task/16457/stat : 16457 (java) S 16439 16441 16197 0 -1 4202560 1473 0 0 0 9 0 0 0 17 0 18 0 530135315 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16458] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16458/stat : 16458 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530135315 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16459] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16459/stat : 16459 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530135315 16059027456 75082 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 15682644
[startup+3.10135 s]
/proc/loadavg: 7.66 7.95 7.78 6/216 16459
/proc/meminfo: memFree=28638768/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15682644 CPUtime=3.43 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 145091 0 1 0 324 19 0 0 24 0 18 0 530135310 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3920661 143187 2240 9 0 3911380 0
[pid=16441/tid=16442] ppid=16439 vsize=15682644 CPUtime=3.05 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 127632 0 1 0 289 16 0 0 24 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912505641073 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16441/tid=16444] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16444/stat : 16444 (java) S 16439 16441 16197 0 -1 4202560 5195 0 0 0 0 0 0 0 16 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16445] ppid=16439 vsize=15682644 CPUtime=0.01 cores=1,3,5,7
/proc/16441/task/16445/stat : 16445 (java) S 16439 16441 16197 0 -1 4202560 1087 0 0 0 1 0 0 0 15 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16446] ppid=16439 vsize=15682644 CPUtime=0.01 cores=1,3,5,7
/proc/16441/task/16446/stat : 16446 (java) S 16439 16441 16197 0 -1 4202560 3218 0 0 0 1 0 0 0 16 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16447] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16447/stat : 16447 (java) S 16439 16441 16197 0 -1 4202560 22 0 0 0 0 0 0 0 16 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16448] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16448/stat : 16448 (java) S 16439 16441 16197 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16449] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16449/stat : 16449 (java) S 16439 16441 16197 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16450] ppid=16439 vsize=15682644 CPUtime=0.01 cores=1,3,5,7
/proc/16441/task/16450/stat : 16450 (java) S 16439 16441 16197 0 -1 4202560 944 0 0 0 1 0 0 0 15 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16451] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16451/stat : 16451 (java) S 16439 16441 16197 0 -1 4202560 1362 0 0 0 0 0 0 0 16 0 18 0 530135311 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16452] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16452/stat : 16452 (java) S 16439 16441 16197 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 18 0 530135312 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16453] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16453/stat : 16453 (java) S 16439 16441 16197 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 530135313 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16454] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16454/stat : 16454 (java) S 16439 16441 16197 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 530135313 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16455] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16455/stat : 16455 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530135315 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16456] ppid=16439 vsize=15682644 CPUtime=0.14 cores=1,3,5,7
/proc/16441/task/16456/stat : 16456 (java) S 16439 16441 16197 0 -1 4202560 2250 0 0 0 14 0 0 0 15 0 18 0 530135315 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16457] ppid=16439 vsize=15682644 CPUtime=0.12 cores=1,3,5,7
/proc/16441/task/16457/stat : 16457 (java) S 16439 16441 16197 0 -1 4202560 1598 0 0 0 12 0 0 0 15 0 18 0 530135315 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16458] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16458/stat : 16458 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530135315 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16459] ppid=16439 vsize=15682644 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16459/stat : 16459 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530135315 16059027456 143187 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 15682644
[startup+6.30076 s]
/proc/loadavg: 7.44 7.90 7.76 6/216 16459
/proc/meminfo: memFree=28373692/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15679368 CPUtime=6.7 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 215644 0 1 0 641 29 0 0 24 0 18 0 530135310 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3919842 210838 2240 9 0 3910561 0
[pid=16441/tid=16442] ppid=16439 vsize=15679368 CPUtime=6.23 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) R 16439 16441 16197 0 -1 4202560 187798 0 1 0 598 25 0 0 25 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912505548164 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16441/tid=16444] ppid=16439 vsize=15679368 CPUtime=0.01 cores=1,3,5,7
/proc/16441/task/16444/stat : 16444 (java) S 16439 16441 16197 0 -1 4202560 5195 0 0 0 1 0 0 0 15 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16445] ppid=16439 vsize=15679368 CPUtime=0.02 cores=1,3,5,7
/proc/16441/task/16445/stat : 16445 (java) S 16439 16441 16197 0 -1 4202560 1087 0 0 0 2 0 0 0 15 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16446] ppid=16439 vsize=15679368 CPUtime=0.02 cores=1,3,5,7
/proc/16441/task/16446/stat : 16446 (java) S 16439 16441 16197 0 -1 4202560 3218 0 0 0 2 0 0 0 15 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16447] ppid=16439 vsize=15679368 CPUtime=0.01 cores=1,3,5,7
/proc/16441/task/16447/stat : 16447 (java) S 16439 16441 16197 0 -1 4202560 22 0 0 0 1 0 0 0 15 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16448] ppid=16439 vsize=15679368 CPUtime=0.02 cores=1,3,5,7
/proc/16441/task/16448/stat : 16448 (java) S 16439 16441 16197 0 -1 4202560 10264 0 0 0 2 0 0 0 16 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16449] ppid=16439 vsize=15679368 CPUtime=0.01 cores=1,3,5,7
/proc/16441/task/16449/stat : 16449 (java) S 16439 16441 16197 0 -1 4202560 42 0 0 0 1 0 0 0 15 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16450] ppid=16439 vsize=15679368 CPUtime=0.02 cores=1,3,5,7
/proc/16441/task/16450/stat : 16450 (java) S 16439 16441 16197 0 -1 4202560 944 0 0 0 2 0 0 0 15 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16451] ppid=16439 vsize=15679368 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16451/stat : 16451 (java) S 16439 16441 16197 0 -1 4202560 1363 0 0 0 0 0 0 0 16 0 18 0 530135311 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16452] ppid=16439 vsize=15679368 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16452/stat : 16452 (java) S 16439 16441 16197 0 -1 4202560 478 0 0 0 0 0 0 0 15 0 18 0 530135312 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16453] ppid=16439 vsize=15679368 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16453/stat : 16453 (java) S 16439 16441 16197 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 530135313 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16454] ppid=16439 vsize=15679368 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16454/stat : 16454 (java) S 16439 16441 16197 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 530135313 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16455] ppid=16439 vsize=15679368 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16455/stat : 16455 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530135315 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16456] ppid=16439 vsize=15679368 CPUtime=0.14 cores=1,3,5,7
/proc/16441/task/16456/stat : 16456 (java) S 16439 16441 16197 0 -1 4202560 2250 0 0 0 14 0 0 0 15 0 18 0 530135315 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16457] ppid=16439 vsize=15679368 CPUtime=0.12 cores=1,3,5,7
/proc/16441/task/16457/stat : 16457 (java) S 16439 16441 16197 0 -1 4202560 1598 0 0 0 12 0 0 0 15 0 18 0 530135315 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16458] ppid=16439 vsize=15679368 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16458/stat : 16458 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530135315 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16459] ppid=16439 vsize=15679368 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16459/stat : 16459 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530135315 16055672832 210838 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/16441/task/16446/stat : 16446 (java) S 16439 16441 16197 0 -1 4202560 247905 0 0 0 269 43 0 0 16 0 22 0 530135311 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16447] ppid=16439 vsize=15711216 CPUtime=2.59 cores=1,3,5,7
/proc/16441/task/16447/stat : 16447 (java) S 16439 16441 16197 0 -1 4202560 214725 0 0 0 220 39 0 0 15 0 22 0 530135311 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16448] ppid=16439 vsize=15711216 CPUtime=2.26 cores=1,3,5,7
/proc/16441/task/16448/stat : 16448 (java) S 16439 16441 16197 0 -1 4202560 174344 0 0 0 197 29 0 0 16 0 22 0 530135311 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16449] ppid=16439 vsize=15711216 CPUtime=3.24 cores=1,3,5,7
/proc/16441/task/16449/stat : 16449 (java) S 16439 16441 16197 0 -1 4202560 216603 0 0 0 287 37 0 0 16 0 22 0 530135311 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16450] ppid=16439 vsize=15711216 CPUtime=2.79 cores=1,3,5,7
/proc/16441/task/16450/stat : 16450 (java) S 16439 16441 16197 0 -1 4202560 221201 0 0 0 240 39 0 0 15 0 22 0 530135311 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16451] ppid=16439 vsize=15711216 CPUtime=2.71 cores=1,3,5,7
/proc/16441/task/16451/stat : 16451 (java) S 16439 16441 16197 0 -1 4202560 228237 0 0 0 228 43 0 0 16 0 22 0 530135311 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16452] ppid=16439 vsize=15711216 CPUtime=2.57 cores=1,3,5,7
/proc/16441/task/16452/stat : 16452 (java) S 16439 16441 16197 0 -1 4202560 5604 0 0 0 256 1 0 0 15 0 22 0 530135312 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16453] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16453/stat : 16453 (java) S 16439 16441 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530135313 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16454] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16454/stat : 16454 (java) S 16439 16441 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530135313 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16455] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16455/stat : 16455 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530135315 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16456] ppid=16439 vsize=15711216 CPUtime=1.64 cores=1,3,5,7
/proc/16441/task/16456/stat : 16456 (java) S 16439 16441 16197 0 -1 4202560 13970 0 0 0 163 1 0 0 15 0 22 0 530135315 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16457] ppid=16439 vsize=15711216 CPUtime=1.14 cores=1,3,5,7
/proc/16441/task/16457/stat : 16457 (java) S 16439 16441 16197 0 -1 4202560 6234 0 0 0 113 1 0 0 16 0 22 0 530135315 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16458] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16458/stat : 16458 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530135315 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16459] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16459/stat : 16459 (java) S 16439 16441 16197 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530135315 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16460] ppid=16439 vsize=15711216 CPUtime=869.84 cores=1,3,5,7
/proc/16441/task/16460/stat : 16460 (java) R 16439 16441 16197 0 -1 4202560 46 0 0 0 86984 0 0 0 25 0 22 0 530136986 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912505706998 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16441/tid=16461] ppid=16439 vsize=15711216 CPUtime=902.69 cores=1,3,5,7
/proc/16441/task/16461/stat : 16461 (java) R 16439 16441 16197 0 -1 4202560 30 0 0 0 90269 0 0 0 25 0 22 0 530136986 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295619 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16441/tid=16462] ppid=16439 vsize=15711216 CPUtime=1028.23 cores=1,3,5,7
/proc/16441/task/16462/stat : 16462 (java) R 16439 16441 16197 0 -1 4202560 18621 0 0 0 102821 2 0 0 25 0 22 0 530136986 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295610 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16441/tid=16463] ppid=16439 vsize=15711216 CPUtime=949.23 cores=1,3,5,7
/proc/16441/task/16463/stat : 16463 (java) R 16439 16441 16197 0 -1 4202560 18000 0 0 0 94921 2 0 0 25 0 22 0 530136986 16088285184 1926601 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506167342 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3918.99
Current children cumulated vsize (KiB) 15711216
[startup+1242.3 s]
/proc/loadavg: 6.36 7.55 7.56 6/220 16556
/proc/meminfo: memFree=22414652/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15711216 CPUtime=4158.65 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 1947262 0 1 0 415525 340 0 0 24 0 22 0 530135310 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3927804 1929915 2297 9 0 3918523 0
[pid=16441/tid=16442] ppid=16439 vsize=15711216 CPUtime=141.38 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) S 16439 16441 16197 0 -1 4202560 222737 0 1 0 14105 33 0 0 25 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16444] ppid=16439 vsize=15711216 CPUtime=2.87 cores=1,3,5,7
/proc/16441/task/16444/stat : 16444 (java) S 16439 16441 16197 0 -1 4202560 159629 0 0 0 258 29 0 0 16 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16445] ppid=16439 vsize=15711216 CPUtime=2.96 cores=1,3,5,7
/proc/16441/task/16445/stat : 16445 (java) S 16439 16441 16197 0 -1 4202560 195457 0 0 0 261 35 0 0 15 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16446] ppid=16439 vsize=15711216 CPUtime=3.39 cores=1,3,5,7
/proc/16441/task/16446/stat : 16446 (java) S 16439 16441 16197 0 -1 4202560 248749 0 0 0 296 43 0 0 16 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16447] ppid=16439 vsize=15711216 CPUtime=2.63 cores=1,3,5,7
/proc/16441/task/16447/stat : 16447 (java) S 16439 16441 16197 0 -1 4202560 215541 0 0 0 224 39 0 0 16 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16448] ppid=16439 vsize=15711216 CPUtime=2.44 cores=1,3,5,7
/proc/16441/task/16448/stat : 16448 (java) S 16439 16441 16197 0 -1 4202560 174344 0 0 0 215 29 0 0 16 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16449] ppid=16439 vsize=15711216 CPUtime=3.27 cores=1,3,5,7
/proc/16441/task/16449/stat : 16449 (java) S 16439 16441 16197 0 -1 4202560 217401 0 0 0 290 37 0 0 15 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16450] ppid=16439 vsize=15711216 CPUtime=2.98 cores=1,3,5,7
/proc/16441/task/16450/stat : 16450 (java) S 16439 16441 16197 0 -1 4202560 221201 0 0 0 259 39 0 0 16 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16451] ppid=16439 vsize=15711216 CPUtime=2.81 cores=1,3,5,7
/proc/16441/task/16451/stat : 16451 (java) S 16439 16441 16197 0 -1 4202560 228237 0 0 0 238 43 0 0 16 0 22 0 530135311 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16452] ppid=16439 vsize=15711216 CPUtime=2.57 cores=1,3,5,7
/proc/16441/task/16452/stat : 16452 (java) S 16439 16441 16197 0 -1 4202560 5606 0 0 0 256 1 0 0 15 0 22 0 530135312 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16453] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16453/stat : 16453 (java) S 16439 16441 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530135313 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16454] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16454/stat : 16454 (java) S 16439 16441 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530135313 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16455] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16455/stat : 16455 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530135315 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16456] ppid=16439 vsize=15711216 CPUtime=1.64 cores=1,3,5,7
/proc/16441/task/16456/stat : 16456 (java) S 16439 16441 16197 0 -1 4202560 13970 0 0 0 163 1 0 0 15 0 22 0 530135315 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16457] ppid=16439 vsize=15711216 CPUtime=1.14 cores=1,3,5,7
/proc/16441/task/16457/stat : 16457 (java) S 16439 16441 16197 0 -1 4202560 6234 0 0 0 113 1 0 0 16 0 22 0 530135315 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16458] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16458/stat : 16458 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530135315 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16459] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16459/stat : 16459 (java) S 16439 16441 16197 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 530135315 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16460] ppid=16439 vsize=15711216 CPUtime=929.53 cores=1,3,5,7
/proc/16441/task/16460/stat : 16460 (java) R 16439 16441 16197 0 -1 4202560 47 0 0 0 92953 0 0 0 25 0 22 0 530136986 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295667 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16441/tid=16461] ppid=16439 vsize=15711216 CPUtime=962.38 cores=1,3,5,7
/proc/16441/task/16461/stat : 16461 (java) R 16439 16441 16197 0 -1 4202560 30 0 0 0 96238 0 0 0 25 0 22 0 530136986 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295667 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16441/tid=16462] ppid=16439 vsize=15711216 CPUtime=1087.59 cores=1,3,5,7
/proc/16441/task/16462/stat : 16462 (java) R 16439 16441 16197 0 -1 4202560 18621 0 0 0 108757 2 0 0 25 0 22 0 530136986 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506138914 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16441/tid=16463] ppid=16439 vsize=15711216 CPUtime=1008.92 cores=1,3,5,7
/proc/16441/task/16463/stat : 16463 (java) R 16439 16441 16197 0 -1 4202560 18001 0 0 0 100890 2 0 0 25 0 22 0 530136986 16088285184 1929915 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295667 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4158.65
Current children cumulated vsize (KiB) 15711216
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.61 7.12 7.41 6/220 16560
/proc/meminfo: memFree=22413588/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=15711216 CPUtime=4389.17 cores=1,3,5,7
/proc/16441/stat : 16441 (java) S 16439 16441 16197 0 -1 4202496 1947393 0 1 0 438576 341 0 0 24 0 22 0 530135310 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 3927804 1930034 2297 9 0 3918523 0
[pid=16441/tid=16442] ppid=16439 vsize=15711216 CPUtime=141.38 cores=1,3,5,7
/proc/16441/task/16442/stat : 16442 (java) S 16439 16441 16197 0 -1 4202560 222737 0 1 0 14105 33 0 0 25 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16444] ppid=16439 vsize=15711216 CPUtime=2.99 cores=1,3,5,7
/proc/16441/task/16444/stat : 16444 (java) S 16439 16441 16197 0 -1 4202560 159629 0 0 0 270 29 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16445] ppid=16439 vsize=15711216 CPUtime=3 cores=1,3,5,7
/proc/16441/task/16445/stat : 16445 (java) S 16439 16441 16197 0 -1 4202560 195457 0 0 0 265 35 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16446] ppid=16439 vsize=15711216 CPUtime=3.5 cores=1,3,5,7
/proc/16441/task/16446/stat : 16446 (java) S 16439 16441 16197 0 -1 4202560 248749 0 0 0 307 43 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16447] ppid=16439 vsize=15711216 CPUtime=2.8 cores=1,3,5,7
/proc/16441/task/16447/stat : 16447 (java) S 16439 16441 16197 0 -1 4202560 215541 0 0 0 241 39 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16448] ppid=16439 vsize=15711216 CPUtime=2.62 cores=1,3,5,7
/proc/16441/task/16448/stat : 16448 (java) S 16439 16441 16197 0 -1 4202560 174344 0 0 0 233 29 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 5 0 0 0
[pid=16441/tid=16449] ppid=16439 vsize=15711216 CPUtime=3.4 cores=1,3,5,7
/proc/16441/task/16449/stat : 16449 (java) S 16439 16441 16197 0 -1 4202560 217516 0 0 0 303 37 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16450] ppid=16439 vsize=15711216 CPUtime=3.24 cores=1,3,5,7
/proc/16441/task/16450/stat : 16450 (java) S 16439 16441 16197 0 -1 4202560 221201 0 0 0 285 39 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16451] ppid=16439 vsize=15711216 CPUtime=2.97 cores=1,3,5,7
/proc/16441/task/16451/stat : 16451 (java) S 16439 16441 16197 0 -1 4202560 228237 0 0 0 254 43 0 0 16 0 22 0 530135311 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16452] ppid=16439 vsize=15711216 CPUtime=2.57 cores=1,3,5,7
/proc/16441/task/16452/stat : 16452 (java) S 16439 16441 16197 0 -1 4202560 5615 0 0 0 256 1 0 0 15 0 22 0 530135312 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 0 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16453] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16453/stat : 16453 (java) S 16439 16441 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530135313 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16454] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16454/stat : 16454 (java) S 16439 16441 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530135313 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16455] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16455/stat : 16455 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530135315 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820989361 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16456] ppid=16439 vsize=15711216 CPUtime=1.64 cores=1,3,5,7
/proc/16441/task/16456/stat : 16456 (java) S 16439 16441 16197 0 -1 4202560 13971 0 0 0 163 1 0 0 15 0 22 0 530135315 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16457] ppid=16439 vsize=15711216 CPUtime=1.14 cores=1,3,5,7
/proc/16441/task/16457/stat : 16457 (java) S 16439 16441 16197 0 -1 4202560 6234 0 0 0 113 1 0 0 16 0 22 0 530135315 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 1 0 0 0
[pid=16441/tid=16458] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16458/stat : 16458 (java) S 16439 16441 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530135315 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820981657 0 4 0 16800975 18446604471125959040 0 0 -1 7 0 0 0
[pid=16441/tid=16459] ppid=16439 vsize=15711216 CPUtime=0 cores=1,3,5,7
/proc/16441/task/16459/stat : 16459 (java) S 16439 16441 16197 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 530135315 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 230820982272 0 4 0 16800975 18446604471125959040 0 0 -1 3 0 0 0
[pid=16441/tid=16460] ppid=16439 vsize=15711216 CPUtime=986.95 cores=1,3,5,7
/proc/16441/task/16460/stat : 16460 (java) R 16439 16441 16197 0 -1 4202560 47 0 0 0 98695 0 0 0 25 0 22 0 530136986 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295651 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16441/tid=16461] ppid=16439 vsize=15711216 CPUtime=1019.8 cores=1,3,5,7
/proc/16441/task/16461/stat : 16461 (java) R 16439 16441 16197 0 -1 4202560 30 0 0 0 101980 0 0 0 25 0 22 0 530136986 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295610 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16441/tid=16462] ppid=16439 vsize=15711216 CPUtime=1144.68 cores=1,3,5,7
/proc/16441/task/16462/stat : 16462 (java) R 16439 16441 16197 0 -1 4202560 18622 0 0 0 114466 2 0 0 25 0 22 0 530136986 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295570 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16441/tid=16463] ppid=16439 vsize=15711216 CPUtime=1066.34 cores=1,3,5,7
/proc/16441/task/16463/stat : 16463 (java) R 16439 16441 16197 0 -1 4202560 18002 0 0 0 106632 2 0 0 25 0 22 0 530136986 16088285184 1930034 33554432000 1073741824 1073778376 140736411258480 18446744073709551615 46912506295610 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4389.17
Current children cumulated vsize (KiB) 15711216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 5.61 7.12 7.41 6/220 16560
/proc/meminfo: memFree=22413588/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=0 CPUtime=4389.29 cores=1,3,5,7
/proc/16441/stat : 16441 (java) Z 16439 16441 16197 0 -1 4203548 1947421 0 1 0 438578 351 0 0 17 0 2 0 530135310 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 0 0 0 0 0 0 0
[pid=16441/tid=16462] ppid=16439 vsize=0 CPUtime=1144.78 cores=1,3,5,7
/proc/16441/task/16462/stat : 16462 (java) R 16439 16441 16197 0 -1 4203588 18622 0 0 0 114467 11 0 0 25 0 2 0 530136986 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4389.29
Current children cumulated vsize (KiB) 0
[startup+1300.2 s]
/proc/loadavg: 5.61 7.12 7.41 6/220 16560
/proc/meminfo: memFree=22413588/32951124 swapFree=67111448/67111528
[pid=16441] ppid=16439 vsize=0 CPUtime=4389.37 cores=1,3,5,7
/proc/16441/stat : 16441 (java) Z 16439 16441 16197 0 -1 4203548 1947421 0 1 0 438578 359 0 0 17 0 2 0 530135310 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16441/statm: 0 0 0 0 0 0 0
[pid=16441/tid=16462] ppid=16439 vsize=0 CPUtime=1144.87 cores=1,3,5,7
/proc/16441/task/16462/stat : 16462 (java) R 16439 16441 16197 0 -1 4203588 18622 0 0 0 114467 20 0 0 25 0 2 0 530136986 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4389.37
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1300.3
CPU time (s): 4389.48
CPU user time (s): 4385.79
CPU system time (s): 3.69644
CPU usage (%): 337.575
Max. virtual memory (cumulated for all children) (KiB): 15712660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4385.79
system time used= 3.69644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1947421
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= 55106
involuntary context switches= 62900
runsolver used 2.24066 second user time and 4.87326 second system time
The end