runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4122718-1467317419/watcher-4122718-1467317419 -o /tmp/evaluation-result-4122718-1467317419/solver-4122718-1467317419 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1467315427-7729 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4122718-1467317419.opb
pid=8240
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.19 2.25 2.17 4/195 8243
/proc/meminfo: memFree=28491984/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 2420910 98570240 977 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 24065 977 743 9 0 16771 0
[pid=8243/tid=8244] ppid=8240 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 2420910 98570240 977 33554432000 1073741824 1073778376 140735456492592 140006264618536 217410520448 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 2.19 2.25 2.17 4/195 8243
/proc/meminfo: memFree=28491984/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 4529 0 1 0 10 1 0 0 20 0 18 0 2420910 9787879424 5652 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2389619 5652 2157 9 0 2380296 0
[pid=8243/tid=8244] ppid=8240 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2431 0 1 0 7 0 0 0 20 0 18 0 2420910 9787879424 5652 33554432000 1073741824 1073778376 140735456492592 140006264621984 217413903629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200264 s]
/proc/loadavg: 2.19 2.25 2.17 4/195 8243
/proc/meminfo: memFree=28491984/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 7153 0 1 0 29 2 0 0 20 0 19 0 2420910 9856040960 7533 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 7533 2223 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2455 0 1 0 16 1 0 0 20 0 19 0 2420910 9856040960 7533 33554432000 1073741824 1073778376 140735456492592 140006264623744 140006204338012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9625040
[startup+0.300311 s]
/proc/loadavg: 2.19 2.25 2.17 4/195 8243
/proc/meminfo: memFree=28491984/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 7330 0 1 0 47 2 0 0 20 0 19 0 2420910 9856040960 7528 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 7528 2236 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2456 0 1 0 26 1 0 0 20 0 19 0 2420910 9856040960 7528 33554432000 1073741824 1073778376 140735456492592 140006264623144 140006204743377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700252 s]
/proc/loadavg: 2.19 2.25 2.17 4/195 8243
/proc/meminfo: memFree=28491984/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 8420 0 1 0 102 2 0 0 20 0 19 0 2420910 9856040960 8155 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 8155 2248 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2457 0 1 0 66 1 0 0 20 0 19 0 2420910 9856040960 8155 33554432000 1073741824 1073778376 140735456492592 140006264623688 140006204783835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.25 2.26 2.17 4/214 8262
/proc/meminfo: memFree=28464676/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=1.85 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 8423 0 1 0 183 2 0 0 20 0 19 0 2420910 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 8668 2249 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2459 0 1 0 146 1 0 0 20 0 19 0 2420910 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006264623592 140006204783835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8246] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8246/stat : 8246 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006108379816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8247] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8247/stat : 8247 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006107327272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8248] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8248/stat : 8248 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006106274728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8249] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8249/stat : 8249 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006105222184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8250] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8250/stat : 8250 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006104168616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8251] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8251/stat : 8251 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006103116072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8252] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8252/stat : 8252 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006102063528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8253] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8253/stat : 8253 (java) S 8240 8243 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006101010984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8254] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8254/stat : 8254 (java) S 8240 8243 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006088813160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8255] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8255/stat : 8255 (java) S 8240 8243 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006087759480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8256] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8256/stat : 8256 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006086706824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8257] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8257/stat : 8257 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420914 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006085655568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8258] ppid=8240 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/8243/task/8258/stat : 8258 (java) S 8240 8243 3195 0 -1 4202560 1377 0 0 0 13 0 0 0 20 0 19 0 2420915 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006084601912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8259] ppid=8240 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/8243/task/8259/stat : 8259 (java) S 8240 8243 3195 0 -1 4202560 3316 0 0 0 20 0 0 0 20 0 19 0 2420915 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006083549368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8260] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8260/stat : 8260 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006082497016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8261] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8261/stat : 8261 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006081444680 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8262] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8262/stat : 8262 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420924 9856040960 8668 33554432000 1073741824 1073778376 140735456492592 140006080390440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9625040
[startup+3.10085 s]
/proc/loadavg: 2.25 2.26 2.17 4/214 8262
/proc/meminfo: memFree=28462008/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=3.55 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 9755 0 1 0 352 3 0 0 20 0 19 0 2420910 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 9929 2250 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2461 0 1 0 306 1 0 0 20 0 19 0 2420910 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006264614608 140006204783835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8246] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8246/stat : 8246 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006108379816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8247] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8247/stat : 8247 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006107327272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8248] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8248/stat : 8248 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006106274728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8249] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8249/stat : 8249 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006105222184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8250] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8250/stat : 8250 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006104168616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8251] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8251/stat : 8251 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006103116072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8252] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8252/stat : 8252 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006102063528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8253] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8253/stat : 8253 (java) S 8240 8243 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006101010984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8254] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8254/stat : 8254 (java) S 8240 8243 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006088813160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8255] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8255/stat : 8255 (java) S 8240 8243 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006087759480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8256] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8256/stat : 8256 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006086706824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8257] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8257/stat : 8257 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420914 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006085655568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8258] ppid=8240 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/8243/task/8258/stat : 8258 (java) S 8240 8243 3195 0 -1 4202560 2707 0 0 0 21 0 0 0 20 0 19 0 2420915 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006084601912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8259] ppid=8240 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/8243/task/8259/stat : 8259 (java) S 8240 8243 3195 0 -1 4202560 3316 0 0 0 21 0 0 0 20 0 19 0 2420915 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006083549368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8260] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8260/stat : 8260 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006082497016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8261] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8261/stat : 8261 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006081444680 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8262] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8262/stat : 8262 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420924 9856040960 9929 33554432000 1073741824 1073778376 140735456492592 140006080390440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.25 2.26 2.17 3/214 8262
/proc/meminfo: memFree=28454512/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=6.74 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 9759 0 1 0 671 3 0 0 20 0 19 0 2420910 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 10938 2251 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2464 0 1 0 625 1 0 0 20 0 19 0 2420910 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006264614608 140006204783835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8246] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8246/stat : 8246 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006108379816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8247] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8247/stat : 8247 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006107327272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8248] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8248/stat : 8248 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006106274728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8249] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8249/stat : 8249 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006105222184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8250] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8250/stat : 8250 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006104168616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8251] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8251/stat : 8251 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006103116072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8252] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8252/stat : 8252 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006102063528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8253] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8253/stat : 8253 (java) S 8240 8243 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006101010984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8254] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8254/stat : 8254 (java) S 8240 8243 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006088813160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8255] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8255/stat : 8255 (java) S 8240 8243 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006087759480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8256] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8256/stat : 8256 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006086706824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8257] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8257/stat : 8257 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420914 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006085655568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8258] ppid=8240 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/8243/task/8258/stat : 8258 (java) S 8240 8243 3195 0 -1 4202560 2707 0 0 0 21 0 0 0 20 0 19 0 2420915 9856040960 10938 33554432000 1073741824 1073778376 140735456492592 140006084601912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8259] ppid=8240 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
################
# More data... #
################
[pid=8243/tid=8255] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8255/stat : 8255 (java) S 8240 8243 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006087759480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8256] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8256/stat : 8256 (java) S 8240 8243 3195 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006086706824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8257] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8257/stat : 8257 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420914 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006085655568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8258] ppid=8240 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/8243/task/8258/stat : 8258 (java) S 8240 8243 3195 0 -1 4202560 12585 0 0 0 92 3 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006084601912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8259] ppid=8240 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/8243/task/8259/stat : 8259 (java) S 8240 8243 3195 0 -1 4202560 3316 0 0 0 23 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006083549368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8260] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8260/stat : 8260 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006082497016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8261] ppid=8240 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/8243/task/8261/stat : 8261 (java) S 8240 8243 3195 0 -1 4202560 24 0 0 0 5 5 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006081444680 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8262] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8262/stat : 8262 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420924 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006080390440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 374.11
Current children cumulated vsize (KiB) 9625040
[startup+373.601 s]
/proc/loadavg: 2.15 2.18 2.17 3/213 8269
/proc/meminfo: memFree=28259784/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=374.92 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 19814 0 1 0 37476 16 0 0 20 0 19 0 2420910 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 51151 2271 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=372.58 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2541 0 1 0 37250 8 0 0 20 0 19 0 2420910 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006264623408 140006204743494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8246] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8246/stat : 8246 (java) S 8240 8243 3195 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006108379816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8247] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8247/stat : 8247 (java) S 8240 8243 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006107327272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8248] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8248/stat : 8248 (java) S 8240 8243 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006106274728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8249] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8249/stat : 8249 (java) S 8240 8243 3195 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006105222184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8250] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8250/stat : 8250 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006104168616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8251] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8251/stat : 8251 (java) S 8240 8243 3195 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006103116072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8252] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8252/stat : 8252 (java) S 8240 8243 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006102063528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8253] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8253/stat : 8253 (java) S 8240 8243 3195 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006101010984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8254] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8254/stat : 8254 (java) S 8240 8243 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006088813160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8255] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8255/stat : 8255 (java) S 8240 8243 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006087759480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8256] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8256/stat : 8256 (java) S 8240 8243 3195 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006086706824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8257] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8257/stat : 8257 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420914 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006085655568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8258] ppid=8240 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/8243/task/8258/stat : 8258 (java) S 8240 8243 3195 0 -1 4202560 12585 0 0 0 92 3 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006084601912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8259] ppid=8240 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/8243/task/8259/stat : 8259 (java) S 8240 8243 3195 0 -1 4202560 3316 0 0 0 23 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006083549368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8260] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8260/stat : 8260 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006082497016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8261] ppid=8240 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/8243/task/8261/stat : 8261 (java) S 8240 8243 3195 0 -1 4202560 24 0 0 0 5 5 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006081444680 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8262] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8262/stat : 8262 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420924 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006080390440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 374.92
Current children cumulated vsize (KiB) 9625040
[startup+374.001 s]
/proc/loadavg: 2.15 2.18 2.17 3/213 8269
/proc/meminfo: memFree=28259784/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=375.33 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 19814 0 1 0 37517 16 0 0 20 0 19 0 2420910 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 51151 2271 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=372.99 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2541 0 1 0 37291 8 0 0 20 0 19 0 2420910 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006264623408 140006204738643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8246] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8246/stat : 8246 (java) S 8240 8243 3195 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006108379816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8247] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8247/stat : 8247 (java) S 8240 8243 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006107327272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8248] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8248/stat : 8248 (java) S 8240 8243 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006106274728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8249] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8249/stat : 8249 (java) S 8240 8243 3195 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006105222184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8250] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8250/stat : 8250 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006104168616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8251] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8251/stat : 8251 (java) S 8240 8243 3195 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006103116072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8252] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8252/stat : 8252 (java) S 8240 8243 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006102063528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8253] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8253/stat : 8253 (java) S 8240 8243 3195 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006101010984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8254] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8254/stat : 8254 (java) S 8240 8243 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006088813160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8255] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8255/stat : 8255 (java) S 8240 8243 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006087759480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8256] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8256/stat : 8256 (java) S 8240 8243 3195 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006086706824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8257] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8257/stat : 8257 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420914 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006085655568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8258] ppid=8240 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/8243/task/8258/stat : 8258 (java) S 8240 8243 3195 0 -1 4202560 12585 0 0 0 92 3 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006084601912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8259] ppid=8240 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/8243/task/8259/stat : 8259 (java) S 8240 8243 3195 0 -1 4202560 3316 0 0 0 23 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006083549368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8260] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8260/stat : 8260 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006082497016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8261] ppid=8240 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/8243/task/8261/stat : 8261 (java) S 8240 8243 3195 0 -1 4202560 24 0 0 0 5 5 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006081444680 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8262] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8262/stat : 8262 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420924 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006080390440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 375.33
Current children cumulated vsize (KiB) 9625040
[startup+374.108 s]
/proc/loadavg: 2.15 2.18 2.17 3/213 8269
/proc/meminfo: memFree=28259784/32872528 swapFree=1522152/1652968
[pid=8243] ppid=8240 vsize=9625040 CPUtime=375.43 cores=0,2,4,6
/proc/8243/stat : 8243 (java) S 8240 8243 3195 0 -1 4202496 19814 0 1 0 37527 16 0 0 20 0 19 0 2420910 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140735456483728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8243/statm: 2406260 51151 2271 9 0 2396937 0
[pid=8243/tid=8244] ppid=8240 vsize=9625040 CPUtime=373.09 cores=0,2,4,6
/proc/8243/task/8244/stat : 8244 (java) R 8240 8243 3195 0 -1 4202560 2541 0 1 0 37301 8 0 0 20 0 19 0 2420910 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006264623408 140006204743397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8246] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8246/stat : 8246 (java) S 8240 8243 3195 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006108379816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8247] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8247/stat : 8247 (java) S 8240 8243 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006107327272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8248] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8248/stat : 8248 (java) S 8240 8243 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006106274728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8243/tid=8249] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8249/stat : 8249 (java) S 8240 8243 3195 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006105222184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8250] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8250/stat : 8250 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006104168616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8251] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8251/stat : 8251 (java) S 8240 8243 3195 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006103116072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8252] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8252/stat : 8252 (java) S 8240 8243 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006102063528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8253] ppid=8240 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8243/task/8253/stat : 8253 (java) S 8240 8243 3195 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 2420911 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006101010984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8254] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8254/stat : 8254 (java) S 8240 8243 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006088813160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8255] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8255/stat : 8255 (java) S 8240 8243 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006087759480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8256] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8256/stat : 8256 (java) S 8240 8243 3195 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2420912 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006086706824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8257] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8257/stat : 8257 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420914 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006085655568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8258] ppid=8240 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/8243/task/8258/stat : 8258 (java) S 8240 8243 3195 0 -1 4202560 12585 0 0 0 92 3 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006084601912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8243/tid=8259] ppid=8240 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/8243/task/8259/stat : 8259 (java) S 8240 8243 3195 0 -1 4202560 3316 0 0 0 23 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006083549368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8260] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8260/stat : 8260 (java) S 8240 8243 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006082497016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8243/tid=8261] ppid=8240 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/8243/task/8261/stat : 8261 (java) S 8240 8243 3195 0 -1 4202560 24 0 0 0 5 5 0 0 20 0 19 0 2420915 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006081444680 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8243/tid=8262] ppid=8240 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8243/task/8262/stat : 8262 (java) S 8240 8243 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2420924 9856040960 51151 33554432000 1073741824 1073778376 140735456492592 140006080390440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 375.43
Current children cumulated vsize (KiB) 9625040
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8243 and gives
# childrusage.ru_utime.tv_sec=374
# childrusage.ru_utime.tv_usec=394083
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=262960
# CPU time returned by wait4() is 374.657
# while last known CPU time is 375.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 374.171
CPU time (s): 375.43
CPU user time (s): 375.27
CPU system time (s): 0.16
CPU usage (%): 100.336
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 374.394
system time used= 0.26296
maximum resident set size= 204700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19847
page faults= 1
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8200
involuntary context switches= 462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.03369 second user time and 2.74658 second system time
The end