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-4085826-1465256751/watcher-4085826-1465256751 -o /tmp/evaluation-result-4085826-1465256751/solver-4085826-1465256751 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465245095-8452 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085826-1465256751.opb
pid=10238
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/191 10241
/proc/meminfo: memFree=31227428/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 107609969 98570240 977 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 24065 977 743 9 0 16771 0
[pid=10241/tid=10242] ppid=10238 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 107609970 98570240 977 33554432000 1073741824 1073778376 140734829743280 140381285764648 235374724480 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100142 s]
/proc/loadavg: 2.01 2.02 2.00 3/191 10241
/proc/meminfo: memFree=31227428/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 4483 0 1 0 10 2 0 0 20 0 18 0 107609969 9787879424 6119 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2389619 6119 2157 9 0 2380296 0
[pid=10241/tid=10242] ppid=10238 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 107609970 9787879424 6119 33554432000 1073741824 1073778376 140734829743280 140381285767672 235378107661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476
[startup+0.20036 s]
/proc/loadavg: 2.01 2.02 2.00 3/191 10241
/proc/meminfo: memFree=31227428/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 4717 0 1 0 24 2 0 0 20 0 18 0 107609969 9787879424 6803 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2389619 6803 2214 9 0 2380296 0
[pid=10241/tid=10242] ppid=10238 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2397 0 1 0 16 1 0 0 20 0 18 0 107609970 9787879424 6803 33554432000 1073741824 1073778376 140734829743280 140381285767672 140381157178140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300358 s]
/proc/loadavg: 2.01 2.02 2.00 3/191 10241
/proc/meminfo: memFree=31227428/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9558692 CPUtime=0.49 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 6813 0 1 0 47 2 0 0 20 0 18 0 107609969 9788100608 9268 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2389673 9268 2242 9 0 2380350 0
[pid=10241/tid=10242] ppid=10238 vsize=9558692 CPUtime=0.27 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2401 0 1 0 26 1 0 0 20 0 18 0 107609970 9788100608 9268 33554432000 1073741824 1073778376 140734829743280 140381285769416 140381157548953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558692
[startup+0.700327 s]
/proc/loadavg: 2.01 2.02 2.00 3/191 10241
/proc/meminfo: memFree=31227428/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 10333 0 1 0 139 3 0 0 20 0 19 0 107609969 9856040960 11311 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2406260 11311 2267 9 0 2396937 0
[pid=10241/tid=10242] ppid=10238 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2414 0 1 0 66 1 0 0 20 0 19 0 107609970 9856040960 11311 33554432000 1073741824 1073778376 140734829743280 140381285769528 140381157782097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625040
[startup+1.50075 s]
/proc/loadavg: 2.16 2.06 2.01 3/210 10260
/proc/meminfo: memFree=31188584/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 10383 0 1 0 226 3 0 0 20 0 19 0 107609969 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2406260 11831 2274 9 0 2396937 0
[pid=10241/tid=10242] ppid=10238 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2416 0 1 0 146 2 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381285769504 140381157399088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10244] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381129489320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10245] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381128436776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10246] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381127383720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10247] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381126331176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10248] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381125278120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10249] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381124225576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10250] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 8435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381123172520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10251] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381122119976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10252] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 8435 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107609971 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381109922664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10253] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381108868984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10254] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381107815816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10255] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381106764560 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10256] ppid=10238 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 8435 0 -1 4202560 2470 0 0 0 41 0 0 0 20 0 19 0 107609974 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381105711416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10257] ppid=10238 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/10241/task/10257/stat : 10257 (java) S 10238 10241 8435 0 -1 4202560 4223 0 0 0 36 0 0 0 20 0 19 0 107609974 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381104658872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10258] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10258/stat : 10258 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381103606008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10259] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10259/stat : 10259 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381102553672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10260] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10260/stat : 10260 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107610003 9856040960 11831 33554432000 1073741824 1073778376 140734829743280 140381101278760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625040
[startup+3.10079 s]
/proc/loadavg: 2.16 2.06 2.01 3/211 10261
/proc/meminfo: memFree=31186396/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 10385 0 1 0 393 3 0 0 20 0 19 0 107609969 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2406260 12855 2274 9 0 2396937 0
[pid=10241/tid=10242] ppid=10238 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2418 0 1 0 306 2 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381285769704 140381157647901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10244] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381129489320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10245] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381128436776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10246] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381127383720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10247] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381126331176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10248] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381125278120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10249] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381124225576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10250] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 8435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381123172520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10251] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381122119976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10252] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 8435 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107609971 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381109922664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10253] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381108868984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10254] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381107815816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10255] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381106764560 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10256] ppid=10238 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 8435 0 -1 4202560 2470 0 0 0 48 0 0 0 20 0 19 0 107609974 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381105711416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10257] ppid=10238 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/10241/task/10257/stat : 10257 (java) S 10238 10241 8435 0 -1 4202560 4223 0 0 0 36 0 0 0 20 0 19 0 107609974 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381104658872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10258] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10258/stat : 10258 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381103606008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10259] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10259/stat : 10259 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381102553672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10260] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10260/stat : 10260 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107610003 9856040960 12855 33554432000 1073741824 1073778376 140734829743280 140381101278760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9625040
[startup+6.30077 s]
/proc/loadavg: 2.15 2.06 2.01 3/211 10261
/proc/meminfo: memFree=31180240/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9625040 CPUtime=7.18 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 10390 0 1 0 715 3 0 0 20 0 19 0 107609969 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2406260 14324 2274 9 0 2396937 0
[pid=10241/tid=10242] ppid=10238 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2423 0 1 0 625 2 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381285769480 140381157667788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10244] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381129489320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10245] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381128436776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10246] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381127383720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10247] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381126331176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10248] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381125278120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10249] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381124225576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10250] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 8435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381123172520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10251] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107609970 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381122119976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10252] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 8435 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107609971 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381109922664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10253] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381108868984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10254] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381107815816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10255] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381106764560 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10256] ppid=10238 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 8435 0 -1 4202560 2470 0 0 0 49 0 0 0 20 0 19 0 107609974 9856040960 14324 33554432000 1073741824 1073778376 140734829743280 140381105711416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10257] ppid=10238 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
################
# More data... #
################
[pid=10241/tid=10253] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381108868984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10254] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381107815816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10255] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381106764560 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10256] ppid=10238 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 8435 0 -1 4202560 11672 0 0 0 106 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381105711416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10257] ppid=10238 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/10241/task/10257/stat : 10257 (java) S 10238 10241 8435 0 -1 4202560 15207 0 0 0 126 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381104658872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10258] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10258/stat : 10258 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381103606008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10259] ppid=10238 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/10241/task/10259/stat : 10259 (java) S 10238 10241 8435 0 -1 4202560 45 0 0 0 9 9 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381102553672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10260] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10260/stat : 10260 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107610003 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381101278760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 792.99
Current children cumulated vsize (KiB) 9625040
[startup+790.801 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 10280
/proc/meminfo: memFree=30770708/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9625040 CPUtime=793.39 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 31361 0 1 0 79319 20 0 0 20 0 19 0 107609969 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2406260 58570 2289 9 0 2396937 0
[pid=10241/tid=10242] ppid=10238 vsize=9625040 CPUtime=788.63 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2491 0 1 0 78848 15 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381285760672 140381157668015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10244] ppid=10238 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 8435 0 -1 4202560 136 0 0 0 1 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381129489320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10245] ppid=10238 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 8435 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381128436776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10246] ppid=10238 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 8435 0 -1 4202560 121 0 0 0 3 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381127383720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10247] ppid=10238 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 8435 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381126331176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10248] ppid=10238 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 8435 0 -1 4202560 171 0 0 0 4 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381125278120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10249] ppid=10238 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 8435 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381124225576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10250] ppid=10238 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 8435 0 -1 4202560 111 0 0 0 1 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381123172520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10251] ppid=10238 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 8435 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381122119976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10252] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 8435 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 107609971 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381109922664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10253] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381108868984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10254] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381107815816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10255] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381106764560 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10256] ppid=10238 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 8435 0 -1 4202560 11672 0 0 0 106 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381105711416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10257] ppid=10238 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/10241/task/10257/stat : 10257 (java) S 10238 10241 8435 0 -1 4202560 15207 0 0 0 126 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381104658872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10258] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10258/stat : 10258 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381103606008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10259] ppid=10238 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/10241/task/10259/stat : 10259 (java) S 10238 10241 8435 0 -1 4202560 45 0 0 0 9 9 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381102553672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10260] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10260/stat : 10260 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107610003 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381101278760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 793.39
Current children cumulated vsize (KiB) 9625040
[startup+791.007 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 10280
/proc/meminfo: memFree=30770708/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9625040 CPUtime=793.6 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 31361 0 1 0 79340 20 0 0 20 0 19 0 107609969 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2406260 58570 2289 9 0 2396937 0
[pid=10241/tid=10242] ppid=10238 vsize=9625040 CPUtime=788.84 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2491 0 1 0 78869 15 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381285760672 140381157609602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10244] ppid=10238 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 8435 0 -1 4202560 136 0 0 0 1 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381129489320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10245] ppid=10238 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 8435 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381128436776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10246] ppid=10238 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 8435 0 -1 4202560 121 0 0 0 3 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381127383720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10247] ppid=10238 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 8435 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381126331176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10248] ppid=10238 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 8435 0 -1 4202560 171 0 0 0 4 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381125278120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10249] ppid=10238 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 8435 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381124225576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10250] ppid=10238 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 8435 0 -1 4202560 111 0 0 0 1 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381123172520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10251] ppid=10238 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 8435 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381122119976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10252] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 8435 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 107609971 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381109922664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10253] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381108868984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10254] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381107815816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10255] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381106764560 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10256] ppid=10238 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 8435 0 -1 4202560 11672 0 0 0 106 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381105711416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10257] ppid=10238 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/10241/task/10257/stat : 10257 (java) S 10238 10241 8435 0 -1 4202560 15207 0 0 0 126 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381104658872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10258] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10258/stat : 10258 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381103606008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10259] ppid=10238 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/10241/task/10259/stat : 10259 (java) S 10238 10241 8435 0 -1 4202560 45 0 0 0 9 9 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381102553672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10260] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10260/stat : 10260 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107610003 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381101278760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 793.6
Current children cumulated vsize (KiB) 9625040
[startup+791.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 10280
/proc/meminfo: memFree=30770708/32872528 swapFree=13256/481332
[pid=10241] ppid=10238 vsize=9625040 CPUtime=793.69 cores=1,3,5,7
/proc/10241/stat : 10241 (java) S 10238 10241 8435 0 -1 4202496 31362 0 1 0 79349 20 0 0 20 0 19 0 107609969 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140734829734416 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10241/statm: 2406260 58570 2289 9 0 2396937 0
[pid=10241/tid=10242] ppid=10238 vsize=9625040 CPUtime=788.93 cores=1,3,5,7
/proc/10241/task/10242/stat : 10242 (java) R 10238 10241 8435 0 -1 4202560 2491 0 1 0 78878 15 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381285760672 140381157874620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10244] ppid=10238 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10241/task/10244/stat : 10244 (java) S 10238 10241 8435 0 -1 4202560 136 0 0 0 1 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381129489320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10245] ppid=10238 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/10241/task/10245/stat : 10245 (java) S 10238 10241 8435 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381128436776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10246] ppid=10238 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/10241/task/10246/stat : 10246 (java) S 10238 10241 8435 0 -1 4202560 121 0 0 0 3 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381127383720 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10247] ppid=10238 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/10241/task/10247/stat : 10247 (java) S 10238 10241 8435 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381126331176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10248] ppid=10238 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/10241/task/10248/stat : 10248 (java) S 10238 10241 8435 0 -1 4202560 171 0 0 0 4 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381125278120 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10249] ppid=10238 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/10241/task/10249/stat : 10249 (java) S 10238 10241 8435 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381124225576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10250] ppid=10238 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10241/task/10250/stat : 10250 (java) S 10238 10241 8435 0 -1 4202560 111 0 0 0 1 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381123172520 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10251] ppid=10238 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/10241/task/10251/stat : 10251 (java) S 10238 10241 8435 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 107609970 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381122119976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10252] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10252/stat : 10252 (java) S 10238 10241 8435 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 107609971 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381109922664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10253] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10253/stat : 10253 (java) S 10238 10241 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381108868984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10254] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10254/stat : 10254 (java) S 10238 10241 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107609972 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381107815816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10255] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10255/stat : 10255 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381106764560 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10256] ppid=10238 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/10241/task/10256/stat : 10256 (java) S 10238 10241 8435 0 -1 4202560 11672 0 0 0 106 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381105711416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10241/tid=10257] ppid=10238 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/10241/task/10257/stat : 10257 (java) S 10238 10241 8435 0 -1 4202560 15208 0 0 0 126 3 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381104658872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10241/tid=10258] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10258/stat : 10258 (java) S 10238 10241 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381103606008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10241/tid=10259] ppid=10238 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/10241/task/10259/stat : 10259 (java) S 10238 10241 8435 0 -1 4202560 45 0 0 0 9 9 0 0 20 0 19 0 107609974 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381102553672 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10241/tid=10260] ppid=10238 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10241/task/10260/stat : 10260 (java) S 10238 10241 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107610003 9856040960 58570 33554432000 1073741824 1073778376 140734829743280 140381101278760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 793.69
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10241 and gives
# childrusage.ru_utime.tv_sec=791
# childrusage.ru_utime.tv_usec=530669
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=442932
# CPU time returned by wait4() is 791.974
# while last known CPU time is 793.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 791.131
CPU time (s): 793.69
CPU user time (s): 793.49
CPU system time (s): 0.2
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 791.531
system time used= 0.442932
maximum resident set size= 234328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31377
page faults= 1
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17034
involuntary context switches= 1869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05438 second user time and 5.96309 second system time
The end