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-4100906-1466211651/watcher-4100906-1466211651 -o /tmp/evaluation-result-4100906-1466211651/solver-4100906-1466211651 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100906-1466211651.opb
pid=17970
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.19 4.22 4.22 4/198 17973
/proc/meminfo: memFree=26007072/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17973/stat : 17973 (java) D 17970 17973 16262 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23213772 9515008 175 33554432000 1073741824 1073778376 140736343640512 140736343623240 270330053520 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2323 175 133 9 0 71 0
[startup+0.101556 s]
/proc/loadavg: 4.19 4.22 4.22 4/198 17973
/proc/meminfo: memFree=26007072/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 4383 0 1 0 7 1 0 0 20 0 18 0 23213772 9787879424 5479 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2389619 5479 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200206 s]
/proc/loadavg: 4.19 4.22 4.22 4/198 17973
/proc/meminfo: memFree=26007072/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 4985 0 1 0 23 2 0 0 20 0 18 0 23213772 9787879424 7479 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2389619 7479 2204 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300208 s]
/proc/loadavg: 4.19 4.22 4.22 4/198 17973
/proc/meminfo: memFree=26007072/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 5575 0 1 0 42 2 0 0 20 0 18 0 23213772 9787879424 11703 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2389619 11703 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700193 s]
/proc/loadavg: 4.19 4.22 4.22 4/198 17973
/proc/meminfo: memFree=26007072/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9558476 CPUtime=1.35 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 15368 0 1 0 130 5 0 0 20 0 18 0 23213772 9787879424 42057 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2389619 42057 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9558476
[startup+1.50073 s]
/proc/loadavg: 4.19 4.22 4.22 4/216 17991
/proc/meminfo: memFree=25733988/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9691604 CPUtime=2.68 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 16551 0 1 0 248 20 0 0 20 0 20 0 23213772 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2422901 86316 2271 9 0 2413578 0
[pid=17973/tid=17975] ppid=17970 vsize=9691604 CPUtime=1.28 cores=0,2,4,6
/proc/17973/task/17975/stat : 17975 (java) S 17970 17973 16262 0 -1 4202560 2484 0 1 0 124 4 0 0 20 0 20 0 23213773 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026219795320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17976] ppid=17970 vsize=9691604 CPUtime=0.08 cores=0,2,4,6
/proc/17973/task/17976/stat : 17976 (java) S 17970 17973 16262 0 -1 4202560 104 0 0 0 6 2 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026208856488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17977] ppid=17970 vsize=9691604 CPUtime=0.05 cores=0,2,4,6
/proc/17973/task/17977/stat : 17977 (java) S 17970 17973 16262 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026207803944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17978] ppid=17970 vsize=9691604 CPUtime=0.09 cores=0,2,4,6
/proc/17973/task/17978/stat : 17978 (java) S 17970 17973 16262 0 -1 4202560 98 0 0 0 7 2 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026206750888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17979] ppid=17970 vsize=9691604 CPUtime=0.04 cores=0,2,4,6
/proc/17973/task/17979/stat : 17979 (java) S 17970 17973 16262 0 -1 4202560 63 0 0 0 3 1 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026205698344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17980] ppid=17970 vsize=9691604 CPUtime=0.04 cores=0,2,4,6
/proc/17973/task/17980/stat : 17980 (java) S 17970 17973 16262 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026204646312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17981] ppid=17970 vsize=9691604 CPUtime=0.04 cores=0,2,4,6
/proc/17973/task/17981/stat : 17981 (java) S 17970 17973 16262 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026203593768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17982] ppid=17970 vsize=9691604 CPUtime=0.03 cores=0,2,4,6
/proc/17973/task/17982/stat : 17982 (java) S 17970 17973 16262 0 -1 4202560 93 0 0 0 2 1 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026056489640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17983] ppid=17970 vsize=9691604 CPUtime=0.03 cores=0,2,4,6
/proc/17973/task/17983/stat : 17983 (java) S 17970 17973 16262 0 -1 4202560 204 0 0 0 2 1 0 0 20 0 20 0 23213774 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026055437096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17984] ppid=17970 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17984/stat : 17984 (java) S 17970 17973 16262 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 20 0 23213775 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026043238760 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17985] ppid=17970 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17985/stat : 17985 (java) S 17970 17973 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 23213776 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026042185080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17986] ppid=17970 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17986/stat : 17986 (java) S 17970 17973 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 23213776 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026041131912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17987] ppid=17970 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17987/stat : 17987 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 23213778 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026040080656 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17988] ppid=17970 vsize=9691604 CPUtime=0.29 cores=0,2,4,6
/proc/17973/task/17988/stat : 17988 (java) S 17970 17973 16262 0 -1 4202560 3280 0 0 0 29 0 0 0 20 0 20 0 23213778 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026039028536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17989] ppid=17970 vsize=9691604 CPUtime=0.5 cores=0,2,4,6
/proc/17973/task/17989/stat : 17989 (java) S 17970 17973 16262 0 -1 4202560 8799 0 0 0 48 2 0 0 20 0 20 0 23213778 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026037975992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17990] ppid=17970 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17990/stat : 17990 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 23213778 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026036923128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17991] ppid=17970 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17991/stat : 17991 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 23213778 9924202496 86316 33554432000 1073741824 1073778376 140733875819152 140026035870792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 9691604
[startup+3.10092 s]
/proc/loadavg: 4.19 4.22 4.22 5/220 17995
/proc/meminfo: memFree=25631496/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9824732 CPUtime=6.91 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 20694 0 1 0 661 30 0 0 20 0 22 0 23213772 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2456183 119498 2277 9 0 2446860 0
[pid=17973/tid=17975] ppid=17970 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/17973/task/17975/stat : 17975 (java) S 17970 17973 16262 0 -1 4202560 2484 0 1 0 124 4 0 0 20 0 22 0 23213773 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026219795320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17976] ppid=17970 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/17973/task/17976/stat : 17976 (java) S 17970 17973 16262 0 -1 4202560 124 0 0 0 10 4 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026208856488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17977] ppid=17970 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/17973/task/17977/stat : 17977 (java) S 17970 17973 16262 0 -1 4202560 48 0 0 0 8 2 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026207803944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17978] ppid=17970 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/17973/task/17978/stat : 17978 (java) S 17970 17973 16262 0 -1 4202560 130 0 0 0 11 4 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026206750888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17979] ppid=17970 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/17973/task/17979/stat : 17979 (java) S 17970 17973 16262 0 -1 4202560 87 0 0 0 7 2 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026205698344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17980] ppid=17970 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/17973/task/17980/stat : 17980 (java) S 17970 17973 16262 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026204646312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17981] ppid=17970 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/17973/task/17981/stat : 17981 (java) S 17970 17973 16262 0 -1 4202560 57 0 0 0 8 4 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026203593768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17982] ppid=17970 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/17973/task/17982/stat : 17982 (java) S 17970 17973 16262 0 -1 4202560 119 0 0 0 7 3 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026056489640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17983] ppid=17970 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/17973/task/17983/stat : 17983 (java) S 17970 17973 16262 0 -1 4202560 253 0 0 0 5 2 0 0 20 0 22 0 23213774 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026055437096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17984] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17984/stat : 17984 (java) S 17970 17973 16262 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23213775 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026043238760 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17985] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17985/stat : 17985 (java) S 17970 17973 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026042185080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17986] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17986/stat : 17986 (java) S 17970 17973 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026041131912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17987] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17987/stat : 17987 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026040080656 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17988] ppid=17970 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/17973/task/17988/stat : 17988 (java) S 17970 17973 16262 0 -1 4202560 6999 0 0 0 73 2 0 0 20 0 22 0 23213778 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026039028536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17989] ppid=17970 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/17973/task/17989/stat : 17989 (java) S 17970 17973 16262 0 -1 4202560 8813 0 0 0 86 2 0 0 20 0 22 0 23213778 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026037975992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17990] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17990/stat : 17990 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026036923128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17991] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17991/stat : 17991 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026035870792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17992] ppid=17970 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/17973/task/17992/stat : 17992 (java) R 17970 17973 16262 0 -1 4202560 29 0 0 0 149 0 0 0 20 0 22 0 23213919 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026034815560 140026085012122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17993] ppid=17970 vsize=9824732 CPUtime=1.49 cores=0,2,4,6
/proc/17973/task/17993/stat : 17993 (java) R 17970 17973 16262 0 -1 4202560 45 0 0 0 149 0 0 0 20 0 22 0 23213919 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026033762536 140026085110939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17994] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17994/stat : 17994 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026032710440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17995] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17995/stat : 17995 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 119498 33554432000 1073741824 1073778376 140733875819152 140026031657896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 9824732
[startup+6.30086 s]
/proc/loadavg: 4.18 4.22 4.22 5/220 17995
/proc/meminfo: memFree=25563164/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9824732 CPUtime=13.35 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 21037 0 1 0 1305 30 0 0 20 0 22 0 23213772 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2456183 119583 2282 9 0 2446860 0
[pid=17973/tid=17975] ppid=17970 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/17973/task/17975/stat : 17975 (java) S 17970 17973 16262 0 -1 4202560 2484 0 1 0 124 4 0 0 20 0 22 0 23213773 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026219795320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17976] ppid=17970 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/17973/task/17976/stat : 17976 (java) S 17970 17973 16262 0 -1 4202560 124 0 0 0 10 4 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026208856488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17977] ppid=17970 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/17973/task/17977/stat : 17977 (java) S 17970 17973 16262 0 -1 4202560 48 0 0 0 8 2 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026207803944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17978] ppid=17970 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/17973/task/17978/stat : 17978 (java) S 17970 17973 16262 0 -1 4202560 130 0 0 0 11 4 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026206750888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17979] ppid=17970 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/17973/task/17979/stat : 17979 (java) S 17970 17973 16262 0 -1 4202560 87 0 0 0 7 2 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026205698344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17980] ppid=17970 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/17973/task/17980/stat : 17980 (java) S 17970 17973 16262 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026204646312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17981] ppid=17970 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/17973/task/17981/stat : 17981 (java) S 17970 17973 16262 0 -1 4202560 57 0 0 0 8 4 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026203593768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17982] ppid=17970 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/17973/task/17982/stat : 17982 (java) S 17970 17973 16262 0 -1 4202560 119 0 0 0 7 3 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026056489640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17983] ppid=17970 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/17973/task/17983/stat : 17983 (java) S 17970 17973 16262 0 -1 4202560 253 0 0 0 5 2 0 0 20 0 22 0 23213774 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026055437096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17984] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17984/stat : 17984 (java) S 17970 17973 16262 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23213775 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026043238760 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17985] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17985/stat : 17985 (java) S 17970 17973 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026042185080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17986] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17986/stat : 17986 (java) S 17970 17973 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026041131912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17987] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17987/stat : 17987 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026040080656 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17988] ppid=17970 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/17973/task/17988/stat : 17988 (java) S 17970 17973 16262 0 -1 4202560 7335 0 0 0 78 2 0 0 20 0 22 0 23213778 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026039028536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17989] ppid=17970 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/17973/task/17989/stat : 17989 (java) S 17970 17973 16262 0 -1 4202560 8817 0 0 0 87 2 0 0 20 0 22 0 23213778 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026037975992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17990] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17990/stat : 17990 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026036923128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17991] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17991/stat : 17991 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 119583 33554432000 1073741824 1073778376 140733875819152 140026035870792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17992] ppid=17970 vsize=9824732 CPUtime=4.68 cores=0,2,4,6
################
# More data... #
################
/proc/17973/task/17978/stat : 17978 (java) S 17970 17973 16262 0 -1 4202560 828 0 0 0 529 33 0 0 20 0 22 0 23213774 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026206750888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17979] ppid=17970 vsize=9824732 CPUtime=5.63 cores=0,2,4,6
/proc/17973/task/17979/stat : 17979 (java) S 17970 17973 16262 0 -1 4202560 912 0 0 0 531 32 0 0 20 0 22 0 23213774 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026205698344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17980] ppid=17970 vsize=9824732 CPUtime=5.8 cores=0,2,4,6
/proc/17973/task/17980/stat : 17980 (java) S 17970 17973 16262 0 -1 4202560 770 0 0 0 556 24 0 0 20 0 22 0 23213774 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026204646312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17981] ppid=17970 vsize=9824732 CPUtime=5.63 cores=0,2,4,6
/proc/17973/task/17981/stat : 17981 (java) S 17970 17973 16262 0 -1 4202560 795 0 0 0 535 28 0 0 20 0 22 0 23213774 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026203593768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17982] ppid=17970 vsize=9824732 CPUtime=6.46 cores=0,2,4,6
/proc/17973/task/17982/stat : 17982 (java) S 17970 17973 16262 0 -1 4202560 1013 0 0 0 609 37 0 0 20 0 22 0 23213774 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026056489640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17983] ppid=17970 vsize=9824732 CPUtime=5.83 cores=0,2,4,6
/proc/17973/task/17983/stat : 17983 (java) S 17970 17973 16262 0 -1 4202560 984 0 0 0 552 31 0 0 20 0 22 0 23213774 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026055437096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17984] ppid=17970 vsize=9824732 CPUtime=11.71 cores=0,2,4,6
/proc/17973/task/17984/stat : 17984 (java) S 17970 17973 16262 0 -1 4202560 4003 0 0 0 1160 11 0 0 20 0 22 0 23213775 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026043238760 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17985] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17985/stat : 17985 (java) S 17970 17973 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026042185080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17986] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17986/stat : 17986 (java) S 17970 17973 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026041131912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17987] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17987/stat : 17987 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026040080656 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17988] ppid=17970 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/17973/task/17988/stat : 17988 (java) S 17970 17973 16262 0 -1 4202560 9407 0 0 0 141 2 0 0 20 0 22 0 23213778 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026039028536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17989] ppid=17970 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/17973/task/17989/stat : 17989 (java) S 17970 17973 16262 0 -1 4202560 8927 0 0 0 142 2 0 0 20 0 22 0 23213778 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026037975992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17990] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17990/stat : 17990 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026036923128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17991] ppid=17970 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/17973/task/17991/stat : 17991 (java) S 17970 17973 16262 0 -1 4202560 47 0 0 0 14 14 0 0 20 0 22 0 23213778 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026035870792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17992] ppid=17970 vsize=9824732 CPUtime=794.94 cores=0,2,4,6
/proc/17973/task/17992/stat : 17992 (java) R 17970 17973 16262 0 -1 4202560 310 0 0 0 79478 16 0 0 20 0 22 0 23213919 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026034813536 140026085074263 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17993] ppid=17970 vsize=9824732 CPUtime=794.88 cores=0,2,4,6
/proc/17973/task/17993/stat : 17993 (java) R 17970 17973 16262 0 -1 4202560 1373 0 0 0 79456 32 0 0 20 0 22 0 23213919 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026033761632 140026085093972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17994] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17994/stat : 17994 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026032710440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17995] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17995/stat : 17995 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 1153587 33554432000 1073741824 1073778376 140733875819152 140026031657896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1656.61
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.45 4.45 4.33 5/219 18474
/proc/meminfo: memFree=21604924/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9824732 CPUtime=1777.6 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 35211 0 1 0 177457 303 0 0 20 0 22 0 23213772 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2456183 1153613 2291 9 0 2446860 0
[pid=17973/tid=17975] ppid=17970 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/17973/task/17975/stat : 17975 (java) S 17970 17973 16262 0 -1 4202560 2504 0 1 0 126 6 0 0 20 0 22 0 23213773 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026219795320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17976] ppid=17970 vsize=9824732 CPUtime=6.32 cores=0,2,4,6
/proc/17973/task/17976/stat : 17976 (java) S 17970 17973 16262 0 -1 4202560 870 0 0 0 601 31 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026208856488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17977] ppid=17970 vsize=9824732 CPUtime=5.76 cores=0,2,4,6
/proc/17973/task/17977/stat : 17977 (java) S 17970 17973 16262 0 -1 4202560 1145 0 0 0 548 28 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026207803944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17978] ppid=17970 vsize=9824732 CPUtime=5.8 cores=0,2,4,6
/proc/17973/task/17978/stat : 17978 (java) S 17970 17973 16262 0 -1 4202560 828 0 0 0 547 33 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026206750888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17979] ppid=17970 vsize=9824732 CPUtime=5.93 cores=0,2,4,6
/proc/17973/task/17979/stat : 17979 (java) S 17970 17973 16262 0 -1 4202560 913 0 0 0 561 32 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026205698344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17980] ppid=17970 vsize=9824732 CPUtime=6.08 cores=0,2,4,6
/proc/17973/task/17980/stat : 17980 (java) S 17970 17973 16262 0 -1 4202560 792 0 0 0 584 24 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026204646312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17981] ppid=17970 vsize=9824732 CPUtime=5.92 cores=0,2,4,6
/proc/17973/task/17981/stat : 17981 (java) S 17970 17973 16262 0 -1 4202560 795 0 0 0 564 28 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026203593768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17982] ppid=17970 vsize=9824732 CPUtime=6.78 cores=0,2,4,6
/proc/17973/task/17982/stat : 17982 (java) S 17970 17973 16262 0 -1 4202560 1013 0 0 0 641 37 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026056489640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17983] ppid=17970 vsize=9824732 CPUtime=6.06 cores=0,2,4,6
/proc/17973/task/17983/stat : 17983 (java) S 17970 17973 16262 0 -1 4202560 984 0 0 0 575 31 0 0 20 0 22 0 23213774 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026055437096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17984] ppid=17970 vsize=9824732 CPUtime=11.72 cores=0,2,4,6
/proc/17973/task/17984/stat : 17984 (java) S 17970 17973 16262 0 -1 4202560 4028 0 0 0 1160 12 0 0 20 0 22 0 23213775 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026043238760 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17985] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17985/stat : 17985 (java) S 17970 17973 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026042185080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17986] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17986/stat : 17986 (java) S 17970 17973 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026041131912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17987] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17987/stat : 17987 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026040080656 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17988] ppid=17970 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/17973/task/17988/stat : 17988 (java) S 17970 17973 16262 0 -1 4202560 9407 0 0 0 141 2 0 0 20 0 22 0 23213778 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026039028536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17989] ppid=17970 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/17973/task/17989/stat : 17989 (java) S 17970 17973 16262 0 -1 4202560 8927 0 0 0 142 2 0 0 20 0 22 0 23213778 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026037975992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17990] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17990/stat : 17990 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026036923128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17991] ppid=17970 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/17973/task/17991/stat : 17991 (java) S 17970 17973 16262 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 23213778 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026035870792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17992] ppid=17970 vsize=9824732 CPUtime=854.18 cores=0,2,4,6
/proc/17973/task/17992/stat : 17992 (java) R 17970 17973 16262 0 -1 4202560 312 0 0 0 85402 16 0 0 20 0 22 0 23213919 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026034813488 140026085012416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17993] ppid=17970 vsize=9824732 CPUtime=854.12 cores=0,2,4,6
/proc/17973/task/17993/stat : 17993 (java) R 17970 17973 16262 0 -1 4202560 1375 0 0 0 85380 32 0 0 20 0 22 0 23213919 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026033761776 140026085059877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17994] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17994/stat : 17994 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026032710440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17995] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17995/stat : 17995 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 1153613 33554432000 1073741824 1073778376 140733875819152 140026031657896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1777.6
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.401 s]
/proc/loadavg: 4.38 4.44 4.33 5/219 18474
/proc/meminfo: memFree=21611996/32872528 swapFree=1556504/1720024
[pid=17973] ppid=17970 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/17973/stat : 17973 (java) S 17970 17973 16262 0 -1 4202496 35238 0 1 0 179699 303 0 0 20 0 22 0 23213772 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140733875810288 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17973/statm: 2456183 1153639 2291 9 0 2446860 0
[pid=17973/tid=17975] ppid=17970 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/17973/task/17975/stat : 17975 (java) S 17970 17973 16262 0 -1 4202560 2504 0 1 0 126 6 0 0 20 0 22 0 23213773 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026219795320 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17976] ppid=17970 vsize=9824732 CPUtime=6.36 cores=0,2,4,6
/proc/17973/task/17976/stat : 17976 (java) S 17970 17973 16262 0 -1 4202560 870 0 0 0 605 31 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026208856488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17977] ppid=17970 vsize=9824732 CPUtime=5.83 cores=0,2,4,6
/proc/17973/task/17977/stat : 17977 (java) S 17970 17973 16262 0 -1 4202560 1145 0 0 0 555 28 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026207803944 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17978] ppid=17970 vsize=9824732 CPUtime=5.85 cores=0,2,4,6
/proc/17973/task/17978/stat : 17978 (java) S 17970 17973 16262 0 -1 4202560 853 0 0 0 552 33 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026206750888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17979] ppid=17970 vsize=9824732 CPUtime=5.99 cores=0,2,4,6
/proc/17973/task/17979/stat : 17979 (java) S 17970 17973 16262 0 -1 4202560 913 0 0 0 567 32 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026205698344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17980] ppid=17970 vsize=9824732 CPUtime=6.21 cores=0,2,4,6
/proc/17973/task/17980/stat : 17980 (java) S 17970 17973 16262 0 -1 4202560 792 0 0 0 597 24 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026204646312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17981] ppid=17970 vsize=9824732 CPUtime=5.99 cores=0,2,4,6
/proc/17973/task/17981/stat : 17981 (java) S 17970 17973 16262 0 -1 4202560 796 0 0 0 571 28 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026203593768 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17982] ppid=17970 vsize=9824732 CPUtime=6.82 cores=0,2,4,6
/proc/17973/task/17982/stat : 17982 (java) S 17970 17973 16262 0 -1 4202560 1013 0 0 0 645 37 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026056489640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17983] ppid=17970 vsize=9824732 CPUtime=6.12 cores=0,2,4,6
/proc/17973/task/17983/stat : 17983 (java) S 17970 17973 16262 0 -1 4202560 984 0 0 0 581 31 0 0 20 0 22 0 23213774 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026055437096 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17984] ppid=17970 vsize=9824732 CPUtime=11.72 cores=0,2,4,6
/proc/17973/task/17984/stat : 17984 (java) S 17970 17973 16262 0 -1 4202560 4028 0 0 0 1160 12 0 0 20 0 22 0 23213775 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026043238760 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17985] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17985/stat : 17985 (java) S 17970 17973 16262 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026042185080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17986] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17986/stat : 17986 (java) S 17970 17973 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23213776 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026041131912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17987] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17987/stat : 17987 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026040080656 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17988] ppid=17970 vsize=9824732 CPUtime=1.43 cores=0,2,4,6
/proc/17973/task/17988/stat : 17988 (java) S 17970 17973 16262 0 -1 4202560 9407 0 0 0 141 2 0 0 20 0 22 0 23213778 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026039028536 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17989] ppid=17970 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/17973/task/17989/stat : 17989 (java) S 17970 17973 16262 0 -1 4202560 8927 0 0 0 142 2 0 0 20 0 22 0 23213778 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026037975992 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17973/tid=17990] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17990/stat : 17990 (java) S 17970 17973 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23213778 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026036923128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17991] ppid=17970 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/17973/task/17991/stat : 17991 (java) S 17970 17973 16262 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 23213778 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026035870792 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17992] ppid=17970 vsize=9824732 CPUtime=865.12 cores=0,2,4,6
/proc/17973/task/17992/stat : 17992 (java) R 17970 17973 16262 0 -1 4202560 313 0 0 0 86495 17 0 0 20 0 22 0 23213919 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026034815472 140026084871980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17973/tid=17993] ppid=17970 vsize=9824732 CPUtime=865.05 cores=0,2,4,6
/proc/17973/task/17993/stat : 17993 (java) R 17970 17973 16262 0 -1 4202560 1375 0 0 0 86472 33 0 0 20 0 22 0 23213919 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026033761760 140026085059867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17973/tid=17994] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17994/stat : 17994 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026032710440 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17973/tid=17995] ppid=17970 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17973/task/17995/stat : 17995 (java) S 17970 17973 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23213926 10060525568 1153639 33554432000 1073741824 1073778376 140733875819152 140026031657896 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 17973 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 17973 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=498498
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=483470
# CPU time returned by wait4() is 1795.98
# 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): 893.463
CPU time (s): 1800.02
CPU user time (s): 1796.99
CPU system time (s): 3.03
CPU usage (%): 201.465
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.5
system time used= 3.48347
maximum resident set size= 4614732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35294
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23755
involuntary context switches= 32925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43317 second user time and 7.64384 second system time
The end