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-4099141-1466206092/watcher-4099141-1466206092 -o /tmp/evaluation-result-4099141-1466206092/solver-4099141-1466206092 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5895 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099141-1466206092.opb
pid=5971
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: 0.38 0.24 0.19 2/170 5974
/proc/meminfo: memFree=30345168/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 1268 0 0 0 0 0 0 0 20 0 2 0 22657495 94019584 901 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 22954 912 693 9 0 16769 0
[pid=5974/tid=5975] ppid=5971 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) D 5971 5974 5878 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 22657495 94019584 916 33554432000 1073741824 1073778376 140734637965872 140273743269416 226075176231 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0
[startup+0.100163 s]
/proc/loadavg: 0.38 0.24 0.19 2/170 5974
/proc/meminfo: memFree=30345168/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 4450 0 1 0 9 1 0 0 20 0 18 0 22657495 9787879424 6076 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2389619 6076 2140 9 0 2380296 0
[pid=5974/tid=5975] ppid=5971 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 22657495 9787879424 6076 33554432000 1073741824 1073778376 140734637965872 140273743272864 226087724301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200372 s]
/proc/loadavg: 0.38 0.24 0.19 2/170 5974
/proc/meminfo: memFree=30345168/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 4761 0 1 0 25 1 0 0 20 0 18 0 22657495 9787879424 6820 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2389619 6820 2214 9 0 2380296 0
[pid=5974/tid=5975] ppid=5971 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2392 0 1 0 16 1 0 0 20 0 18 0 22657495 9787879424 6820 33554432000 1073741824 1073778376 140734637965872 140273743272864 140273581618680 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.300372 s]
/proc/loadavg: 0.38 0.24 0.19 2/170 5974
/proc/meminfo: memFree=30345168/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 5858 0 1 0 47 1 0 0 20 0 19 0 22657495 9856040960 8461 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2406260 8461 2239 9 0 2396937 0
[pid=5974/tid=5975] ppid=5971 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2416 0 1 0 26 1 0 0 20 0 19 0 22657495 9856040960 8461 33554432000 1073741824 1073778376 140734637965872 140273743274624 140273581669660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625040
[startup+0.700282 s]
/proc/loadavg: 0.38 0.24 0.19 2/170 5974
/proc/meminfo: memFree=30345168/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 7796 0 1 0 117 2 0 0 20 0 19 0 22657495 9856040960 10210 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2406260 10210 2253 9 0 2396937 0
[pid=5974/tid=5975] ppid=5971 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2418 0 1 0 66 1 0 0 20 0 19 0 22657495 9856040960 10210 33554432000 1073741824 1073778376 140734637965872 140273743273992 140273582148247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9625040
[startup+1.50075 s]
/proc/loadavg: 0.43 0.25 0.20 2/189 5993
/proc/meminfo: memFree=30308360/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9625040 CPUtime=2.15 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 9504 0 1 0 213 2 0 0 20 0 19 0 22657495 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2406260 11211 2263 9 0 2396937 0
[pid=5974/tid=5975] ppid=5971 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2420 0 1 0 146 1 0 0 20 0 19 0 22657495 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273743274360 140273582231859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5977] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5977/stat : 5977 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273704765736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5978] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5978/stat : 5978 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273703712936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5979] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5979/stat : 5979 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273702660648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5974/tid=5980] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5980/stat : 5980 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273701607848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5981] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5981/stat : 5981 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273700555560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5982] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5982/stat : 5982 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273581550248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5983] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5983/stat : 5983 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273580497960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5984] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5984/stat : 5984 (java) S 5971 5974 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273579445160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5985] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5985/stat : 5985 (java) S 5971 5974 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22657497 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273567246568 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5986] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5986/stat : 5986 (java) S 5971 5974 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140273566192632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5987] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5987/stat : 5987 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140272960791816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5988] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5988/stat : 5988 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140272959740304 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5989] ppid=5971 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/5974/task/5989/stat : 5989 (java) S 5971 5974 5878 0 -1 4202560 1977 0 0 0 25 0 0 0 20 0 19 0 22657500 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140272958687928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5990] ppid=5971 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/5974/task/5990/stat : 5990 (java) S 5971 5974 5878 0 -1 4202560 3835 0 0 0 39 0 0 0 20 0 19 0 22657500 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140272957635128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5991] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5991/stat : 5991 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140272956583032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5992] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5992/stat : 5992 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140272955530440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5993] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5993/stat : 5993 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657524 9856040960 11211 33554432000 1073741824 1073778376 140734637965872 140272954475432 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9625040
[startup+3.10076 s]
/proc/loadavg: 0.43 0.25 0.20 2/189 5993
/proc/meminfo: memFree=30303844/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 9508 0 1 0 376 2 0 0 20 0 19 0 22657495 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2406260 12748 2263 9 0 2396937 0
[pid=5974/tid=5975] ppid=5971 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2423 0 1 0 305 1 0 0 20 0 19 0 22657495 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273743274248 140273582198812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5977] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5977/stat : 5977 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273704765736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5978] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5978/stat : 5978 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273703712936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5979] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5979/stat : 5979 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273702660648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5974/tid=5980] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5980/stat : 5980 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273701607848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5981] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5981/stat : 5981 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273700555560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5982] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5982/stat : 5982 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273581550248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5983] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5983/stat : 5983 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273580497960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5984] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5984/stat : 5984 (java) S 5971 5974 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273579445160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5985] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5985/stat : 5985 (java) S 5971 5974 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22657497 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273567246568 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5986] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5986/stat : 5986 (java) S 5971 5974 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140273566192632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5987] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5987/stat : 5987 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140272960791816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5988] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5988/stat : 5988 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140272959740304 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5989] ppid=5971 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/5974/task/5989/stat : 5989 (java) S 5971 5974 5878 0 -1 4202560 1978 0 0 0 28 0 0 0 20 0 19 0 22657500 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140272958687928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5990] ppid=5971 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/5974/task/5990/stat : 5990 (java) S 5971 5974 5878 0 -1 4202560 3835 0 0 0 40 0 0 0 20 0 19 0 22657500 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140272957635128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5991] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5991/stat : 5991 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140272956583032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5992] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5992/stat : 5992 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140272955530440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5993] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5993/stat : 5993 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657524 9856040960 12748 33554432000 1073741824 1073778376 140734637965872 140272954475432 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 0.47 0.27 0.20 2/189 5993
/proc/meminfo: memFree=30294628/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9625040 CPUtime=6.99 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 9517 0 1 0 697 2 0 0 20 0 19 0 22657495 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2406260 14921 2265 9 0 2396937 0
[pid=5974/tid=5975] ppid=5971 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2430 0 1 0 624 1 0 0 20 0 19 0 22657495 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273743264760 140273582198755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5977] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5977/stat : 5977 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273704765736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5978] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5978/stat : 5978 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273703712936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5979] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5979/stat : 5979 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273702660648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5974/tid=5980] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5980/stat : 5980 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273701607848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5981] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5981/stat : 5981 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273700555560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5982] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5982/stat : 5982 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273581550248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5983] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5983/stat : 5983 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273580497960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5984] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5984/stat : 5984 (java) S 5971 5974 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273579445160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5985] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5985/stat : 5985 (java) S 5971 5974 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 22657497 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273567246568 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5986] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5986/stat : 5986 (java) S 5971 5974 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140273566192632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5987] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5987/stat : 5987 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140272960791816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5988] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5988/stat : 5988 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140272959740304 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5989] ppid=5971 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/5974/task/5989/stat : 5989 (java) S 5971 5974 5878 0 -1 4202560 1978 0 0 0 28 0 0 0 20 0 19 0 22657500 9856040960 14921 33554432000 1073741824 1073778376 140734637965872 140272958687928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5990] ppid=5971 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
################
# More data... #
################
[pid=5974/tid=5984] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5984/stat : 5984 (java) S 5971 5974 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140273579445160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5985] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5985/stat : 5985 (java) S 5971 5974 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 22657497 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140273567246568 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5986] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5986/stat : 5986 (java) S 5971 5974 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140273566192632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5987] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5987/stat : 5987 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140272960791816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5988] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5988/stat : 5988 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140272959740304 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5989] ppid=5971 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/5974/task/5989/stat : 5989 (java) R 5971 5974 5878 0 -1 4202560 14091 0 0 0 98 3 0 0 20 0 19 0 22657500 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140272958687808 140273750063574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5990] ppid=5971 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/5974/task/5990/stat : 5990 (java) S 5971 5974 5878 0 -1 4202560 3835 0 0 0 41 0 0 0 20 0 19 0 22657500 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140272957635128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5991] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5991/stat : 5991 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140272956583032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5992] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5992/stat : 5992 (java) S 5971 5974 5878 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140272955530440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5993] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5993/stat : 5993 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657524 9856040960 24947 33554432000 1073741824 1073778376 140734637965872 140272954475432 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 17.43
Current children cumulated vsize (KiB) 9625040
[startup+17.6007 s]
/proc/loadavg: 0.70 0.32 0.22 2/190 6100
/proc/meminfo: memFree=30246972/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9625040 CPUtime=19.14 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 21645 0 1 0 1909 5 0 0 20 0 19 0 22657495 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2406260 25972 2265 9 0 2396937 0
[pid=5974/tid=5975] ppid=5971 vsize=9625040 CPUtime=17.53 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2444 0 1 0 1752 1 0 0 20 0 19 0 22657495 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273743259024 140273582116236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5977] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5977/stat : 5977 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273704765736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5978] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5978/stat : 5978 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273703712936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5979] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5979/stat : 5979 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273702660648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5974/tid=5980] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5980/stat : 5980 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273701607848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5981] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5981/stat : 5981 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273700555560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5982] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5982/stat : 5982 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273581550248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5983] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5983/stat : 5983 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273580497960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5984] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5984/stat : 5984 (java) S 5971 5974 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273579445160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5985] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5985/stat : 5985 (java) S 5971 5974 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 22657497 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273567246568 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5986] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5986/stat : 5986 (java) S 5971 5974 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140273566192632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5987] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5987/stat : 5987 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140272960791816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5988] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5988/stat : 5988 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140272959740304 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5989] ppid=5971 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/5974/task/5989/stat : 5989 (java) S 5971 5974 5878 0 -1 4202560 14092 0 0 0 109 3 0 0 20 0 19 0 22657500 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140272958687928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5990] ppid=5971 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/5974/task/5990/stat : 5990 (java) S 5971 5974 5878 0 -1 4202560 3835 0 0 0 41 0 0 0 20 0 19 0 22657500 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140272957635128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5991] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5991/stat : 5991 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140272956583032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5992] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5992/stat : 5992 (java) S 5971 5974 5878 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140272955530440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5993] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5993/stat : 5993 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657524 9856040960 25972 33554432000 1073741824 1073778376 140734637965872 140272954475432 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 19.14
Current children cumulated vsize (KiB) 9625040
[startup+18.4008 s]
/proc/loadavg: 0.70 0.32 0.22 2/190 6100
/proc/meminfo: memFree=30246972/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9625040 CPUtime=20.02 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 21648 0 1 0 1997 5 0 0 20 0 19 0 22657495 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2406260 26996 2265 9 0 2396937 0
[pid=5974/tid=5975] ppid=5971 vsize=9625040 CPUtime=18.32 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) R 5971 5974 5878 0 -1 4202560 2447 0 1 0 1831 1 0 0 20 0 19 0 22657495 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273743272472 140273582105290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5977] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5977/stat : 5977 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273704765736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5978] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5978/stat : 5978 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273703712936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5979] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5979/stat : 5979 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273702660648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5974/tid=5980] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5980/stat : 5980 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273701607848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5981] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5981/stat : 5981 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273700555560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5982] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5982/stat : 5982 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273581550248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5983] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5983/stat : 5983 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273580497960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5984] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5984/stat : 5984 (java) S 5971 5974 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22657496 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273579445160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5985] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5985/stat : 5985 (java) S 5971 5974 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 22657497 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273567246568 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5986] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5986/stat : 5986 (java) S 5971 5974 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140273566192632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5987] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5987/stat : 5987 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657498 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140272960791816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5988] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5988/stat : 5988 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140272959740304 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5989] ppid=5971 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/5974/task/5989/stat : 5989 (java) S 5971 5974 5878 0 -1 4202560 14092 0 0 0 110 3 0 0 20 0 19 0 22657500 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140272958687928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5990] ppid=5971 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/5974/task/5990/stat : 5990 (java) S 5971 5974 5878 0 -1 4202560 3835 0 0 0 48 0 0 0 20 0 19 0 22657500 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140272957635128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5991] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5991/stat : 5991 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140272956583032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5992] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5992/stat : 5992 (java) S 5971 5974 5878 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22657500 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140272955530440 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5993] ppid=5971 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5993/stat : 5993 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22657524 9856040960 26996 33554432000 1073741824 1073778376 140734637965872 140272954475432 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 20.02
Current children cumulated vsize (KiB) 9625040
[startup+18.8075 s]
/proc/loadavg: 0.70 0.32 0.22 2/189 6123
/proc/meminfo: memFree=30243264/32872528 swapFree=1590032/1720848
[pid=5974] ppid=5971 vsize=9691604 CPUtime=20.41 cores=1,3,5,7
/proc/5974/stat : 5974 (java) S 5971 5974 5878 0 -1 4202496 21671 0 1 0 2036 5 0 0 20 0 17 0 22657495 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140734637957008 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5974/statm: 2422901 27524 2270 9 0 2413578 0
[pid=5974/tid=5975] ppid=5971 vsize=9691604 CPUtime=18.71 cores=1,3,5,7
/proc/5974/task/5975/stat : 5975 (java) S 5971 5974 5878 0 -1 4202560 2449 0 1 0 1870 1 0 0 20 0 17 0 22657495 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273743275000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5977] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5977/stat : 5977 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273704765736 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5978] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5978/stat : 5978 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273703712936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5979] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5979/stat : 5979 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273702660648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5974/tid=5980] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5980/stat : 5980 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273701607848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5981] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5981/stat : 5981 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273700555560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5982] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5982/stat : 5982 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273581550248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5974/tid=5983] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5983/stat : 5983 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273580497960 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5984] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5984/stat : 5984 (java) S 5971 5974 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 22657496 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273579445160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5985] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5985/stat : 5985 (java) S 5971 5974 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 22657497 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273567246120 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5974/tid=5986] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5986/stat : 5986 (java) S 5971 5974 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 22657498 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140273566192632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5987] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5987/stat : 5987 (java) S 5971 5974 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 22657498 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140272960791816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5988] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5988/stat : 5988 (java) S 5971 5974 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 22657500 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140272959739080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5989] ppid=5971 vsize=9691604 CPUtime=1.14 cores=1,3,5,7
/proc/5974/task/5989/stat : 5989 (java) S 5971 5974 5878 0 -1 4202560 14095 0 0 0 111 3 0 0 20 0 17 0 22657500 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140272958664792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5974/tid=5990] ppid=5971 vsize=9691604 CPUtime=0.48 cores=1,3,5,7
/proc/5974/task/5990/stat : 5990 (java) S 5971 5974 5878 0 -1 4202560 3835 0 0 0 48 0 0 0 20 0 17 0 22657500 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140272957635128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5974/tid=5991] ppid=5971 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/5974/task/5991/stat : 5991 (java) S 5971 5974 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 22657500 9924202496 27524 33554432000 1073741824 1073778376 140734637965872 140272956583032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 20.41
Current children cumulated vsize (KiB) 9691604
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5974 and gives
# childrusage.ru_utime.tv_sec=20
# childrusage.ru_utime.tv_usec=318911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=72988
# CPU time returned by wait4() is 20.3919
# while last known CPU time is 20.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 18.813
CPU time (s): 20.41
CPU user time (s): 20.36
CPU system time (s): 0.05
CPU usage (%): 108.489
Max. virtual memory (cumulated for all children) (KiB): 9691604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3189
system time used= 0.072988
maximum resident set size= 110096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21671
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 702
involuntary context switches= 91
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136979 second user time and 0.152976 second system time
The end