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-3744620-1338805129/watcher-3744620-1338805129 -o /tmp/evaluation-result-3744620-1338805129/solver-3744620-1338805129 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744620-1338805129.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.02 2.01 3/194 11205
/proc/meminfo: memFree=26659244/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11205/stat : 11205 (java) D 11203 11205 8924 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346638538 9515008 183 33554432000 1073741824 1073778376 140734038426752 140734038417784 272886480565 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/11205/statm: 2323 183 140 9 0 71 0
[startup+0.0514959 s]
/proc/loadavg: 2.00 2.02 2.01 3/194 11205
/proc/meminfo: memFree=26659244/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 3970 0 1 0 2 0 0 0 20 0 13 0 346638538 2686889984 5177 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 655979 5177 1700 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100253 s]
/proc/loadavg: 2.00 2.02 2.01 3/194 11205
/proc/meminfo: memFree=26659244/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 4873 0 1 0 7 0 0 0 20 0 18 0 346638538 3028844544 6590 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 739464 6591 2097 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.30022 s]
/proc/loadavg: 2.00 2.02 2.01 3/194 11205
/proc/meminfo: memFree=26659244/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=2957856 CPUtime=0.45 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 6500 0 1 0 44 1 0 0 20 0 18 0 346638538 3028844544 9881 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 739464 9882 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856
[startup+0.700219 s]
/proc/loadavg: 2.00 2.02 2.01 3/194 11205
/proc/meminfo: memFree=26659244/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=2957856 CPUtime=1.48 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 10736 0 1 0 144 4 0 0 20 0 18 0 346638538 3028844544 39335 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 739464 39335 2265 9 0 729885 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 2957856
[startup+1.50069 s]
/proc/loadavg: 2.00 2.02 2.01 3/213 11224
/proc/meminfo: memFree=26460692/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=3024420 CPUtime=2.6 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 11318 0 1 0 253 7 0 0 20 0 19 0 346638538 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 756105 85440 2278 9 0 746526 0
[pid=11205/tid=11207] ppid=11203 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/11205/task/11207/stat : 11207 (java) R 11203 11205 8924 0 -1 4202560 3220 0 1 0 141 5 0 0 20 0 19 0 346638539 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702184145048 140702124707247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11208] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11208/stat : 11208 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702049233320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11209] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11209/stat : 11209 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702048180776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11210] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11210/stat : 11210 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702047127720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11211] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11211/stat : 11211 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702046075176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11212] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11212/stat : 11212 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702045023144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11213] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11213/stat : 11213 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702043970600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11214] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11214/stat : 11214 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702042917544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11215] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11215/stat : 11215 (java) S 11203 11205 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702041865000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11216] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11216/stat : 11216 (java) S 11203 11205 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346638541 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702029666664 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11217] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11217/stat : 11217 (java) S 11203 11205 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702028612984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11218] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11218/stat : 11218 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702027559816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11219] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11219/stat : 11219 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702026508560 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11220] ppid=11203 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/11205/task/11220/stat : 11220 (java) S 11203 11205 8924 0 -1 4202560 3257 0 0 0 57 0 0 0 20 0 19 0 346638544 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702025456440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11221] ppid=11203 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/11205/task/11221/stat : 11221 (java) S 11203 11205 8924 0 -1 4202560 3646 0 0 0 50 1 0 0 20 0 19 0 346638544 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702024403896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11222] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11222/stat : 11222 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702023351032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11223] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11223/stat : 11223 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702022298696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11224] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11224/stat : 11224 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638611 3097006080 85440 33554432000 1073741824 1073778376 140735978138224 140702020166696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 3024420
[startup+3.1007 s]
/proc/loadavg: 2.00 2.02 2.01 3/213 11224
/proc/meminfo: memFree=26201900/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=3024420 CPUtime=4.33 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 11456 0 1 0 421 12 0 0 20 0 19 0 346638538 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 756105 120281 2291 9 0 746526 0
[pid=11205/tid=11207] ppid=11203 vsize=3024420 CPUtime=3.01 cores=0,2,4,6
/proc/11205/task/11207/stat : 11207 (java) R 11203 11205 8924 0 -1 4202560 3278 0 1 0 294 7 0 0 20 0 19 0 346638539 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702184144152 140702124589951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11208] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11208/stat : 11208 (java) S 11203 11205 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702049233320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11209] ppid=11203 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/11205/task/11209/stat : 11209 (java) S 11203 11205 8924 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702048180776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11210] ppid=11203 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/11205/task/11210/stat : 11210 (java) S 11203 11205 8924 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702047127720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11211] ppid=11203 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/11205/task/11211/stat : 11211 (java) S 11203 11205 8924 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702046075176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11212] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11212/stat : 11212 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702045023144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11213] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11213/stat : 11213 (java) S 11203 11205 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702043970600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11214] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11214/stat : 11214 (java) S 11203 11205 8924 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702042917544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11215] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11215/stat : 11215 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638540 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702041865000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11216] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11216/stat : 11216 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346638541 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702029666664 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11217] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11217/stat : 11217 (java) S 11203 11205 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702028612984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11218] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11218/stat : 11218 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702027559816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11219] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11219/stat : 11219 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702026508560 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11220] ppid=11203 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/11205/task/11220/stat : 11220 (java) S 11203 11205 8924 0 -1 4202560 3257 0 0 0 58 0 0 0 20 0 19 0 346638544 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702025456440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11221] ppid=11203 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/11205/task/11221/stat : 11221 (java) S 11203 11205 8924 0 -1 4202560 3646 0 0 0 51 1 0 0 20 0 19 0 346638544 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702024403896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11222] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11222/stat : 11222 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702023351032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11223] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11223/stat : 11223 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702022298696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11224] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11224/stat : 11224 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638611 3097006080 120281 33554432000 1073741824 1073778376 140735978138224 140702020166696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 3024420
[startup+6.30069 s]
/proc/loadavg: 2.00 2.02 2.01 3/213 11224
/proc/meminfo: memFree=26185772/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=3024420 CPUtime=7.61 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 11469 0 1 0 749 12 0 0 20 0 19 0 346638538 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 756105 120634 2291 9 0 746526 0
[pid=11205/tid=11207] ppid=11203 vsize=3024420 CPUtime=6.17 cores=0,2,4,6
/proc/11205/task/11207/stat : 11207 (java) R 11203 11205 8924 0 -1 4202560 3281 0 1 0 610 7 0 0 20 0 19 0 346638539 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702184144136 140702124706827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11208] ppid=11203 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/11205/task/11208/stat : 11208 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702049233320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11209] ppid=11203 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/11205/task/11209/stat : 11209 (java) S 11203 11205 8924 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702048180776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11210] ppid=11203 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/11205/task/11210/stat : 11210 (java) S 11203 11205 8924 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702047127720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11211] ppid=11203 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/11205/task/11211/stat : 11211 (java) S 11203 11205 8924 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702046075176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11212] ppid=11203 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/11205/task/11212/stat : 11212 (java) S 11203 11205 8924 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702045023144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11213] ppid=11203 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/11205/task/11213/stat : 11213 (java) S 11203 11205 8924 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702043970600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11214] ppid=11203 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/11205/task/11214/stat : 11214 (java) S 11203 11205 8924 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702042917544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11215] ppid=11203 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/11205/task/11215/stat : 11215 (java) S 11203 11205 8924 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 346638540 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702041865000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11216] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11216/stat : 11216 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346638541 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702029666664 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11217] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11217/stat : 11217 (java) S 11203 11205 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702028612984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11218] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11218/stat : 11218 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702027559816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11219] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11219/stat : 11219 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702026508560 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11220] ppid=11203 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/11205/task/11220/stat : 11220 (java) S 11203 11205 8924 0 -1 4202560 3257 0 0 0 58 0 0 0 20 0 19 0 346638544 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702025456440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11221] ppid=11203 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/11205/task/11221/stat : 11221 (java) S 11203 11205 8924 0 -1 4202560 3646 0 0 0 51 1 0 0 20 0 19 0 346638544 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702024403896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11222] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11222/stat : 11222 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702023351032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11223] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11223/stat : 11223 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702022298696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11224] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11224/stat : 11224 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638611 3097006080 120634 33554432000 1073741824 1073778376 140735978138224 140702020166696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=11205/tid=11220] ppid=11203 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/11205/task/11220/stat : 11220 (java) S 11203 11205 8924 0 -1 4202560 3269 0 0 0 70 0 0 0 20 0 19 0 346638544 3097006080 409888 33554432000 1073741824 1073778376 140735978138224 140702025456440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11221] ppid=11203 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/11205/task/11221/stat : 11221 (java) S 11203 11205 8924 0 -1 4202560 3654 0 0 0 56 1 0 0 20 0 19 0 346638544 3097006080 409888 33554432000 1073741824 1073778376 140735978138224 140702024403896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11222] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11222/stat : 11222 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 409888 33554432000 1073741824 1073778376 140735978138224 140702023351032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11223] ppid=11203 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/11205/task/11223/stat : 11223 (java) S 11203 11205 8924 0 -1 4202560 91 0 0 0 28 30 0 0 20 0 19 0 346638544 3097006080 409888 33554432000 1073741824 1073778376 140735978138224 140702022298696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11224] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11224/stat : 11224 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638611 3097006080 409888 33554432000 1073741824 1073778376 140735978138224 140702020166696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1638.45
Current children cumulated vsize (KiB) 3024420
[startup+1662.3 s]
/proc/loadavg: 1.93 2.02 1.99 3/213 11300
/proc/meminfo: memFree=25174040/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=3024420 CPUtime=1701.81 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 15145 0 1 0 170057 124 0 0 20 0 19 0 346638538 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 756105 416590 2299 9 0 746526 0
[pid=11205/tid=11207] ppid=11203 vsize=3024420 CPUtime=1642.58 cores=0,2,4,6
/proc/11205/task/11207/stat : 11207 (java) R 11203 11205 8924 0 -1 4202560 3980 0 1 0 164223 35 0 0 20 0 19 0 346638539 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702184144096 140702124670921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11208] ppid=11203 vsize=3024420 CPUtime=6.52 cores=0,2,4,6
/proc/11205/task/11208/stat : 11208 (java) S 11203 11205 8924 0 -1 4202560 350 0 0 0 642 10 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702049233320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11209] ppid=11203 vsize=3024420 CPUtime=6.59 cores=0,2,4,6
/proc/11205/task/11209/stat : 11209 (java) S 11203 11205 8924 0 -1 4202560 374 0 0 0 646 13 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702048180776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11210] ppid=11203 vsize=3024420 CPUtime=6.95 cores=0,2,4,6
/proc/11205/task/11210/stat : 11210 (java) S 11203 11205 8924 0 -1 4202560 412 0 0 0 684 11 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702047127720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11211] ppid=11203 vsize=3024420 CPUtime=6.65 cores=0,2,4,6
/proc/11205/task/11211/stat : 11211 (java) S 11203 11205 8924 0 -1 4202560 315 0 0 0 653 12 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702046075176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11212] ppid=11203 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/11205/task/11212/stat : 11212 (java) S 11203 11205 8924 0 -1 4202560 338 0 0 0 649 11 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702045023144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11213] ppid=11203 vsize=3024420 CPUtime=6.55 cores=0,2,4,6
/proc/11205/task/11213/stat : 11213 (java) S 11203 11205 8924 0 -1 4202560 331 0 0 0 645 10 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702043970600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11214] ppid=11203 vsize=3024420 CPUtime=6.88 cores=0,2,4,6
/proc/11205/task/11214/stat : 11214 (java) S 11203 11205 8924 0 -1 4202560 369 0 0 0 673 15 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702042917544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11215] ppid=11203 vsize=3024420 CPUtime=6.5 cores=0,2,4,6
/proc/11205/task/11215/stat : 11215 (java) S 11203 11205 8924 0 -1 4202560 372 0 0 0 639 11 0 0 20 0 19 0 346638540 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702041865000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11216] ppid=11203 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/11205/task/11216/stat : 11216 (java) S 11203 11205 8924 0 -1 4202560 105 0 0 0 8 3 0 0 20 0 19 0 346638541 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702029666664 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11217] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11217/stat : 11217 (java) S 11203 11205 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702028612984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11218] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11218/stat : 11218 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702027559816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11219] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11219/stat : 11219 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702026508560 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11220] ppid=11203 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/11205/task/11220/stat : 11220 (java) S 11203 11205 8924 0 -1 4202560 3269 0 0 0 70 0 0 0 20 0 19 0 346638544 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702025456440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11221] ppid=11203 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/11205/task/11221/stat : 11221 (java) S 11203 11205 8924 0 -1 4202560 3654 0 0 0 56 1 0 0 20 0 19 0 346638544 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702024403896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11222] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11222/stat : 11222 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702023351032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11223] ppid=11203 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/11205/task/11223/stat : 11223 (java) S 11203 11205 8924 0 -1 4202560 93 0 0 0 30 31 0 0 20 0 19 0 346638544 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702022298696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11224] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11224/stat : 11224 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638611 3097006080 416590 33554432000 1073741824 1073778376 140735978138224 140702020166696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1701.81
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 1.97 2.01 1.99 3/213 11300
/proc/meminfo: memFree=25126812/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=3024420 CPUtime=1764.96 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 15290 0 1 0 176368 128 0 0 20 0 19 0 346638538 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 756105 421277 2307 9 0 746526 0
[pid=11205/tid=11207] ppid=11203 vsize=3024420 CPUtime=1701.04 cores=0,2,4,6
/proc/11205/task/11207/stat : 11207 (java) R 11203 11205 8924 0 -1 4202560 4021 0 1 0 170068 36 0 0 20 0 19 0 346638539 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702184144080 140702124422687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11208] ppid=11203 vsize=3024420 CPUtime=6.99 cores=0,2,4,6
/proc/11205/task/11208/stat : 11208 (java) S 11203 11205 8924 0 -1 4202560 364 0 0 0 689 10 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702049233320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11209] ppid=11203 vsize=3024420 CPUtime=7.12 cores=0,2,4,6
/proc/11205/task/11209/stat : 11209 (java) S 11203 11205 8924 0 -1 4202560 384 0 0 0 699 13 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702048180776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11210] ppid=11203 vsize=3024420 CPUtime=7.48 cores=0,2,4,6
/proc/11205/task/11210/stat : 11210 (java) S 11203 11205 8924 0 -1 4202560 432 0 0 0 737 11 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702047127720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11211] ppid=11203 vsize=3024420 CPUtime=7.23 cores=0,2,4,6
/proc/11205/task/11211/stat : 11211 (java) S 11203 11205 8924 0 -1 4202560 316 0 0 0 711 12 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702046075176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11212] ppid=11203 vsize=3024420 CPUtime=7.22 cores=0,2,4,6
/proc/11205/task/11212/stat : 11212 (java) S 11203 11205 8924 0 -1 4202560 341 0 0 0 711 11 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702045023144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11213] ppid=11203 vsize=3024420 CPUtime=7.1 cores=0,2,4,6
/proc/11205/task/11213/stat : 11213 (java) S 11203 11205 8924 0 -1 4202560 333 0 0 0 699 11 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702043970600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11214] ppid=11203 vsize=3024420 CPUtime=7.41 cores=0,2,4,6
/proc/11205/task/11214/stat : 11214 (java) S 11203 11205 8924 0 -1 4202560 373 0 0 0 726 15 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702042917544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11215] ppid=11203 vsize=3024420 CPUtime=7 cores=0,2,4,6
/proc/11205/task/11215/stat : 11215 (java) S 11203 11205 8924 0 -1 4202560 382 0 0 0 688 12 0 0 20 0 19 0 346638540 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702041865000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11216] ppid=11203 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/11205/task/11216/stat : 11216 (java) S 11203 11205 8924 0 -1 4202560 141 0 0 0 28 4 0 0 20 0 19 0 346638541 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702029666664 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11217] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11217/stat : 11217 (java) S 11203 11205 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702028612984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11218] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11218/stat : 11218 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702027559816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11219] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11219/stat : 11219 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702026508560 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11220] ppid=11203 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/11205/task/11220/stat : 11220 (java) S 11203 11205 8924 0 -1 4202560 3269 0 0 0 70 0 0 0 20 0 19 0 346638544 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702025456440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11221] ppid=11203 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/11205/task/11221/stat : 11221 (java) S 11203 11205 8924 0 -1 4202560 3654 0 0 0 56 1 0 0 20 0 19 0 346638544 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702024403896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11222] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11222/stat : 11222 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702023351032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11223] ppid=11203 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/11205/task/11223/stat : 11223 (java) S 11203 11205 8924 0 -1 4202560 97 0 0 0 31 32 0 0 20 0 19 0 346638544 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702022298696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11224] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11224/stat : 11224 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638611 3097006080 421277 33554432000 1073741824 1073778376 140735978138224 140702020166696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1764.96
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1756.6 s]
/proc/loadavg: 1.98 2.01 1.99 3/213 11300
/proc/meminfo: memFree=25095596/32873844 swapFree=7112/7112
[pid=11205] ppid=11203 vsize=3024420 CPUtime=1800.1 cores=0,2,4,6
/proc/11205/stat : 11205 (java) S 11203 11205 8924 0 -1 4202496 15335 0 1 0 179881 129 0 0 20 0 19 0 346638538 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140735978129360 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11205/statm: 756105 421298 2307 9 0 746526 0
[pid=11205/tid=11207] ppid=11203 vsize=3024420 CPUtime=1734.88 cores=0,2,4,6
/proc/11205/task/11207/stat : 11207 (java) R 11203 11205 8924 0 -1 4202560 4041 0 1 0 173451 37 0 0 20 0 19 0 346638539 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702184144048 140702124707316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11208] ppid=11203 vsize=3024420 CPUtime=7.11 cores=0,2,4,6
/proc/11205/task/11208/stat : 11208 (java) S 11203 11205 8924 0 -1 4202560 367 0 0 0 701 10 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702049233320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11209] ppid=11203 vsize=3024420 CPUtime=7.28 cores=0,2,4,6
/proc/11205/task/11209/stat : 11209 (java) S 11203 11205 8924 0 -1 4202560 392 0 0 0 715 13 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702048180776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11210] ppid=11203 vsize=3024420 CPUtime=7.64 cores=0,2,4,6
/proc/11205/task/11210/stat : 11210 (java) S 11203 11205 8924 0 -1 4202560 437 0 0 0 753 11 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702047127720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11211] ppid=11203 vsize=3024420 CPUtime=7.41 cores=0,2,4,6
/proc/11205/task/11211/stat : 11211 (java) S 11203 11205 8924 0 -1 4202560 316 0 0 0 729 12 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702046075176 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11212] ppid=11203 vsize=3024420 CPUtime=7.37 cores=0,2,4,6
/proc/11205/task/11212/stat : 11212 (java) S 11203 11205 8924 0 -1 4202560 341 0 0 0 726 11 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702045023144 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11205/tid=11213] ppid=11203 vsize=3024420 CPUtime=7.24 cores=0,2,4,6
/proc/11205/task/11213/stat : 11213 (java) S 11203 11205 8924 0 -1 4202560 333 0 0 0 713 11 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702043970600 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11214] ppid=11203 vsize=3024420 CPUtime=7.58 cores=0,2,4,6
/proc/11205/task/11214/stat : 11214 (java) S 11203 11205 8924 0 -1 4202560 373 0 0 0 743 15 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702042917544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11215] ppid=11203 vsize=3024420 CPUtime=7.15 cores=0,2,4,6
/proc/11205/task/11215/stat : 11215 (java) S 11203 11205 8924 0 -1 4202560 387 0 0 0 703 12 0 0 20 0 19 0 346638540 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702041865000 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11216] ppid=11203 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/11205/task/11216/stat : 11216 (java) S 11203 11205 8924 0 -1 4202560 143 0 0 0 28 4 0 0 20 0 19 0 346638541 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702029666664 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11217] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11217/stat : 11217 (java) S 11203 11205 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702028612984 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11218] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11218/stat : 11218 (java) S 11203 11205 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346638542 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702027559816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11219] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11219/stat : 11219 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702026508560 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11220] ppid=11203 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/11205/task/11220/stat : 11220 (java) S 11203 11205 8924 0 -1 4202560 3269 0 0 0 70 0 0 0 20 0 19 0 346638544 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702025456440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11205/tid=11221] ppid=11203 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/11205/task/11221/stat : 11221 (java) S 11203 11205 8924 0 -1 4202560 3654 0 0 0 56 1 0 0 20 0 19 0 346638544 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702024403896 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11222] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11222/stat : 11222 (java) S 11203 11205 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346638544 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702023351032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11205/tid=11223] ppid=11203 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/11205/task/11223/stat : 11223 (java) S 11203 11205 8924 0 -1 4202560 99 0 0 0 32 33 0 0 20 0 19 0 346638544 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702022298696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11205/tid=11224] ppid=11203 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11205/task/11224/stat : 11224 (java) S 11203 11205 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346638611 3097006080 421298 33554432000 1073741824 1073778376 140735978138224 140702020166696 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11205 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=318222
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=841720
# CPU time returned by wait4() is 1796.16
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1756.63
CPU time (s): 1800.1
CPU user time (s): 1798.81
CPU system time (s): 1.29
CPU usage (%): 102.475
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.32
system time used= 1.84172
maximum resident set size= 1685312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15367
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60629
involuntary context switches= 130663
runsolver used 6.33304 second user time and 14.3098 second system time
The end