runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4099874-1466207038/watcher-4099874-1466207038 -o /tmp/evaluation-result-4099874-1466207038/solver-4099874-1466207038 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4099874-1466207038.opb
pid=25550
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: 4.09 3.92 2.59 4/197 25553
/proc/meminfo: memFree=27704784/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/25553/stat : 25553 (java) R 25550 25553 22589 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 22749285 9445376 96 33554432000 1073741824 1073778376 140734872382352 140734872379480 211449592385 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2290 84 63 9 0 38 0
[startup+0.100113 s]
/proc/loadavg: 4.09 3.92 2.59 4/197 25553
/proc/meminfo: memFree=27704784/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 22749285 9787879424 6026 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2389619 6026 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20027 s]
/proc/loadavg: 4.09 3.92 2.59 4/197 25553
/proc/meminfo: memFree=27704784/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 4973 0 1 0 26 1 0 0 20 0 18 0 22749285 9787879424 8400 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2389619 8400 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300291 s]
/proc/loadavg: 4.09 3.92 2.59 4/197 25553
/proc/meminfo: memFree=27704784/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 5455 0 1 0 43 2 0 0 20 0 18 0 22749285 9787879424 14767 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2389619 14767 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700186 s]
/proc/loadavg: 4.09 3.92 2.59 4/197 25553
/proc/meminfo: memFree=27704784/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9558476 CPUtime=1.26 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 8004 0 1 0 118 8 0 0 20 0 18 0 22749285 9787879424 49320 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2389619 49320 2269 9 0 2380296 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9558476
[startup+1.50073 s]
/proc/loadavg: 4.09 3.92 2.59 4/215 25571
/proc/meminfo: memFree=27444084/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9558476 CPUtime=2.6 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 9012 0 1 0 233 27 0 0 20 0 18 0 22749285 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2389619 110935 2269 9 0 2380296 0
[pid=25553/tid=25555] ppid=25550 vsize=9558476 CPUtime=1.25 cores=1,3,5,7
/proc/25553/task/25555/stat : 25555 (java) S 25550 25553 22589 0 -1 4202560 2530 0 1 0 119 6 0 0 20 0 18 0 22749286 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657930399112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25556] ppid=25550 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25553/task/25556/stat : 25556 (java) R 25550 25553 22589 0 -1 4202560 265 0 0 0 6 3 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657902853208 140657937296068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25557] ppid=25550 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/25553/task/25557/stat : 25557 (java) R 25550 25553 22589 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657901800664 140657932871411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25558] ppid=25550 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/25553/task/25558/stat : 25558 (java) R 25550 25553 22589 0 -1 4202560 164 0 0 0 9 3 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657900747608 140657937298514 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25559] ppid=25550 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/25553/task/25559/stat : 25559 (java) R 25550 25553 22589 0 -1 4202560 50 0 0 0 5 3 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657899695064 140657934575791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25560] ppid=25550 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/25553/task/25560/stat : 25560 (java) R 25550 25553 22589 0 -1 4202560 138 0 0 0 9 2 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657898641712 140657937296300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25561] ppid=25550 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/25553/task/25561/stat : 25561 (java) R 25550 25553 22589 0 -1 4202560 162 0 0 0 3 2 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657768835800 140657937298632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25562] ppid=25550 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/25553/task/25562/stat : 25562 (java) R 25550 25553 22589 0 -1 4202560 159 0 0 0 9 4 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657767782744 140657934562092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25563] ppid=25550 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/25553/task/25563/stat : 25563 (java) R 25550 25553 22589 0 -1 4202560 82 0 0 0 7 3 0 0 20 0 18 0 22749287 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657766730200 140657934575791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25564] ppid=25550 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25564/stat : 25564 (java) S 25550 25553 22589 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 22749288 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657283782408 211462173756 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25565] ppid=25550 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25565/stat : 25565 (java) S 25550 25553 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22749289 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657282729848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25566] ppid=25550 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25566/stat : 25566 (java) S 25550 25553 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22749289 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657281676680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25567] ppid=25550 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25567/stat : 25567 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22749291 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657280625424 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25568] ppid=25550 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/25553/task/25568/stat : 25568 (java) S 25550 25553 22589 0 -1 4202560 1231 0 0 0 19 0 0 0 20 0 18 0 22749291 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657279572280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25569] ppid=25550 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/25553/task/25569/stat : 25569 (java) S 25550 25553 22589 0 -1 4202560 2878 0 0 0 28 0 0 0 20 0 18 0 22749291 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657278519736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25570] ppid=25550 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25570/stat : 25570 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22749291 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657277466872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25571] ppid=25550 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25571/stat : 25571 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22749291 9787879424 110935 33554432000 1073741824 1073778376 140734872382352 140657276414536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 9558476
[startup+3.10092 s]
/proc/loadavg: 4.09 3.92 2.59 7/219 25575
/proc/meminfo: memFree=27233280/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9824732 CPUtime=6.8 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 21187 0 1 0 648 32 0 0 20 0 22 0 22749285 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2456183 120300 2284 9 0 2446860 0
[pid=25553/tid=25555] ppid=25550 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/25553/task/25555/stat : 25555 (java) S 25550 25553 22589 0 -1 4202560 2538 0 1 0 161 6 0 0 20 0 22 0 22749286 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657930400632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25556] ppid=25550 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/25553/task/25556/stat : 25556 (java) S 25550 25553 22589 0 -1 4202560 269 0 0 0 7 3 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657902853032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25557] ppid=25550 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/25553/task/25557/stat : 25557 (java) S 25550 25553 22589 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657901800488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25558] ppid=25550 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/25553/task/25558/stat : 25558 (java) S 25550 25553 22589 0 -1 4202560 173 0 0 0 12 4 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657900747432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25559] ppid=25550 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/25553/task/25559/stat : 25559 (java) S 25550 25553 22589 0 -1 4202560 56 0 0 0 7 3 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657899694888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25560] ppid=25550 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/25553/task/25560/stat : 25560 (java) S 25550 25553 22589 0 -1 4202560 140 0 0 0 9 3 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657898641832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25561] ppid=25550 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/25553/task/25561/stat : 25561 (java) S 25550 25553 22589 0 -1 4202560 165 0 0 0 4 2 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657768835624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25562] ppid=25550 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/25553/task/25562/stat : 25562 (java) S 25550 25553 22589 0 -1 4202560 169 0 0 0 12 4 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657767782568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25563] ppid=25550 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/25553/task/25563/stat : 25563 (java) S 25550 25553 22589 0 -1 4202560 85 0 0 0 8 3 0 0 20 0 22 0 22749287 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657766730024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25564] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25564/stat : 25564 (java) S 25550 25553 22589 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 22749288 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657283783528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25565] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25565/stat : 25565 (java) S 25550 25553 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657282729848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25566] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25566/stat : 25566 (java) S 25550 25553 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657281676680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25567] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25567/stat : 25567 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657280625424 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25568] ppid=25550 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/25553/task/25568/stat : 25568 (java) R 25550 25553 22589 0 -1 4202560 6544 0 0 0 82 2 0 0 20 0 22 0 22749291 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657279572280 140657934517622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25569] ppid=25550 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/25553/task/25569/stat : 25569 (java) S 25550 25553 22589 0 -1 4202560 9505 0 0 0 95 2 0 0 20 0 22 0 22749291 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657278519736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25570] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25570/stat : 25570 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657277466872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25571] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25571/stat : 25571 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657276414536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25572] ppid=25550 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/25553/task/25572/stat : 25572 (java) R 25550 25553 22589 0 -1 4202560 21 0 0 0 114 0 0 0 20 0 22 0 22749480 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657275360280 140657780870802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25573] ppid=25550 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/25553/task/25573/stat : 25573 (java) R 25550 25553 22589 0 -1 4202560 24 0 0 0 114 0 0 0 20 0 22 0 22749480 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657274307688 140657780841561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25574] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25574/stat : 25574 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657273255208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25575] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25575/stat : 25575 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 120300 33554432000 1073741824 1073778376 140734872382352 140657272202664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.09 3.92 2.60 5/219 25575
/proc/meminfo: memFree=27125876/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9824732 CPUtime=13.74 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 24336 0 1 0 1332 42 0 0 20 0 22 0 22749285 10060525568 178396 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2456183 178396 2290 9 0 2446860 0
[pid=25553/tid=25555] ppid=25550 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/25553/task/25555/stat : 25555 (java) S 25550 25553 22589 0 -1 4202560 2538 0 1 0 161 6 0 0 20 0 22 0 22749286 10060525568 178396 33554432000 1073741824 1073778376 140734872382352 140657930400632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25556] ppid=25550 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/25553/task/25556/stat : 25556 (java) S 25550 25553 22589 0 -1 4202560 284 0 0 0 10 4 0 0 20 0 22 0 22749287 10060525568 178396 33554432000 1073741824 1073778376 140734872382352 140657902853032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25557] ppid=25550 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/25553/task/25557/stat : 25557 (java) S 25550 25553 22589 0 -1 4202560 59 0 0 0 6 4 0 0 20 0 22 0 22749287 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657901800488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25558] ppid=25550 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/25553/task/25558/stat : 25558 (java) S 25550 25553 22589 0 -1 4202560 201 0 0 0 14 5 0 0 20 0 22 0 22749287 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657900747432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25559] ppid=25550 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/25553/task/25559/stat : 25559 (java) S 25550 25553 22589 0 -1 4202560 81 0 0 0 10 4 0 0 20 0 22 0 22749287 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657899694888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25560] ppid=25550 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/25553/task/25560/stat : 25560 (java) S 25550 25553 22589 0 -1 4202560 156 0 0 0 12 4 0 0 20 0 22 0 22749287 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657898641832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25561] ppid=25550 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/25553/task/25561/stat : 25561 (java) S 25550 25553 22589 0 -1 4202560 178 0 0 0 6 3 0 0 20 0 22 0 22749287 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657768835624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25562] ppid=25550 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/25553/task/25562/stat : 25562 (java) S 25550 25553 22589 0 -1 4202560 201 0 0 0 15 5 0 0 20 0 22 0 22749287 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657767782568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25563] ppid=25550 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/25553/task/25563/stat : 25563 (java) S 25550 25553 22589 0 -1 4202560 116 0 0 0 10 5 0 0 20 0 22 0 22749287 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657766730024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25564] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25564/stat : 25564 (java) S 25550 25553 22589 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 22749288 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657283783528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25565] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25565/stat : 25565 (java) S 25550 25553 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657282729848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25566] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25566/stat : 25566 (java) S 25550 25553 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657281676680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25567] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25567/stat : 25567 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657280625424 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25568] ppid=25550 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/25553/task/25568/stat : 25568 (java) R 25550 25553 22589 0 -1 4202560 7008 0 0 0 105 2 0 0 20 0 22 0 22749291 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657279572280 140657933008656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25569] ppid=25550 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/25553/task/25569/stat : 25569 (java) S 25550 25553 22589 0 -1 4202560 11738 0 0 0 114 3 0 0 20 0 22 0 22749291 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657278519736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25570] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25570/stat : 25570 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657277466872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25571] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25571/stat : 25571 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 178908 33554432000 1073741824 1073778376 140734872382352 140657276414536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25572] ppid=25550 vsize=9824732 CPUtime=4.26 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.07 4.09 3.47 5/219 25666
/proc/meminfo: memFree=24232116/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9824732 CPUtime=1655.8 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 48642 0 1 0 165341 239 0 0 20 0 22 0 22749285 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2456183 904562 2298 9 0 2446860 0
[pid=25553/tid=25555] ppid=25550 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/25553/task/25555/stat : 25555 (java) S 25550 25553 22589 0 -1 4202560 2556 0 1 0 163 7 0 0 20 0 22 0 22749286 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657930400632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25556] ppid=25550 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/25553/task/25556/stat : 25556 (java) S 25550 25553 22589 0 -1 4202560 2913 0 0 0 298 21 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657902853032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25557] ppid=25550 vsize=9824732 CPUtime=3.92 cores=1,3,5,7
/proc/25553/task/25557/stat : 25557 (java) S 25550 25553 22589 0 -1 4202560 1614 0 0 0 370 22 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657901800488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25558] ppid=25550 vsize=9824732 CPUtime=4.09 cores=1,3,5,7
/proc/25553/task/25558/stat : 25558 (java) S 25550 25553 22589 0 -1 4202560 2303 0 0 0 380 29 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657900747432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25559] ppid=25550 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/25553/task/25559/stat : 25559 (java) S 25550 25553 22589 0 -1 4202560 2748 0 0 0 296 19 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657899694888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25560] ppid=25550 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/25553/task/25560/stat : 25560 (java) S 25550 25553 22589 0 -1 4202560 1888 0 0 0 342 21 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657898641832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25561] ppid=25550 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/25553/task/25561/stat : 25561 (java) S 25550 25553 22589 0 -1 4202560 2991 0 0 0 335 22 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657768835624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25562] ppid=25550 vsize=9824732 CPUtime=3.65 cores=1,3,5,7
/proc/25553/task/25562/stat : 25562 (java) S 25550 25553 22589 0 -1 4202560 2446 0 0 0 343 22 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657767782568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25563] ppid=25550 vsize=9824732 CPUtime=3.56 cores=1,3,5,7
/proc/25553/task/25563/stat : 25563 (java) S 25550 25553 22589 0 -1 4202560 1688 0 0 0 330 26 0 0 20 0 22 0 22749287 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657766730024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25564] ppid=25550 vsize=9824732 CPUtime=3.72 cores=1,3,5,7
/proc/25553/task/25564/stat : 25564 (java) S 25550 25553 22589 0 -1 4202560 2500 0 0 0 368 4 0 0 20 0 22 0 22749288 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657283783528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25565] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25565/stat : 25565 (java) S 25550 25553 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657282729848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25566] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25566/stat : 25566 (java) S 25550 25553 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657281676680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25567] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25567/stat : 25567 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657280625424 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25568] ppid=25550 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/25553/task/25568/stat : 25568 (java) S 25550 25553 22589 0 -1 4202560 10263 0 0 0 155 3 0 0 20 0 22 0 22749291 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657279572280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25569] ppid=25550 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/25553/task/25569/stat : 25569 (java) S 25550 25553 22589 0 -1 4202560 11745 0 0 0 131 3 0 0 20 0 22 0 22749291 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657278519736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25570] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25570/stat : 25570 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657277466872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25571] ppid=25550 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/25553/task/25571/stat : 25571 (java) S 25550 25553 22589 0 -1 4202560 47 0 0 0 11 18 0 0 20 0 22 0 22749291 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657276414536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25572] ppid=25550 vsize=9824732 CPUtime=809.34 cores=1,3,5,7
/proc/25553/task/25572/stat : 25572 (java) R 25550 25553 22589 0 -1 4202560 212 0 0 0 80915 19 0 0 20 0 22 0 22749480 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657275359136 140657780707603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25573] ppid=25550 vsize=9824732 CPUtime=809.18 cores=1,3,5,7
/proc/25553/task/25573/stat : 25573 (java) R 25550 25553 22589 0 -1 4202560 1463 0 0 0 80883 35 0 0 20 0 22 0 22749480 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657274305728 140657780783993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25574] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25574/stat : 25574 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657273255208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25575] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25575/stat : 25575 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 904562 33554432000 1073741824 1073778376 140734872382352 140657272202664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1655.8
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.12 4.10 3.51 5/219 25667
/proc/meminfo: memFree=24215748/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9824732 CPUtime=1777.4 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 48770 0 1 0 177498 242 0 0 20 0 22 0 22749285 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2456183 908705 2298 9 0 2446860 0
[pid=25553/tid=25555] ppid=25550 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/25553/task/25555/stat : 25555 (java) S 25550 25553 22589 0 -1 4202560 2557 0 1 0 163 7 0 0 20 0 22 0 22749286 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657930400632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25556] ppid=25550 vsize=9824732 CPUtime=3.5 cores=1,3,5,7
/proc/25553/task/25556/stat : 25556 (java) S 25550 25553 22589 0 -1 4202560 2915 0 0 0 329 21 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657902853032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25557] ppid=25550 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/25553/task/25557/stat : 25557 (java) S 25550 25553 22589 0 -1 4202560 1615 0 0 0 403 22 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657901800488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25558] ppid=25550 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/25553/task/25558/stat : 25558 (java) S 25550 25553 22589 0 -1 4202560 2307 0 0 0 453 29 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657900747432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25559] ppid=25550 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/25553/task/25559/stat : 25559 (java) S 25550 25553 22589 0 -1 4202560 2748 0 0 0 329 19 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657899694888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25560] ppid=25550 vsize=9824732 CPUtime=3.99 cores=1,3,5,7
/proc/25553/task/25560/stat : 25560 (java) S 25550 25553 22589 0 -1 4202560 1891 0 0 0 378 21 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657898641832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25561] ppid=25550 vsize=9824732 CPUtime=3.89 cores=1,3,5,7
/proc/25553/task/25561/stat : 25561 (java) S 25550 25553 22589 0 -1 4202560 2992 0 0 0 366 23 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657768835624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25562] ppid=25550 vsize=9824732 CPUtime=4.13 cores=1,3,5,7
/proc/25553/task/25562/stat : 25562 (java) S 25550 25553 22589 0 -1 4202560 2508 0 0 0 391 22 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657767782568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25563] ppid=25550 vsize=9824732 CPUtime=3.94 cores=1,3,5,7
/proc/25553/task/25563/stat : 25563 (java) S 25550 25553 22589 0 -1 4202560 1689 0 0 0 368 26 0 0 20 0 22 0 22749287 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657766730024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25564] ppid=25550 vsize=9824732 CPUtime=3.73 cores=1,3,5,7
/proc/25553/task/25564/stat : 25564 (java) S 25550 25553 22589 0 -1 4202560 2545 0 0 0 368 5 0 0 20 0 22 0 22749288 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657283783528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25565] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25565/stat : 25565 (java) S 25550 25553 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657282729848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25566] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25566/stat : 25566 (java) S 25550 25553 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657281676680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25567] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25567/stat : 25567 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657280625424 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25568] ppid=25550 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/25553/task/25568/stat : 25568 (java) S 25550 25553 22589 0 -1 4202560 10263 0 0 0 155 3 0 0 20 0 22 0 22749291 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657279572280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25569] ppid=25550 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/25553/task/25569/stat : 25569 (java) S 25550 25553 22589 0 -1 4202560 11745 0 0 0 131 3 0 0 20 0 22 0 22749291 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657278519736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25570] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25570/stat : 25570 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657277466872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25571] ppid=25550 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25553/task/25571/stat : 25571 (java) S 25550 25553 22589 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 22749291 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657276414536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25572] ppid=25550 vsize=9824732 CPUtime=868.52 cores=1,3,5,7
/proc/25553/task/25572/stat : 25572 (java) R 25550 25553 22589 0 -1 4202560 214 0 0 0 86832 20 0 0 20 0 22 0 22749480 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657275358304 140657780846408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25573] ppid=25550 vsize=9824732 CPUtime=868.36 cores=1,3,5,7
/proc/25553/task/25573/stat : 25573 (java) R 25550 25553 22589 0 -1 4202560 1465 0 0 0 86800 36 0 0 20 0 22 0 22749480 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657274306608 140657780784024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25574] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25574/stat : 25574 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657273255208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25575] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25575/stat : 25575 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 908705 33554432000 1073741824 1073778376 140734872382352 140657272202664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1777.4
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.401 s]
/proc/loadavg: 4.17 4.11 3.52 6/219 25667
/proc/meminfo: memFree=24203212/32872528 swapFree=496868/529572
[pid=25553] ppid=25550 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/25553/stat : 25553 (java) S 25550 25553 22589 0 -1 4202496 48812 0 1 0 179759 242 0 0 20 0 22 0 22749285 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140734872373488 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25553/statm: 2456183 911806 2298 9 0 2446860 0
[pid=25553/tid=25555] ppid=25550 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/25553/task/25555/stat : 25555 (java) S 25550 25553 22589 0 -1 4202560 2557 0 1 0 163 7 0 0 20 0 22 0 22749286 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657930400632 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25556] ppid=25550 vsize=9824732 CPUtime=3.63 cores=1,3,5,7
/proc/25553/task/25556/stat : 25556 (java) S 25550 25553 22589 0 -1 4202560 2916 0 0 0 341 22 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657902853032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25557] ppid=25550 vsize=9824732 CPUtime=4.39 cores=1,3,5,7
/proc/25553/task/25557/stat : 25557 (java) S 25550 25553 22589 0 -1 4202560 1618 0 0 0 417 22 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657901800488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25558] ppid=25550 vsize=9824732 CPUtime=4.87 cores=1,3,5,7
/proc/25553/task/25558/stat : 25558 (java) S 25550 25553 22589 0 -1 4202560 2308 0 0 0 458 29 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657900747432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25559] ppid=25550 vsize=9824732 CPUtime=3.59 cores=1,3,5,7
/proc/25553/task/25559/stat : 25559 (java) S 25550 25553 22589 0 -1 4202560 2749 0 0 0 340 19 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657899694888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25560] ppid=25550 vsize=9824732 CPUtime=4.04 cores=1,3,5,7
/proc/25553/task/25560/stat : 25560 (java) S 25550 25553 22589 0 -1 4202560 1891 0 0 0 383 21 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657898641832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25561] ppid=25550 vsize=9824732 CPUtime=4.11 cores=1,3,5,7
/proc/25553/task/25561/stat : 25561 (java) S 25550 25553 22589 0 -1 4202560 2994 0 0 0 388 23 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657768835624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25562] ppid=25550 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/25553/task/25562/stat : 25562 (java) S 25550 25553 22589 0 -1 4202560 2511 0 0 0 402 23 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657767782568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25563] ppid=25550 vsize=9824732 CPUtime=3.99 cores=1,3,5,7
/proc/25553/task/25563/stat : 25563 (java) S 25550 25553 22589 0 -1 4202560 1703 0 0 0 373 26 0 0 20 0 22 0 22749287 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657766730024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25564] ppid=25550 vsize=9824732 CPUtime=3.73 cores=1,3,5,7
/proc/25553/task/25564/stat : 25564 (java) S 25550 25553 22589 0 -1 4202560 2560 0 0 0 368 5 0 0 20 0 22 0 22749288 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657283783528 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25565] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25565/stat : 25565 (java) S 25550 25553 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657282729848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25566] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25566/stat : 25566 (java) S 25550 25553 22589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22749289 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657281676680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25567] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25567/stat : 25567 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657280625424 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25568] ppid=25550 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/25553/task/25568/stat : 25568 (java) S 25550 25553 22589 0 -1 4202560 10264 0 0 0 155 3 0 0 20 0 22 0 22749291 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657279572280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25569] ppid=25550 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/25553/task/25569/stat : 25569 (java) S 25550 25553 22589 0 -1 4202560 11745 0 0 0 131 3 0 0 20 0 22 0 22749291 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657278519736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25570] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25570/stat : 25570 (java) S 25550 25553 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22749291 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657277466872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25553/tid=25571] ppid=25550 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/25553/task/25571/stat : 25571 (java) S 25550 25553 22589 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 22749291 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657276414536 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25553/tid=25572] ppid=25550 vsize=9824732 CPUtime=879.4 cores=1,3,5,7
/proc/25553/task/25572/stat : 25572 (java) R 25550 25553 22589 0 -1 4202560 214 0 0 0 87920 20 0 0 20 0 22 0 22749480 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657275358304 140657780707568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25573] ppid=25550 vsize=9824732 CPUtime=879.23 cores=1,3,5,7
/proc/25553/task/25573/stat : 25573 (java) R 25550 25553 22589 0 -1 4202560 1466 0 0 0 87887 36 0 0 20 0 22 0 22749480 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657274307096 140657780784024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25553/tid=25574] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25574/stat : 25574 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657273255208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25553/tid=25575] ppid=25550 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25553/task/25575/stat : 25575 (java) S 25550 25553 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22749495 10060525568 911806 33554432000 1073741824 1073778376 140734872382352 140657272202664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25553 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 893.455
CPU time (s): 1800.6
CPU user time (s): 1797.64
CPU system time (s): 2.96055
CPU usage (%): 201.532
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.64
system time used= 2.96055
maximum resident set size= 3738896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48853
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23250
involuntary context switches= 21954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18091 second user time and 6.06608 second system time
The end