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-4109852-1466343756/watcher-4109852-1466343756 -o /tmp/evaluation-result-4109852-1466343756/solver-4109852-1466343756 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466341813-22415 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109852-1466343756.wbo
pid=23806
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.43 2.36 2.01 3/196 23809
/proc/meminfo: memFree=29834400/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/23809/stat : 23809 (java) R 23806 23809 22399 0 -1 4202496 380 0 0 0 0 0 0 0 20 0 1 0 36422067 5767168 52 33554432000 1073741824 1073778376 140734696418976 140734696416104 273896537672 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 1408 55 43 9 0 30 0
[startup+0.10006 s]
/proc/loadavg: 2.43 2.36 2.01 3/196 23809
/proc/meminfo: memFree=29834400/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 4392 0 1 0 8 1 0 0 20 0 18 0 36422067 9787879424 6034 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.209108 s]
/proc/loadavg: 2.43 2.36 2.01 3/196 23809
/proc/meminfo: memFree=29834400/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 4755 0 1 0 25 1 0 0 20 0 18 0 36422067 9787879424 6823 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2389619 6823 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300221 s]
/proc/loadavg: 2.43 2.36 2.01 3/196 23809
/proc/meminfo: memFree=29834400/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 5771 0 1 0 44 2 0 0 20 0 18 0 36422067 9787879424 8269 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2389619 8269 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700172 s]
/proc/loadavg: 2.43 2.36 2.01 3/196 23809
/proc/meminfo: memFree=29834400/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9625040 CPUtime=1.62 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 12436 0 1 0 158 4 0 0 20 0 19 0 36422067 9856040960 14130 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2406260 14130 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9625040
[startup+1.50072 s]
/proc/loadavg: 2.43 2.36 2.01 3/215 23828
/proc/meminfo: memFree=29781984/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 12447 0 1 0 244 4 0 0 20 0 19 0 36422067 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2406260 16184 2266 9 0 2396937 0
[pid=23809/tid=23811] ppid=23806 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/23809/task/23811/stat : 23811 (java) R 23806 23809 22399 0 -1 4202560 2428 0 1 0 143 2 0 0 20 0 19 0 36422068 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140184009359664 140183857538752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23812] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23812/stat : 23812 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183981820840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23813] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23813/stat : 23813 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183980768296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23814] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23814/stat : 23814 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183979715240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23809/tid=23815] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23815/stat : 23815 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183978662696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23816] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23816/stat : 23816 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183977609640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23817] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23817/stat : 23817 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183976557096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23818] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23818/stat : 23818 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183975504040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23819] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23819/stat : 23819 (java) S 23806 23809 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183846037800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23820] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23820/stat : 23820 (java) S 23806 23809 22399 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183363091304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23821] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23821/stat : 23821 (java) S 23806 23809 22399 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183362037624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23822] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23822/stat : 23822 (java) S 23806 23809 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183360984456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23823] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23823/stat : 23823 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183359933200 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23824] ppid=23806 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/23809/task/23824/stat : 23824 (java) S 23806 23809 22399 0 -1 4202560 4841 0 0 0 51 0 0 0 20 0 19 0 36422073 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183358880056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23825] ppid=23806 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/23809/task/23825/stat : 23825 (java) S 23806 23809 22399 0 -1 4202560 3902 0 0 0 47 1 0 0 20 0 19 0 36422073 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183357827512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23826] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23826/stat : 23826 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183356774648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23827] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23827/stat : 23827 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183355722312 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23828] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23828/stat : 23828 (java) S 23806 23809 22399 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36422098 9856040960 16184 33554432000 1073741824 1073778376 140734696418976 140183354668584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040
[startup+3.10078 s]
/proc/loadavg: 2.40 2.35 2.01 3/215 23828
/proc/meminfo: memFree=29773164/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9625040 CPUtime=4.14 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 12457 0 1 0 409 5 0 0 20 0 19 0 36422067 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2406260 18236 2270 9 0 2396937 0
[pid=23809/tid=23811] ppid=23806 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/23809/task/23811/stat : 23811 (java) R 23806 23809 22399 0 -1 4202560 2433 0 1 0 301 2 0 0 20 0 19 0 36422068 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140184009365904 140183857595639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23812] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23812/stat : 23812 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183981820840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23813] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23813/stat : 23813 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183980768296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23814] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23814/stat : 23814 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183979715240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23809/tid=23815] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23815/stat : 23815 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183978662696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23816] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23816/stat : 23816 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183977609640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23817] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23817/stat : 23817 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183976557096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23818] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23818/stat : 23818 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183975504040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23819] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23819/stat : 23819 (java) S 23806 23809 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183846037800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23820] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23820/stat : 23820 (java) S 23806 23809 22399 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183363091304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23821] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23821/stat : 23821 (java) S 23806 23809 22399 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183362037624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23822] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23822/stat : 23822 (java) S 23806 23809 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183360984456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23823] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23823/stat : 23823 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183359933200 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23824] ppid=23806 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/23809/task/23824/stat : 23824 (java) S 23806 23809 22399 0 -1 4202560 4842 0 0 0 54 0 0 0 20 0 19 0 36422073 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183358880056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23825] ppid=23806 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/23809/task/23825/stat : 23825 (java) S 23806 23809 22399 0 -1 4202560 3906 0 0 0 51 1 0 0 20 0 19 0 36422073 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183357827512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23826] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23826/stat : 23826 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183356774648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23827] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23827/stat : 23827 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183355722312 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23828] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23828/stat : 23828 (java) S 23806 23809 22399 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36422098 9856040960 18236 33554432000 1073741824 1073778376 140734696418976 140183354668584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.40 2.35 2.01 3/215 23828
/proc/meminfo: memFree=29758604/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9625040 CPUtime=7.38 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 12465 0 1 0 733 5 0 0 20 0 19 0 36422067 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2406260 21217 2270 9 0 2396937 0
[pid=23809/tid=23811] ppid=23806 vsize=9625040 CPUtime=6.21 cores=0,2,4,6
/proc/23809/task/23811/stat : 23811 (java) R 23806 23809 22399 0 -1 4202560 2441 0 1 0 619 2 0 0 20 0 19 0 36422068 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140184009368128 140183857552351 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23812] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23812/stat : 23812 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183981820840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23813] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23813/stat : 23813 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183980768296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23814] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23814/stat : 23814 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183979715240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23809/tid=23815] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23815/stat : 23815 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183978662696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23816] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23816/stat : 23816 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183977609640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23817] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23817/stat : 23817 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183976557096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23818] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23818/stat : 23818 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183975504040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23819] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23819/stat : 23819 (java) S 23806 23809 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183846037800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23820] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23820/stat : 23820 (java) S 23806 23809 22399 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183363091304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23821] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23821/stat : 23821 (java) S 23806 23809 22399 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183362037624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23822] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23822/stat : 23822 (java) S 23806 23809 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183360984456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23823] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23823/stat : 23823 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183359933200 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23824] ppid=23806 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/23809/task/23824/stat : 23824 (java) S 23806 23809 22399 0 -1 4202560 4842 0 0 0 57 0 0 0 20 0 19 0 36422073 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183358880056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23825] ppid=23806 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/23809/task/23825/stat : 23825 (java) S 23806 23809 22399 0 -1 4202560 3906 0 0 0 54 1 0 0 20 0 19 0 36422073 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183357827512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23826] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23826/stat : 23826 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183356774648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23827] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23827/stat : 23827 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183355722312 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23828] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23828/stat : 23828 (java) S 23806 23809 22399 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36422098 9856040960 21217 33554432000 1073741824 1073778376 140734696418976 140183354668584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 9625040
[startup+12.7008 s]
/proc/loadavg: 2.36 2.35 2.01 4/215 23893
/proc/meminfo: memFree=29837096/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9625040 CPUtime=13.83 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 12477 0 1 0 1378 5 0 0 20 0 19 0 36422067 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2406260 26338 2271 9 0 2396937 0
[pid=23809/tid=23811] ppid=23806 vsize=9625040 CPUtime=12.59 cores=0,2,4,6
/proc/23809/task/23811/stat : 23811 (java) R 23806 23809 22399 0 -1 4202560 2452 0 1 0 1257 2 0 0 20 0 19 0 36422068 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140184009366728 140183857552317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23812] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23812/stat : 23812 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183981820840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23813] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23813/stat : 23813 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183980768296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23814] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23814/stat : 23814 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183979715240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23809/tid=23815] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23815/stat : 23815 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183978662696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23816] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23816/stat : 23816 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183977609640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23817] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23817/stat : 23817 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183976557096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23818] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23818/stat : 23818 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183975504040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23819] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23819/stat : 23819 (java) S 23806 23809 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183846037800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23820] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23820/stat : 23820 (java) S 23806 23809 22399 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183363091304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23821] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23821/stat : 23821 (java) S 23806 23809 22399 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183362037624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23822] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23822/stat : 23822 (java) S 23806 23809 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183360984456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23823] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23823/stat : 23823 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183359933200 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23824] ppid=23806 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/23809/task/23824/stat : 23824 (java) S 23806 23809 22399 0 -1 4202560 4843 0 0 0 62 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183358880056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23825] ppid=23806 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/23809/task/23825/stat : 23825 (java) S 23806 23809 22399 0 -1 4202560 3906 0 0 0 54 1 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183357827512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23826] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23826/stat : 23826 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183356774648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23827] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23827/stat : 23827 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183355722312 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23828] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23828/stat : 23828 (java) S 23806 23809 22399 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36422098 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183354668584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 13.83
Current children cumulated vsize (KiB) 9625040
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23809 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.7008 s]
/proc/loadavg: 2.36 2.35 2.01 4/215 23893
/proc/meminfo: memFree=29837096/32872528 swapFree=1482636/1662508
[pid=23809] ppid=23806 vsize=9625040 CPUtime=13.83 cores=0,2,4,6
/proc/23809/stat : 23809 (java) S 23806 23809 22399 0 -1 4202496 12477 0 1 0 1378 5 0 0 20 0 19 0 36422067 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140734696410112 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23809/statm: 2406260 26338 2271 9 0 2396937 0
[pid=23809/tid=23811] ppid=23806 vsize=9625040 CPUtime=12.59 cores=0,2,4,6
/proc/23809/task/23811/stat : 23811 (java) R 23806 23809 22399 0 -1 4202560 2452 0 1 0 1257 2 0 0 20 0 19 0 36422068 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140184009366728 140183857552317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23812] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23812/stat : 23812 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183981820840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23813] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23813/stat : 23813 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183980768296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23814] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23814/stat : 23814 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183979715240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23809/tid=23815] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23815/stat : 23815 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183978662696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23816] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23816/stat : 23816 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183977609640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23817] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23817/stat : 23817 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183976557096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23809/tid=23818] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23818/stat : 23818 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183975504040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23819] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23819/stat : 23819 (java) S 23806 23809 22399 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36422069 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183846037800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23820] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23820/stat : 23820 (java) S 23806 23809 22399 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183363091304 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23821] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23821/stat : 23821 (java) S 23806 23809 22399 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183362037624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23822] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23822/stat : 23822 (java) S 23806 23809 22399 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36422070 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183360984456 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23823] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23823/stat : 23823 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183359933200 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23824] ppid=23806 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/23809/task/23824/stat : 23824 (java) S 23806 23809 22399 0 -1 4202560 4843 0 0 0 62 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183358880056 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23825] ppid=23806 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/23809/task/23825/stat : 23825 (java) S 23806 23809 22399 0 -1 4202560 3906 0 0 0 54 1 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183357827512 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23826] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23826/stat : 23826 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183356774648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23809/tid=23827] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23827/stat : 23827 (java) S 23806 23809 22399 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36422073 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183355722312 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23809/tid=23828] ppid=23806 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23809/task/23828/stat : 23828 (java) S 23806 23809 22399 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36422098 9856040960 26338 33554432000 1073741824 1073778376 140734696418976 140183354668584 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 13.83
Current children cumulated vsize (KiB) 9625040
Child status: 30
Real time (s): 12.7969
CPU time (s): 13.9029
CPU user time (s): 13.8399
CPU system time (s): 0.06299
CPU usage (%): 108.642
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8399
system time used= 0.06299
maximum resident set size= 105412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12500
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= 559
involuntary context switches= 144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.094985 second user time and 0.108983 second system time
The end