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-3731134-1338737134/watcher-3731134-1338737134 -o /tmp/evaluation-result-3731134-1338737134/solver-3731134-1338737134 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731134-1338737134.opb
running on 4 cores: 0,2,4,6
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.00 2.00 2.00 3/194 26038
/proc/meminfo: memFree=24886772/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/26038/stat : 26038 (java6) D 26036 26038 12644 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 339838799 9515008 184 33554432000 1073741824 1073778376 140737356896608 140737356887832 270707355063 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 2323 184 142 9 0 71 0
[startup+0.0941619 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26038
/proc/meminfo: memFree=24886772/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 4663 0 1 0 8 1 0 0 20 0 18 0 339838799 2712133632 6381 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 662142 6381 2100 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.100203 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26038
/proc/meminfo: memFree=24886772/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 4693 0 1 0 8 1 0 0 20 0 18 0 339838799 2712133632 6411 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 662142 6411 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300221 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26038
/proc/meminfo: memFree=24886772/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 7655 0 1 0 52 1 0 0 20 0 19 0 339838799 2780295168 9440 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 9441 2233 9 0 669476 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2715132
[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 26038
/proc/meminfo: memFree=24886772/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=1.04 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 8046 0 1 0 102 2 0 0 20 0 19 0 339838799 2780295168 29450 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 29450 2234 9 0 669476 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 2715132
[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26057
/proc/meminfo: memFree=24711756/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=1.89 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 8150 0 1 0 184 5 0 0 20 0 19 0 339838799 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 78609 2240 9 0 669476 0
[pid=26038/tid=26040] ppid=26036 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/26038/task/26040/stat : 26040 (java) R 26036 26038 12644 0 -1 4202560 2895 0 1 0 142 4 0 0 20 0 19 0 339838800 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751615998480 139751475101406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26041] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26041/stat : 26041 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751600449832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26042] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26042/stat : 26042 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751599397032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26043] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26043/stat : 26043 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751598344744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26044] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26044/stat : 26044 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751597291944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26045] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26045/stat : 26045 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751596239656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26046] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26046/stat : 26046 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751595186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26047] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26047/stat : 26047 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751594134568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26048] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26048/stat : 26048 (java) S 26036 26038 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751593081768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26049] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26049/stat : 26049 (java) S 26036 26038 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339838802 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751463229672 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26050] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26050/stat : 26050 (java) S 26036 26038 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751462175736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26051] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26051/stat : 26051 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751461123336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26052] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26052/stat : 26052 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751460071824 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26053] ppid=26036 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/26038/task/26053/stat : 26053 (java) S 26036 26038 12644 0 -1 4202560 1986 0 0 0 21 0 0 0 20 0 19 0 339838805 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139751459019448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26054] ppid=26036 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/26038/task/26054/stat : 26054 (java) S 26036 26038 12644 0 -1 4202560 2075 0 0 0 18 0 0 0 20 0 19 0 339838805 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139750585395768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26055] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26055/stat : 26055 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139750584343672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26056] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26056/stat : 26056 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139750583291080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26057] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26057/stat : 26057 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838817 2780295168 78609 33554432000 1073741824 1073778376 140734266138832 139750582236072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 2715132
[startup+3.10073 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26057
/proc/meminfo: memFree=24524520/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=3.5 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 8200 0 1 0 344 6 0 0 20 0 19 0 339838799 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 92453 2254 9 0 669476 0
[pid=26038/tid=26040] ppid=26036 vsize=2715132 CPUtime=3.06 cores=0,2,4,6
/proc/26038/task/26040/stat : 26040 (java) R 26036 26038 12644 0 -1 4202560 2924 0 1 0 300 6 0 0 20 0 19 0 339838800 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751615999400 139751475057474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26041] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26041/stat : 26041 (java) S 26036 26038 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751600449832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26042] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26042/stat : 26042 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751599397032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26043] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26043/stat : 26043 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751598344744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26044] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26044/stat : 26044 (java) S 26036 26038 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751597291944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26045] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26045/stat : 26045 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751596239656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26046] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26046/stat : 26046 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751595186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26047] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26047/stat : 26047 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751594134568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26048] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26048/stat : 26048 (java) S 26036 26038 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751593081768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26049] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26049/stat : 26049 (java) S 26036 26038 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339838802 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751463229672 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26050] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26050/stat : 26050 (java) S 26036 26038 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751462175736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26051] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26051/stat : 26051 (java) S 26036 26038 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751461123336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26052] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26052/stat : 26052 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751460071824 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26053] ppid=26036 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/26038/task/26053/stat : 26053 (java) S 26036 26038 12644 0 -1 4202560 1986 0 0 0 21 0 0 0 20 0 19 0 339838805 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139751459019448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26054] ppid=26036 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/26038/task/26054/stat : 26054 (java) S 26036 26038 12644 0 -1 4202560 2075 0 0 0 18 0 0 0 20 0 19 0 339838805 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139750585395768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26055] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26055/stat : 26055 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139750584343672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26056] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26056/stat : 26056 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139750583291080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26057] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26057/stat : 26057 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838817 2780295168 92453 33554432000 1073741824 1073778376 140734266138832 139750582236072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 2715132
[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26057
/proc/meminfo: memFree=24495860/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=7.05 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 15981 0 1 0 697 8 0 0 20 0 19 0 339838799 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 99914 2254 9 0 669476 0
[pid=26038/tid=26040] ppid=26036 vsize=2715132 CPUtime=6.25 cores=0,2,4,6
/proc/26038/task/26040/stat : 26040 (java) R 26036 26038 12644 0 -1 4202560 2928 0 1 0 619 6 0 0 20 0 19 0 339838800 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751615999312 139751475043245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26041] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26041/stat : 26041 (java) S 26036 26038 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751600449832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26042] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26042/stat : 26042 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751599397032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26043] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26043/stat : 26043 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751598344744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26044] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26044/stat : 26044 (java) S 26036 26038 12644 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751597291944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26045] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26045/stat : 26045 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751596239656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26046] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26046/stat : 26046 (java) S 26036 26038 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751595186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26047] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26047/stat : 26047 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751594134568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26048] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26048/stat : 26048 (java) S 26036 26038 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339838801 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751593081768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26049] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26049/stat : 26049 (java) S 26036 26038 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339838802 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751463229672 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26050] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26050/stat : 26050 (java) S 26036 26038 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751462175736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26051] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26051/stat : 26051 (java) S 26036 26038 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751461123336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26052] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26052/stat : 26052 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751460071824 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26053] ppid=26036 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/26038/task/26053/stat : 26053 (java) S 26036 26038 12644 0 -1 4202560 1986 0 0 0 23 0 0 0 20 0 19 0 339838805 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139751459019448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26054] ppid=26036 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/26038/task/26054/stat : 26054 (java) S 26036 26038 12644 0 -1 4202560 9826 0 0 0 47 2 0 0 20 0 19 0 339838805 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139750585395768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26055] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26055/stat : 26055 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139750584343672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26056] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26056/stat : 26056 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139750583291080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26057] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26057/stat : 26057 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838817 2780295168 99914 33554432000 1073741824 1073778376 140734266138832 139750582236072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=26038/tid=26046] ppid=26036 vsize=2715132 CPUtime=3.14 cores=0,2,4,6
/proc/26038/task/26046/stat : 26046 (java) S 26036 26038 12644 0 -1 4202560 186 0 0 0 309 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751595186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26047] ppid=26036 vsize=2715132 CPUtime=3.14 cores=0,2,4,6
/proc/26038/task/26047/stat : 26047 (java) S 26036 26038 12644 0 -1 4202560 203 0 0 0 307 7 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751594134568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26048] ppid=26036 vsize=2715132 CPUtime=3.24 cores=0,2,4,6
/proc/26038/task/26048/stat : 26048 (java) S 26036 26038 12644 0 -1 4202560 185 0 0 0 319 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751593081768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26049] ppid=26036 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/26038/task/26049/stat : 26049 (java) S 26036 26038 12644 0 -1 4202560 116 0 0 0 47 2 0 0 20 0 19 0 339838802 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751463229672 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26050] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26050/stat : 26050 (java) S 26036 26038 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751462175736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26051] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26051/stat : 26051 (java) S 26036 26038 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751461123336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26052] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26052/stat : 26052 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751460071824 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26053] ppid=26036 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/26038/task/26053/stat : 26053 (java) S 26036 26038 12644 0 -1 4202560 1996 0 0 0 30 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751459019448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26054] ppid=26036 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/26038/task/26054/stat : 26054 (java) S 26036 26038 12644 0 -1 4202560 9835 0 0 0 52 2 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750585395768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26055] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26055/stat : 26055 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750584343672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26056] ppid=26036 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/26038/task/26056/stat : 26056 (java) S 26036 26038 12644 0 -1 4202560 93 0 0 0 28 28 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750583291080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26057] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26057/stat : 26057 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838817 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750582236072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1622.11
Current children cumulated vsize (KiB) 2715132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 26413
/proc/meminfo: memFree=24675188/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=1682.72 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 17871 0 1 0 168183 89 0 0 20 0 19 0 339838799 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 324096 2267 9 0 669476 0
[pid=26038/tid=26040] ppid=26036 vsize=2715132 CPUtime=1653.93 cores=0,2,4,6
/proc/26038/task/26040/stat : 26040 (java) R 26036 26038 12644 0 -1 4202560 3176 0 1 0 165359 34 0 0 20 0 19 0 339838800 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751615999312 139751475137765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26041] ppid=26036 vsize=2715132 CPUtime=3.32 cores=0,2,4,6
/proc/26038/task/26041/stat : 26041 (java) S 26036 26038 12644 0 -1 4202560 172 0 0 0 325 7 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751600449832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26042] ppid=26036 vsize=2715132 CPUtime=3.26 cores=0,2,4,6
/proc/26038/task/26042/stat : 26042 (java) S 26036 26038 12644 0 -1 4202560 178 0 0 0 320 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751599397032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26043] ppid=26036 vsize=2715132 CPUtime=3.37 cores=0,2,4,6
/proc/26038/task/26043/stat : 26043 (java) S 26036 26038 12644 0 -1 4202560 181 0 0 0 331 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751598344744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26044] ppid=26036 vsize=2715132 CPUtime=3.38 cores=0,2,4,6
/proc/26038/task/26044/stat : 26044 (java) S 26036 26038 12644 0 -1 4202560 169 0 0 0 332 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751597291944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26045] ppid=26036 vsize=2715132 CPUtime=3.43 cores=0,2,4,6
/proc/26038/task/26045/stat : 26045 (java) S 26036 26038 12644 0 -1 4202560 192 0 0 0 335 8 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751596239656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26046] ppid=26036 vsize=2715132 CPUtime=3.23 cores=0,2,4,6
/proc/26038/task/26046/stat : 26046 (java) S 26036 26038 12644 0 -1 4202560 186 0 0 0 318 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751595186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26047] ppid=26036 vsize=2715132 CPUtime=3.27 cores=0,2,4,6
/proc/26038/task/26047/stat : 26047 (java) S 26036 26038 12644 0 -1 4202560 203 0 0 0 320 7 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751594134568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26048] ppid=26036 vsize=2715132 CPUtime=3.34 cores=0,2,4,6
/proc/26038/task/26048/stat : 26048 (java) S 26036 26038 12644 0 -1 4202560 185 0 0 0 329 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751593081768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26049] ppid=26036 vsize=2715132 CPUtime=0.93 cores=0,2,4,6
/proc/26038/task/26049/stat : 26049 (java) S 26036 26038 12644 0 -1 4202560 119 0 0 0 90 3 0 0 20 0 19 0 339838802 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751463229672 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26050] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26050/stat : 26050 (java) S 26036 26038 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751462175736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26051] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26051/stat : 26051 (java) S 26036 26038 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751461123336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26052] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26052/stat : 26052 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751460071824 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26053] ppid=26036 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/26038/task/26053/stat : 26053 (java) S 26036 26038 12644 0 -1 4202560 1998 0 0 0 30 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751459019448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26054] ppid=26036 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/26038/task/26054/stat : 26054 (java) S 26036 26038 12644 0 -1 4202560 9835 0 0 0 52 2 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750585395768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26055] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26055/stat : 26055 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750584343672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26056] ppid=26036 vsize=2715132 CPUtime=0.58 cores=0,2,4,6
/proc/26038/task/26056/stat : 26056 (java) S 26036 26038 12644 0 -1 4202560 97 0 0 0 29 29 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750583291080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26057] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26057/stat : 26057 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838817 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750582236072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1682.72
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 26413
/proc/meminfo: memFree=24673268/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=1743.43 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 17882 0 1 0 174253 90 0 0 20 0 19 0 339838799 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 324096 2267 9 0 669476 0
[pid=26038/tid=26040] ppid=26036 vsize=2715132 CPUtime=1713.67 cores=0,2,4,6
/proc/26038/task/26040/stat : 26040 (java) R 26036 26038 12644 0 -1 4202560 3183 0 1 0 171332 35 0 0 20 0 19 0 339838800 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751615999264 139751475137765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26041] ppid=26036 vsize=2715132 CPUtime=3.44 cores=0,2,4,6
/proc/26038/task/26041/stat : 26041 (java) S 26036 26038 12644 0 -1 4202560 172 0 0 0 337 7 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751600449832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26042] ppid=26036 vsize=2715132 CPUtime=3.39 cores=0,2,4,6
/proc/26038/task/26042/stat : 26042 (java) S 26036 26038 12644 0 -1 4202560 178 0 0 0 333 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751599397032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26043] ppid=26036 vsize=2715132 CPUtime=3.49 cores=0,2,4,6
/proc/26038/task/26043/stat : 26043 (java) S 26036 26038 12644 0 -1 4202560 181 0 0 0 343 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751598344744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26044] ppid=26036 vsize=2715132 CPUtime=3.48 cores=0,2,4,6
/proc/26038/task/26044/stat : 26044 (java) S 26036 26038 12644 0 -1 4202560 169 0 0 0 342 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751597291944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26045] ppid=26036 vsize=2715132 CPUtime=3.58 cores=0,2,4,6
/proc/26038/task/26045/stat : 26045 (java) S 26036 26038 12644 0 -1 4202560 192 0 0 0 350 8 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751596239656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26046] ppid=26036 vsize=2715132 CPUtime=3.35 cores=0,2,4,6
/proc/26038/task/26046/stat : 26046 (java) S 26036 26038 12644 0 -1 4202560 186 0 0 0 330 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751595186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26047] ppid=26036 vsize=2715132 CPUtime=3.39 cores=0,2,4,6
/proc/26038/task/26047/stat : 26047 (java) S 26036 26038 12644 0 -1 4202560 203 0 0 0 332 7 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751594134568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26048] ppid=26036 vsize=2715132 CPUtime=3.46 cores=0,2,4,6
/proc/26038/task/26048/stat : 26048 (java) S 26036 26038 12644 0 -1 4202560 185 0 0 0 341 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751593081768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26049] ppid=26036 vsize=2715132 CPUtime=0.93 cores=0,2,4,6
/proc/26038/task/26049/stat : 26049 (java) S 26036 26038 12644 0 -1 4202560 121 0 0 0 90 3 0 0 20 0 19 0 339838802 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751463229672 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26050] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26050/stat : 26050 (java) S 26036 26038 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751462175736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26051] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26051/stat : 26051 (java) S 26036 26038 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751461123336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26052] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26052/stat : 26052 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751460071824 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26053] ppid=26036 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/26038/task/26053/stat : 26053 (java) S 26036 26038 12644 0 -1 4202560 1998 0 0 0 30 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751459019448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26054] ppid=26036 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/26038/task/26054/stat : 26054 (java) S 26036 26038 12644 0 -1 4202560 9835 0 0 0 52 2 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750585395768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26055] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26055/stat : 26055 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750584343672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26056] ppid=26036 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/26038/task/26056/stat : 26056 (java) S 26036 26038 12644 0 -1 4202560 99 0 0 0 31 29 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750583291080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26057] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26057/stat : 26057 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838817 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750582236072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1743.43
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1778.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 26413
/proc/meminfo: memFree=24660860/32873648 swapFree=6864/6864
[pid=26038] ppid=26036 vsize=2715132 CPUtime=1800.01 cores=0,2,4,6
/proc/26038/stat : 26038 (java) S 26036 26038 12644 0 -1 4202496 17897 0 1 0 179910 91 0 0 20 0 19 0 339838799 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 140734266129968 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26038/statm: 678783 324096 2267 9 0 669476 0
[pid=26038/tid=26040] ppid=26036 vsize=2715132 CPUtime=1769.33 cores=0,2,4,6
/proc/26038/task/26040/stat : 26040 (java) R 26036 26038 12644 0 -1 4202560 3190 0 1 0 176898 35 0 0 20 0 19 0 339838800 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751615999312 139751475065216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26041] ppid=26036 vsize=2715132 CPUtime=3.58 cores=0,2,4,6
/proc/26038/task/26041/stat : 26041 (java) S 26036 26038 12644 0 -1 4202560 172 0 0 0 351 7 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751600449832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26042] ppid=26036 vsize=2715132 CPUtime=3.47 cores=0,2,4,6
/proc/26038/task/26042/stat : 26042 (java) S 26036 26038 12644 0 -1 4202560 178 0 0 0 341 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751599397032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26043] ppid=26036 vsize=2715132 CPUtime=3.62 cores=0,2,4,6
/proc/26038/task/26043/stat : 26043 (java) S 26036 26038 12644 0 -1 4202560 181 0 0 0 356 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751598344744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26044] ppid=26036 vsize=2715132 CPUtime=3.59 cores=0,2,4,6
/proc/26038/task/26044/stat : 26044 (java) S 26036 26038 12644 0 -1 4202560 169 0 0 0 353 6 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751597291944 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26045] ppid=26036 vsize=2715132 CPUtime=3.66 cores=0,2,4,6
/proc/26038/task/26045/stat : 26045 (java) S 26036 26038 12644 0 -1 4202560 192 0 0 0 358 8 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751596239656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26046] ppid=26036 vsize=2715132 CPUtime=3.47 cores=0,2,4,6
/proc/26038/task/26046/stat : 26046 (java) S 26036 26038 12644 0 -1 4202560 186 0 0 0 342 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751595186856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26047] ppid=26036 vsize=2715132 CPUtime=3.51 cores=0,2,4,6
/proc/26038/task/26047/stat : 26047 (java) S 26036 26038 12644 0 -1 4202560 203 0 0 0 344 7 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751594134568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26048] ppid=26036 vsize=2715132 CPUtime=3.58 cores=0,2,4,6
/proc/26038/task/26048/stat : 26048 (java) S 26036 26038 12644 0 -1 4202560 185 0 0 0 353 5 0 0 20 0 19 0 339838801 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751593081768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26049] ppid=26036 vsize=2715132 CPUtime=0.93 cores=0,2,4,6
/proc/26038/task/26049/stat : 26049 (java) S 26036 26038 12644 0 -1 4202560 125 0 0 0 90 3 0 0 20 0 19 0 339838802 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751463229672 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26038/tid=26050] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26050/stat : 26050 (java) S 26036 26038 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751462175736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26051] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26051/stat : 26051 (java) S 26036 26038 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339838803 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751461123336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26052] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26052/stat : 26052 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751460071824 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26053] ppid=26036 vsize=2715132 CPUtime=0.3 cores=0,2,4,6
/proc/26038/task/26053/stat : 26053 (java) S 26036 26038 12644 0 -1 4202560 1998 0 0 0 30 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139751459019448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26054] ppid=26036 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/26038/task/26054/stat : 26054 (java) S 26036 26038 12644 0 -1 4202560 9835 0 0 0 52 2 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750585395768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26038/tid=26055] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26055/stat : 26055 (java) S 26036 26038 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750584343672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26038/tid=26056] ppid=26036 vsize=2715132 CPUtime=0.63 cores=0,2,4,6
/proc/26038/task/26056/stat : 26056 (java) S 26036 26038 12644 0 -1 4202560 103 0 0 0 32 31 0 0 20 0 19 0 339838805 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750583291080 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26038/tid=26057] ppid=26036 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/26038/task/26057/stat : 26057 (java) S 26036 26038 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339838817 2780295168 324096 33554432000 1073741824 1073778376 140734266138832 139750582236072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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): 1778.26
CPU time (s): 1800.57
CPU user time (s): 1799.22
CPU system time (s): 1.35079
CPU usage (%): 101.254
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 1.35079
maximum resident set size= 1296612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17957
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45653
involuntary context switches= 60048
runsolver used 6.13007 second user time and 15.1947 second system time
The end