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-4100114-1466207938/watcher-4100114-1466207938 -o /tmp/evaluation-result-4100114-1466207938/solver-4100114-1466207938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466206100-1315 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100114-1466207938.opb
pid=2515
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: 4.20 4.21 3.60 4/197 2518
/proc/meminfo: memFree=26691216/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2518/stat : 2518 (java) R 2515 2518 1299 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 22842767 9515008 185 33554432000 1073741824 1073778376 140737431841200 140737431823928 213183982887 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2323 185 143 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 4.20 4.21 3.60 4/197 2518
/proc/meminfo: memFree=26691216/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 22842767 9787879424 6025 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200263 s]
/proc/loadavg: 4.20 4.21 3.60 4/197 2518
/proc/meminfo: memFree=26691216/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 4747 0 1 0 23 1 0 0 20 0 18 0 22842767 9787879424 6800 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2389619 6800 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300256 s]
/proc/loadavg: 4.20 4.21 3.60 4/197 2518
/proc/meminfo: memFree=26691216/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 13017 0 1 0 51 3 0 0 20 0 18 0 22842767 9787879424 13723 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2389619 13723 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700177 s]
/proc/loadavg: 4.20 4.21 3.60 4/197 2518
/proc/meminfo: memFree=26691216/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9691604 CPUtime=1.52 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 14282 0 1 0 147 5 0 0 20 0 20 0 22842767 9924202496 33888 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2422901 33888 2258 9 0 2413578 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9691604
[startup+1.50084 s]
/proc/loadavg: 4.20 4.21 3.60 6/219 2540
/proc/meminfo: memFree=26546772/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9824732 CPUtime=4.2 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 15084 0 1 0 411 9 0 0 20 0 22 0 22842767 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2456183 50444 2278 9 0 2446860 0
[pid=2518/tid=2520] ppid=2515 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/2518/task/2520/stat : 2520 (java) S 2515 2518 1299 0 -1 4202560 2462 0 1 0 55 4 0 0 20 0 22 0 22842768 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695447749496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2521] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2521/stat : 2521 (java) S 2515 2518 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695425849640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2522] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2522/stat : 2522 (java) S 2515 2518 1299 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695424796840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2523] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2523/stat : 2523 (java) S 2515 2518 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695423744552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2518/task/2524/stat : 2524 (java) S 2515 2518 1299 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695086365096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2525] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2525/stat : 2525 (java) S 2515 2518 1299 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695085312808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2526] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2526/stat : 2526 (java) S 2515 2518 1299 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695084260008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2527] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2527/stat : 2527 (java) S 2515 2518 1299 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695083207720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2528] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2528/stat : 2528 (java) S 2515 2518 1299 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 22842769 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695082154920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2529] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2529/stat : 2529 (java) S 2515 2518 1299 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695069956328 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2530] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2530/stat : 2530 (java) S 2515 2518 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695068902392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2531] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2531/stat : 2531 (java) S 2515 2518 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695067849992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2532] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2532/stat : 2532 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695066798480 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2533] ppid=2515 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/2518/task/2533/stat : 2533 (java) R 2515 2518 1299 0 -1 4202560 5599 0 0 0 95 2 0 0 20 0 22 0 22842773 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695065746104 139695449839456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2534] ppid=2515 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/2518/task/2534/stat : 2534 (java) R 2515 2518 1299 0 -1 4202560 5534 0 0 0 89 0 0 0 20 0 22 0 22842773 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695064693304 139695453777207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2535] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2535/stat : 2535 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695063641208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2536] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2536/stat : 2536 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695062588616 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2537] ppid=2515 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/2518/task/2537/stat : 2537 (java) R 2515 2518 1299 0 -1 4202560 22 0 0 0 73 0 0 0 20 0 22 0 22842829 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695061434936 139695305301739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2538] ppid=2515 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/2518/task/2538/stat : 2538 (java) R 2515 2518 1299 0 -1 4202560 50 0 0 0 81 0 0 0 20 0 22 0 22842829 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695060381832 139695305702166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2539] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2539/stat : 2539 (java) S 2515 2518 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22842838 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695059330216 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2540] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2540/stat : 2540 (java) S 2515 2518 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22842839 10060525568 50444 33554432000 1073741824 1073778376 140737431841200 139695058277416 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 4.20 4.21 3.60 8/219 2540
/proc/meminfo: memFree=26462628/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9824732 CPUtime=8.19 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 23836 0 1 0 802 17 0 0 20 0 22 0 22842767 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2456183 93689 2284 9 0 2446860 0
[pid=2518/tid=2520] ppid=2515 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/2518/task/2520/stat : 2520 (java) S 2515 2518 1299 0 -1 4202560 2462 0 1 0 55 4 0 0 20 0 22 0 22842768 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695447749496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2521] ppid=2515 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/2518/task/2521/stat : 2521 (java) S 2515 2518 1299 0 -1 4202560 128 0 0 0 2 2 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695425849640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2522] ppid=2515 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/2518/task/2522/stat : 2522 (java) S 2515 2518 1299 0 -1 4202560 81 0 0 0 3 2 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695424796840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2523] ppid=2515 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2518/task/2523/stat : 2523 (java) S 2515 2518 1299 0 -1 4202560 122 0 0 0 2 0 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695423744552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/2518/task/2524/stat : 2524 (java) S 2515 2518 1299 0 -1 4202560 113 0 0 0 3 2 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695086365096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2525] ppid=2515 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2518/task/2525/stat : 2525 (java) S 2515 2518 1299 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695085312808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2526] ppid=2515 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/2518/task/2526/stat : 2526 (java) S 2515 2518 1299 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695084260008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2527] ppid=2515 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2518/task/2527/stat : 2527 (java) S 2515 2518 1299 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695083207720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2528] ppid=2515 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2518/task/2528/stat : 2528 (java) S 2515 2518 1299 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 22842769 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695082154920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2529] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2529/stat : 2529 (java) S 2515 2518 1299 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695069956328 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2530] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2530/stat : 2530 (java) S 2515 2518 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695068902392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2531] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2531/stat : 2531 (java) S 2515 2518 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695067849992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2532] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2532/stat : 2532 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695066798480 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2533] ppid=2515 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/2518/task/2533/stat : 2533 (java) S 2515 2518 1299 0 -1 4202560 9697 0 0 0 134 2 0 0 20 0 22 0 22842773 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695065746104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2534] ppid=2515 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/2518/task/2534/stat : 2534 (java) S 2515 2518 1299 0 -1 4202560 9558 0 0 0 118 1 0 0 20 0 22 0 22842773 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695064693304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2535] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2535/stat : 2535 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695063641208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2536] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2536/stat : 2536 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695062588616 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2537] ppid=2515 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/2518/task/2537/stat : 2537 (java) R 2515 2518 1299 0 -1 4202560 24 0 0 0 226 0 0 0 20 0 22 0 22842829 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695061434648 139695305303178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2538] ppid=2515 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/2518/task/2538/stat : 2538 (java) R 2515 2518 1299 0 -1 4202560 103 0 0 0 231 2 0 0 20 0 22 0 22842829 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695060381992 139695305544019 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2539] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2539/stat : 2539 (java) S 2515 2518 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22842838 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695059330216 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2540] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2540/stat : 2540 (java) S 2515 2518 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22842839 10060525568 93689 33554432000 1073741824 1073778376 140737431841200 139695058277416 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.26 4.22 3.60 5/219 2540
/proc/meminfo: memFree=26042640/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9824732 CPUtime=14.89 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 24917 0 1 0 1458 31 0 0 20 0 22 0 22842767 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2456183 163928 2284 9 0 2446860 0
[pid=2518/tid=2520] ppid=2515 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/2518/task/2520/stat : 2520 (java) S 2515 2518 1299 0 -1 4202560 2464 0 1 0 55 4 0 0 20 0 22 0 22842768 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695447749496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2521] ppid=2515 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/2518/task/2521/stat : 2521 (java) S 2515 2518 1299 0 -1 4202560 161 0 0 0 6 3 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695425849640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2522] ppid=2515 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/2518/task/2522/stat : 2522 (java) S 2515 2518 1299 0 -1 4202560 225 0 0 0 10 4 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695424796840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2523] ppid=2515 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/2518/task/2523/stat : 2523 (java) S 2515 2518 1299 0 -1 4202560 167 0 0 0 7 2 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695423744552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/2518/task/2524/stat : 2524 (java) S 2515 2518 1299 0 -1 4202560 260 0 0 0 9 3 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695086365096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2525] ppid=2515 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/2518/task/2525/stat : 2525 (java) S 2515 2518 1299 0 -1 4202560 138 0 0 0 6 3 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695085312808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2526] ppid=2515 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/2518/task/2526/stat : 2526 (java) S 2515 2518 1299 0 -1 4202560 31 0 0 0 5 2 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695084260008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2527] ppid=2515 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/2518/task/2527/stat : 2527 (java) S 2515 2518 1299 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695083207720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2528] ppid=2515 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/2518/task/2528/stat : 2528 (java) S 2515 2518 1299 0 -1 4202560 41 0 0 0 5 0 0 0 20 0 22 0 22842769 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695082154920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2529] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2529/stat : 2529 (java) S 2515 2518 1299 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695069956328 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2530] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2530/stat : 2530 (java) S 2515 2518 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695068902392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2531] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2531/stat : 2531 (java) S 2515 2518 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695067849992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2532] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2532/stat : 2532 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 163928 33554432000 1073741824 1073778376 140737431841200 139695066798480 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2533] ppid=2515 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
################
# More data... #
################
/proc/2518/task/2523/stat : 2523 (java) S 2515 2518 1299 0 -1 4202560 591 0 0 0 218 12 0 0 20 0 22 0 22842769 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695423744552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/2518/task/2524/stat : 2524 (java) S 2515 2518 1299 0 -1 4202560 757 0 0 0 211 14 0 0 20 0 22 0 22842769 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695086365096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2525] ppid=2515 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/2518/task/2525/stat : 2525 (java) S 2515 2518 1299 0 -1 4202560 583 0 0 0 192 11 0 0 20 0 22 0 22842769 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695085312808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2526] ppid=2515 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/2518/task/2526/stat : 2526 (java) S 2515 2518 1299 0 -1 4202560 413 0 0 0 193 10 0 0 20 0 22 0 22842769 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695084260008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2527] ppid=2515 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/2518/task/2527/stat : 2527 (java) S 2515 2518 1299 0 -1 4202560 494 0 0 0 194 11 0 0 20 0 22 0 22842769 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695083207720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2528] ppid=2515 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/2518/task/2528/stat : 2528 (java) S 2515 2518 1299 0 -1 4202560 502 0 0 0 191 13 0 0 20 0 22 0 22842769 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695082154920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2529] ppid=2515 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/2518/task/2529/stat : 2529 (java) S 2515 2518 1299 0 -1 4202560 1823 0 0 0 262 20 0 0 20 0 22 0 22842770 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695069956328 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2530] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2530/stat : 2530 (java) S 2515 2518 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695068902392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2531] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2531/stat : 2531 (java) S 2515 2518 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695067849992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2532] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2532/stat : 2532 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695066798480 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2533] ppid=2515 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/2518/task/2533/stat : 2533 (java) S 2515 2518 1299 0 -1 4202560 13306 0 0 0 235 2 0 0 20 0 22 0 22842773 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695065746104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2534] ppid=2515 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/2518/task/2534/stat : 2534 (java) S 2515 2518 1299 0 -1 4202560 9566 0 0 0 137 2 0 0 20 0 22 0 22842773 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695064693304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2535] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2535/stat : 2535 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695063641208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2536] ppid=2515 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/2518/task/2536/stat : 2536 (java) S 2515 2518 1299 0 -1 4202560 47 0 0 0 12 18 0 0 20 0 22 0 22842773 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695062588616 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2537] ppid=2515 vsize=9824732 CPUtime=811.87 cores=0,2,4,6
/proc/2518/task/2537/stat : 2537 (java) R 2515 2518 1299 0 -1 4202560 140 0 0 0 81173 14 0 0 20 0 22 0 22842829 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695061433648 139695304742739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2538] ppid=2515 vsize=9824732 CPUtime=811.91 cores=0,2,4,6
/proc/2518/task/2538/stat : 2538 (java) R 2515 2518 1299 0 -1 4202560 2720 0 0 0 81139 52 0 0 20 0 22 0 22842829 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695060379936 139695305223126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2539] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2539/stat : 2539 (java) S 2515 2518 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22842838 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695059330216 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2540] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2540/stat : 2540 (java) S 2515 2518 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22842839 10060525568 555914 33554432000 1073741824 1073778376 140737431841200 139695058277416 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1652.23
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.06 4.14 3.93 5/219 2655
/proc/meminfo: memFree=27184384/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9824732 CPUtime=1772.15 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 37746 0 1 0 177033 182 0 0 20 0 22 0 22842767 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2456183 531443 2293 9 0 2446860 0
[pid=2518/tid=2520] ppid=2515 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/2518/task/2520/stat : 2520 (java) S 2515 2518 1299 0 -1 4202560 2481 0 1 0 58 5 0 0 20 0 22 0 22842768 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695447749496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2521] ppid=2515 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/2518/task/2521/stat : 2521 (java) S 2515 2518 1299 0 -1 4202560 654 0 0 0 215 13 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695425849640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2522] ppid=2515 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/2518/task/2522/stat : 2522 (java) S 2515 2518 1299 0 -1 4202560 628 0 0 0 205 11 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695424796840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2523] ppid=2515 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/2518/task/2523/stat : 2523 (java) S 2515 2518 1299 0 -1 4202560 593 0 0 0 237 12 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695423744552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/2518/task/2524/stat : 2524 (java) S 2515 2518 1299 0 -1 4202560 762 0 0 0 228 14 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695086365096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2525] ppid=2515 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/2518/task/2525/stat : 2525 (java) S 2515 2518 1299 0 -1 4202560 587 0 0 0 208 11 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695085312808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2526] ppid=2515 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/2518/task/2526/stat : 2526 (java) S 2515 2518 1299 0 -1 4202560 428 0 0 0 209 10 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695084260008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2527] ppid=2515 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/2518/task/2527/stat : 2527 (java) S 2515 2518 1299 0 -1 4202560 507 0 0 0 207 11 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695083207720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2528] ppid=2515 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/2518/task/2528/stat : 2528 (java) S 2515 2518 1299 0 -1 4202560 504 0 0 0 208 13 0 0 20 0 22 0 22842769 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695082154920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2529] ppid=2515 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/2518/task/2529/stat : 2529 (java) S 2515 2518 1299 0 -1 4202560 3530 0 0 0 320 23 0 0 20 0 22 0 22842770 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695069956328 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2530] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2530/stat : 2530 (java) S 2515 2518 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695068902392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2531] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2531/stat : 2531 (java) S 2515 2518 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695067849992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2532] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2532/stat : 2532 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695066798480 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2533] ppid=2515 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/2518/task/2533/stat : 2533 (java) S 2515 2518 1299 0 -1 4202560 13306 0 0 0 235 2 0 0 20 0 22 0 22842773 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695065746104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2534] ppid=2515 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/2518/task/2534/stat : 2534 (java) S 2515 2518 1299 0 -1 4202560 9566 0 0 0 137 2 0 0 20 0 22 0 22842773 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695064693304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2535] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2535/stat : 2535 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695063641208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2536] ppid=2515 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/2518/task/2536/stat : 2536 (java) S 2515 2518 1299 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 22842773 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695062588616 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2537] ppid=2515 vsize=9824732 CPUtime=870.76 cores=0,2,4,6
/proc/2518/task/2537/stat : 2537 (java) R 2515 2518 1299 0 -1 4202560 152 0 0 0 87061 15 0 0 20 0 22 0 22842829 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695061433632 139695305501728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2538] ppid=2515 vsize=9824732 CPUtime=870.8 cores=0,2,4,6
/proc/2518/task/2538/stat : 2538 (java) R 2515 2518 1299 0 -1 4202560 2727 0 0 0 87027 53 0 0 20 0 22 0 22842829 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695060379936 139695305223113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2539] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2539/stat : 2539 (java) S 2515 2518 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22842838 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695059330216 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2540] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2540/stat : 2540 (java) S 2515 2518 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22842839 10060525568 531443 33554432000 1073741824 1073778376 140737431841200 139695058277416 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1772.15
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.201 s]
/proc/loadavg: 4.13 4.15 3.94 6/219 2655
/proc/meminfo: memFree=27225724/32872528 swapFree=877056/942464
[pid=2518] ppid=2515 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/2518/stat : 2518 (java) S 2515 2518 1299 0 -1 4202496 37751 0 1 0 179819 183 0 0 20 0 22 0 22842767 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 140737431832336 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2518/statm: 2456183 527724 2293 9 0 2446860 0
[pid=2518/tid=2520] ppid=2515 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/2518/task/2520/stat : 2520 (java) S 2515 2518 1299 0 -1 4202560 2481 0 1 0 58 5 0 0 20 0 22 0 22842768 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695447749496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2521] ppid=2515 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/2518/task/2521/stat : 2521 (java) S 2515 2518 1299 0 -1 4202560 654 0 0 0 218 13 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695425849640 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2522] ppid=2515 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/2518/task/2522/stat : 2522 (java) S 2515 2518 1299 0 -1 4202560 628 0 0 0 207 11 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695424796840 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2523] ppid=2515 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/2518/task/2523/stat : 2523 (java) S 2515 2518 1299 0 -1 4202560 593 0 0 0 240 12 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695423744552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/2518/task/2524/stat : 2524 (java) S 2515 2518 1299 0 -1 4202560 762 0 0 0 229 14 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695086365096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2525] ppid=2515 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/2518/task/2525/stat : 2525 (java) S 2515 2518 1299 0 -1 4202560 587 0 0 0 212 11 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695085312808 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2526] ppid=2515 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/2518/task/2526/stat : 2526 (java) S 2515 2518 1299 0 -1 4202560 429 0 0 0 211 10 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695084260008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2527] ppid=2515 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/2518/task/2527/stat : 2527 (java) S 2515 2518 1299 0 -1 4202560 507 0 0 0 210 11 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695083207720 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2528] ppid=2515 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/2518/task/2528/stat : 2528 (java) S 2515 2518 1299 0 -1 4202560 504 0 0 0 210 13 0 0 20 0 22 0 22842769 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695082154920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2529] ppid=2515 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/2518/task/2529/stat : 2529 (java) S 2515 2518 1299 0 -1 4202560 3530 0 0 0 321 23 0 0 20 0 22 0 22842770 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695069956328 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2530] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2530/stat : 2530 (java) S 2515 2518 1299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695068902392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2531] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2531/stat : 2531 (java) S 2515 2518 1299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 22842770 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695067849992 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2532] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2532/stat : 2532 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695066798480 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2518/tid=2533] ppid=2515 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/2518/task/2533/stat : 2533 (java) S 2515 2518 1299 0 -1 4202560 13306 0 0 0 235 2 0 0 20 0 22 0 22842773 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695065746104 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2534] ppid=2515 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/2518/task/2534/stat : 2534 (java) S 2515 2518 1299 0 -1 4202560 9566 0 0 0 137 2 0 0 20 0 22 0 22842773 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695064693304 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2518/tid=2535] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2535/stat : 2535 (java) S 2515 2518 1299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 22842773 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695063641208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2536] ppid=2515 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/2518/task/2536/stat : 2536 (java) S 2515 2518 1299 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 22842773 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695062588616 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2537] ppid=2515 vsize=9824732 CPUtime=884.56 cores=0,2,4,6
/proc/2518/task/2537/stat : 2537 (java) R 2515 2518 1299 0 -1 4202560 153 0 0 0 88441 15 0 0 20 0 22 0 22842829 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695061432800 139695305156111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2518/tid=2538] ppid=2515 vsize=9824732 CPUtime=884.59 cores=0,2,4,6
/proc/2518/task/2538/stat : 2538 (java) R 2515 2518 1299 0 -1 4202560 2730 0 0 0 88406 53 0 0 20 0 22 0 22842829 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695060380736 139695305702508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2539] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2539/stat : 2539 (java) S 2515 2518 1299 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 22842838 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695059330216 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2518/tid=2540] ppid=2515 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2518/task/2540/stat : 2540 (java) S 2515 2518 1299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 22842839 10060525568 527724 33554432000 1073741824 1073778376 140737431841200 139695058277416 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2518 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2518 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=789302
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=300650
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 896.281
CPU time (s): 1800.02
CPU user time (s): 1798.19
CPU system time (s): 1.83
CPU usage (%): 200.832
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.79
system time used= 2.30065
maximum resident set size= 2917420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37792
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27229
involuntary context switches= 42287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9141 second user time and 7.17291 second system time
The end