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-4103646-1466244749/watcher-4103646-1466244749 -o /tmp/evaluation-result-4103646-1466244749/solver-4103646-1466244749 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103646-1466244749.opb
pid=19991
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.23 4.22 4.19 4/197 19994
/proc/meminfo: memFree=26947468/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/19994/stat : 19994 (java) D 19991 19994 18358 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 26521669 2560000 47 33554432000 1073741824 1073778376 140737059991088 140737059988216 214360485159 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/19994/statm: 625 47 37 9 0 29 0
[startup+0.100063 s]
/proc/loadavg: 4.23 4.22 4.19 4/197 19994
/proc/meminfo: memFree=26947468/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 3843 0 1 0 6 1 0 0 20 0 18 0 26521669 9787879424 4975 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2389619 4986 1976 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200244 s]
/proc/loadavg: 4.23 4.22 4.19 4/197 19994
/proc/meminfo: memFree=26947468/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 5042 0 1 0 25 1 0 0 20 0 18 0 26521669 9787879424 7006 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2389619 7008 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300231 s]
/proc/loadavg: 4.23 4.22 4.19 4/197 19994
/proc/meminfo: memFree=26947468/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 6677 0 1 0 47 1 0 0 20 0 18 0 26521669 9787879424 10298 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2389619 10299 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700209 s]
/proc/loadavg: 4.23 4.22 4.19 4/197 19994
/proc/meminfo: memFree=26947468/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9558476 CPUtime=1.47 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 15729 0 1 0 142 5 0 0 20 0 18 0 26521669 9787879424 39573 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2389619 39573 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9558476
[startup+1.50086 s]
/proc/loadavg: 4.23 4.22 4.19 7/219 20016
/proc/meminfo: memFree=26739516/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 17359 0 1 0 351 9 0 0 20 0 22 0 26521669 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2456183 54505 2274 9 0 2446860 0
[pid=19994/tid=19996] ppid=19991 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/19994/task/19996/stat : 19996 (java) S 19991 19994 18358 0 -1 4202560 2482 0 1 0 74 4 0 0 20 0 22 0 26521670 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773651604344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=19997] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/19997/stat : 19997 (java) S 19991 19994 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773613095720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=19998] ppid=19991 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19994/task/19998/stat : 19998 (java) S 19991 19994 18358 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773612042920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=19999] ppid=19991 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19994/task/19999/stat : 19999 (java) S 19991 19994 18358 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773610990632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20000] ppid=19991 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19994/task/20000/stat : 20000 (java) S 19991 19994 18358 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773609937832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20001] ppid=19991 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19994/task/20001/stat : 20001 (java) S 19991 19994 18358 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773608884520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20002] ppid=19991 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/19994/task/20002/stat : 20002 (java) S 19991 19994 18358 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773607831720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20003] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20003/stat : 20003 (java) S 19991 19994 18358 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773606779432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20004] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20004/stat : 20004 (java) S 19991 19994 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26521672 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773605726632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20005] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20005/stat : 20005 (java) S 19991 19994 18358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773475150568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20006] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20006/stat : 20006 (java) S 19991 19994 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773474096632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20007] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20007/stat : 20007 (java) S 19991 19994 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773473044232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20008] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20008/stat : 20008 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773471992720 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20009] ppid=19991 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/19994/task/20009/stat : 20009 (java) S 19991 19994 18358 0 -1 4202560 8124 0 0 0 77 0 0 0 20 0 22 0 26521676 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139773470939320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20010] ppid=19991 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/19994/task/20010/stat : 20010 (java) S 19991 19994 18358 0 -1 4202560 5276 0 0 0 59 0 0 0 20 0 22 0 26521676 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139772597102648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20011] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20011/stat : 20011 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139772596050552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20012] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20012/stat : 20012 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139772594997960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20013] ppid=19991 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/19994/task/20013/stat : 20013 (java) R 19991 19994 18358 0 -1 4202560 24 0 0 0 60 0 0 0 20 0 22 0 26521757 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139772593943288 139773487199070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20014] ppid=19991 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/19994/task/20014/stat : 20014 (java) R 19991 19994 18358 0 -1 4202560 22 0 0 0 59 0 0 0 20 0 22 0 26521757 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139772592890584 139773487259101 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20015] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20015/stat : 20015 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521767 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139772591838888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20016] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20016/stat : 20016 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521769 10060525568 54505 33554432000 1073741824 1073778376 140735571974528 139772590786088 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.21 4.22 4.19 5/219 20016
/proc/meminfo: memFree=26737028/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9824732 CPUtime=7.27 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 18041 0 1 0 713 14 0 0 20 0 22 0 26521669 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2456183 62570 2277 9 0 2446860 0
[pid=19994/tid=19996] ppid=19991 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/19994/task/19996/stat : 19996 (java) S 19991 19994 18358 0 -1 4202560 2482 0 1 0 74 4 0 0 20 0 22 0 26521670 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773651604344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=19997] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/19997/stat : 19997 (java) S 19991 19994 18358 0 -1 4202560 124 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773613095720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=19998] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/19998/stat : 19998 (java) S 19991 19994 18358 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773612042920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=19999] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/19999/stat : 19999 (java) S 19991 19994 18358 0 -1 4202560 88 0 0 0 2 1 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773610990632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20000] ppid=19991 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19994/task/20000/stat : 20000 (java) S 19991 19994 18358 0 -1 4202560 136 0 0 0 4 2 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773609937832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20001] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20001/stat : 20001 (java) S 19991 19994 18358 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773608884520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20002] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20002/stat : 20002 (java) S 19991 19994 18358 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773607831720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20003] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20003/stat : 20003 (java) S 19991 19994 18358 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773606779432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20004] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20004/stat : 20004 (java) S 19991 19994 18358 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773605726632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20005] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20005/stat : 20005 (java) S 19991 19994 18358 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773475150568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20006] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20006/stat : 20006 (java) S 19991 19994 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773474096632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20007] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20007/stat : 20007 (java) S 19991 19994 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773473044232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20008] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20008/stat : 20008 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773471992720 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20009] ppid=19991 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/19994/task/20009/stat : 20009 (java) S 19991 19994 18358 0 -1 4202560 8127 0 0 0 94 0 0 0 20 0 22 0 26521676 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139773470939320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20010] ppid=19991 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/19994/task/20010/stat : 20010 (java) S 19991 19994 18358 0 -1 4202560 5521 0 0 0 82 0 0 0 20 0 22 0 26521676 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139772597102648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20011] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20011/stat : 20011 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139772596050552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20012] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20012/stat : 20012 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139772594997960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20013] ppid=19991 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/19994/task/20013/stat : 20013 (java) R 19991 19994 18358 0 -1 4202560 25 0 0 0 215 0 0 0 20 0 22 0 26521757 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139772593941328 139773487179598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20014] ppid=19991 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/19994/task/20014/stat : 20014 (java) R 19991 19994 18358 0 -1 4202560 23 0 0 0 213 0 0 0 20 0 22 0 26521757 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139772592890360 139773487291867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20015] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20015/stat : 20015 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521767 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139772591838888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20016] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20016/stat : 20016 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521769 10060525568 62570 33554432000 1073741824 1073778376 140735571974528 139772590786088 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.21 4.22 4.19 5/219 20016
/proc/meminfo: memFree=26708240/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9824732 CPUtime=13.76 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 18056 0 1 0 1362 14 0 0 20 0 22 0 26521669 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2456183 67713 2278 9 0 2446860 0
[pid=19994/tid=19996] ppid=19991 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/19994/task/19996/stat : 19996 (java) S 19991 19994 18358 0 -1 4202560 2482 0 1 0 74 4 0 0 20 0 22 0 26521670 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773651604344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=19997] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/19997/stat : 19997 (java) S 19991 19994 18358 0 -1 4202560 124 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773613095720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=19998] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/19998/stat : 19998 (java) S 19991 19994 18358 0 -1 4202560 93 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773612042920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=19999] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/19999/stat : 19999 (java) S 19991 19994 18358 0 -1 4202560 88 0 0 0 2 1 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773610990632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20000] ppid=19991 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/19994/task/20000/stat : 20000 (java) S 19991 19994 18358 0 -1 4202560 136 0 0 0 4 2 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773609937832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20001] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20001/stat : 20001 (java) S 19991 19994 18358 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773608884520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20002] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20002/stat : 20002 (java) S 19991 19994 18358 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773607831720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20003] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20003/stat : 20003 (java) S 19991 19994 18358 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773606779432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20004] ppid=19991 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19994/task/20004/stat : 20004 (java) S 19991 19994 18358 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 26521672 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773605726632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20005] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20005/stat : 20005 (java) S 19991 19994 18358 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773475150568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20006] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20006/stat : 20006 (java) S 19991 19994 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773474096632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20007] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20007/stat : 20007 (java) S 19991 19994 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773473044232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20008] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20008/stat : 20008 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 67713 33554432000 1073741824 1073778376 140735571974528 139773471992720 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20009] ppid=19991 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.22 4.23 4.18 5/219 20104
/proc/meminfo: memFree=25497496/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9824732 CPUtime=1646.16 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 24249 0 1 0 164452 164 0 0 20 0 22 0 26521669 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2456183 632842 2291 9 0 2446860 0
[pid=19994/tid=19996] ppid=19991 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/19994/task/19996/stat : 19996 (java) S 19991 19994 18358 0 -1 4202560 2487 0 1 0 77 5 0 0 20 0 22 0 26521670 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773651604344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=19997] ppid=19991 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/19994/task/19997/stat : 19997 (java) S 19991 19994 18358 0 -1 4202560 450 0 0 0 79 14 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773613095720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=19998] ppid=19991 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/19994/task/19998/stat : 19998 (java) S 19991 19994 18358 0 -1 4202560 344 0 0 0 67 13 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773612042920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=19999] ppid=19991 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/19994/task/19999/stat : 19999 (java) S 19991 19994 18358 0 -1 4202560 356 0 0 0 77 14 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773610990632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20000] ppid=19991 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/19994/task/20000/stat : 20000 (java) S 19991 19994 18358 0 -1 4202560 479 0 0 0 78 15 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773609937832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20001] ppid=19991 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/19994/task/20001/stat : 20001 (java) S 19991 19994 18358 0 -1 4202560 239 0 0 0 73 12 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773608884520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20002] ppid=19991 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/19994/task/20002/stat : 20002 (java) S 19991 19994 18358 0 -1 4202560 330 0 0 0 83 16 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773607831720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20003] ppid=19991 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/19994/task/20003/stat : 20003 (java) S 19991 19994 18358 0 -1 4202560 306 0 0 0 78 16 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773606779432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20004] ppid=19991 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/19994/task/20004/stat : 20004 (java) S 19991 19994 18358 0 -1 4202560 309 0 0 0 80 14 0 0 20 0 22 0 26521672 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773605726632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20005] ppid=19991 vsize=9824732 CPUtime=3.36 cores=1,3,5,7
/proc/19994/task/20005/stat : 20005 (java) S 19991 19994 18358 0 -1 4202560 1786 0 0 0 332 4 0 0 20 0 22 0 26521673 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773475150568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20006] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20006/stat : 20006 (java) S 19991 19994 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773474096632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20007] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20007/stat : 20007 (java) S 19991 19994 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773473044232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20008] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20008/stat : 20008 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773471992720 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20009] ppid=19991 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/19994/task/20009/stat : 20009 (java) S 19991 19994 18358 0 -1 4202560 8760 0 0 0 163 0 0 0 20 0 22 0 26521676 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139773470939320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20010] ppid=19991 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/19994/task/20010/stat : 20010 (java) S 19991 19994 18358 0 -1 4202560 5531 0 0 0 102 0 0 0 20 0 22 0 26521676 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139772597102648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20011] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20011/stat : 20011 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139772596050552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20012] ppid=19991 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/19994/task/20012/stat : 20012 (java) S 19991 19994 18358 0 -1 4202560 47 0 0 0 12 17 0 0 20 0 22 0 26521676 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139772594997960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20013] ppid=19991 vsize=9824732 CPUtime=816.12 cores=1,3,5,7
/proc/19994/task/20013/stat : 20013 (java) R 19991 19994 18358 0 -1 4202560 935 0 0 0 81592 20 0 0 20 0 22 0 26521757 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139772593934608 139773487199111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20014] ppid=19991 vsize=9824732 CPUtime=815.75 cores=1,3,5,7
/proc/19994/task/20014/stat : 20014 (java) R 19991 19994 18358 0 -1 4202560 625 0 0 0 81540 35 0 0 20 0 22 0 26521757 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139772592888624 139773487242023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20015] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20015/stat : 20015 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521767 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139772591838888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20016] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20016/stat : 20016 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521769 10060525568 632842 33554432000 1073741824 1073778376 140735571974528 139772590786088 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1646.16
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.18 4.21 4.18 5/219 20105
/proc/meminfo: memFree=25520364/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9824732 CPUtime=1766.71 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 24777 0 1 0 176485 186 0 0 20 0 22 0 26521669 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2456183 689834 2291 9 0 2446860 0
[pid=19994/tid=19996] ppid=19991 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/19994/task/19996/stat : 19996 (java) S 19991 19994 18358 0 -1 4202560 2488 0 1 0 78 5 0 0 20 0 22 0 26521670 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773651604344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=19997] ppid=19991 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/19994/task/19997/stat : 19997 (java) S 19991 19994 18358 0 -1 4202560 530 0 0 0 89 16 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773613095720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=19998] ppid=19991 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/19994/task/19998/stat : 19998 (java) S 19991 19994 18358 0 -1 4202560 389 0 0 0 75 14 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773612042920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=19999] ppid=19991 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/19994/task/19999/stat : 19999 (java) S 19991 19994 18358 0 -1 4202560 421 0 0 0 95 18 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773610990632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20000] ppid=19991 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/19994/task/20000/stat : 20000 (java) S 19991 19994 18358 0 -1 4202560 528 0 0 0 91 18 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773609937832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20001] ppid=19991 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/19994/task/20001/stat : 20001 (java) S 19991 19994 18358 0 -1 4202560 292 0 0 0 89 14 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773608884520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20002] ppid=19991 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/19994/task/20002/stat : 20002 (java) S 19991 19994 18358 0 -1 4202560 368 0 0 0 93 18 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773607831720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20003] ppid=19991 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/19994/task/20003/stat : 20003 (java) S 19991 19994 18358 0 -1 4202560 344 0 0 0 87 19 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773606779432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20004] ppid=19991 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/19994/task/20004/stat : 20004 (java) S 19991 19994 18358 0 -1 4202560 348 0 0 0 89 17 0 0 20 0 22 0 26521672 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773605726632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20005] ppid=19991 vsize=9824732 CPUtime=3.37 cores=1,3,5,7
/proc/19994/task/20005/stat : 20005 (java) S 19991 19994 18358 0 -1 4202560 1899 0 0 0 332 5 0 0 20 0 22 0 26521673 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773475150568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20006] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20006/stat : 20006 (java) S 19991 19994 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773474096632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20007] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20007/stat : 20007 (java) S 19991 19994 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773473044232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20008] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20008/stat : 20008 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773471992720 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20009] ppid=19991 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/19994/task/20009/stat : 20009 (java) S 19991 19994 18358 0 -1 4202560 8762 0 0 0 163 0 0 0 20 0 22 0 26521676 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139773470939320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20010] ppid=19991 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/19994/task/20010/stat : 20010 (java) S 19991 19994 18358 0 -1 4202560 5531 0 0 0 102 0 0 0 20 0 22 0 26521676 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139772597102648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20011] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20011/stat : 20011 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139772596050552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20012] ppid=19991 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/19994/task/20012/stat : 20012 (java) S 19991 19994 18358 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 26521676 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139772594997960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20013] ppid=19991 vsize=9824732 CPUtime=875.82 cores=1,3,5,7
/proc/19994/task/20013/stat : 20013 (java) R 19991 19994 18358 0 -1 4202560 935 0 0 0 87561 21 0 0 20 0 22 0 26521757 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139772593941552 139773487179659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20014] ppid=19991 vsize=9824732 CPUtime=875.43 cores=1,3,5,7
/proc/19994/task/20014/stat : 20014 (java) R 19991 19994 18358 0 -1 4202560 626 0 0 0 87507 36 0 0 20 0 22 0 26521757 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139772592889800 139773487259094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20015] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20015/stat : 20015 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521767 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139772591838888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20016] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20016/stat : 20016 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521769 10060525568 689834 33554432000 1073741824 1073778376 140735571974528 139772590786088 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1766.71
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.808 s]
/proc/loadavg: 4.21 4.22 4.18 5/219 20105
/proc/meminfo: memFree=25297892/32872528 swapFree=1286400/1433568
[pid=19994] ppid=19991 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/19994/stat : 19994 (java) S 19991 19994 18358 0 -1 4202496 25397 0 1 0 179800 213 0 0 20 0 22 0 26521669 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 140735571965664 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19994/statm: 2456183 745325 2291 9 0 2446860 0
[pid=19994/tid=19996] ppid=19991 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/19994/task/19996/stat : 19996 (java) S 19991 19994 18358 0 -1 4202560 2488 0 1 0 78 5 0 0 20 0 22 0 26521670 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773651604344 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=19997] ppid=19991 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/19994/task/19997/stat : 19997 (java) S 19991 19994 18358 0 -1 4202560 627 0 0 0 101 20 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773613095720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=19998] ppid=19991 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/19994/task/19998/stat : 19998 (java) S 19991 19994 18358 0 -1 4202560 443 0 0 0 82 18 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773612042920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=19999] ppid=19991 vsize=9824732 CPUtime=1.24 cores=1,3,5,7
/proc/19994/task/19999/stat : 19999 (java) S 19991 19994 18358 0 -1 4202560 500 0 0 0 103 21 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773610990632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20000] ppid=19991 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/19994/task/20000/stat : 20000 (java) S 19991 19994 18358 0 -1 4202560 562 0 0 0 96 20 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773609937832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20001] ppid=19991 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/19994/task/20001/stat : 20001 (java) S 19991 19994 18358 0 -1 4202560 345 0 0 0 96 18 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773608884520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20002] ppid=19991 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/19994/task/20002/stat : 20002 (java) S 19991 19994 18358 0 -1 4202560 446 0 0 0 100 21 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773607831720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20003] ppid=19991 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/19994/task/20003/stat : 20003 (java) S 19991 19994 18358 0 -1 4202560 481 0 0 0 96 22 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773606779432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20004] ppid=19991 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/19994/task/20004/stat : 20004 (java) S 19991 19994 18358 0 -1 4202560 390 0 0 0 94 19 0 0 20 0 22 0 26521672 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773605726632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20005] ppid=19991 vsize=9824732 CPUtime=3.37 cores=1,3,5,7
/proc/19994/task/20005/stat : 20005 (java) S 19991 19994 18358 0 -1 4202560 1944 0 0 0 332 5 0 0 20 0 22 0 26521673 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773475150568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20006] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20006/stat : 20006 (java) S 19991 19994 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773474096632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20007] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20007/stat : 20007 (java) S 19991 19994 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26521673 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773473044232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20008] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20008/stat : 20008 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773471992720 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20009] ppid=19991 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/19994/task/20009/stat : 20009 (java) S 19991 19994 18358 0 -1 4202560 8762 0 0 0 163 0 0 0 20 0 22 0 26521676 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139773470939320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19994/tid=20010] ppid=19991 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/19994/task/20010/stat : 20010 (java) S 19991 19994 18358 0 -1 4202560 5531 0 0 0 102 0 0 0 20 0 22 0 26521676 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139772597102648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20011] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20011/stat : 20011 (java) S 19991 19994 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26521676 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139772596050552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20012] ppid=19991 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/19994/task/20012/stat : 20012 (java) S 19991 19994 18358 0 -1 4202560 51 0 0 0 14 19 0 0 20 0 22 0 26521676 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139772594997960 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20013] ppid=19991 vsize=9824732 CPUtime=892.1 cores=1,3,5,7
/proc/19994/task/20013/stat : 20013 (java) R 19991 19994 18358 0 -1 4202560 936 0 0 0 89189 21 0 0 20 0 22 0 26521757 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139772593942336 139773487179684 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19994/tid=20014] ppid=19991 vsize=9824732 CPUtime=891.71 cores=1,3,5,7
/proc/19994/task/20014/stat : 20014 (java) R 19991 19994 18358 0 -1 4202560 626 0 0 0 89135 36 0 0 20 0 22 0 26521757 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139772592888224 139773487259094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19994/tid=20015] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20015/stat : 20015 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521767 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139772591838888 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19994/tid=20016] ppid=19991 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19994/task/20016/stat : 20016 (java) S 19991 19994 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26521769 10060525568 745325 33554432000 1073741824 1073778376 140735571974528 139772590786088 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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 19994 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 898.851
CPU time (s): 1800.66
CPU user time (s): 1798.04
CPU system time (s): 2.6216
CPU usage (%): 200.329
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.04
system time used= 2.6216
maximum resident set size= 2981416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25438
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21906
involuntary context switches= 19320
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45402 second user time and 6.70398 second system time
The end