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-4081787-1465256090/watcher-4081787-1465256090 -o /tmp/evaluation-result-4081787-1465256090/solver-4081787-1465256090 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081787-1465256090.opb
pid=22981
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.40 4.13 4.09 4/197 22984
/proc/meminfo: memFree=28063552/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/22984/stat : 22984 (java) D 22981 22984 20210 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 107542315 2560000 46 33554432000 1073741824 1073778376 140734423594448 140734423591576 262953594151 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 625 46 37 9 0 29 0
[startup+0.100059 s]
/proc/loadavg: 4.40 4.13 4.09 4/197 22984
/proc/meminfo: memFree=28063552/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 4422 0 1 0 8 1 0 0 20 0 18 0 107542315 9787879424 6048 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200217 s]
/proc/loadavg: 4.40 4.13 4.09 4/197 22984
/proc/meminfo: memFree=28063552/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 4598 0 1 0 20 1 0 0 20 0 18 0 107542315 9787879424 7228 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2389619 7228 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300232 s]
/proc/loadavg: 4.40 4.13 4.09 4/197 22984
/proc/meminfo: memFree=28063552/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 6187 0 1 0 45 2 0 0 20 0 18 0 107542315 9787879424 9096 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2389619 9096 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700295 s]
/proc/loadavg: 4.40 4.13 4.09 4/197 22984
/proc/meminfo: memFree=28063552/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9759808 CPUtime=1.45 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 26294 0 1 0 137 8 0 0 20 0 19 0 107542315 9994043392 27025 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2439952 27025 2259 9 0 2430629 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9759808
[startup+1.50074 s]
/proc/loadavg: 4.40 4.13 4.09 3/216 23009
/proc/meminfo: memFree=27956880/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 28173 0 1 0 199 12 0 0 20 0 19 0 107542315 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2456183 30220 2266 9 0 2446860 0
[pid=22984/tid=22986] ppid=22981 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/22984/task/22986/stat : 22986 (java) S 22981 22984 20210 0 -1 4202560 2438 0 1 0 40 2 0 0 20 0 19 0 107542316 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639816917880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22987] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22987/stat : 22987 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639660403752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22988] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22988/stat : 22988 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639659350952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22989] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22989/stat : 22989 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639658298152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22990] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22990/stat : 22990 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639657245352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22991] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22991/stat : 22991 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639656192552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22992] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22992/stat : 22992 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639655139752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22993] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22993/stat : 22993 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639654086952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22994] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22994/stat : 22994 (java) S 22981 22984 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107542317 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639653034152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22995] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22995/stat : 22995 (java) S 22981 22984 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107542318 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639170706408 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22996] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22996/stat : 22996 (java) S 22981 22984 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107542319 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639169652472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22997] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22997/stat : 22997 (java) S 22981 22984 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107542319 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639168599560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22998] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22998/stat : 22998 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542321 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639167548048 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22999] ppid=22981 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/22984/task/22999/stat : 22999 (java) R 22981 22984 20210 0 -1 4202560 11615 0 0 0 63 3 0 0 20 0 19 0 107542321 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639166495040 140639821034922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23000] ppid=22981 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/22984/task/23000/stat : 23000 (java) R 22981 22984 20210 0 -1 4202560 12766 0 0 0 77 2 0 0 20 0 19 0 107542321 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639165442360 140639822761273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23001] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23001/stat : 23001 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542321 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639164389752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23002] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23002/stat : 23002 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107542321 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639163337160 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23005] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23005/stat : 23005 (java) S 22981 22984 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107542363 10060525568 30220 33554432000 1073741824 1073778376 140734423594448 140639157826984 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9824732
[startup+3.10078 s]
/proc/loadavg: 4.21 4.09 4.08 3/216 23015
/proc/meminfo: memFree=27946268/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 28422 0 1 0 391 16 0 0 20 0 22 0 107542315 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2456183 49871 2276 9 0 2446860 0
[pid=22984/tid=22986] ppid=22981 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/22984/task/22986/stat : 22986 (java) S 22981 22984 20210 0 -1 4202560 2438 0 1 0 41 2 0 0 20 0 22 0 107542316 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639816917880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22987] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22987/stat : 22987 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639660403752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22988] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22988/stat : 22988 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639659350952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22989] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22989/stat : 22989 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639658298152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22990] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22990/stat : 22990 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639657245352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22991] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22991/stat : 22991 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639656192552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22992] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22992/stat : 22992 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639655139752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22993] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22993/stat : 22993 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639654086952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22994] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22994/stat : 22994 (java) S 22981 22984 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107542317 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639653034152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22995] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22995/stat : 22995 (java) S 22981 22984 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107542318 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639170706408 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22996] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22996/stat : 22996 (java) S 22981 22984 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639169652472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22997] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22997/stat : 22997 (java) S 22981 22984 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639168599560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22998] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22998/stat : 22998 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639167548048 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22999] ppid=22981 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/22984/task/22999/stat : 22999 (java) S 22981 22984 20210 0 -1 4202560 11748 0 0 0 121 3 0 0 20 0 22 0 107542321 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639166495160 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23000] ppid=22981 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/22984/task/23000/stat : 23000 (java) S 22981 22984 20210 0 -1 4202560 12821 0 0 0 134 2 0 0 20 0 22 0 107542321 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639165442360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23001] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23001/stat : 23001 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639164389752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23002] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23002/stat : 23002 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639163337160 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23005] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23005/stat : 23005 (java) S 22981 22984 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107542363 10060525568 49871 33554432000 1073741824 1073778376 140734423594448 140639157826984 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 9824732
[startup+6.30106 s]
/proc/loadavg: 4.21 4.09 4.08 5/219 23027
/proc/meminfo: memFree=27662984/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9824732 CPUtime=10.07 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 29357 0 1 0 968 39 0 0 20 0 22 0 107542315 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2456183 110329 2294 9 0 2446860 0
[pid=22984/tid=22986] ppid=22981 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/22984/task/22986/stat : 22986 (java) S 22981 22984 20210 0 -1 4202560 2438 0 1 0 41 2 0 0 20 0 22 0 107542316 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639816917880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22987] ppid=22981 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/22984/task/22987/stat : 22987 (java) S 22981 22984 20210 0 -1 4202560 35 0 0 0 2 2 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639660403752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22988] ppid=22981 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/22984/task/22988/stat : 22988 (java) S 22981 22984 20210 0 -1 4202560 131 0 0 0 7 3 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639659350952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22989] ppid=22981 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/22984/task/22989/stat : 22989 (java) S 22981 22984 20210 0 -1 4202560 119 0 0 0 3 2 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639658298152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22990] ppid=22981 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/22984/task/22990/stat : 22990 (java) S 22981 22984 20210 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639657245352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22991] ppid=22981 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/22984/task/22991/stat : 22991 (java) S 22981 22984 20210 0 -1 4202560 81 0 0 0 7 2 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639656192552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22992] ppid=22981 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/22984/task/22992/stat : 22992 (java) S 22981 22984 20210 0 -1 4202560 159 0 0 0 6 2 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639655139752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22993] ppid=22981 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/22984/task/22993/stat : 22993 (java) S 22981 22984 20210 0 -1 4202560 44 0 0 0 6 3 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639654086952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22994] ppid=22981 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/22984/task/22994/stat : 22994 (java) S 22981 22984 20210 0 -1 4202560 52 0 0 0 6 4 0 0 20 0 22 0 107542317 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639653034152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22995] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22995/stat : 22995 (java) S 22981 22984 20210 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 22 0 107542318 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639170706408 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22996] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22996/stat : 22996 (java) S 22981 22984 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639169652472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22997] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22997/stat : 22997 (java) S 22981 22984 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639168599560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22998] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22998/stat : 22998 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639167548048 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22999] ppid=22981 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/22984/task/22999/stat : 22999 (java) S 22981 22984 20210 0 -1 4202560 11757 0 0 0 149 3 0 0 20 0 22 0 107542321 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639166495160 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23000] ppid=22981 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/22984/task/23000/stat : 23000 (java) S 22981 22984 20210 0 -1 4202560 12822 0 0 0 142 2 0 0 20 0 22 0 107542321 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639165442360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=23001] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23001/stat : 23001 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639164389752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23002] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23002/stat : 23002 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639163337160 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23021] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23021/stat : 23021 (java) S 22981 22984 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107542612 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639160604072 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23025] ppid=22981 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/22984/task/23025/stat : 23025 (java) R 22981 22984 20210 0 -1 4202560 4 0 0 0 214 0 0 0 20 0 22 0 107542712 10060525568 110329 33554432000 1073741824 1073778376 140734423594448 140639161653776 140639661430816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23026] ppid=22981 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.01 4.13 4.14 5/219 23174
/proc/meminfo: memFree=25125136/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9824732 CPUtime=1647.27 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 38342 0 1 0 164473 254 0 0 20 0 22 0 107542315 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2456183 839168 2303 9 0 2446860 0
[pid=22984/tid=22986] ppid=22981 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/22984/task/22986/stat : 22986 (java) S 22981 22984 20210 0 -1 4202560 2445 0 1 0 43 4 0 0 20 0 22 0 107542316 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639816917880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22987] ppid=22981 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/22984/task/22987/stat : 22987 (java) S 22981 22984 20210 0 -1 4202560 608 0 0 0 181 19 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639660403752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22988] ppid=22981 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/22984/task/22988/stat : 22988 (java) S 22981 22984 20210 0 -1 4202560 623 0 0 0 200 17 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639659350952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22989] ppid=22981 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/22984/task/22989/stat : 22989 (java) S 22981 22984 20210 0 -1 4202560 676 0 0 0 209 21 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639658298152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22990] ppid=22981 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/22984/task/22990/stat : 22990 (java) S 22981 22984 20210 0 -1 4202560 585 0 0 0 184 20 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639657245352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22991] ppid=22981 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/22984/task/22991/stat : 22991 (java) S 22981 22984 20210 0 -1 4202560 716 0 0 0 207 23 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639656192552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22992] ppid=22981 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/22984/task/22992/stat : 22992 (java) S 22981 22984 20210 0 -1 4202560 765 0 0 0 213 20 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639655139752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22993] ppid=22981 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/22984/task/22993/stat : 22993 (java) S 22981 22984 20210 0 -1 4202560 641 0 0 0 198 18 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639654086952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22994] ppid=22981 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/22984/task/22994/stat : 22994 (java) S 22981 22984 20210 0 -1 4202560 760 0 0 0 213 26 0 0 20 0 22 0 107542317 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639653034152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22995] ppid=22981 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/22984/task/22995/stat : 22995 (java) S 22981 22984 20210 0 -1 4202560 2257 0 0 0 233 8 0 0 20 0 22 0 107542318 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639170706408 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22996] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22996/stat : 22996 (java) S 22981 22984 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639169652472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22997] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22997/stat : 22997 (java) S 22981 22984 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639168599560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22998] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22998/stat : 22998 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639167548048 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22999] ppid=22981 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/22984/task/22999/stat : 22999 (java) S 22981 22984 20210 0 -1 4202560 11786 0 0 0 190 3 0 0 20 0 22 0 107542321 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639166495160 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23000] ppid=22981 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/22984/task/23000/stat : 23000 (java) S 22981 22984 20210 0 -1 4202560 12841 0 0 0 164 2 0 0 20 0 22 0 107542321 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639165442360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=23001] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23001/stat : 23001 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639164389752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23002] ppid=22981 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/22984/task/23002/stat : 23002 (java) S 22981 22984 20210 0 -1 4202560 47 0 0 0 16 20 0 0 20 0 22 0 107542321 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639163337160 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=23021] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23021/stat : 23021 (java) S 22981 22984 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107542612 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639160604072 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23033] ppid=22981 vsize=9824732 CPUtime=687.46 cores=1,3,5,7
/proc/22984/task/23033/stat : 23033 (java) R 22981 22984 20210 0 -1 4202560 21 0 0 0 68734 12 0 0 20 0 22 0 107555226 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639161655296 140639661055541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23034] ppid=22981 vsize=9824732 CPUtime=687.35 cores=1,3,5,7
/proc/22984/task/23034/stat : 23034 (java) R 22981 22984 20210 0 -1 4202560 514 0 0 0 68718 17 0 0 20 0 22 0 107555226 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639156773728 140639661445060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=23035] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23035/stat : 23035 (java) S 22981 22984 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107555226 10060525568 839168 33554432000 1073741824 1073778376 140734423594448 140639157826856 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1647.27
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.00 4.10 4.12 5/219 23179
/proc/meminfo: memFree=25239032/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9824732 CPUtime=1767.81 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 38437 0 1 0 176521 260 0 0 20 0 22 0 107542315 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2456183 800969 2303 9 0 2446860 0
[pid=22984/tid=22986] ppid=22981 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/22984/task/22986/stat : 22986 (java) S 22981 22984 20210 0 -1 4202560 2445 0 1 0 44 4 0 0 20 0 22 0 107542316 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639816917880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22987] ppid=22981 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/22984/task/22987/stat : 22987 (java) S 22981 22984 20210 0 -1 4202560 611 0 0 0 198 19 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639660403752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22988] ppid=22981 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/22984/task/22988/stat : 22988 (java) S 22981 22984 20210 0 -1 4202560 639 0 0 0 214 19 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639659350952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22989] ppid=22981 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/22984/task/22989/stat : 22989 (java) S 22981 22984 20210 0 -1 4202560 685 0 0 0 222 22 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639658298152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22990] ppid=22981 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/22984/task/22990/stat : 22990 (java) S 22981 22984 20210 0 -1 4202560 593 0 0 0 196 20 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639657245352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22991] ppid=22981 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/22984/task/22991/stat : 22991 (java) S 22981 22984 20210 0 -1 4202560 723 0 0 0 216 24 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639656192552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22992] ppid=22981 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/22984/task/22992/stat : 22992 (java) S 22981 22984 20210 0 -1 4202560 777 0 0 0 236 21 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639655139752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22993] ppid=22981 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/22984/task/22993/stat : 22993 (java) S 22981 22984 20210 0 -1 4202560 645 0 0 0 212 19 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639654086952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22994] ppid=22981 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/22984/task/22994/stat : 22994 (java) S 22981 22984 20210 0 -1 4202560 767 0 0 0 228 26 0 0 20 0 22 0 107542317 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639653034152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22995] ppid=22981 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/22984/task/22995/stat : 22995 (java) S 22981 22984 20210 0 -1 4202560 2275 0 0 0 233 9 0 0 20 0 22 0 107542318 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639170706408 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22996] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22996/stat : 22996 (java) S 22981 22984 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639169652472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22997] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22997/stat : 22997 (java) S 22981 22984 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639168599560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22998] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22998/stat : 22998 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639167548048 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22999] ppid=22981 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/22984/task/22999/stat : 22999 (java) S 22981 22984 20210 0 -1 4202560 11786 0 0 0 190 3 0 0 20 0 22 0 107542321 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639166495160 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23000] ppid=22981 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/22984/task/23000/stat : 23000 (java) S 22981 22984 20210 0 -1 4202560 12841 0 0 0 164 2 0 0 20 0 22 0 107542321 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639165442360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=23001] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23001/stat : 23001 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639164389752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23002] ppid=22981 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/22984/task/23002/stat : 23002 (java) S 22981 22984 20210 0 -1 4202560 51 0 0 0 17 21 0 0 20 0 22 0 107542321 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639163337160 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23021] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23021/stat : 23021 (java) S 22981 22984 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107542612 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639160604072 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23033] ppid=22981 vsize=9824732 CPUtime=747.12 cores=1,3,5,7
/proc/22984/task/23033/stat : 23033 (java) R 22981 22984 20210 0 -1 4202560 24 0 0 0 74699 13 0 0 20 0 22 0 107555226 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639161655312 140639661055541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=23034] ppid=22981 vsize=9824732 CPUtime=747.02 cores=1,3,5,7
/proc/22984/task/23034/stat : 23034 (java) R 22981 22984 20210 0 -1 4202560 518 0 0 0 74684 18 0 0 20 0 22 0 107555226 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639156764944 140639661445248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23035] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23035/stat : 23035 (java) S 22981 22984 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107555226 10060525568 800969 33554432000 1073741824 1073778376 140734423594448 140639157826856 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1767.81
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.401 s]
/proc/loadavg: 4.07 4.11 4.13 5/219 23179
/proc/meminfo: memFree=25284772/32872528 swapFree=11320/319964
[pid=22984] ppid=22981 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7
/proc/22984/stat : 22984 (java) S 22981 22984 20210 0 -1 4202496 38462 0 1 0 179747 262 0 0 20 0 22 0 107542315 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140734423585584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22984/statm: 2456183 785927 2303 9 0 2446860 0
[pid=22984/tid=22986] ppid=22981 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/22984/task/22986/stat : 22986 (java) S 22981 22984 20210 0 -1 4202560 2445 0 1 0 44 4 0 0 20 0 22 0 107542316 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639816917880 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22987] ppid=22981 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/22984/task/22987/stat : 22987 (java) S 22981 22984 20210 0 -1 4202560 612 0 0 0 199 19 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639660403752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22988] ppid=22981 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/22984/task/22988/stat : 22988 (java) S 22981 22984 20210 0 -1 4202560 641 0 0 0 215 19 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639659350952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22989] ppid=22981 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/22984/task/22989/stat : 22989 (java) S 22981 22984 20210 0 -1 4202560 688 0 0 0 223 22 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639658298152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22990] ppid=22981 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/22984/task/22990/stat : 22990 (java) S 22981 22984 20210 0 -1 4202560 599 0 0 0 201 20 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639657245352 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22991] ppid=22981 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/22984/task/22991/stat : 22991 (java) S 22981 22984 20210 0 -1 4202560 728 0 0 0 219 24 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639656192552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22992] ppid=22981 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/22984/task/22992/stat : 22992 (java) S 22981 22984 20210 0 -1 4202560 777 0 0 0 237 21 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639655139752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=22993] ppid=22981 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/22984/task/22993/stat : 22993 (java) S 22981 22984 20210 0 -1 4202560 651 0 0 0 217 19 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639654086952 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22994] ppid=22981 vsize=9824732 CPUtime=2.56 cores=1,3,5,7
/proc/22984/task/22994/stat : 22994 (java) S 22981 22984 20210 0 -1 4202560 768 0 0 0 229 27 0 0 20 0 22 0 107542317 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639653034152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=22995] ppid=22981 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/22984/task/22995/stat : 22995 (java) S 22981 22984 20210 0 -1 4202560 2275 0 0 0 233 10 0 0 20 0 22 0 107542318 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639170706408 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=22996] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22996/stat : 22996 (java) S 22981 22984 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639169652472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22997] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22997/stat : 22997 (java) S 22981 22984 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107542319 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639168599560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22998] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/22998/stat : 22998 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639167548048 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=22999] ppid=22981 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/22984/task/22999/stat : 22999 (java) S 22981 22984 20210 0 -1 4202560 11786 0 0 0 190 3 0 0 20 0 22 0 107542321 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639166495160 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23000] ppid=22981 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/22984/task/23000/stat : 23000 (java) S 22981 22984 20210 0 -1 4202560 12841 0 0 0 164 2 0 0 20 0 22 0 107542321 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639165442360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22984/tid=23001] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23001/stat : 23001 (java) S 22981 22984 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107542321 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639164389752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23002] ppid=22981 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/22984/task/23002/stat : 23002 (java) S 22981 22984 20210 0 -1 4202560 51 0 0 0 18 21 0 0 20 0 22 0 107542321 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639163337160 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22984/tid=23021] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23021/stat : 23021 (java) S 22981 22984 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107542612 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639160604072 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23033] ppid=22981 vsize=9824732 CPUtime=763.16 cores=1,3,5,7
/proc/22984/task/23033/stat : 23033 (java) R 22981 22984 20210 0 -1 4202560 24 0 0 0 76303 13 0 0 20 0 22 0 107555226 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639161654528 140639661450015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22984/tid=23034] ppid=22981 vsize=9824732 CPUtime=763.05 cores=1,3,5,7
/proc/22984/task/23034/stat : 23034 (java) R 22981 22984 20210 0 -1 4202560 519 0 0 0 76287 18 0 0 20 0 22 0 107555226 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639156772640 140639661204443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22984/tid=23035] ppid=22981 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22984/task/23035/stat : 23035 (java) S 22981 22984 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107555226 10060525568 785927 33554432000 1073741824 1073778376 140734423594448 140639157826856 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 22984 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.456
CPU time (s): 1800.69
CPU user time (s): 1797.56
CPU system time (s): 3.13252
CPU usage (%): 200.421
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.56
system time used= 3.13252
maximum resident set size= 3431712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38497
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23663
involuntary context switches= 26493
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11407 second user time and 7.13392 second system time
The end