runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744063-1338808233/watcher-3744063-1338808233 -o /tmp/evaluation-result-3744063-1338808233/solver-3744063-1338808233 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3744063-1338808233.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 3/195 28663
/proc/meminfo: memFree=25649280/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28663/stat : 28663 (java6) D 28661 28663 26235 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 346947537 9515008 176 33554432000 1073741824 1073778376 140734375998592 140734375981320 251053032336 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/28663/statm: 2323 176 133 9 0 71 0
[startup+0.0683741 s]
/proc/loadavg: 2.01 2.03 2.00 3/195 28663
/proc/meminfo: memFree=25649280/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2648548 CPUtime=0.05 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 3803 0 1 0 4 1 0 0 20 0 18 0 346947537 2712113152 5521 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 662137 5521 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648548
[startup+0.100246 s]
/proc/loadavg: 2.01 2.03 2.00 3/195 28663
/proc/meminfo: memFree=25649280/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 4697 0 1 0 8 1 0 0 20 0 18 0 346947537 2712133632 6414 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 662142 6414 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.30023 s]
/proc/loadavg: 2.01 2.03 2.00 3/195 28663
/proc/meminfo: memFree=25649280/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2648568 CPUtime=0.45 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 5828 0 1 0 43 2 0 0 20 0 18 0 346947537 2712133632 16596 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 662142 16596 2215 9 0 652835 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2648568
[startup+0.70019 s]
/proc/loadavg: 2.01 2.03 2.00 3/195 28663
/proc/meminfo: memFree=25649280/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2648568 CPUtime=1.03 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 6287 0 1 0 94 9 0 0 20 0 18 0 346947537 2712133632 98063 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 662142 98063 2231 9 0 652835 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 2648568
[startup+1.50069 s]
/proc/loadavg: 2.01 2.03 2.00 5/213 28681
/proc/meminfo: memFree=25235504/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2648568 CPUtime=2.45 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 15812 0 1 0 232 13 0 0 20 0 18 0 346947537 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 662142 105610 2258 9 0 652835 0
[pid=28663/tid=28665] ppid=28661 vsize=2648568 CPUtime=1.41 cores=1,3,5,7
/proc/28663/task/28665/stat : 28665 (java) R 28661 28663 26235 0 -1 4202560 2923 0 1 0 135 6 0 0 20 0 18 0 346947538 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187911299200 251056416013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28666/stat : 28666 (java) S 28661 28663 26235 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187895756968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28667] ppid=28661 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/28663/task/28667/stat : 28667 (java) S 28661 28663 26235 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187894704424 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28668] ppid=28661 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/28663/task/28668/stat : 28668 (java) S 28661 28663 26235 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187893651880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28669] ppid=28661 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/28663/task/28669/stat : 28669 (java) S 28661 28663 26235 0 -1 4202560 35 0 0 0 2 2 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187892599336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28670] ppid=28661 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/28663/task/28670/stat : 28670 (java) S 28661 28663 26235 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187891546792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28671] ppid=28661 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/28663/task/28671/stat : 28671 (java) S 28661 28663 26235 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187890494248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28672] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28672/stat : 28672 (java) S 28661 28663 26235 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187889441704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28673] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28673/stat : 28673 (java) S 28661 28663 26235 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 18 0 346947539 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187888389160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28674] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28674/stat : 28674 (java) S 28661 28663 26235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346947540 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187875977320 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28675] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28675/stat : 28675 (java) S 28661 28663 26235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346947541 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187874923640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28676] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28676/stat : 28676 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346947541 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187873870984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28677] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28677/stat : 28677 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346947543 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187872819728 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28678] ppid=28661 vsize=2648568 CPUtime=0.36 cores=1,3,5,7
/proc/28663/task/28678/stat : 28678 (java) S 28661 28663 26235 0 -1 4202560 4248 0 0 0 35 1 0 0 20 0 18 0 346947543 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187871767096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28679] ppid=28661 vsize=2648568 CPUtime=0.44 cores=1,3,5,7
/proc/28663/task/28679/stat : 28679 (java) S 28661 28663 26235 0 -1 4202560 7339 0 0 0 42 2 0 0 20 0 18 0 346947543 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187870714552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28680] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28680/stat : 28680 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346947543 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187869662200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28681] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28681/stat : 28681 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346947543 2712133632 105610 33554432000 1073741824 1073778376 140735166587056 140187868609864 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 2648568
[startup+3.10067 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 28681
/proc/meminfo: memFree=25154764/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2648568 CPUtime=4.58 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 16087 0 1 0 433 25 0 0 20 0 18 0 346947537 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 662142 131800 2258 9 0 652835 0
[pid=28663/tid=28665] ppid=28661 vsize=2648568 CPUtime=2.85 cores=1,3,5,7
/proc/28663/task/28665/stat : 28665 (java) R 28661 28663 26235 0 -1 4202560 2925 0 1 0 278 7 0 0 20 0 18 0 346947538 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187911306872 251056416013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/28663/task/28666/stat : 28666 (java) S 28661 28663 26235 0 -1 4202560 39 0 0 0 6 1 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187895756968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28667] ppid=28661 vsize=2648568 CPUtime=0.12 cores=1,3,5,7
/proc/28663/task/28667/stat : 28667 (java) S 28661 28663 26235 0 -1 4202560 58 0 0 0 10 2 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187894704424 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28668] ppid=28661 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/28663/task/28668/stat : 28668 (java) S 28661 28663 26235 0 -1 4202560 49 0 0 0 6 2 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187893651880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28669] ppid=28661 vsize=2648568 CPUtime=0.14 cores=1,3,5,7
/proc/28663/task/28669/stat : 28669 (java) S 28661 28663 26235 0 -1 4202560 67 0 0 0 11 3 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187892599336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28670] ppid=28661 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/28663/task/28670/stat : 28670 (java) S 28661 28663 26235 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187891546792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28671] ppid=28661 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/28663/task/28671/stat : 28671 (java) S 28661 28663 26235 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187890494248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28672] ppid=28661 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/28663/task/28672/stat : 28672 (java) S 28661 28663 26235 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187889441704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28673] ppid=28661 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/28663/task/28673/stat : 28673 (java) S 28661 28663 26235 0 -1 4202560 49 0 0 0 6 2 0 0 20 0 18 0 346947539 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187888389160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28674] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28674/stat : 28674 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346947540 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187875977320 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28675] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28675/stat : 28675 (java) S 28661 28663 26235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346947541 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187874923640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28676] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28676/stat : 28676 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346947541 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187873870984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28677] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28677/stat : 28677 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346947543 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187872819728 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28678] ppid=28661 vsize=2648568 CPUtime=0.39 cores=1,3,5,7
/proc/28663/task/28678/stat : 28678 (java) S 28661 28663 26235 0 -1 4202560 4248 0 0 0 37 2 0 0 20 0 18 0 346947543 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187871767096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28679] ppid=28661 vsize=2648568 CPUtime=0.47 cores=1,3,5,7
/proc/28663/task/28679/stat : 28679 (java) S 28661 28663 26235 0 -1 4202560 7339 0 0 0 45 2 0 0 20 0 18 0 346947543 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187870714552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28680] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28680/stat : 28680 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346947543 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187869662200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28681] ppid=28661 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28681/stat : 28681 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346947543 2712133632 131800 33554432000 1073741824 1073778376 140735166587056 140187868609864 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 2648568
[startup+6.30068 s]
/proc/loadavg: 2.09 2.05 2.01 5/213 28681
/proc/meminfo: memFree=24986520/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2715132 CPUtime=10.11 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 16952 0 1 0 969 42 0 0 20 0 19 0 346947537 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 678783 175609 2272 9 0 669476 0
[pid=28663/tid=28665] ppid=28661 vsize=2715132 CPUtime=5.43 cores=1,3,5,7
/proc/28663/task/28665/stat : 28665 (java) R 28661 28663 26235 0 -1 4202560 2937 0 1 0 535 8 0 0 20 0 19 0 346947538 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187911299408 140187750261677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/28663/task/28666/stat : 28666 (java) S 28661 28663 26235 0 -1 4202560 198 0 0 0 33 4 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187895756968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28667] ppid=28661 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/28663/task/28667/stat : 28667 (java) S 28661 28663 26235 0 -1 4202560 111 0 0 0 35 5 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187894704424 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28668] ppid=28661 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/28663/task/28668/stat : 28668 (java) S 28661 28663 26235 0 -1 4202560 118 0 0 0 34 4 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187893651880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28669] ppid=28661 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/28663/task/28669/stat : 28669 (java) S 28661 28663 26235 0 -1 4202560 182 0 0 0 49 6 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187892599336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28670] ppid=28661 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/28663/task/28670/stat : 28670 (java) S 28661 28663 26235 0 -1 4202560 155 0 0 0 39 3 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187891546792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28671] ppid=28661 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/28663/task/28671/stat : 28671 (java) S 28661 28663 26235 0 -1 4202560 209 0 0 0 35 4 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187890494248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28672] ppid=28661 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/28663/task/28672/stat : 28672 (java) S 28661 28663 26235 0 -1 4202560 119 0 0 0 26 4 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187889441704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28673] ppid=28661 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/28663/task/28673/stat : 28673 (java) S 28661 28663 26235 0 -1 4202560 116 0 0 0 33 4 0 0 20 0 19 0 346947539 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187888389160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28674] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28674/stat : 28674 (java) S 28661 28663 26235 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346947540 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187875977320 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28675] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28675/stat : 28675 (java) S 28661 28663 26235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187874923640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28676] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28676/stat : 28676 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187873870984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28677] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28677/stat : 28677 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187872819728 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28678] ppid=28661 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/28663/task/28678/stat : 28678 (java) S 28661 28663 26235 0 -1 4202560 4263 0 0 0 69 2 0 0 20 0 19 0 346947543 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187871767096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28679] ppid=28661 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/28663/task/28679/stat : 28679 (java) S 28661 28663 26235 0 -1 4202560 7353 0 0 0 64 2 0 0 20 0 19 0 346947543 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187870714552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28680] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28680/stat : 28680 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187869662200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28681] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28681/stat : 28681 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 175609 33554432000 1073741824 1073778376 140735166587056 140187868609864 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
/proc/loadavg: 2.00 2.03 2.00 3/214 28682
/proc/meminfo: memFree=24906428/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2715132 CPUtime=17.88 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 18163 0 1 0 1740 48 0 0 20 0 19 0 346947537 2780295168 188002 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 678783 188002 2273 9 0 669476 0
[pid=28663/tid=28665] ppid=28661 vsize=2715132 CPUtime=11.38 cores=1,3,5,7
################
# More data... #
################
[pid=28663/tid=28671] ppid=28661 vsize=2715132 CPUtime=15.04 cores=1,3,5,7
/proc/28663/task/28671/stat : 28671 (java) S 28661 28663 26235 0 -1 4202560 434 0 0 0 1491 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187890494248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28672] ppid=28661 vsize=2715132 CPUtime=14.79 cores=1,3,5,7
/proc/28663/task/28672/stat : 28672 (java) S 28661 28663 26235 0 -1 4202560 423 0 0 0 1464 15 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187889441704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28673] ppid=28661 vsize=2715132 CPUtime=15.45 cores=1,3,5,7
/proc/28663/task/28673/stat : 28673 (java) S 28661 28663 26235 0 -1 4202560 435 0 0 0 1532 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187888389160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28674] ppid=28661 vsize=2715132 CPUtime=1.05 cores=1,3,5,7
/proc/28663/task/28674/stat : 28674 (java) S 28661 28663 26235 0 -1 4202560 7725 0 0 0 97 8 0 0 20 0 19 0 346947540 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187875977320 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28675] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28675/stat : 28675 (java) S 28661 28663 26235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187874923640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28676] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28676/stat : 28676 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187873870984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28677] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28677/stat : 28677 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187872819728 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28678] ppid=28661 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/28663/task/28678/stat : 28678 (java) S 28661 28663 26235 0 -1 4202560 4269 0 0 0 80 2 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187871767096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28679] ppid=28661 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/28663/task/28679/stat : 28679 (java) S 28661 28663 26235 0 -1 4202560 13924 0 0 0 120 3 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187870714552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28680] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28680/stat : 28680 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187869662200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28681] ppid=28661 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/28663/task/28681/stat : 28681 (java) S 28661 28663 26235 0 -1 4202560 87 0 0 0 25 42 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187868609864 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28682] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28682/stat : 28682 (java) S 28661 28663 26235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346948094 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187749311272 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1631.88
Current children cumulated vsize (KiB) 2715132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/213 28753
/proc/meminfo: memFree=24395848/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2715132 CPUtime=1695.9 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 34570 0 1 0 169421 169 0 0 20 0 19 0 346947537 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 678783 328736 2285 9 0 669476 0
[pid=28663/tid=28665] ppid=28661 vsize=2715132 CPUtime=1567.45 cores=1,3,5,7
/proc/28663/task/28665/stat : 28665 (java) R 28661 28663 26235 0 -1 4202560 3916 0 1 0 156710 35 0 0 20 0 19 0 346947538 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187911306576 140187750261130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=2715132 CPUtime=15.23 cores=1,3,5,7
/proc/28663/task/28666/stat : 28666 (java) S 28661 28663 26235 0 -1 4202560 423 0 0 0 1511 12 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187895756968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28667] ppid=28661 vsize=2715132 CPUtime=15.49 cores=1,3,5,7
/proc/28663/task/28667/stat : 28667 (java) S 28661 28663 26235 0 -1 4202560 434 0 0 0 1536 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187894704424 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28668] ppid=28661 vsize=2715132 CPUtime=15.49 cores=1,3,5,7
/proc/28663/task/28668/stat : 28668 (java) S 28661 28663 26235 0 -1 4202560 415 0 0 0 1536 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187893651880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28669] ppid=28661 vsize=2715132 CPUtime=15.98 cores=1,3,5,7
/proc/28663/task/28669/stat : 28669 (java) S 28661 28663 26235 0 -1 4202560 469 0 0 0 1582 16 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187892599336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28670] ppid=28661 vsize=2715132 CPUtime=15.86 cores=1,3,5,7
/proc/28663/task/28670/stat : 28670 (java) S 28661 28663 26235 0 -1 4202560 431 0 0 0 1573 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187891546792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28671] ppid=28661 vsize=2715132 CPUtime=15.77 cores=1,3,5,7
/proc/28663/task/28671/stat : 28671 (java) S 28661 28663 26235 0 -1 4202560 434 0 0 0 1563 14 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187890494248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28672] ppid=28661 vsize=2715132 CPUtime=15.44 cores=1,3,5,7
/proc/28663/task/28672/stat : 28672 (java) S 28661 28663 26235 0 -1 4202560 423 0 0 0 1529 15 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187889441704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28673] ppid=28661 vsize=2715132 CPUtime=16.18 cores=1,3,5,7
/proc/28663/task/28673/stat : 28673 (java) S 28661 28663 26235 0 -1 4202560 435 0 0 0 1605 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187888389160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28674] ppid=28661 vsize=2715132 CPUtime=1.06 cores=1,3,5,7
/proc/28663/task/28674/stat : 28674 (java) S 28661 28663 26235 0 -1 4202560 7727 0 0 0 98 8 0 0 20 0 19 0 346947540 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187875977320 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28675] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28675/stat : 28675 (java) S 28661 28663 26235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187874923640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28676] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28676/stat : 28676 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187873870984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28677] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28677/stat : 28677 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187872819728 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28678] ppid=28661 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/28663/task/28678/stat : 28678 (java) S 28661 28663 26235 0 -1 4202560 4269 0 0 0 80 2 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187871767096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28679] ppid=28661 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/28663/task/28679/stat : 28679 (java) S 28661 28663 26235 0 -1 4202560 13924 0 0 0 120 3 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187870714552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28680] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28680/stat : 28680 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187869662200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28681] ppid=28661 vsize=2715132 CPUtime=0.69 cores=1,3,5,7
/proc/28663/task/28681/stat : 28681 (java) S 28661 28663 26235 0 -1 4202560 89 0 0 0 25 44 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187868609864 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28682] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28682/stat : 28682 (java) S 28661 28663 26235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346948094 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187749311272 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1695.9
Current children cumulated vsize (KiB) 2715132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/213 28753
/proc/meminfo: memFree=24396100/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2715132 CPUtime=1760.46 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 34615 0 1 0 175872 174 0 0 20 0 19 0 346947537 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 678783 328736 2285 9 0 669476 0
[pid=28663/tid=28665] ppid=28661 vsize=2715132 CPUtime=1625.81 cores=1,3,5,7
/proc/28663/task/28665/stat : 28665 (java) R 28661 28663 26235 0 -1 4202560 3953 0 1 0 162545 36 0 0 20 0 19 0 346947538 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187911306544 140187750333567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=2715132 CPUtime=16.01 cores=1,3,5,7
/proc/28663/task/28666/stat : 28666 (java) S 28661 28663 26235 0 -1 4202560 423 0 0 0 1589 12 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187895756968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28667] ppid=28661 vsize=2715132 CPUtime=16.23 cores=1,3,5,7
/proc/28663/task/28667/stat : 28667 (java) S 28661 28663 26235 0 -1 4202560 434 0 0 0 1609 14 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187894704424 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28668] ppid=28661 vsize=2715132 CPUtime=16.3 cores=1,3,5,7
/proc/28663/task/28668/stat : 28668 (java) S 28661 28663 26235 0 -1 4202560 415 0 0 0 1617 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187893651880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28669] ppid=28661 vsize=2715132 CPUtime=16.84 cores=1,3,5,7
/proc/28663/task/28669/stat : 28669 (java) S 28661 28663 26235 0 -1 4202560 469 0 0 0 1667 17 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187892599336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28670] ppid=28661 vsize=2715132 CPUtime=16.63 cores=1,3,5,7
/proc/28663/task/28670/stat : 28670 (java) S 28661 28663 26235 0 -1 4202560 431 0 0 0 1649 14 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187891546792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28671] ppid=28661 vsize=2715132 CPUtime=16.4 cores=1,3,5,7
/proc/28663/task/28671/stat : 28671 (java) S 28661 28663 26235 0 -1 4202560 434 0 0 0 1626 14 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187890494248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28672] ppid=28661 vsize=2715132 CPUtime=16.2 cores=1,3,5,7
/proc/28663/task/28672/stat : 28672 (java) S 28661 28663 26235 0 -1 4202560 423 0 0 0 1605 15 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187889441704 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28673] ppid=28661 vsize=2715132 CPUtime=17 cores=1,3,5,7
/proc/28663/task/28673/stat : 28673 (java) S 28661 28663 26235 0 -1 4202560 435 0 0 0 1687 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187888389160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28674] ppid=28661 vsize=2715132 CPUtime=1.06 cores=1,3,5,7
/proc/28663/task/28674/stat : 28674 (java) S 28661 28663 26235 0 -1 4202560 7731 0 0 0 98 8 0 0 20 0 19 0 346947540 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187875977320 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28675] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28675/stat : 28675 (java) S 28661 28663 26235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187874923640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28676] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28676/stat : 28676 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187873870984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28677] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28677/stat : 28677 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187872819728 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28678] ppid=28661 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/28663/task/28678/stat : 28678 (java) S 28661 28663 26235 0 -1 4202560 4269 0 0 0 80 2 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187871767096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28679] ppid=28661 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/28663/task/28679/stat : 28679 (java) S 28661 28663 26235 0 -1 4202560 13924 0 0 0 120 3 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187870714552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28680] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28680/stat : 28680 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187869662200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28681] ppid=28661 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/28663/task/28681/stat : 28681 (java) S 28661 28663 26235 0 -1 4202560 93 0 0 0 26 46 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187868609864 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28682] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28682/stat : 28682 (java) S 28661 28663 26235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346948094 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187749311272 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1699.2 s]
/proc/loadavg: 2.35 2.12 2.04 11/213 28754
/proc/meminfo: memFree=24396224/32873648 swapFree=7368/7368
[pid=28663] ppid=28661 vsize=2715132 CPUtime=1800.15 cores=1,3,5,7
/proc/28663/stat : 28663 (java) S 28661 28663 26235 0 -1 4202496 34641 0 1 0 179839 176 0 0 20 0 19 0 346947537 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140735166578192 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28663/statm: 678783 328736 2285 9 0 669476 0
[pid=28663/tid=28665] ppid=28661 vsize=2715132 CPUtime=1661.71 cores=1,3,5,7
/proc/28663/task/28665/stat : 28665 (java) S 28661 28663 26235 0 -1 4202560 3975 0 1 0 166134 37 0 0 20 0 19 0 346947538 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187911306680 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28666] ppid=28661 vsize=2715132 CPUtime=16.48 cores=1,3,5,7
/proc/28663/task/28666/stat : 28666 (java) R 28661 28663 26235 0 -1 4202560 423 0 0 0 1635 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187895756968 251052985479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28667] ppid=28661 vsize=2715132 CPUtime=16.7 cores=1,3,5,7
/proc/28663/task/28667/stat : 28667 (java) R 28661 28663 26235 0 -1 4202560 434 0 0 0 1656 14 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187894704552 140187915064790 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28668] ppid=28661 vsize=2715132 CPUtime=16.78 cores=1,3,5,7
/proc/28663/task/28668/stat : 28668 (java) R 28661 28663 26235 0 -1 4202560 415 0 0 0 1665 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187893652008 251052985479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28669] ppid=28661 vsize=2715132 CPUtime=17.24 cores=1,3,5,7
/proc/28663/task/28669/stat : 28669 (java) R 28661 28663 26235 0 -1 4202560 469 0 0 0 1707 17 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187892599464 251052985479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28670] ppid=28661 vsize=2715132 CPUtime=17.12 cores=1,3,5,7
/proc/28663/task/28670/stat : 28670 (java) R 28661 28663 26235 0 -1 4202560 431 0 0 0 1698 14 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187891546920 251052985479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28671] ppid=28661 vsize=2715132 CPUtime=16.87 cores=1,3,5,7
/proc/28663/task/28671/stat : 28671 (java) R 28661 28663 26235 0 -1 4202560 434 0 0 0 1673 14 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187890494376 251052985479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28672] ppid=28661 vsize=2715132 CPUtime=16.74 cores=1,3,5,7
/proc/28663/task/28672/stat : 28672 (java) R 28661 28663 26235 0 -1 4202560 423 0 0 0 1659 15 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187889441832 251052985479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28673] ppid=28661 vsize=2715132 CPUtime=17.46 cores=1,3,5,7
/proc/28663/task/28673/stat : 28673 (java) R 28661 28663 26235 0 -1 4202560 435 0 0 0 1733 13 0 0 20 0 19 0 346947539 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187888389288 251052985479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28674] ppid=28661 vsize=2715132 CPUtime=1.07 cores=1,3,5,7
/proc/28663/task/28674/stat : 28674 (java) S 28661 28663 26235 0 -1 4202560 7733 0 0 0 99 8 0 0 20 0 19 0 346947540 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187875976200 251056403516 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28663/tid=28675] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28675/stat : 28675 (java) S 28661 28663 26235 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187874923640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28676] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28676/stat : 28676 (java) S 28661 28663 26235 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346947541 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187873870984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28677] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28677/stat : 28677 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187872819728 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28663/tid=28678] ppid=28661 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/28663/task/28678/stat : 28678 (java) S 28661 28663 26235 0 -1 4202560 4269 0 0 0 80 2 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187871767096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28679] ppid=28661 vsize=2715132 CPUtime=1.23 cores=1,3,5,7
/proc/28663/task/28679/stat : 28679 (java) S 28661 28663 26235 0 -1 4202560 13924 0 0 0 120 3 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187870714552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28663/tid=28680] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28680/stat : 28680 (java) S 28661 28663 26235 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187869662200 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28681] ppid=28661 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/28663/task/28681/stat : 28681 (java) S 28661 28663 26235 0 -1 4202560 95 0 0 0 27 47 0 0 20 0 19 0 346947543 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187868609864 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28663/tid=28682] ppid=28661 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/28663/task/28682/stat : 28682 (java) S 28661 28663 26235 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346948094 2780295168 328736 33554432000 1073741824 1073778376 140735166587056 140187749311272 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1699.25
CPU time (s): 1801.28
CPU user time (s): 1799.03
CPU system time (s): 2.25066
CPU usage (%): 106.004
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 2.25066
maximum resident set size= 1348020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34685
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67261
involuntary context switches= 154691
runsolver used 5.8921 second user time and 14.2228 second system time
The end