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-4090449-1466071840/watcher-4090449-1466071840 -o /tmp/evaluation-result-4090449-1466071840/solver-4090449-1466071840 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466062109-8003 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090449-1466071840.wbo
pid=12845
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.13 2.19 2.18 3/195 12848
/proc/meminfo: memFree=30038272/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 1356 0 0 0 0 0 0 0 20 0 2 0 9229204 98570240 979 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 24065 979 744 9 0 16771 0
[pid=12848/tid=12849] ppid=12845 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 9229205 98570240 979 33554432000 1073741824 1073778376 140736806530400 140578432724520 213419640192 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 2.13 2.19 2.18 3/195 12848
/proc/meminfo: memFree=30038272/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 4477 0 1 0 9 1 0 0 20 0 18 0 9229204 9787879424 6110 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2389619 6110 2157 9 0 2380296 0
[pid=12848/tid=12849] ppid=12845 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 9229205 9787879424 6110 33554432000 1073741824 1073778376 140736806530400 140578432724312 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200259 s]
/proc/loadavg: 2.13 2.19 2.18 3/195 12848
/proc/meminfo: memFree=30038272/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 4695 0 1 0 24 1 0 0 20 0 18 0 9229204 9787879424 7290 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2389619 7290 2213 9 0 2380296 0
[pid=12848/tid=12849] ppid=12845 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2397 0 1 0 16 1 0 0 20 0 18 0 9229205 9787879424 7290 33554432000 1073741824 1073778376 140736806530400 140578432724312 140578255906960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300278 s]
/proc/loadavg: 2.13 2.19 2.18 3/195 12848
/proc/meminfo: memFree=30038272/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 5808 0 1 0 48 1 0 0 20 0 18 0 9229204 9787879424 9066 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2389619 9066 2231 9 0 2380296 0
[pid=12848/tid=12849] ppid=12845 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2399 0 1 0 26 1 0 0 20 0 18 0 9229205 9787879424 9066 33554432000 1073741824 1073778376 140736806530400 140578432724312 140578255910396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.70024 s]
/proc/loadavg: 2.13 2.19 2.18 3/195 12848
/proc/meminfo: memFree=30038272/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9625040 CPUtime=1.26 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 7652 0 1 0 123 3 0 0 20 0 19 0 9229204 9856040960 33361 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2406260 33361 2261 9 0 2396937 0
[pid=12848/tid=12849] ppid=12845 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2455 0 1 0 65 2 0 0 20 0 19 0 9229205 9856040960 33361 33554432000 1073741824 1073778376 140736806530400 140578432729576 140578256495792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625040
[startup+1.50089 s]
/proc/loadavg: 2.13 2.19 2.18 3/214 12867
/proc/meminfo: memFree=29890400/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9625040 CPUtime=2.77 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 12003 0 1 0 270 7 0 0 20 0 19 0 9229204 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2406260 47466 2282 9 0 2396937 0
[pid=12848/tid=12849] ppid=12845 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2481 0 1 0 141 3 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578432728472 140578256735336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12848/tid=12851] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12851/stat : 12851 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578394221608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12852] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12852/stat : 12852 (java) S 12845 12848 7986 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578393168808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12853] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12853/stat : 12853 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578392116008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12854] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12854/stat : 12854 (java) S 12845 12848 7986 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578391063208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12855] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12855/stat : 12855 (java) S 12845 12848 7986 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578390010408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12856] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12856/stat : 12856 (java) S 12845 12848 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578388957608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12857] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12857/stat : 12857 (java) S 12845 12848 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578387904808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12858] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12858/stat : 12858 (java) S 12845 12848 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578386852008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12859] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12859/stat : 12859 (java) S 12845 12848 7986 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 9229206 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578374441960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12860] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12860/stat : 12860 (java) S 12845 12848 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578255791864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12861] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12861/stat : 12861 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578254738952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12862] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12862/stat : 12862 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578253687440 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12863] ppid=12845 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/12848/task/12863/stat : 12863 (java) S 12845 12848 7986 0 -1 4202560 3917 0 0 0 61 1 0 0 20 0 19 0 9229209 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578252634552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12864] ppid=12845 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/12848/task/12864/stat : 12864 (java) S 12845 12848 7986 0 -1 4202560 4190 0 0 0 55 0 0 0 20 0 19 0 9229209 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578251581752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12865] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12865/stat : 12865 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578250529144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12866] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12866/stat : 12866 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578249476552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12867] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12867/stat : 12867 (java) S 12845 12848 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9229267 9856040960 47466 33554432000 1073741824 1073778376 140736806530400 140578248423080 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 9625040
[startup+3.10096 s]
/proc/loadavg: 2.12 2.18 2.18 4/214 12867
/proc/meminfo: memFree=29854904/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9625040 CPUtime=4.61 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 13493 0 1 0 451 10 0 0 20 0 19 0 9229204 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2406260 53517 2282 9 0 2396937 0
[pid=12848/tid=12849] ppid=12845 vsize=9625040 CPUtime=3.01 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2483 0 1 0 298 3 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578432721200 140578256735344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12848/tid=12851] ppid=12845 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12848/task/12851/stat : 12851 (java) S 12845 12848 7986 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578394221608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12852] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12852/stat : 12852 (java) S 12845 12848 7986 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578393168808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12853] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12853/stat : 12853 (java) S 12845 12848 7986 0 -1 4202560 96 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578392116008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12854] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12854/stat : 12854 (java) S 12845 12848 7986 0 -1 4202560 38 0 0 0 2 1 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578391063208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12855] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12855/stat : 12855 (java) S 12845 12848 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578390010408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12856] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12856/stat : 12856 (java) S 12845 12848 7986 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578388957608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12857] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12857/stat : 12857 (java) S 12845 12848 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578387904808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12858] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12858/stat : 12858 (java) S 12845 12848 7986 0 -1 4202560 115 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578386852008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12859] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12859/stat : 12859 (java) S 12845 12848 7986 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 9229206 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578374441960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12860] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12860/stat : 12860 (java) S 12845 12848 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578255791864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12861] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12861/stat : 12861 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578254738952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12862] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12862/stat : 12862 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578253687440 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12863] ppid=12845 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/12848/task/12863/stat : 12863 (java) S 12845 12848 7986 0 -1 4202560 3922 0 0 0 64 1 0 0 20 0 19 0 9229209 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578252634552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12864] ppid=12845 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12848/task/12864/stat : 12864 (java) S 12845 12848 7986 0 -1 4202560 5265 0 0 0 67 0 0 0 20 0 19 0 9229209 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578251581752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12865] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12865/stat : 12865 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578250529144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12866] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12866/stat : 12866 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578249476552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12867] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12867/stat : 12867 (java) S 12845 12848 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9229267 9856040960 53517 33554432000 1073741824 1073778376 140736806530400 140578248423080 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.12 2.18 2.18 4/214 12867
/proc/meminfo: memFree=29772360/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9625040 CPUtime=7.9 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 13928 0 1 0 778 12 0 0 20 0 19 0 9229204 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2406260 67665 2282 9 0 2396937 0
[pid=12848/tid=12849] ppid=12845 vsize=9625040 CPUtime=6.19 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2514 0 1 0 616 3 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578432729544 140578256857527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12848/tid=12851] ppid=12845 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12848/task/12851/stat : 12851 (java) S 12845 12848 7986 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578394221608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12852] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12852/stat : 12852 (java) S 12845 12848 7986 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578393168808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12853] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12853/stat : 12853 (java) S 12845 12848 7986 0 -1 4202560 96 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578392116008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12854] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12854/stat : 12854 (java) S 12845 12848 7986 0 -1 4202560 38 0 0 0 2 1 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578391063208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12855] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12855/stat : 12855 (java) S 12845 12848 7986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578390010408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12856] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12856/stat : 12856 (java) S 12845 12848 7986 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578388957608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12857] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12857/stat : 12857 (java) S 12845 12848 7986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578387904808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12858] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12858/stat : 12858 (java) S 12845 12848 7986 0 -1 4202560 115 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578386852008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12859] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12859/stat : 12859 (java) S 12845 12848 7986 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 9229206 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578374441960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12860] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12860/stat : 12860 (java) S 12845 12848 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578255791864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12861] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12861/stat : 12861 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578254738952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12862] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12862/stat : 12862 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578253687440 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12863] ppid=12845 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/12848/task/12863/stat : 12863 (java) S 12845 12848 7986 0 -1 4202560 3922 0 0 0 68 1 0 0 20 0 19 0 9229209 9856040960 67665 33554432000 1073741824 1073778376 140736806530400 140578252634552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12864] ppid=12845 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
################
# More data... #
################
[pid=12848/tid=12860] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12860/stat : 12860 (java) S 12845 12848 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578255791864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12861] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12861/stat : 12861 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578254738952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12862] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12862/stat : 12862 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578253687440 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12863] ppid=12845 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/12848/task/12863/stat : 12863 (java) S 12845 12848 7986 0 -1 4202560 3930 0 0 0 76 1 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578252634552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12864] ppid=12845 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12848/task/12864/stat : 12864 (java) S 12845 12848 7986 0 -1 4202560 5674 0 0 0 75 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578251581752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12865] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12865/stat : 12865 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578250529144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12866] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12866/stat : 12866 (java) S 12845 12848 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578249476552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12867] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12867/stat : 12867 (java) S 12845 12848 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9229267 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578248423080 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 46.59
Current children cumulated vsize (KiB) 9625040
[startup+45.6007 s]
/proc/loadavg: 2.17 2.19 2.18 3/213 12867
/proc/meminfo: memFree=29695172/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9625040 CPUtime=47.39 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 14161 0 1 0 4724 15 0 0 20 0 19 0 9229204 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2406260 85221 2287 9 0 2396937 0
[pid=12848/tid=12849] ppid=12845 vsize=9625040 CPUtime=45.35 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2542 0 1 0 4531 4 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578432721200 140578256735277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12848/tid=12851] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12851/stat : 12851 (java) S 12845 12848 7986 0 -1 4202560 120 0 0 0 2 1 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578394221608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12852] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12852/stat : 12852 (java) S 12845 12848 7986 0 -1 4202560 96 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578393168808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12853] ppid=12845 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12848/task/12853/stat : 12853 (java) S 12845 12848 7986 0 -1 4202560 99 0 0 0 3 1 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578392116008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12854] ppid=12845 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/12848/task/12854/stat : 12854 (java) S 12845 12848 7986 0 -1 4202560 46 0 0 0 3 2 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578391063208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12855] ppid=12845 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12848/task/12855/stat : 12855 (java) S 12845 12848 7986 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578390010408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12856] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12856/stat : 12856 (java) S 12845 12848 7986 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578388957608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12857] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12857/stat : 12857 (java) S 12845 12848 7986 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578387904808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12858] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12858/stat : 12858 (java) S 12845 12848 7986 0 -1 4202560 128 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578386852008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12859] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12859/stat : 12859 (java) S 12845 12848 7986 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 19 0 9229206 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578374441960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12860] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12860/stat : 12860 (java) S 12845 12848 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578255791864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12861] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12861/stat : 12861 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578254738952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12862] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12862/stat : 12862 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578253687440 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12863] ppid=12845 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/12848/task/12863/stat : 12863 (java) S 12845 12848 7986 0 -1 4202560 3930 0 0 0 76 1 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578252634552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12864] ppid=12845 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12848/task/12864/stat : 12864 (java) S 12845 12848 7986 0 -1 4202560 5674 0 0 0 75 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578251581752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12865] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12865/stat : 12865 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578250529144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12866] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12866/stat : 12866 (java) S 12845 12848 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578249476552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12867] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12867/stat : 12867 (java) S 12845 12848 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9229267 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578248423080 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 47.39
Current children cumulated vsize (KiB) 9625040
[startup+46.0008 s]
/proc/loadavg: 2.17 2.19 2.18 3/213 12867
/proc/meminfo: memFree=29695172/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9625040 CPUtime=47.79 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 14161 0 1 0 4764 15 0 0 20 0 19 0 9229204 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2406260 85221 2287 9 0 2396937 0
[pid=12848/tid=12849] ppid=12845 vsize=9625040 CPUtime=45.75 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2542 0 1 0 4571 4 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578432721200 140578256735391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12848/tid=12851] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12851/stat : 12851 (java) S 12845 12848 7986 0 -1 4202560 120 0 0 0 2 1 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578394221608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12852] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12852/stat : 12852 (java) S 12845 12848 7986 0 -1 4202560 96 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578393168808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12853] ppid=12845 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12848/task/12853/stat : 12853 (java) S 12845 12848 7986 0 -1 4202560 99 0 0 0 3 1 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578392116008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12854] ppid=12845 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/12848/task/12854/stat : 12854 (java) S 12845 12848 7986 0 -1 4202560 46 0 0 0 3 2 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578391063208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12855] ppid=12845 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12848/task/12855/stat : 12855 (java) S 12845 12848 7986 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578390010408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12856] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12856/stat : 12856 (java) S 12845 12848 7986 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578388957608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12857] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12857/stat : 12857 (java) S 12845 12848 7986 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578387904808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12858] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12858/stat : 12858 (java) S 12845 12848 7986 0 -1 4202560 128 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578386852008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12859] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12859/stat : 12859 (java) S 12845 12848 7986 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 19 0 9229206 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578374441960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12860] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12860/stat : 12860 (java) S 12845 12848 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578255791864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12861] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12861/stat : 12861 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578254738952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12862] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12862/stat : 12862 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578253687440 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12863] ppid=12845 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/12848/task/12863/stat : 12863 (java) S 12845 12848 7986 0 -1 4202560 3930 0 0 0 76 1 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578252634552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12864] ppid=12845 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12848/task/12864/stat : 12864 (java) S 12845 12848 7986 0 -1 4202560 5674 0 0 0 75 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578251581752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12865] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12865/stat : 12865 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578250529144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12866] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12866/stat : 12866 (java) S 12845 12848 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578249476552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12867] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12867/stat : 12867 (java) S 12845 12848 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9229267 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578248423080 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 47.79
Current children cumulated vsize (KiB) 9625040
[startup+46.2007 s]
/proc/loadavg: 2.17 2.19 2.18 3/213 12867
/proc/meminfo: memFree=29695296/32872528 swapFree=1399392/1569044
[pid=12848] ppid=12845 vsize=9625040 CPUtime=48 cores=1,3,5,7
/proc/12848/stat : 12848 (java) S 12845 12848 7986 0 -1 4202496 14161 0 1 0 4785 15 0 0 20 0 19 0 9229204 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140736806521536 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12848/statm: 2406260 85221 2287 9 0 2396937 0
[pid=12848/tid=12849] ppid=12845 vsize=9625040 CPUtime=45.96 cores=1,3,5,7
/proc/12848/task/12849/stat : 12849 (java) R 12845 12848 7986 0 -1 4202560 2542 0 1 0 4592 4 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578432721200 140578256735459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12848/tid=12851] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12851/stat : 12851 (java) S 12845 12848 7986 0 -1 4202560 120 0 0 0 2 1 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578394221608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12852] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12852/stat : 12852 (java) S 12845 12848 7986 0 -1 4202560 96 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578393168808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12853] ppid=12845 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/12848/task/12853/stat : 12853 (java) S 12845 12848 7986 0 -1 4202560 99 0 0 0 3 1 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578392116008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12854] ppid=12845 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/12848/task/12854/stat : 12854 (java) S 12845 12848 7986 0 -1 4202560 46 0 0 0 3 2 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578391063208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12855] ppid=12845 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12848/task/12855/stat : 12855 (java) S 12845 12848 7986 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578390010408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12856] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12856/stat : 12856 (java) S 12845 12848 7986 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578388957608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12857] ppid=12845 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/12848/task/12857/stat : 12857 (java) S 12845 12848 7986 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578387904808 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12858] ppid=12845 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/12848/task/12858/stat : 12858 (java) S 12845 12848 7986 0 -1 4202560 128 0 0 0 3 0 0 0 20 0 19 0 9229205 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578386852008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12859] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12859/stat : 12859 (java) S 12845 12848 7986 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 19 0 9229206 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578374441960 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12860] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12860/stat : 12860 (java) S 12845 12848 7986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578255791864 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12861] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12861/stat : 12861 (java) S 12845 12848 7986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9229207 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578254738952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12862] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12862/stat : 12862 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578253687440 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12863] ppid=12845 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/12848/task/12863/stat : 12863 (java) S 12845 12848 7986 0 -1 4202560 3930 0 0 0 76 1 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578252634552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12848/tid=12864] ppid=12845 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12848/task/12864/stat : 12864 (java) S 12845 12848 7986 0 -1 4202560 5674 0 0 0 75 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578251581752 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12865] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12865/stat : 12865 (java) S 12845 12848 7986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578250529144 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12848/tid=12866] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12866/stat : 12866 (java) S 12845 12848 7986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9229209 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578249476552 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12848/tid=12867] ppid=12845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12848/task/12867/stat : 12867 (java) S 12845 12848 7986 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 9229267 9856040960 85221 33554432000 1073741824 1073778376 140736806530400 140578248423080 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 48
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12848 and gives
# childrusage.ru_utime.tv_sec=47
# childrusage.ru_utime.tv_usec=763738
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=202969
# CPU time returned by wait4() is 47.9667
# while last known CPU time is 48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 46.2544
CPU time (s): 48
CPU user time (s): 47.85
CPU system time (s): 0.15
CPU usage (%): 103.774
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.7637
system time used= 0.202969
maximum resident set size= 340964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14189
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1437
involuntary context switches= 504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.288956 second user time and 0.448931 second system time
The end