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-4117110-1466950213/watcher-4117110-1466950213 -o /tmp/evaluation-result-4117110-1466950213/solver-4117110-1466950213 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466946428-18142 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117110-1466950213.opb
pid=19058
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.22 4.23 4.19 4/198 19061
/proc/meminfo: memFree=26856948/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/19061/stat : 19061 (java) R 19058 19061 18126 0 -1 4202496 435 0 0 0 0 0 0 0 20 0 1 0 28060623 9379840 90 33554432000 1073741824 1073778376 140734474980032 140734474977160 266435666496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2290 107 81 9 0 38 0
[startup+0.100059 s]
/proc/loadavg: 4.22 4.23 4.19 4/198 19061
/proc/meminfo: memFree=26856948/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 4419 0 1 0 8 1 0 0 20 0 18 0 28060623 9787879424 6044 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2389619 6044 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200226 s]
/proc/loadavg: 4.22 4.23 4.19 4/198 19061
/proc/meminfo: memFree=26856948/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 4701 0 1 0 23 1 0 0 20 0 18 0 28060623 9787879424 6795 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2389619 6795 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300221 s]
/proc/loadavg: 4.22 4.23 4.19 4/198 19061
/proc/meminfo: memFree=26856948/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 5855 0 1 0 47 1 0 0 20 0 18 0 28060623 9787879424 8507 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2389619 8507 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700189 s]
/proc/loadavg: 4.22 4.23 4.19 4/198 19061
/proc/meminfo: memFree=26856948/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 15760 0 1 0 179 4 0 0 20 0 22 0 28060623 10060525568 22576 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2456183 22576 2265 9 0 2446860 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 4.22 4.23 4.19 8/220 19083
/proc/meminfo: memFree=26725524/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9824732 CPUtime=4.78 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 20625 0 1 0 472 6 0 0 20 0 22 0 28060623 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2456183 46715 2292 9 0 2446860 0
[pid=19061/tid=19063] ppid=19058 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/19061/task/19063/stat : 19063 (java) S 19058 19061 18126 0 -1 4202560 2432 0 1 0 43 2 0 0 20 0 22 0 28060624 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139812039226232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19064] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19064/stat : 19064 (java) S 19058 19061 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139812000717224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19065] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19065/stat : 19065 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811999664680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19066] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19066/stat : 19066 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811998611624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19067] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19067/stat : 19067 (java) S 19058 19061 18126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811997559080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19068] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19068/stat : 19068 (java) S 19058 19061 18126 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811996507048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19069] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19069/stat : 19069 (java) S 19058 19061 18126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811995454504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19070] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19070/stat : 19070 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811994401448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19071] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19071/stat : 19071 (java) S 19058 19061 18126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28060625 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811993348904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19072] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19072/stat : 19072 (java) S 19058 19061 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811863091560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19073] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19073/stat : 19073 (java) S 19058 19061 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811862037880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19074] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19074/stat : 19074 (java) S 19058 19061 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811860984712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19075] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19075/stat : 19075 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811859933456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19076] ppid=19058 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/19061/task/19076/stat : 19076 (java) S 19058 19061 18126 0 -1 4202560 10044 0 0 0 108 2 0 0 20 0 22 0 28060629 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811858881336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19077] ppid=19058 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/19061/task/19077/stat : 19077 (java) S 19058 19061 18126 0 -1 4202560 6741 0 0 0 115 2 0 0 20 0 22 0 28060629 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139811857828792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19078] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19078/stat : 19078 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139810983373560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19079] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19079/stat : 19079 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139810982321224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19080] ppid=19058 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/19061/task/19080/stat : 19080 (java) R 19058 19061 18126 0 -1 4202560 18 0 0 0 99 0 0 0 20 0 22 0 28060672 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139810981257120 139811873316483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19081] ppid=19058 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/19061/task/19081/stat : 19081 (java) R 19058 19061 18126 0 -1 4202560 76 0 0 0 97 1 0 0 20 0 22 0 28060672 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139810980212376 139811873581709 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19082] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19082/stat : 19082 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139810979160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19083] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19083/stat : 19083 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 46715 33554432000 1073741824 1073778376 140734474980032 139810978108328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.22 4.23 4.19 7/220 19083
/proc/meminfo: memFree=26658988/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9824732 CPUtime=8.2 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 20800 0 1 0 810 10 0 0 20 0 22 0 28060623 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2456183 77501 2292 9 0 2446860 0
[pid=19061/tid=19063] ppid=19058 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/19061/task/19063/stat : 19063 (java) S 19058 19061 18126 0 -1 4202560 2432 0 1 0 43 2 0 0 20 0 22 0 28060624 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139812039226232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19064] ppid=19058 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/19061/task/19064/stat : 19064 (java) S 19058 19061 18126 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139812000717224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19065] ppid=19058 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19061/task/19065/stat : 19065 (java) S 19058 19061 18126 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811999664680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19066] ppid=19058 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/19061/task/19066/stat : 19066 (java) S 19058 19061 18126 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811998611624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19067] ppid=19058 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/19061/task/19067/stat : 19067 (java) S 19058 19061 18126 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811997559080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19068] ppid=19058 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/19061/task/19068/stat : 19068 (java) S 19058 19061 18126 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811996507048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19069] ppid=19058 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/19061/task/19069/stat : 19069 (java) S 19058 19061 18126 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811995454504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19070] ppid=19058 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/19061/task/19070/stat : 19070 (java) S 19058 19061 18126 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811994401448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19071] ppid=19058 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19061/task/19071/stat : 19071 (java) S 19058 19061 18126 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 28060625 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811993348904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19072] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19072/stat : 19072 (java) S 19058 19061 18126 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811863091560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19073] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19073/stat : 19073 (java) S 19058 19061 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811862037880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19074] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19074/stat : 19074 (java) S 19058 19061 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811860984712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19075] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19075/stat : 19075 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811859933456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19076] ppid=19058 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/19061/task/19076/stat : 19076 (java) S 19058 19061 18126 0 -1 4202560 10044 0 0 0 116 2 0 0 20 0 22 0 28060629 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811858881336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19077] ppid=19058 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/19061/task/19077/stat : 19077 (java) S 19058 19061 18126 0 -1 4202560 6741 0 0 0 121 2 0 0 20 0 22 0 28060629 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139811857828792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19078] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19078/stat : 19078 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139810983373560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19079] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19079/stat : 19079 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139810982321224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19080] ppid=19058 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/19061/task/19080/stat : 19080 (java) R 19058 19061 18126 0 -1 4202560 21 0 0 0 251 0 0 0 20 0 22 0 28060672 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139810981265704 139811873288981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19081] ppid=19058 vsize=9824732 CPUtime=2.5 cores=0,2,4,6
/proc/19061/task/19081/stat : 19081 (java) R 19058 19061 18126 0 -1 4202560 120 0 0 0 248 2 0 0 20 0 22 0 28060672 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139810980212192 139811873440319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19082] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19082/stat : 19082 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139810979160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19083] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19083/stat : 19083 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 77501 33554432000 1073741824 1073778376 140734474980032 139810978108328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.20 4.23 4.19 5/220 19083
/proc/meminfo: memFree=26239844/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9824732 CPUtime=15.04 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 24817 0 1 0 1482 22 0 0 20 0 22 0 28060623 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2456183 155914 2292 9 0 2446860 0
[pid=19061/tid=19063] ppid=19058 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/19061/task/19063/stat : 19063 (java) S 19058 19061 18126 0 -1 4202560 2432 0 1 0 43 2 0 0 20 0 22 0 28060624 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139812039226232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19064] ppid=19058 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/19061/task/19064/stat : 19064 (java) S 19058 19061 18126 0 -1 4202560 64 0 0 0 8 1 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139812000717224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19065] ppid=19058 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/19061/task/19065/stat : 19065 (java) S 19058 19061 18126 0 -1 4202560 114 0 0 0 6 1 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811999664680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19066] ppid=19058 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/19061/task/19066/stat : 19066 (java) S 19058 19061 18126 0 -1 4202560 53 0 0 0 5 2 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811998611624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19067] ppid=19058 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/19061/task/19067/stat : 19067 (java) S 19058 19061 18126 0 -1 4202560 135 0 0 0 7 2 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811997559080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19068] ppid=19058 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/19061/task/19068/stat : 19068 (java) S 19058 19061 18126 0 -1 4202560 58 0 0 0 5 2 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811996507048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19069] ppid=19058 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/19061/task/19069/stat : 19069 (java) S 19058 19061 18126 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811995454504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19070] ppid=19058 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/19061/task/19070/stat : 19070 (java) S 19058 19061 18126 0 -1 4202560 168 0 0 0 4 2 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811994401448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19071] ppid=19058 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/19061/task/19071/stat : 19071 (java) S 19058 19061 18126 0 -1 4202560 114 0 0 0 4 2 0 0 20 0 22 0 28060625 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811993348904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19072] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19072/stat : 19072 (java) S 19058 19061 18126 0 -1 4202560 455 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811863091560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19073] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19073/stat : 19073 (java) S 19058 19061 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811862037880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19074] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19074/stat : 19074 (java) S 19058 19061 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811860984712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19075] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19075/stat : 19075 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 155914 33554432000 1073741824 1073778376 140734474980032 139811859933456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19076] ppid=19058 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.19 4.22 4.18 6/219 19171
/proc/meminfo: memFree=23056336/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9824732 CPUtime=1653.95 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 36936 0 1 0 165211 184 0 0 20 0 22 0 28060623 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2456183 922829 2301 9 0 2446860 0
[pid=19061/tid=19063] ppid=19058 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/19061/task/19063/stat : 19063 (java) S 19058 19061 18126 0 -1 4202560 2439 0 1 0 46 3 0 0 20 0 22 0 28060624 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139812039226232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19064] ppid=19058 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/19061/task/19064/stat : 19064 (java) S 19058 19061 18126 0 -1 4202560 544 0 0 0 258 17 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139812000717224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19065] ppid=19058 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/19061/task/19065/stat : 19065 (java) S 19058 19061 18126 0 -1 4202560 610 0 0 0 238 16 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811999664680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19066] ppid=19058 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/19061/task/19066/stat : 19066 (java) S 19058 19061 18126 0 -1 4202560 530 0 0 0 258 16 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811998611624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19067] ppid=19058 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/19061/task/19067/stat : 19067 (java) S 19058 19061 18126 0 -1 4202560 604 0 0 0 252 14 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811997559080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19068] ppid=19058 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/19061/task/19068/stat : 19068 (java) S 19058 19061 18126 0 -1 4202560 564 0 0 0 259 16 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811996507048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19069] ppid=19058 vsize=9824732 CPUtime=2.83 cores=0,2,4,6
/proc/19061/task/19069/stat : 19069 (java) S 19058 19061 18126 0 -1 4202560 546 0 0 0 267 16 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811995454504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19070] ppid=19058 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/19061/task/19070/stat : 19070 (java) S 19058 19061 18126 0 -1 4202560 611 0 0 0 273 13 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811994401448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19071] ppid=19058 vsize=9824732 CPUtime=2.46 cores=0,2,4,6
/proc/19061/task/19071/stat : 19071 (java) S 19058 19061 18126 0 -1 4202560 591 0 0 0 229 17 0 0 20 0 22 0 28060625 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811993348904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19072] ppid=19058 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/19061/task/19072/stat : 19072 (java) S 19058 19061 18126 0 -1 4202560 2254 0 0 0 344 8 0 0 20 0 22 0 28060627 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811863091560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19073] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19073/stat : 19073 (java) S 19058 19061 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811862037880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19074] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19074/stat : 19074 (java) S 19058 19061 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811860984712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19075] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19075/stat : 19075 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811859933456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19076] ppid=19058 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/19061/task/19076/stat : 19076 (java) S 19058 19061 18126 0 -1 4202560 10057 0 0 0 122 2 0 0 20 0 22 0 28060629 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811858881336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19077] ppid=19058 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/19061/task/19077/stat : 19077 (java) S 19058 19061 18126 0 -1 4202560 14412 0 0 0 222 3 0 0 20 0 22 0 28060629 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139811857828792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19078] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19078/stat : 19078 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139810983373560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19079] ppid=19058 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/19061/task/19079/stat : 19079 (java) S 19058 19061 18126 0 -1 4202560 47 0 0 0 15 16 0 0 20 0 22 0 28060629 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139810982321224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19080] ppid=19058 vsize=9824732 CPUtime=812.36 cores=0,2,4,6
/proc/19061/task/19080/stat : 19080 (java) R 19058 19061 18126 0 -1 4202560 86 0 0 0 81222 14 0 0 20 0 22 0 28060672 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139810981264328 139811873394006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19081] ppid=19058 vsize=9824732 CPUtime=812.38 cores=0,2,4,6
/proc/19061/task/19081/stat : 19081 (java) R 19058 19061 18126 0 -1 4202560 1775 0 0 0 81191 47 0 0 20 0 22 0 28060672 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139810980212192 139811873364375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19082] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19082/stat : 19082 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139810979160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19083] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19083/stat : 19083 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 922829 33554432000 1073741824 1073778376 140734474980032 139810978108328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1653.95
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.24 4.22 4.18 5/219 19172
/proc/meminfo: memFree=22897356/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9824732 CPUtime=1774.59 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 37138 0 1 0 177261 198 0 0 20 0 22 0 28060623 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2456183 949563 2301 9 0 2446860 0
[pid=19061/tid=19063] ppid=19058 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/19061/task/19063/stat : 19063 (java) S 19058 19061 18126 0 -1 4202560 2439 0 1 0 46 3 0 0 20 0 22 0 28060624 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139812039226232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19064] ppid=19058 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/19061/task/19064/stat : 19064 (java) S 19058 19061 18126 0 -1 4202560 561 0 0 0 271 18 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139812000717224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19065] ppid=19058 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/19061/task/19065/stat : 19065 (java) S 19058 19061 18126 0 -1 4202560 632 0 0 0 251 17 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811999664680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19066] ppid=19058 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/19061/task/19066/stat : 19066 (java) S 19058 19061 18126 0 -1 4202560 555 0 0 0 273 18 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811998611624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19067] ppid=19058 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/19061/task/19067/stat : 19067 (java) S 19058 19061 18126 0 -1 4202560 634 0 0 0 269 15 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811997559080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19068] ppid=19058 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/19061/task/19068/stat : 19068 (java) S 19058 19061 18126 0 -1 4202560 586 0 0 0 274 17 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811996507048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19069] ppid=19058 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/19061/task/19069/stat : 19069 (java) S 19058 19061 18126 0 -1 4202560 571 0 0 0 286 18 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811995454504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19070] ppid=19058 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/19061/task/19070/stat : 19070 (java) S 19058 19061 18126 0 -1 4202560 634 0 0 0 289 14 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811994401448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19071] ppid=19058 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/19061/task/19071/stat : 19071 (java) S 19058 19061 18126 0 -1 4202560 609 0 0 0 247 18 0 0 20 0 22 0 28060625 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811993348904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19072] ppid=19058 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/19061/task/19072/stat : 19072 (java) S 19058 19061 18126 0 -1 4202560 2262 0 0 0 345 8 0 0 20 0 22 0 28060627 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811863091560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19073] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19073/stat : 19073 (java) S 19058 19061 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811862037880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19074] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19074/stat : 19074 (java) S 19058 19061 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811860984712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19075] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19075/stat : 19075 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811859933456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19076] ppid=19058 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/19061/task/19076/stat : 19076 (java) S 19058 19061 18126 0 -1 4202560 10057 0 0 0 122 2 0 0 20 0 22 0 28060629 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811858881336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19077] ppid=19058 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/19061/task/19077/stat : 19077 (java) S 19058 19061 18126 0 -1 4202560 14412 0 0 0 222 3 0 0 20 0 22 0 28060629 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139811857828792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19078] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19078/stat : 19078 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139810983373560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19079] ppid=19058 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/19061/task/19079/stat : 19079 (java) S 19058 19061 18126 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 28060629 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139810982321224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19080] ppid=19058 vsize=9824732 CPUtime=871.98 cores=0,2,4,6
/proc/19061/task/19080/stat : 19080 (java) R 19058 19061 18126 0 -1 4202560 89 0 0 0 87183 15 0 0 20 0 22 0 28060672 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139810981264896 139811873419488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19081] ppid=19058 vsize=9824732 CPUtime=872.01 cores=0,2,4,6
/proc/19061/task/19081/stat : 19081 (java) R 19058 19061 18126 0 -1 4202560 1780 0 0 0 87153 48 0 0 20 0 22 0 28060672 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139810980211264 139811873359285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19082] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19082/stat : 19082 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139810979160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19083] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19083/stat : 19083 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 949563 33554432000 1073741824 1073778376 140734474980032 139810978108328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1774.59
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.001 s]
/proc/loadavg: 4.28 4.23 4.19 5/219 19172
/proc/meminfo: memFree=22866516/32872528 swapFree=1437460/1543748
[pid=19061] ppid=19058 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6
/proc/19061/stat : 19061 (java) S 19058 19061 18126 0 -1 4202496 37161 0 1 0 179807 199 0 0 20 0 22 0 28060623 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 140734474971168 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19061/statm: 2456183 953146 2301 9 0 2446860 0
[pid=19061/tid=19063] ppid=19058 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/19061/task/19063/stat : 19063 (java) S 19058 19061 18126 0 -1 4202560 2439 0 1 0 46 3 0 0 20 0 22 0 28060624 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139812039226232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19064] ppid=19058 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/19061/task/19064/stat : 19064 (java) S 19058 19061 18126 0 -1 4202560 567 0 0 0 276 18 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139812000717224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19065] ppid=19058 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/19061/task/19065/stat : 19065 (java) S 19058 19061 18126 0 -1 4202560 632 0 0 0 253 17 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811999664680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19066] ppid=19058 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/19061/task/19066/stat : 19066 (java) S 19058 19061 18126 0 -1 4202560 555 0 0 0 274 18 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811998611624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19067] ppid=19058 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/19061/task/19067/stat : 19067 (java) S 19058 19061 18126 0 -1 4202560 637 0 0 0 271 15 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811997559080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19068] ppid=19058 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/19061/task/19068/stat : 19068 (java) S 19058 19061 18126 0 -1 4202560 591 0 0 0 277 17 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811996507048 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19069] ppid=19058 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/19061/task/19069/stat : 19069 (java) S 19058 19061 18126 0 -1 4202560 571 0 0 0 287 18 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811995454504 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19070] ppid=19058 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/19061/task/19070/stat : 19070 (java) S 19058 19061 18126 0 -1 4202560 635 0 0 0 289 15 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811994401448 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19071] ppid=19058 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/19061/task/19071/stat : 19071 (java) S 19058 19061 18126 0 -1 4202560 616 0 0 0 252 18 0 0 20 0 22 0 28060625 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811993348904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19072] ppid=19058 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/19061/task/19072/stat : 19072 (java) S 19058 19061 18126 0 -1 4202560 2262 0 0 0 345 9 0 0 20 0 22 0 28060627 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811863091560 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19073] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19073/stat : 19073 (java) S 19058 19061 18126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811862037880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19074] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19074/stat : 19074 (java) S 19058 19061 18126 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28060627 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811860984712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19075] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19075/stat : 19075 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811859933456 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19076] ppid=19058 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/19061/task/19076/stat : 19076 (java) S 19058 19061 18126 0 -1 4202560 10057 0 0 0 122 2 0 0 20 0 22 0 28060629 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811858881336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19061/tid=19077] ppid=19058 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/19061/task/19077/stat : 19077 (java) S 19058 19061 18126 0 -1 4202560 14412 0 0 0 222 3 0 0 20 0 22 0 28060629 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139811857828792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19078] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19078/stat : 19078 (java) S 19058 19061 18126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28060629 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139810983373560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19061/tid=19079] ppid=19058 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/19061/task/19079/stat : 19079 (java) S 19058 19061 18126 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 28060629 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139810982321224 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19080] ppid=19058 vsize=9824732 CPUtime=884.62 cores=0,2,4,6
/proc/19061/task/19080/stat : 19080 (java) R 19058 19061 18126 0 -1 4202560 89 0 0 0 88447 15 0 0 20 0 22 0 28060672 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139810981264896 139811873301019 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19081] ppid=19058 vsize=9824732 CPUtime=884.65 cores=0,2,4,6
/proc/19061/task/19081/stat : 19081 (java) R 19058 19061 18126 0 -1 4202560 1781 0 0 0 88417 48 0 0 20 0 22 0 28060672 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139810980213392 139811873396228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19061/tid=19082] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19082/stat : 19082 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139810979160872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19061/tid=19083] ppid=19058 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19061/task/19083/stat : 19083 (java) S 19058 19061 18126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28060673 10060525568 953146 33554432000 1073741824 1073778376 140734474980032 139810978108328 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 19061 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.057
CPU time (s): 1800.68
CPU user time (s): 1798.18
CPU system time (s): 2.50262
CPU usage (%): 201.18
Max. virtual memory (cumulated for all children) (KiB): 9825092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 2.50262
maximum resident set size= 3812700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37196
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24416
involuntary context switches= 30487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9151 second user time and 7.35288 second system time
The end