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-4080300-1465218065/watcher-4080300-1465218065 -o /tmp/evaluation-result-4080300-1465218065/solver-4080300-1465218065 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3986 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080300-1465218065.opb
pid=7286
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: 3.76 3.95 3.40 4/198 7289
/proc/meminfo: memFree=28924412/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/7289/stat : 7289 (java) R 7286 7289 3970 0 -1 4202496 719 0 0 0 0 0 0 0 20 0 1 0 103741801 23793664 370 33554432000 1073741824 1073778376 140735844871728 140735844860792 249640827457 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 5809 380 291 9 0 128 0
[startup+0.100111 s]
/proc/loadavg: 3.76 3.95 3.40 4/198 7289
/proc/meminfo: memFree=28924412/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 4416 0 1 0 9 1 0 0 20 0 18 0 103741801 9787879424 6039 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2389619 6039 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200275 s]
/proc/loadavg: 3.76 3.95 3.40 4/198 7289
/proc/meminfo: memFree=28924412/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 4659 0 1 0 23 1 0 0 20 0 18 0 103741801 9787879424 6742 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2389619 6742 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300276 s]
/proc/loadavg: 3.76 3.95 3.40 4/198 7289
/proc/meminfo: memFree=28924412/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 5695 0 1 0 46 1 0 0 20 0 18 0 103741801 9787879424 8493 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2389619 8493 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700185 s]
/proc/loadavg: 3.76 3.95 3.40 4/198 7289
/proc/meminfo: memFree=28924412/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 14914 0 1 0 193 2 0 0 20 0 22 0 103741801 10060525568 20520 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2456183 20520 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9824732
[startup+1.50083 s]
/proc/loadavg: 3.76 3.95 3.40 8/220 7311
/proc/meminfo: memFree=28749620/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9824732 CPUtime=5.03 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 27729 0 1 0 496 7 0 0 20 0 22 0 103741801 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2456183 50858 2285 9 0 2446860 0
[pid=7289/tid=7291] ppid=7286 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7289/task/7291/stat : 7291 (java) S 7286 7289 3970 0 -1 4202560 2420 0 1 0 31 0 0 0 20 0 22 0 103741802 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140175287160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7292] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7292/stat : 7292 (java) S 7286 7289 3970 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140018301864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7293] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7293/stat : 7293 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140017249320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7294] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7294/stat : 7294 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140016196264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7295] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7295/stat : 7295 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140015143720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7296] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7296/stat : 7296 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140014090664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7297] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7297/stat : 7297 (java) S 7286 7289 3970 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140013038120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7298] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7298/stat : 7298 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140011985064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7299] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7299/stat : 7299 (java) S 7286 7289 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140140010932520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7300] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7300/stat : 7300 (java) S 7286 7289 3970 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139998735208 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7301] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7301/stat : 7301 (java) S 7286 7289 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139997681528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7302] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7302/stat : 7302 (java) S 7286 7289 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139996628360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7303] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7303/stat : 7303 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139995577104 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7304] ppid=7286 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/7289/task/7304/stat : 7304 (java) S 7286 7289 3970 0 -1 4202560 11592 0 0 0 114 2 0 0 20 0 22 0 103741807 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139994523960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7305] ppid=7286 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/7289/task/7305/stat : 7305 (java) S 7286 7289 3970 0 -1 4202560 12222 0 0 0 120 2 0 0 20 0 22 0 103741807 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139993471416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7306] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7306/stat : 7306 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139992418552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7307] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7307/stat : 7307 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139991366216 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7308] ppid=7286 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/7289/task/7308/stat : 7308 (java) R 7286 7289 3970 0 -1 4202560 18 0 0 0 112 0 0 0 20 0 22 0 103741835 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139990303088 140140035605876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7309] ppid=7286 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/7289/task/7309/stat : 7309 (java) R 7286 7289 3970 0 -1 4202560 89 0 0 0 109 2 0 0 20 0 22 0 103741835 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139989258192 140140035529895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7310] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7310/stat : 7310 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139988206888 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7311] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7311/stat : 7311 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 50858 33554432000 1073741824 1073778376 140735844871728 140139987154344 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 3.76 3.95 3.40 5/220 7311
/proc/meminfo: memFree=28712332/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9824732 CPUtime=8.44 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 27963 0 1 0 831 13 0 0 20 0 22 0 103741801 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2456183 85797 2285 9 0 2446860 0
[pid=7289/tid=7291] ppid=7286 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7289/task/7291/stat : 7291 (java) S 7286 7289 3970 0 -1 4202560 2420 0 1 0 31 0 0 0 20 0 22 0 103741802 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140175287160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7292] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7292/stat : 7292 (java) S 7286 7289 3970 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140018301864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7293] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7293/stat : 7293 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140017249320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7294] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7294/stat : 7294 (java) S 7286 7289 3970 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140016196264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7295] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7295/stat : 7295 (java) S 7286 7289 3970 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140015143720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7296] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7296/stat : 7296 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140014090664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7297] ppid=7286 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7289/task/7297/stat : 7297 (java) S 7286 7289 3970 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140013038120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7298] ppid=7286 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7289/task/7298/stat : 7298 (java) S 7286 7289 3970 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140011985064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7299] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7299/stat : 7299 (java) S 7286 7289 3970 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 103741803 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140140010932520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7300] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7300/stat : 7300 (java) S 7286 7289 3970 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139998735208 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7301] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7301/stat : 7301 (java) S 7286 7289 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139997681528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7302] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7302/stat : 7302 (java) S 7286 7289 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139996628360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7303] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7303/stat : 7303 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139995577104 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7304] ppid=7286 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/7289/task/7304/stat : 7304 (java) S 7286 7289 3970 0 -1 4202560 11592 0 0 0 120 2 0 0 20 0 22 0 103741807 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139994523960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7305] ppid=7286 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/7289/task/7305/stat : 7305 (java) S 7286 7289 3970 0 -1 4202560 12222 0 0 0 131 2 0 0 20 0 22 0 103741807 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139993471416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7306] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7306/stat : 7306 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139992418552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7307] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7307/stat : 7307 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139991366216 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7308] ppid=7286 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/7289/task/7308/stat : 7308 (java) R 7286 7289 3970 0 -1 4202560 21 0 0 0 266 0 0 0 20 0 22 0 103741835 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139990312088 140140035548823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7309] ppid=7286 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/7289/task/7309/stat : 7309 (java) R 7286 7289 3970 0 -1 4202560 142 0 0 0 261 4 0 0 20 0 22 0 103741835 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139989258888 140140035667594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7310] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7310/stat : 7310 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139988206888 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7311] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7311/stat : 7311 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 85797 33554432000 1073741824 1073778376 140735844871728 140139987154344 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.44
Current children cumulated vsize (KiB) 9824732
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7289 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20114 s]
/proc/loadavg: 3.76 3.95 3.40 5/220 7311
/proc/meminfo: memFree=28712332/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9824732 CPUtime=8.68 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 28334 0 1 0 852 16 0 0 20 0 22 0 103741801 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2456183 90737 2285 9 0 2446860 0
[pid=7289/tid=7291] ppid=7286 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7289/task/7291/stat : 7291 (java) S 7286 7289 3970 0 -1 4202560 2420 0 1 0 31 0 0 0 20 0 22 0 103741802 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140175287160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7292] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7292/stat : 7292 (java) S 7286 7289 3970 0 -1 4202560 33 0 0 0 1 2 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140018301864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7293] ppid=7286 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7289/task/7293/stat : 7293 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140017249320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7294] ppid=7286 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7289/task/7294/stat : 7294 (java) S 7286 7289 3970 0 -1 4202560 104 0 0 0 2 2 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140016196264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7295] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7295/stat : 7295 (java) S 7286 7289 3970 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140015143720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7296] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7296/stat : 7296 (java) S 7286 7289 3970 0 -1 4202560 105 0 0 0 1 1 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140014090664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7297] ppid=7286 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/7289/task/7297/stat : 7297 (java) S 7286 7289 3970 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140013038120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7298] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7298/stat : 7298 (java) S 7286 7289 3970 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140011985064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7299] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7299/stat : 7299 (java) S 7286 7289 3970 0 -1 4202560 95 0 0 0 2 1 0 0 20 0 22 0 103741803 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140140010932520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7300] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7300/stat : 7300 (java) S 7286 7289 3970 0 -1 4202560 195 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 90737 33554432000 1073741824 1073778376 140735844871728 140139998735208 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=7289/tid=7303] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7303/stat : 7303 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139995577104 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7304] ppid=7286 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/7289/task/7304/stat : 7304 (java) S 7286 7289 3970 0 -1 4202560 11592 0 0 0 120 2 0 0 20 0 22 0 103741807 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139994523960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7305] ppid=7286 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/7289/task/7305/stat : 7305 (java) S 7286 7289 3970 0 -1 4202560 12222 0 0 0 132 2 0 0 20 0 22 0 103741807 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139993471416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7306] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7306/stat : 7306 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139992418552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7307] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7307/stat : 7307 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139991366216 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7308] ppid=7286 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/7289/task/7308/stat : 7308 (java) R 7286 7289 3970 0 -1 4202560 25 0 0 0 353 0 0 0 20 0 22 0 103741835 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139990296672 140140035484360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7309] ppid=7286 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/7289/task/7309/stat : 7309 (java) R 7286 7289 3970 0 -1 4202560 203 0 0 0 347 5 0 0 20 0 22 0 103741835 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139989258192 140140035659907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7310] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7310/stat : 7310 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139988206888 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7311] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7311/stat : 7311 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 122483 33554432000 1073741824 1073778376 140735844871728 140139987154344 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 10.3
Current children cumulated vsize (KiB) 9824732
[startup+4.80093 s]
/proc/loadavg: 3.76 3.95 3.40 5/220 7311
/proc/meminfo: memFree=28211940/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9824732 CPUtime=11.95 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 28755 0 1 0 1174 21 0 0 20 0 22 0 103741801 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2456183 152963 2285 9 0 2446860 0
[pid=7289/tid=7291] ppid=7286 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7289/task/7291/stat : 7291 (java) S 7286 7289 3970 0 -1 4202560 2420 0 1 0 31 0 0 0 20 0 22 0 103741802 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140175287160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7292] ppid=7286 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7289/task/7292/stat : 7292 (java) S 7286 7289 3970 0 -1 4202560 46 0 0 0 4 2 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140018301864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7293] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7293/stat : 7293 (java) S 7286 7289 3970 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140017249320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7294] ppid=7286 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7289/task/7294/stat : 7294 (java) S 7286 7289 3970 0 -1 4202560 105 0 0 0 3 2 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140016196264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7295] ppid=7286 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7289/task/7295/stat : 7295 (java) S 7286 7289 3970 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140015143720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7296] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7296/stat : 7296 (java) S 7286 7289 3970 0 -1 4202560 106 0 0 0 2 1 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140014090664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7297] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7297/stat : 7297 (java) S 7286 7289 3970 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140013038120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7298] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7298/stat : 7298 (java) S 7286 7289 3970 0 -1 4202560 106 0 0 0 3 0 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140011985064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7299] ppid=7286 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7289/task/7299/stat : 7299 (java) S 7286 7289 3970 0 -1 4202560 102 0 0 0 3 2 0 0 20 0 22 0 103741803 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140140010932520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7300] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7300/stat : 7300 (java) S 7286 7289 3970 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139998735208 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7301] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7301/stat : 7301 (java) S 7286 7289 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139997681528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7302] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7302/stat : 7302 (java) S 7286 7289 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139996628360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7303] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7303/stat : 7303 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139995577104 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7304] ppid=7286 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/7289/task/7304/stat : 7304 (java) S 7286 7289 3970 0 -1 4202560 11592 0 0 0 120 2 0 0 20 0 22 0 103741807 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139994523960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7305] ppid=7286 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/7289/task/7305/stat : 7305 (java) S 7286 7289 3970 0 -1 4202560 12222 0 0 0 133 2 0 0 20 0 22 0 103741807 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139993471416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7306] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7306/stat : 7306 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139992418552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7307] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7307/stat : 7307 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139991366216 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7308] ppid=7286 vsize=9824732 CPUtime=4.3 cores=0,2,4,6
/proc/7289/task/7308/stat : 7308 (java) R 7286 7289 3970 0 -1 4202560 28 0 0 0 430 0 0 0 20 0 22 0 103741835 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139990311760 140140035497184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7309] ppid=7286 vsize=9824732 CPUtime=4.29 cores=0,2,4,6
/proc/7289/task/7309/stat : 7309 (java) R 7286 7289 3970 0 -1 4202560 251 0 0 0 422 7 0 0 20 0 22 0 103741835 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139989258192 140140035660087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7310] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7310/stat : 7310 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139988206888 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7311] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7311/stat : 7311 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 152963 33554432000 1073741824 1073778376 140735844871728 140139987154344 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 9824732
[startup+5.20091 s]
/proc/loadavg: 3.76 3.95 3.40 5/220 7311
/proc/meminfo: memFree=28211940/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9824732 CPUtime=12.77 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 28755 0 1 0 1256 21 0 0 20 0 22 0 103741801 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2456183 151373 2285 9 0 2446860 0
[pid=7289/tid=7291] ppid=7286 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7289/task/7291/stat : 7291 (java) S 7286 7289 3970 0 -1 4202560 2420 0 1 0 31 0 0 0 20 0 22 0 103741802 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140175287160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7292] ppid=7286 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7289/task/7292/stat : 7292 (java) S 7286 7289 3970 0 -1 4202560 46 0 0 0 4 2 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140018301864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7293] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7293/stat : 7293 (java) S 7286 7289 3970 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140017249320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7294] ppid=7286 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7289/task/7294/stat : 7294 (java) S 7286 7289 3970 0 -1 4202560 105 0 0 0 3 2 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140016196264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7295] ppid=7286 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7289/task/7295/stat : 7295 (java) S 7286 7289 3970 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140015143720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7296] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7296/stat : 7296 (java) S 7286 7289 3970 0 -1 4202560 106 0 0 0 2 1 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140014090664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7297] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7297/stat : 7297 (java) S 7286 7289 3970 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140013038120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7298] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7298/stat : 7298 (java) S 7286 7289 3970 0 -1 4202560 106 0 0 0 3 0 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140011985064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7299] ppid=7286 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7289/task/7299/stat : 7299 (java) S 7286 7289 3970 0 -1 4202560 102 0 0 0 3 2 0 0 20 0 22 0 103741803 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140140010932520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7300] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7300/stat : 7300 (java) S 7286 7289 3970 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139998735208 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7301] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7301/stat : 7301 (java) S 7286 7289 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139997681528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7302] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7302/stat : 7302 (java) S 7286 7289 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103741804 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139996628360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7303] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7303/stat : 7303 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139995577104 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7304] ppid=7286 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/7289/task/7304/stat : 7304 (java) S 7286 7289 3970 0 -1 4202560 11592 0 0 0 120 2 0 0 20 0 22 0 103741807 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139994523960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7305] ppid=7286 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/7289/task/7305/stat : 7305 (java) S 7286 7289 3970 0 -1 4202560 12222 0 0 0 135 2 0 0 20 0 22 0 103741807 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139993471416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7306] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7306/stat : 7306 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139992418552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7307] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7307/stat : 7307 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103741807 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139991366216 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7308] ppid=7286 vsize=9824732 CPUtime=4.7 cores=0,2,4,6
/proc/7289/task/7308/stat : 7308 (java) R 7286 7289 3970 0 -1 4202560 28 0 0 0 470 0 0 0 20 0 22 0 103741835 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139990311832 140140035526965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7309] ppid=7286 vsize=9824732 CPUtime=4.69 cores=0,2,4,6
/proc/7289/task/7309/stat : 7309 (java) R 7286 7289 3970 0 -1 4202560 251 0 0 0 462 7 0 0 20 0 22 0 103741835 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139989259080 140140035660210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7310] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7310/stat : 7310 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139988206888 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7311] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7311/stat : 7311 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103741836 10060525568 151373 33554432000 1073741824 1073778376 140735844871728 140139987154344 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 9824732
[startup+5.30095 s]
/proc/loadavg: 3.76 3.95 3.40 5/220 7311
/proc/meminfo: memFree=28211940/32872528 swapFree=10608/190480
[pid=7289] ppid=7286 vsize=9824732 CPUtime=12.97 cores=0,2,4,6
/proc/7289/stat : 7289 (java) S 7286 7289 3970 0 -1 4202496 28757 0 1 0 1274 23 0 0 20 0 19 0 103741801 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140735844862864 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7289/statm: 2456183 151361 2286 9 0 2446860 0
[pid=7289/tid=7291] ppid=7286 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/7289/task/7291/stat : 7291 (java) S 7286 7289 3970 0 -1 4202560 2420 0 1 0 31 0 0 0 20 0 19 0 103741802 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140175287160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7289/tid=7292] ppid=7286 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7289/task/7292/stat : 7292 (java) S 7286 7289 3970 0 -1 4202560 46 0 0 0 4 2 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140018301864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7293] ppid=7286 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7289/task/7293/stat : 7293 (java) S 7286 7289 3970 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140017249320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7294] ppid=7286 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7289/task/7294/stat : 7294 (java) S 7286 7289 3970 0 -1 4202560 105 0 0 0 3 2 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140016196264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7295] ppid=7286 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7289/task/7295/stat : 7295 (java) S 7286 7289 3970 0 -1 4202560 32 0 0 0 3 1 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140015143720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7289/tid=7296] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7296/stat : 7296 (java) S 7286 7289 3970 0 -1 4202560 106 0 0 0 2 1 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140014090664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7297] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7297/stat : 7297 (java) S 7286 7289 3970 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140013038120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7298] ppid=7286 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/7289/task/7298/stat : 7298 (java) S 7286 7289 3970 0 -1 4202560 106 0 0 0 3 0 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140011985064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7299] ppid=7286 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7289/task/7299/stat : 7299 (java) S 7286 7289 3970 0 -1 4202560 102 0 0 0 3 2 0 0 20 0 19 0 103741803 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140140010932520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7300] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7300/stat : 7300 (java) S 7286 7289 3970 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 19 0 103741804 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139998735208 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7301] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7301/stat : 7301 (java) S 7286 7289 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 103741804 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139997681528 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7302] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7302/stat : 7302 (java) S 7286 7289 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 103741804 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139996628360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7303] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7303/stat : 7303 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103741807 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139995577104 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7304] ppid=7286 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/7289/task/7304/stat : 7304 (java) S 7286 7289 3970 0 -1 4202560 11592 0 0 0 120 2 0 0 20 0 19 0 103741807 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139994523960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7305] ppid=7286 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/7289/task/7305/stat : 7305 (java) S 7286 7289 3970 0 -1 4202560 12222 0 0 0 135 2 0 0 20 0 19 0 103741807 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139993471416 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7306] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7306/stat : 7306 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103741807 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139992418552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7289/tid=7307] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7307/stat : 7307 (java) S 7286 7289 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 103741807 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139991366216 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7289/tid=7311] ppid=7286 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7289/task/7311/stat : 7311 (java) S 7286 7289 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 103741836 10060525568 151361 33554432000 1073741824 1073778376 140735844871728 140139987154344 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (KiB) 9824732
Child status: 20
Real time (s): 5.36911
CPU time (s): 13.072
CPU user time (s): 12.7411
CPU system time (s): 0.330949
CPU usage (%): 243.467
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7411
system time used= 0.330949
maximum resident set size= 611852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28771
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= 671
involuntary context switches= 517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030995 second user time and 0.049992 second system time
The end