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-4081236-1465227232/watcher-4081236-1465227232 -o /tmp/evaluation-result-4081236-1465227232/solver-4081236-1465227232 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465220363-8289 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081236-1465227232.opb
pid=10434
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.08 4.24 4.26 4/199 10437
/proc/meminfo: memFree=27542504/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10437/stat : 10437 (java) D 10434 10437 8273 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 104656006 9515008 176 33554432000 1073741824 1073778376 140734242492672 140734242475400 273905697680 0 0 4096 0 18446744072100764964 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2323 176 133 9 0 71 0
[startup+0.100131 s]
/proc/loadavg: 4.08 4.24 4.26 4/199 10437
/proc/meminfo: memFree=27542504/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 4431 0 1 0 8 1 0 0 20 0 18 0 104656006 9787879424 6050 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2389619 6050 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200329 s]
/proc/loadavg: 4.08 4.24 4.26 4/199 10437
/proc/meminfo: memFree=27542504/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 4675 0 1 0 22 1 0 0 20 0 18 0 104656006 9787879424 6764 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2389619 6764 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.30022 s]
/proc/loadavg: 4.08 4.24 4.26 4/199 10437
/proc/meminfo: memFree=27542504/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 5667 0 1 0 44 2 0 0 20 0 18 0 104656006 9787879424 8431 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2389619 8431 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700162 s]
/proc/loadavg: 4.08 4.24 4.26 4/199 10437
/proc/meminfo: memFree=27542504/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 23484 0 1 0 146 6 0 0 20 0 19 0 104656006 10060525568 29610 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2456183 29610 2253 9 0 2446860 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 4.08 4.24 4.26 3/218 10459
/proc/meminfo: memFree=27415788/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 23537 0 1 0 173 7 0 0 20 0 19 0 104656006 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2456183 30671 2259 9 0 2446860 0
[pid=10437/tid=10439] ppid=10434 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/10437/task/10439/stat : 10439 (java) S 10434 10437 8273 0 -1 4202560 2440 0 1 0 56 2 0 0 20 0 19 0 104656007 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344865960824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10440] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10440/stat : 10440 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344838412712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10441] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10441/stat : 10441 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344837360168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10442] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10442/stat : 10442 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344836307112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10443] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10443/stat : 10443 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344705984808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10444] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10444/stat : 10444 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344704932776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10445] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10445/stat : 10445 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344703880232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10446] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10446/stat : 10446 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344702827176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10447] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10447/stat : 10447 (java) S 10434 10437 8273 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104656008 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344701774632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10448] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10448/stat : 10448 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104656009 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344219261288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10449] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10449/stat : 10449 (java) S 10434 10437 8273 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104656010 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344218207608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10450] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10450/stat : 10450 (java) S 10434 10437 8273 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104656010 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344217154440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10451] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10451/stat : 10451 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656012 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344216103184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10452] ppid=10434 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/10437/task/10452/stat : 10452 (java) S 10434 10437 8273 0 -1 4202560 10430 0 0 0 58 2 0 0 20 0 19 0 104656012 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344215051064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10453] ppid=10434 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/10437/task/10453/stat : 10453 (java) S 10434 10437 8273 0 -1 4202560 9324 0 0 0 55 2 0 0 20 0 19 0 104656012 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344213998520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10454] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10454/stat : 10454 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656012 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344212945656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10455] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10455/stat : 10455 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104656012 10060525568 30671 33554432000 1073741824 1073778376 140734242492672 140344211893320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 4.08 4.24 4.26 7/221 10468
/proc/meminfo: memFree=27396952/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9824732 CPUtime=5.32 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 26517 0 1 0 518 14 0 0 20 0 22 0 104656006 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2456183 62712 2292 9 0 2446860 0
[pid=10437/tid=10439] ppid=10434 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/10437/task/10439/stat : 10439 (java) S 10434 10437 8273 0 -1 4202560 2441 0 1 0 56 2 0 0 20 0 22 0 104656007 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344865960824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10440] ppid=10434 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10437/task/10440/stat : 10440 (java) S 10434 10437 8273 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344838412712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10441] ppid=10434 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10437/task/10441/stat : 10441 (java) S 10434 10437 8273 0 -1 4202560 168 0 0 0 1 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344837360168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10442] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10442/stat : 10442 (java) S 10434 10437 8273 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344836307112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10443] ppid=10434 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10437/task/10443/stat : 10443 (java) S 10434 10437 8273 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344705984808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10444] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10444/stat : 10444 (java) S 10434 10437 8273 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344704932776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10445] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10445/stat : 10445 (java) S 10434 10437 8273 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344703880232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10446] ppid=10434 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10437/task/10446/stat : 10446 (java) S 10434 10437 8273 0 -1 4202560 158 0 0 0 1 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344702827176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10447] ppid=10434 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10437/task/10447/stat : 10447 (java) S 10434 10437 8273 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 104656008 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344701774632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10448] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10448/stat : 10448 (java) S 10434 10437 8273 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 104656009 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344219261288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10449] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10449/stat : 10449 (java) S 10434 10437 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344218207608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10450] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10450/stat : 10450 (java) S 10434 10437 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344217154440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10451] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10451/stat : 10451 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344216103184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10452] ppid=10434 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/10437/task/10452/stat : 10452 (java) S 10434 10437 8273 0 -1 4202560 12658 0 0 0 139 3 0 0 20 0 22 0 104656012 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344215051064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10453] ppid=10434 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/10437/task/10453/stat : 10453 (java) S 10434 10437 8273 0 -1 4202560 9371 0 0 0 116 3 0 0 20 0 22 0 104656012 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344213998520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10454] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10454/stat : 10454 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344212945656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10455] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10455/stat : 10455 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344211893320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10462] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10462/stat : 10462 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104656118 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344209786152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10466] ppid=10434 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/10437/task/10466/stat : 10466 (java) R 10434 10437 8273 0 -1 4202560 7 0 0 0 84 0 0 0 20 0 22 0 104656218 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344207679672 140344717977807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10467] ppid=10434 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/10437/task/10467/stat : 10467 (java) R 10434 10437 8273 0 -1 4202560 40 0 0 0 89 0 0 0 20 0 22 0 104656218 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344210836552 140344718210354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10468] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10468/stat : 10468 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104656218 10060525568 62712 33554432000 1073741824 1073778376 140734242492672 140344208733736 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 9824732
[startup+6.30088 s]
/proc/loadavg: 4.07 4.23 4.25 5/221 10468
/proc/meminfo: memFree=27036296/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9824732 CPUtime=12.37 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 28136 0 1 0 1197 40 0 0 20 0 22 0 104656006 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2456183 187808 2292 9 0 2446860 0
[pid=10437/tid=10439] ppid=10434 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/10437/task/10439/stat : 10439 (java) S 10434 10437 8273 0 -1 4202560 2441 0 1 0 56 2 0 0 20 0 22 0 104656007 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344865960824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10440] ppid=10434 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/10437/task/10440/stat : 10440 (java) S 10434 10437 8273 0 -1 4202560 182 0 0 0 10 4 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344838412712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10441] ppid=10434 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/10437/task/10441/stat : 10441 (java) S 10434 10437 8273 0 -1 4202560 288 0 0 0 7 2 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344837360168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10442] ppid=10434 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/10437/task/10442/stat : 10442 (java) S 10434 10437 8273 0 -1 4202560 51 0 0 0 6 2 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344836307112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10443] ppid=10434 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/10437/task/10443/stat : 10443 (java) S 10434 10437 8273 0 -1 4202560 81 0 0 0 8 3 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344705984808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10444] ppid=10434 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/10437/task/10444/stat : 10444 (java) S 10434 10437 8273 0 -1 4202560 339 0 0 0 14 6 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344704932776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10445] ppid=10434 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/10437/task/10445/stat : 10445 (java) S 10434 10437 8273 0 -1 4202560 183 0 0 0 10 2 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344703880232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10446] ppid=10434 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/10437/task/10446/stat : 10446 (java) S 10434 10437 8273 0 -1 4202560 213 0 0 0 8 2 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344702827176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10447] ppid=10434 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/10437/task/10447/stat : 10447 (java) S 10434 10437 8273 0 -1 4202560 55 0 0 0 6 3 0 0 20 0 22 0 104656008 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344701774632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10448] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10448/stat : 10448 (java) S 10434 10437 8273 0 -1 4202560 490 0 0 0 0 0 0 0 20 0 22 0 104656009 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344219261288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10449] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10449/stat : 10449 (java) S 10434 10437 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344218207608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10450] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10450/stat : 10450 (java) S 10434 10437 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344217154440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10451] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10451/stat : 10451 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344216103184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10452] ppid=10434 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/10437/task/10452/stat : 10452 (java) S 10434 10437 8273 0 -1 4202560 12670 0 0 0 155 3 0 0 20 0 22 0 104656012 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344215051064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10453] ppid=10434 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/10437/task/10453/stat : 10453 (java) S 10434 10437 8273 0 -1 4202560 9373 0 0 0 127 3 0 0 20 0 22 0 104656012 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344213998520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10454] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10454/stat : 10454 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344212945656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10455] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10455/stat : 10455 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 187808 33554432000 1073741824 1073778376 140734242492672 140344211893320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10462] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.49 4.34 4.28 5/221 10576
/proc/meminfo: memFree=21856760/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9824732 CPUtime=1657.01 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 36055 0 1 0 165461 240 0 0 20 0 22 0 104656006 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2456183 988458 2301 9 0 2446860 0
[pid=10437/tid=10439] ppid=10434 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/10437/task/10439/stat : 10439 (java) S 10434 10437 8273 0 -1 4202560 2459 0 1 0 59 3 0 0 20 0 22 0 104656007 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344865960824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10440] ppid=10434 vsize=9824732 CPUtime=4.82 cores=0,2,4,6
/proc/10437/task/10440/stat : 10440 (java) S 10434 10437 8273 0 -1 4202560 670 0 0 0 463 19 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344838412712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10441] ppid=10434 vsize=9824732 CPUtime=4.99 cores=0,2,4,6
/proc/10437/task/10441/stat : 10441 (java) S 10434 10437 8273 0 -1 4202560 915 0 0 0 477 22 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344837360168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10442] ppid=10434 vsize=9824732 CPUtime=5.13 cores=0,2,4,6
/proc/10437/task/10442/stat : 10442 (java) S 10434 10437 8273 0 -1 4202560 578 0 0 0 494 19 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344836307112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10443] ppid=10434 vsize=9824732 CPUtime=5.03 cores=0,2,4,6
/proc/10437/task/10443/stat : 10443 (java) S 10434 10437 8273 0 -1 4202560 712 0 0 0 478 25 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344705984808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10444] ppid=10434 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/10437/task/10444/stat : 10444 (java) S 10434 10437 8273 0 -1 4202560 835 0 0 0 450 22 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344704932776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10445] ppid=10434 vsize=9824732 CPUtime=5.2 cores=0,2,4,6
/proc/10437/task/10445/stat : 10445 (java) S 10434 10437 8273 0 -1 4202560 763 0 0 0 498 22 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344703880232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10446] ppid=10434 vsize=9824732 CPUtime=4.61 cores=0,2,4,6
/proc/10437/task/10446/stat : 10446 (java) S 10434 10437 8273 0 -1 4202560 819 0 0 0 439 22 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344702827176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10447] ppid=10434 vsize=9824732 CPUtime=4.59 cores=0,2,4,6
/proc/10437/task/10447/stat : 10447 (java) S 10434 10437 8273 0 -1 4202560 747 0 0 0 433 26 0 0 20 0 22 0 104656008 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344701774632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10448] ppid=10434 vsize=9824732 CPUtime=6.01 cores=0,2,4,6
/proc/10437/task/10448/stat : 10448 (java) S 10434 10437 8273 0 -1 4202560 2782 0 0 0 592 9 0 0 20 0 22 0 104656009 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344219261288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10449] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10449/stat : 10449 (java) S 10434 10437 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344218207608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10450] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10450/stat : 10450 (java) S 10434 10437 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344217154440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10451] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10451/stat : 10451 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344216103184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10452] ppid=10434 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/10437/task/10452/stat : 10452 (java) S 10434 10437 8273 0 -1 4202560 12682 0 0 0 175 3 0 0 20 0 22 0 104656012 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344215051064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10453] ppid=10434 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/10437/task/10453/stat : 10453 (java) S 10434 10437 8273 0 -1 4202560 9382 0 0 0 178 3 0 0 20 0 22 0 104656012 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344213998520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10454] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10454/stat : 10454 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344212945656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10455] ppid=10434 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/10437/task/10455/stat : 10455 (java) S 10434 10437 8273 0 -1 4202560 47 0 0 0 13 15 0 0 20 0 22 0 104656012 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344211893320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10468] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10468/stat : 10468 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104656218 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344208733736 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10469] ppid=10434 vsize=9824732 CPUtime=789.46 cores=0,2,4,6
/proc/10437/task/10469/stat : 10469 (java) R 10434 10437 8273 0 -1 4202560 34 0 0 0 78933 13 0 0 20 0 22 0 104657721 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344209784000 140344718029345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10470] ppid=10434 vsize=9824732 CPUtime=789.51 cores=0,2,4,6
/proc/10437/task/10470/stat : 10470 (java) R 10434 10437 8273 0 -1 4202560 435 0 0 0 78929 22 0 0 20 0 22 0 104657721 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344207679040 140344718218764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10471] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10471/stat : 10471 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104657721 10060525568 988458 33554432000 1073741824 1073778376 140734242492672 140344210838952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1657.01
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.45 4.36 4.29 6/221 10577
/proc/meminfo: memFree=21878868/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9824732 CPUtime=1778.36 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 36095 0 1 0 177594 242 0 0 20 0 22 0 104656006 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2456183 988461 2301 9 0 2446860 0
[pid=10437/tid=10439] ppid=10434 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/10437/task/10439/stat : 10439 (java) S 10434 10437 8273 0 -1 4202560 2459 0 1 0 59 3 0 0 20 0 22 0 104656007 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344865960824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10440] ppid=10434 vsize=9824732 CPUtime=5.17 cores=0,2,4,6
/proc/10437/task/10440/stat : 10440 (java) S 10434 10437 8273 0 -1 4202560 670 0 0 0 498 19 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344838412712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10441] ppid=10434 vsize=9824732 CPUtime=5.33 cores=0,2,4,6
/proc/10437/task/10441/stat : 10441 (java) S 10434 10437 8273 0 -1 4202560 915 0 0 0 511 22 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344837360168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10442] ppid=10434 vsize=9824732 CPUtime=5.47 cores=0,2,4,6
/proc/10437/task/10442/stat : 10442 (java) S 10434 10437 8273 0 -1 4202560 578 0 0 0 528 19 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344836307112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10443] ppid=10434 vsize=9824732 CPUtime=5.43 cores=0,2,4,6
/proc/10437/task/10443/stat : 10443 (java) S 10434 10437 8273 0 -1 4202560 712 0 0 0 518 25 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344705984808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10444] ppid=10434 vsize=9824732 CPUtime=5.12 cores=0,2,4,6
/proc/10437/task/10444/stat : 10444 (java) S 10434 10437 8273 0 -1 4202560 835 0 0 0 490 22 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344704932776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10445] ppid=10434 vsize=9824732 CPUtime=5.49 cores=0,2,4,6
/proc/10437/task/10445/stat : 10445 (java) S 10434 10437 8273 0 -1 4202560 763 0 0 0 527 22 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344703880232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10446] ppid=10434 vsize=9824732 CPUtime=4.95 cores=0,2,4,6
/proc/10437/task/10446/stat : 10446 (java) S 10434 10437 8273 0 -1 4202560 819 0 0 0 473 22 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344702827176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10447] ppid=10434 vsize=9824732 CPUtime=4.89 cores=0,2,4,6
/proc/10437/task/10447/stat : 10447 (java) S 10434 10437 8273 0 -1 4202560 747 0 0 0 463 26 0 0 20 0 22 0 104656008 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344701774632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10448] ppid=10434 vsize=9824732 CPUtime=6.01 cores=0,2,4,6
/proc/10437/task/10448/stat : 10448 (java) S 10434 10437 8273 0 -1 4202560 2812 0 0 0 592 9 0 0 20 0 22 0 104656009 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344219261288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10449] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10449/stat : 10449 (java) S 10434 10437 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344218207608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10450] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10450/stat : 10450 (java) S 10434 10437 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344217154440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10451] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10451/stat : 10451 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344216103184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10452] ppid=10434 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/10437/task/10452/stat : 10452 (java) S 10434 10437 8273 0 -1 4202560 12682 0 0 0 175 3 0 0 20 0 22 0 104656012 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344215051064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10453] ppid=10434 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/10437/task/10453/stat : 10453 (java) S 10434 10437 8273 0 -1 4202560 9382 0 0 0 178 3 0 0 20 0 22 0 104656012 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344213998520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10454] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10454/stat : 10454 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344212945656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10455] ppid=10434 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/10437/task/10455/stat : 10455 (java) S 10434 10437 8273 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 104656012 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344211893320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10468] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10468/stat : 10468 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104656218 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344208733736 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10469] ppid=10434 vsize=9824732 CPUtime=848.75 cores=0,2,4,6
/proc/10437/task/10469/stat : 10469 (java) R 10434 10437 8273 0 -1 4202560 35 0 0 0 84861 14 0 0 20 0 22 0 104657721 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344209784880 140344717999480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10470] ppid=10434 vsize=9824732 CPUtime=848.81 cores=0,2,4,6
/proc/10437/task/10470/stat : 10470 (java) R 10434 10437 8273 0 -1 4202560 440 0 0 0 84858 23 0 0 20 0 22 0 104657721 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344207678240 140344718249092 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10471] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10471/stat : 10471 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104657721 10060525568 988461 33554432000 1073741824 1073778376 140734242492672 140344210838952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1778.36
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.001 s]
/proc/loadavg: 4.38 4.34 4.28 5/221 10577
/proc/meminfo: memFree=21878624/32872528 swapFree=15540/1663004
[pid=10437] ppid=10434 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/10437/stat : 10437 (java) S 10434 10437 8273 0 -1 4202496 36096 0 1 0 179757 243 0 0 20 0 22 0 104656006 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140734242483808 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10437/statm: 2456183 988455 2301 9 0 2446860 0
[pid=10437/tid=10439] ppid=10434 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/10437/task/10439/stat : 10439 (java) S 10434 10437 8273 0 -1 4202560 2459 0 1 0 59 3 0 0 20 0 22 0 104656007 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344865960824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10440] ppid=10434 vsize=9824732 CPUtime=5.3 cores=0,2,4,6
/proc/10437/task/10440/stat : 10440 (java) S 10434 10437 8273 0 -1 4202560 670 0 0 0 511 19 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344838412712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10441] ppid=10434 vsize=9824732 CPUtime=5.41 cores=0,2,4,6
/proc/10437/task/10441/stat : 10441 (java) S 10434 10437 8273 0 -1 4202560 915 0 0 0 519 22 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344837360168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10442] ppid=10434 vsize=9824732 CPUtime=5.5 cores=0,2,4,6
/proc/10437/task/10442/stat : 10442 (java) S 10434 10437 8273 0 -1 4202560 578 0 0 0 531 19 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344836307112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10443] ppid=10434 vsize=9824732 CPUtime=5.56 cores=0,2,4,6
/proc/10437/task/10443/stat : 10443 (java) S 10434 10437 8273 0 -1 4202560 712 0 0 0 531 25 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344705984808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10444] ppid=10434 vsize=9824732 CPUtime=5.15 cores=0,2,4,6
/proc/10437/task/10444/stat : 10444 (java) S 10434 10437 8273 0 -1 4202560 835 0 0 0 493 22 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344704932776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10445] ppid=10434 vsize=9824732 CPUtime=5.52 cores=0,2,4,6
/proc/10437/task/10445/stat : 10445 (java) S 10434 10437 8273 0 -1 4202560 763 0 0 0 530 22 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344703880232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10446] ppid=10434 vsize=9824732 CPUtime=4.98 cores=0,2,4,6
/proc/10437/task/10446/stat : 10446 (java) S 10434 10437 8273 0 -1 4202560 819 0 0 0 476 22 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344702827176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10447] ppid=10434 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/10437/task/10447/stat : 10447 (java) S 10434 10437 8273 0 -1 4202560 747 0 0 0 470 26 0 0 20 0 22 0 104656008 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344701774632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10437/tid=10448] ppid=10434 vsize=9824732 CPUtime=6.01 cores=0,2,4,6
/proc/10437/task/10448/stat : 10448 (java) S 10434 10437 8273 0 -1 4202560 2812 0 0 0 592 9 0 0 20 0 22 0 104656009 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344219261288 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10449] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10449/stat : 10449 (java) S 10434 10437 8273 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344218207608 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10450] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10450/stat : 10450 (java) S 10434 10437 8273 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 104656010 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344217154440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10451] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10451/stat : 10451 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344216103184 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10452] ppid=10434 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/10437/task/10452/stat : 10452 (java) S 10434 10437 8273 0 -1 4202560 12682 0 0 0 175 3 0 0 20 0 22 0 104656012 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344215051064 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10453] ppid=10434 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/10437/task/10453/stat : 10453 (java) S 10434 10437 8273 0 -1 4202560 9382 0 0 0 178 3 0 0 20 0 22 0 104656012 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344213998520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10454] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10454/stat : 10454 (java) S 10434 10437 8273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104656012 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344212945656 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10455] ppid=10434 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/10437/task/10455/stat : 10455 (java) S 10434 10437 8273 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 104656012 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344211893320 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10468] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10468/stat : 10468 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104656218 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344208733736 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10437/tid=10469] ppid=10434 vsize=9824732 CPUtime=859.31 cores=0,2,4,6
/proc/10437/task/10469/stat : 10469 (java) R 10434 10437 8273 0 -1 4202560 35 0 0 0 85916 15 0 0 20 0 22 0 104657721 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344209784880 140344717417518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10437/tid=10470] ppid=10434 vsize=9824732 CPUtime=859.36 cores=0,2,4,6
/proc/10437/task/10470/stat : 10470 (java) R 10434 10437 8273 0 -1 4202560 441 0 0 0 85912 24 0 0 20 0 22 0 104657721 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344207680208 140344718218764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10437/tid=10471] ppid=10434 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10437/task/10471/stat : 10471 (java) S 10434 10437 8273 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104657721 10060525568 988455 33554432000 1073741824 1073778376 140734242492672 140344210838952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 10437 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 893.073
CPU time (s): 1800.65
CPU user time (s): 1797.71
CPU system time (s): 2.94255
CPU usage (%): 201.624
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.71
system time used= 2.94255
maximum resident set size= 3953932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36133
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24383
involuntary context switches= 33362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48517 second user time and 7.66183 second system time
The end