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-4080517-1465283325/watcher-4080517-1465283325 -o /tmp/evaluation-result-4080517-1465283325/solver-4080517-1465283325 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23731 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080517-1465283325.opb
pid=24782
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.15 4.18 4.17 4/197 24785
/proc/meminfo: memFree=27047360/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/24785/stat : 24785 (java) R 24782 24785 23715 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 110265738 5767168 59 33554432000 1073741824 1073778376 140733648434224 140733648431352 214360460592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2304 66 53 9 0 36 0
[startup+0.100061 s]
/proc/loadavg: 4.15 4.18 4.17 4/197 24785
/proc/meminfo: memFree=27047360/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 4329 0 1 0 8 0 0 0 20 0 18 0 110265738 9787879424 5453 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2389619 5453 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 4.15 4.18 4.17 4/197 24785
/proc/meminfo: memFree=27047360/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 5202 0 1 0 25 1 0 0 20 0 18 0 110265738 9787879424 7100 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2389619 7101 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300223 s]
/proc/loadavg: 4.15 4.18 4.17 4/197 24785
/proc/meminfo: memFree=27047360/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 7545 0 1 0 52 1 0 0 20 0 18 0 110265738 9787879424 11045 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2389619 11045 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476
[startup+0.700195 s]
/proc/loadavg: 4.15 4.18 4.17 4/197 24785
/proc/meminfo: memFree=27047360/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9558476 CPUtime=1.57 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 21078 0 1 0 152 5 0 0 20 0 18 0 110265738 9787879424 39639 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2389619 39639 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 4.15 4.18 4.17 7/219 24807
/proc/meminfo: memFree=26873412/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9824732 CPUtime=4.67 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 27051 0 1 0 460 7 0 0 20 0 22 0 110265738 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2456183 47188 2269 9 0 2446860 0
[pid=24785/tid=24787] ppid=24782 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/24785/task/24787/stat : 24787 (java) S 24782 24785 23715 0 -1 4202560 2475 0 1 0 72 3 0 0 20 0 22 0 110265739 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678730847096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24788] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24788/stat : 24788 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678703299496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24789] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24789/stat : 24789 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678702246952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24790] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24790/stat : 24790 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678572583592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24791] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24791/stat : 24791 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678571531048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24792] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24792/stat : 24792 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678570477992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24793] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24793/stat : 24793 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678569425448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24794] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24794/stat : 24794 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678568372392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24795] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24795/stat : 24795 (java) S 24782 24785 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678097004840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24796] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24796/stat : 24796 (java) S 24782 24785 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678084807528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24797] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24797/stat : 24797 (java) S 24782 24785 23715 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678083753848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24798] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24798/stat : 24798 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265742 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678082700680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24799] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24799/stat : 24799 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678081649424 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24800] ppid=24782 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/24785/task/24800/stat : 24800 (java) R 24782 24785 23715 0 -1 4202560 14028 0 0 0 119 3 0 0 20 0 22 0 110265744 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678080583808 140678733453401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24801] ppid=24782 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/24785/task/24801/stat : 24801 (java) R 24782 24785 23715 0 -1 4202560 9218 0 0 0 124 2 0 0 20 0 22 0 110265744 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678079530712 140678734964086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24802] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24802/stat : 24802 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678078490872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24803] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24803/stat : 24803 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678077438536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24804] ppid=24782 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/24785/task/24804/stat : 24804 (java) R 24782 24785 23715 0 -1 4202560 23 0 0 0 70 0 0 0 20 0 22 0 110265816 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678076286464 140678584981760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24805] ppid=24782 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/24785/task/24805/stat : 24805 (java) R 24782 24785 23715 0 -1 4202560 30 0 0 0 68 0 0 0 20 0 22 0 110265816 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678075234152 140678584684647 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24806] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24806/stat : 24806 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678074180904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24807] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24807/stat : 24807 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 47188 33554432000 1073741824 1073778376 140733648434224 140678073128360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 4.15 4.18 4.17 5/219 24807
/proc/meminfo: memFree=26836604/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9824732 CPUtime=9.02 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 32552 0 1 0 891 11 0 0 20 0 22 0 110265738 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2456183 59816 2288 9 0 2446860 0
[pid=24785/tid=24787] ppid=24782 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/24785/task/24787/stat : 24787 (java) S 24782 24785 23715 0 -1 4202560 2475 0 1 0 72 3 0 0 20 0 22 0 110265739 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678730847096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24788] ppid=24782 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24785/task/24788/stat : 24788 (java) S 24782 24785 23715 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678703299496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24789] ppid=24782 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24785/task/24789/stat : 24789 (java) S 24782 24785 23715 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678702246952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24790] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24790/stat : 24790 (java) S 24782 24785 23715 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678572583592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24791] ppid=24782 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24785/task/24791/stat : 24791 (java) S 24782 24785 23715 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678571531048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24792] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24792/stat : 24792 (java) S 24782 24785 23715 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678570477992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24793] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24793/stat : 24793 (java) S 24782 24785 23715 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678569425448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24794] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24794/stat : 24794 (java) S 24782 24785 23715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678568372392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24795] ppid=24782 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24785/task/24795/stat : 24795 (java) S 24782 24785 23715 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 110265740 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678097004840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24796] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24796/stat : 24796 (java) S 24782 24785 23715 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678084807528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24797] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24797/stat : 24797 (java) S 24782 24785 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678083753848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24798] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24798/stat : 24798 (java) S 24782 24785 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110265742 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678082700680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24799] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24799/stat : 24799 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678081649424 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24800] ppid=24782 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/24785/task/24800/stat : 24800 (java) S 24782 24785 23715 0 -1 4202560 14041 0 0 0 167 3 0 0 20 0 22 0 110265744 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678080596280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24801] ppid=24782 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/24785/task/24801/stat : 24801 (java) S 24782 24785 23715 0 -1 4202560 14510 0 0 0 186 3 0 0 20 0 22 0 110265744 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678079543736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24802] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24802/stat : 24802 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678078490872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24803] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24803/stat : 24803 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678077438536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24804] ppid=24782 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/24785/task/24804/stat : 24804 (java) R 24782 24785 23715 0 -1 4202560 25 0 0 0 225 0 0 0 20 0 22 0 110265816 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678076284280 140678584980480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24805] ppid=24782 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/24785/task/24805/stat : 24805 (java) R 24782 24785 23715 0 -1 4202560 41 0 0 0 222 0 0 0 20 0 22 0 110265816 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678075231680 140678585242820 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24806] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24806/stat : 24806 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678074180904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24807] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24807/stat : 24807 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 59816 33554432000 1073741824 1073778376 140733648434224 140678073128360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 9824732
[startup+6.30091 s]
/proc/loadavg: 4.14 4.18 4.17 5/219 24807
/proc/meminfo: memFree=26644100/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9824732 CPUtime=16.27 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 33452 0 1 0 1609 18 0 0 20 0 22 0 110265738 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2456183 108167 2292 9 0 2446860 0
[pid=24785/tid=24787] ppid=24782 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/24785/task/24787/stat : 24787 (java) S 24782 24785 23715 0 -1 4202560 2475 0 1 0 72 3 0 0 20 0 22 0 110265739 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678730847096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24788] ppid=24782 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24785/task/24788/stat : 24788 (java) S 24782 24785 23715 0 -1 4202560 31 0 0 0 1 1 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678703299496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24789] ppid=24782 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/24785/task/24789/stat : 24789 (java) S 24782 24785 23715 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678702246952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24790] ppid=24782 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24785/task/24790/stat : 24790 (java) S 24782 24785 23715 0 -1 4202560 43 0 0 0 3 1 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678572583592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24791] ppid=24782 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24785/task/24791/stat : 24791 (java) S 24782 24785 23715 0 -1 4202560 39 0 0 0 4 1 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678571531048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24792] ppid=24782 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24785/task/24792/stat : 24792 (java) S 24782 24785 23715 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678570477992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24793] ppid=24782 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24785/task/24793/stat : 24793 (java) S 24782 24785 23715 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678569425448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24794] ppid=24782 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24785/task/24794/stat : 24794 (java) S 24782 24785 23715 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678568372392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24795] ppid=24782 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24785/task/24795/stat : 24795 (java) S 24782 24785 23715 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 110265740 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678097004840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24796] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24796/stat : 24796 (java) S 24782 24785 23715 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 108167 33554432000 1073741824 1073778376 140733648434224 140678084807528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24797] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24797/stat : 24797 (java) S 24782 24785 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 108679 33554432000 1073741824 1073778376 140733648434224 140678083753848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24798] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24798/stat : 24798 (java) S 24782 24785 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110265742 10060525568 108679 33554432000 1073741824 1073778376 140733648434224 140678082700680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24799] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24799/stat : 24799 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 108679 33554432000 1073741824 1073778376 140733648434224 140678081649424 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24800] ppid=24782 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.20 4.27 4.21 5/219 24898
/proc/meminfo: memFree=23252800/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9824732 CPUtime=1654.2 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 43464 0 1 0 165200 220 0 0 20 0 22 0 110265738 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2456183 976769 2301 9 0 2446860 0
[pid=24785/tid=24787] ppid=24782 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/24785/task/24787/stat : 24787 (java) S 24782 24785 23715 0 -1 4202560 2488 0 1 0 76 3 0 0 20 0 22 0 110265739 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678730847096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24788] ppid=24782 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/24785/task/24788/stat : 24788 (java) S 24782 24785 23715 0 -1 4202560 739 0 0 0 290 22 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678703299496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24789] ppid=24782 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/24785/task/24789/stat : 24789 (java) S 24782 24785 23715 0 -1 4202560 615 0 0 0 286 21 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678702246952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24790] ppid=24782 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/24785/task/24790/stat : 24790 (java) S 24782 24785 23715 0 -1 4202560 869 0 0 0 308 23 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678572583592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24791] ppid=24782 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/24785/task/24791/stat : 24791 (java) S 24782 24785 23715 0 -1 4202560 800 0 0 0 312 19 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678571531048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24792] ppid=24782 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/24785/task/24792/stat : 24792 (java) S 24782 24785 23715 0 -1 4202560 623 0 0 0 296 17 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678570477992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24793] ppid=24782 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/24785/task/24793/stat : 24793 (java) S 24782 24785 23715 0 -1 4202560 614 0 0 0 265 18 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678569425448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24794] ppid=24782 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/24785/task/24794/stat : 24794 (java) S 24782 24785 23715 0 -1 4202560 758 0 0 0 282 17 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678568372392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24795] ppid=24782 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/24785/task/24795/stat : 24795 (java) S 24782 24785 23715 0 -1 4202560 854 0 0 0 317 26 0 0 20 0 22 0 110265740 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678097004840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24796] ppid=24782 vsize=9824732 CPUtime=5.97 cores=0,2,4,6
/proc/24785/task/24796/stat : 24796 (java) S 24782 24785 23715 0 -1 4202560 2530 0 0 0 588 9 0 0 20 0 22 0 110265741 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678084807528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24797] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24797/stat : 24797 (java) S 24782 24785 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678083753848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24798] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24798/stat : 24798 (java) S 24782 24785 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110265742 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678082700680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24799] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24799/stat : 24799 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678081649424 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24800] ppid=24782 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/24785/task/24800/stat : 24800 (java) S 24782 24785 23715 0 -1 4202560 14046 0 0 0 196 3 0 0 20 0 22 0 110265744 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678080596280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24801] ppid=24782 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/24785/task/24801/stat : 24801 (java) S 24782 24785 23715 0 -1 4202560 14592 0 0 0 280 3 0 0 20 0 22 0 110265744 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678079543736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24802] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24802/stat : 24802 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678078490872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24803] ppid=24782 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/24785/task/24803/stat : 24803 (java) S 24782 24785 23715 0 -1 4202560 47 0 0 0 18 14 0 0 20 0 22 0 110265744 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678077438536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24804] ppid=24782 vsize=9824732 CPUtime=808.65 cores=0,2,4,6
/proc/24785/task/24804/stat : 24804 (java) R 24782 24785 23715 0 -1 4202560 60 0 0 0 80853 12 0 0 20 0 22 0 110265816 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678076284832 140678584692956 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24805] ppid=24782 vsize=9824732 CPUtime=808.69 cores=0,2,4,6
/proc/24785/task/24805/stat : 24805 (java) R 24782 24785 23715 0 -1 4202560 2564 0 0 0 80825 44 0 0 20 0 22 0 110265816 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678075231424 140678584970263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24806] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24806/stat : 24806 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678074180904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24807] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24807/stat : 24807 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 976769 33554432000 1073741824 1073778376 140733648434224 140678073128360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1654.2
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.16 4.25 4.21 6/219 24899
/proc/meminfo: memFree=23193320/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9824732 CPUtime=1775.3 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 43495 0 1 0 177308 222 0 0 20 0 22 0 110265738 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2456183 976770 2301 9 0 2446860 0
[pid=24785/tid=24787] ppid=24782 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/24785/task/24787/stat : 24787 (java) S 24782 24785 23715 0 -1 4202560 2489 0 1 0 76 3 0 0 20 0 22 0 110265739 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678730847096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24788] ppid=24782 vsize=9824732 CPUtime=3.35 cores=0,2,4,6
/proc/24785/task/24788/stat : 24788 (java) S 24782 24785 23715 0 -1 4202560 739 0 0 0 313 22 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678703299496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24789] ppid=24782 vsize=9824732 CPUtime=3.34 cores=0,2,4,6
/proc/24785/task/24789/stat : 24789 (java) S 24782 24785 23715 0 -1 4202560 615 0 0 0 313 21 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678702246952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24790] ppid=24782 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/24785/task/24790/stat : 24790 (java) S 24782 24785 23715 0 -1 4202560 869 0 0 0 334 23 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678572583592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24791] ppid=24782 vsize=9824732 CPUtime=3.73 cores=0,2,4,6
/proc/24785/task/24791/stat : 24791 (java) S 24782 24785 23715 0 -1 4202560 807 0 0 0 354 19 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678571531048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24792] ppid=24782 vsize=9824732 CPUtime=3.51 cores=0,2,4,6
/proc/24785/task/24792/stat : 24792 (java) S 24782 24785 23715 0 -1 4202560 623 0 0 0 334 17 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678570477992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24793] ppid=24782 vsize=9824732 CPUtime=3.16 cores=0,2,4,6
/proc/24785/task/24793/stat : 24793 (java) S 24782 24785 23715 0 -1 4202560 614 0 0 0 298 18 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678569425448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24794] ppid=24782 vsize=9824732 CPUtime=3.26 cores=0,2,4,6
/proc/24785/task/24794/stat : 24794 (java) S 24782 24785 23715 0 -1 4202560 758 0 0 0 309 17 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678568372392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24795] ppid=24782 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/24785/task/24795/stat : 24795 (java) S 24782 24785 23715 0 -1 4202560 854 0 0 0 345 26 0 0 20 0 22 0 110265740 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678097004840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24796] ppid=24782 vsize=9824732 CPUtime=5.98 cores=0,2,4,6
/proc/24785/task/24796/stat : 24796 (java) S 24782 24785 23715 0 -1 4202560 2543 0 0 0 589 9 0 0 20 0 22 0 110265741 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678084807528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24797] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24797/stat : 24797 (java) S 24782 24785 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678083753848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24798] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24798/stat : 24798 (java) S 24782 24785 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110265742 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678082700680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24799] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24799/stat : 24799 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678081649424 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24800] ppid=24782 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/24785/task/24800/stat : 24800 (java) S 24782 24785 23715 0 -1 4202560 14046 0 0 0 196 3 0 0 20 0 22 0 110265744 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678080596280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24801] ppid=24782 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/24785/task/24801/stat : 24801 (java) S 24782 24785 23715 0 -1 4202560 14592 0 0 0 280 3 0 0 20 0 22 0 110265744 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678079543736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24802] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24802/stat : 24802 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678078490872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24803] ppid=24782 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/24785/task/24803/stat : 24803 (java) S 24782 24785 23715 0 -1 4202560 51 0 0 0 19 15 0 0 20 0 22 0 110265744 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678077438536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24804] ppid=24782 vsize=9824732 CPUtime=867.97 cores=0,2,4,6
/proc/24785/task/24804/stat : 24804 (java) R 24782 24785 23715 0 -1 4202560 63 0 0 0 86784 13 0 0 20 0 22 0 110265816 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678076283968 140678585005086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24805] ppid=24782 vsize=9824732 CPUtime=868.05 cores=0,2,4,6
/proc/24785/task/24805/stat : 24805 (java) R 24782 24785 23715 0 -1 4202560 2567 0 0 0 86760 45 0 0 20 0 22 0 110265816 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678075232000 140678584272757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24806] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24806/stat : 24806 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678074180904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24807] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24807/stat : 24807 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 976770 33554432000 1073741824 1073778376 140733648434224 140678073128360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1775.3
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.601 s]
/proc/loadavg: 4.28 4.27 4.21 5/219 24899
/proc/meminfo: memFree=23193324/32872528 swapFree=15784/1434320
[pid=24785] ppid=24782 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/24785/stat : 24785 (java) S 24782 24785 23715 0 -1 4202496 43496 0 1 0 179783 222 0 0 20 0 22 0 110265738 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140733648425360 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24785/statm: 2456183 976768 2301 9 0 2446860 0
[pid=24785/tid=24787] ppid=24782 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/24785/task/24787/stat : 24787 (java) S 24782 24785 23715 0 -1 4202560 2489 0 1 0 76 3 0 0 20 0 22 0 110265739 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678730847096 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24788] ppid=24782 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/24785/task/24788/stat : 24788 (java) S 24782 24785 23715 0 -1 4202560 739 0 0 0 315 22 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678703299496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24789] ppid=24782 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/24785/task/24789/stat : 24789 (java) S 24782 24785 23715 0 -1 4202560 615 0 0 0 317 21 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678702246952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24790] ppid=24782 vsize=9824732 CPUtime=3.61 cores=0,2,4,6
/proc/24785/task/24790/stat : 24790 (java) S 24782 24785 23715 0 -1 4202560 869 0 0 0 338 23 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678572583592 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24791] ppid=24782 vsize=9824732 CPUtime=3.82 cores=0,2,4,6
/proc/24785/task/24791/stat : 24791 (java) S 24782 24785 23715 0 -1 4202560 807 0 0 0 363 19 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678571531048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24792] ppid=24782 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/24785/task/24792/stat : 24792 (java) S 24782 24785 23715 0 -1 4202560 623 0 0 0 336 17 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678570477992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24793] ppid=24782 vsize=9824732 CPUtime=3.25 cores=0,2,4,6
/proc/24785/task/24793/stat : 24793 (java) S 24782 24785 23715 0 -1 4202560 614 0 0 0 307 18 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678569425448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24794] ppid=24782 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/24785/task/24794/stat : 24794 (java) S 24782 24785 23715 0 -1 4202560 758 0 0 0 310 18 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678568372392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24795] ppid=24782 vsize=9824732 CPUtime=3.73 cores=0,2,4,6
/proc/24785/task/24795/stat : 24795 (java) S 24782 24785 23715 0 -1 4202560 854 0 0 0 347 26 0 0 20 0 22 0 110265740 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678097004840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24796] ppid=24782 vsize=9824732 CPUtime=5.98 cores=0,2,4,6
/proc/24785/task/24796/stat : 24796 (java) S 24782 24785 23715 0 -1 4202560 2543 0 0 0 589 9 0 0 20 0 22 0 110265741 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678084807528 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24797] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24797/stat : 24797 (java) S 24782 24785 23715 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 110265741 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678083753848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24798] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24798/stat : 24798 (java) S 24782 24785 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110265742 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678082700680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24799] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24799/stat : 24799 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678081649424 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24800] ppid=24782 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/24785/task/24800/stat : 24800 (java) S 24782 24785 23715 0 -1 4202560 14046 0 0 0 196 3 0 0 20 0 22 0 110265744 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678080596280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24801] ppid=24782 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/24785/task/24801/stat : 24801 (java) S 24782 24785 23715 0 -1 4202560 14592 0 0 0 280 3 0 0 20 0 22 0 110265744 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678079543736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24802] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24802/stat : 24802 (java) S 24782 24785 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110265744 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678078490872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24803] ppid=24782 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/24785/task/24803/stat : 24803 (java) S 24782 24785 23715 0 -1 4202560 51 0 0 0 19 16 0 0 20 0 22 0 110265744 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678077438536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24785/tid=24804] ppid=24782 vsize=9824732 CPUtime=880.18 cores=0,2,4,6
/proc/24785/task/24804/stat : 24804 (java) R 24782 24785 23715 0 -1 4202560 63 0 0 0 88005 13 0 0 20 0 22 0 110265816 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678076277136 140678584692905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24785/tid=24805] ppid=24782 vsize=9824732 CPUtime=880.26 cores=0,2,4,6
/proc/24785/task/24805/stat : 24805 (java) R 24782 24785 23715 0 -1 4202560 2568 0 0 0 87981 45 0 0 20 0 22 0 110265816 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678075232224 140678585290519 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24785/tid=24806] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24806/stat : 24806 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678074180904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24785/tid=24807] ppid=24782 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24785/task/24807/stat : 24807 (java) S 24782 24785 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110265819 10060525568 976768 33554432000 1073741824 1073778376 140733648434224 140678073128360 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 24785 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.677
CPU time (s): 1800.82
CPU user time (s): 1798.09
CPU system time (s): 2.73058
CPU usage (%): 201.282
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.09
system time used= 2.73058
maximum resident set size= 3907188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43530
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23829
involuntary context switches= 27169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68413 second user time and 7.43287 second system time
The end