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-4109905-1466345397/watcher-4109905-1466345397 -o /tmp/evaluation-result-4109905-1466345397/solver-4109905-1466345397 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466341797-18607 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109905-1466345397.wbo
pid=21072
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.06 2.00 3/196 21075
/proc/meminfo: memFree=27535108/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/21075/stat : 21075 (java) D 21072 21075 18590 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 36585170 2560000 46 33554432000 1073741824 1073778376 140736752122912 140736752120040 211449638183 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/21075/statm: 625 46 37 9 0 29 0
[startup+0.100112 s]
/proc/loadavg: 2.07 2.06 2.00 3/196 21075
/proc/meminfo: memFree=27535108/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 4400 0 1 0 7 2 0 0 20 0 18 0 36585170 9787879424 6037 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2389619 6037 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 2.07 2.06 2.00 3/196 21075
/proc/meminfo: memFree=27535108/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 4706 0 1 0 21 2 0 0 20 0 18 0 36585170 9787879424 6817 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2389619 6817 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300231 s]
/proc/loadavg: 2.07 2.06 2.00 3/196 21075
/proc/meminfo: memFree=27535108/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 5628 0 1 0 44 2 0 0 20 0 18 0 36585170 9787879424 8402 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2389619 8402 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700245 s]
/proc/loadavg: 2.07 2.06 2.00 3/196 21075
/proc/meminfo: memFree=27535108/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 9957 0 1 0 106 5 0 0 20 0 19 0 36585170 10060525568 12751 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2456183 12751 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9824732
[startup+1.50087 s]
/proc/loadavg: 2.07 2.06 2.00 2/215 21100
/proc/meminfo: memFree=27471028/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 19269 0 1 0 168 11 0 0 20 0 19 0 36585170 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2456183 20075 2259 9 0 2446860 0
[pid=21075/tid=21077] ppid=21072 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/21075/task/21077/stat : 21077 (java) S 21072 21075 18590 0 -1 4202560 2420 0 1 0 30 2 0 0 20 0 19 0 36585171 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557919527800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21078] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21078/stat : 21078 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557908589224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21079] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21079/stat : 21079 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557907536680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21080] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21080/stat : 21080 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557906484136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21081] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21081/stat : 21081 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557760019496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21082] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21082/stat : 21082 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557758965928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21083] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21083/stat : 21083 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557757913384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21084] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21084/stat : 21084 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557756860840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21085] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21085/stat : 21085 (java) S 21072 21075 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557755808296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21086] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21086/stat : 21086 (java) S 21072 21075 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36585173 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557743610472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21087] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21087/stat : 21087 (java) S 21072 21075 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36585174 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557742556792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21088] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21088/stat : 21088 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36585174 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557741504136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21089] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21089/stat : 21089 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557740452880 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21090] ppid=21072 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/21075/task/21090/stat : 21090 (java) S 21072 21075 18590 0 -1 4202560 6706 0 0 0 54 2 0 0 20 0 19 0 36585176 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557739399224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21091] ppid=21072 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/21075/task/21091/stat : 21091 (java) S 21072 21075 18590 0 -1 4202560 8799 0 0 0 54 1 0 0 20 0 19 0 36585176 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557738346680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21092] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21092/stat : 21092 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557737294328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21093] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21093/stat : 21093 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557736241992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21097] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21097/stat : 21097 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36585205 10060525568 20075 33554432000 1073741824 1073778376 140736752122912 140557732030120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732
[startup+3.1008 s]
/proc/loadavg: 2.07 2.06 2.00 2/215 21106
/proc/meminfo: memFree=27454256/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 20012 0 1 0 214 13 0 0 20 0 19 0 36585170 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2456183 24227 2265 9 0 2446860 0
[pid=21075/tid=21077] ppid=21072 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/21075/task/21077/stat : 21077 (java) S 21072 21075 18590 0 -1 4202560 2421 0 1 0 31 2 0 0 20 0 19 0 36585171 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557919527800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21078] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21078/stat : 21078 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557908589224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21079] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21079/stat : 21079 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557907536680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21080] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21080/stat : 21080 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557906484136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21081] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21081/stat : 21081 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557760019496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21082] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21082/stat : 21082 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557758965928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21083] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21083/stat : 21083 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557757913384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21084] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21084/stat : 21084 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557756860840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21085] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21085/stat : 21085 (java) S 21072 21075 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557755808296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21086] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21086/stat : 21086 (java) S 21072 21075 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36585173 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557743610472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21087] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21087/stat : 21087 (java) S 21072 21075 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36585174 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557742556792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21088] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21088/stat : 21088 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36585174 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557741504136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21089] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21089/stat : 21089 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557740452880 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21090] ppid=21072 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/21075/task/21090/stat : 21090 (java) S 21072 21075 18590 0 -1 4202560 7376 0 0 0 71 2 0 0 20 0 19 0 36585176 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557739399224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21091] ppid=21072 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/21075/task/21091/stat : 21091 (java) S 21072 21075 18590 0 -1 4202560 8844 0 0 0 70 1 0 0 20 0 19 0 36585176 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557738346680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21092] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21092/stat : 21092 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557737294328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21093] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21093/stat : 21093 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557736241992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21097] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21097/stat : 21097 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36585205 10060525568 24227 33554432000 1073741824 1073778376 140736752122912 140557732030120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=11 pid=1811 uid=0 cmd=
[startup+6.30081 s]
/proc/loadavg: 2.07 2.06 2.00 2/216 21130
/proc/meminfo: memFree=27416020/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 20236 0 1 0 237 18 0 0 20 0 19 0 36585170 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2456183 33423 2270 9 0 2446860 0
[pid=21075/tid=21077] ppid=21072 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/21075/task/21077/stat : 21077 (java) S 21072 21075 18590 0 -1 4202560 2425 0 1 0 32 3 0 0 20 0 19 0 36585171 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557919527800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21078] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21078/stat : 21078 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557908589224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21079] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21079/stat : 21079 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557907536680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21080] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21080/stat : 21080 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557906484136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21081] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21081/stat : 21081 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557760019496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21082] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21082/stat : 21082 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557758965928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21083] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21083/stat : 21083 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557757913384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21084] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21084/stat : 21084 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557756860840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21085] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21085/stat : 21085 (java) S 21072 21075 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36585172 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557755808296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21086] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21086/stat : 21086 (java) S 21072 21075 18590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36585173 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557743610472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21087] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21087/stat : 21087 (java) S 21072 21075 18590 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36585174 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557742556792 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21088] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21088/stat : 21088 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36585174 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557741504136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21089] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21089/stat : 21089 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557740452880 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21090] ppid=21072 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/21075/task/21090/stat : 21090 (java) S 21072 21075 18590 0 -1 4202560 7513 0 0 0 78 2 0 0 20 0 19 0 36585176 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557739399224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21091] ppid=21072 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/21075/task/21091/stat : 21091 (java) S 21072 21075 18590 0 -1 4202560 8855 0 0 0 78 1 0 0 20 0 19 0 36585176 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557738346680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21092] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21092/stat : 21092 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557737294328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21093] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21093/stat : 21093 (java) S 21072 21075 18590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36585176 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557736241992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21097] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21097/stat : 21097 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36585205 10060525568 33423 33554432000 1073741824 1073778376 140736752122912 140557732030120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
################
# More data... #
################
[pid=21075/tid=22843] ppid=21072 vsize=9824732 CPUtime=354.2 cores=1,3,5,7
/proc/21075/task/22843/stat : 22843 (java) R 21072 21075 18590 0 -1 4202560 21 0 0 0 35413 7 0 0 20 0 21 0 36715791 10060525568 968683 33554432000 1073741824 1073778376 140736752122912 140557733080672 140557788343304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=22844] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/22844/stat : 22844 (java) S 21072 21075 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36715816 10060525568 968683 33554432000 1073741824 1073778376 140736752122912 140557734135240 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1680.32
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.05 2.24 2.30 3/217 23063
/proc/meminfo: memFree=26488860/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9824732 CPUtime=1741.21 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 43649 0 1 0 173774 347 0 0 20 0 21 0 36585170 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2456183 974364 2296 9 0 2446860 0
[pid=21075/tid=21077] ppid=21072 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/21075/task/21077/stat : 21077 (java) S 21072 21075 18590 0 -1 4202560 2519 0 1 0 123 35 0 0 20 0 21 0 36585171 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557919527912 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21078] ppid=21072 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/21075/task/21078/stat : 21078 (java) S 21072 21075 18590 0 -1 4202560 1245 0 0 0 412 20 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557908589224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21079] ppid=21072 vsize=9824732 CPUtime=4.39 cores=1,3,5,7
/proc/21075/task/21079/stat : 21079 (java) S 21072 21075 18590 0 -1 4202560 1933 0 0 0 419 20 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557907536680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21080] ppid=21072 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/21075/task/21080/stat : 21080 (java) S 21072 21075 18590 0 -1 4202560 1326 0 0 0 421 20 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557906484136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21081] ppid=21072 vsize=9824732 CPUtime=4.21 cores=1,3,5,7
/proc/21075/task/21081/stat : 21081 (java) S 21072 21075 18590 0 -1 4202560 2257 0 0 0 402 19 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557760019496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21082] ppid=21072 vsize=9824732 CPUtime=4.15 cores=1,3,5,7
/proc/21075/task/21082/stat : 21082 (java) S 21072 21075 18590 0 -1 4202560 2147 0 0 0 398 17 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557758965928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21083] ppid=21072 vsize=9824732 CPUtime=4.26 cores=1,3,5,7
/proc/21075/task/21083/stat : 21083 (java) S 21072 21075 18590 0 -1 4202560 1687 0 0 0 410 16 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557757913384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21084] ppid=21072 vsize=9824732 CPUtime=4.74 cores=1,3,5,7
/proc/21075/task/21084/stat : 21084 (java) S 21072 21075 18590 0 -1 4202560 1791 0 0 0 453 21 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557756860840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21085] ppid=21072 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/21075/task/21085/stat : 21085 (java) S 21072 21075 18590 0 -1 4202560 1791 0 0 0 425 16 0 0 20 0 21 0 36585172 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557755808296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21086] ppid=21072 vsize=9824732 CPUtime=8.08 cores=1,3,5,7
/proc/21075/task/21086/stat : 21086 (java) S 21072 21075 18590 0 -1 4202560 2776 0 0 0 800 8 0 0 20 0 21 0 36585173 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557743610472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21087] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21087/stat : 21087 (java) S 21072 21075 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36585174 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557742556824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21088] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21088/stat : 21088 (java) S 21072 21075 18590 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 36585174 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557741504168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21089] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21089/stat : 21089 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36585176 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557740452880 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21090] ppid=21072 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/21075/task/21090/stat : 21090 (java) S 21072 21075 18590 0 -1 4202560 10926 0 0 0 154 3 0 0 20 0 21 0 36585176 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557739399224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21091] ppid=21072 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/21075/task/21091/stat : 21091 (java) S 21072 21075 18590 0 -1 4202560 8864 0 0 0 107 2 0 0 20 0 21 0 36585176 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557738346680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21092] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21092/stat : 21092 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36585176 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557737294328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21093] ppid=21072 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/21075/task/21093/stat : 21093 (java) S 21072 21075 18590 0 -1 4202560 100 0 0 0 31 44 0 0 20 0 21 0 36585176 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557736241992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21097] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21097/stat : 21097 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36585205 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557732030120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=22843] ppid=21072 vsize=9824732 CPUtime=413.89 cores=1,3,5,7
/proc/21075/task/22843/stat : 22843 (java) R 21072 21075 18590 0 -1 4202560 22 0 0 0 41381 8 0 0 20 0 21 0 36715791 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557733080768 140557788377787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=22844] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/22844/stat : 22844 (java) S 21072 21075 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36715816 10060525568 974364 33554432000 1073741824 1073778376 140736752122912 140557734135240 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1741.21
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.1 s]
/proc/loadavg: 2.02 2.20 2.28 3/217 23064
/proc/meminfo: memFree=26407152/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 43957 0 1 0 179657 351 0 0 20 0 21 0 36585170 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2456183 979253 2296 9 0 2446860 0
[pid=21075/tid=21077] ppid=21072 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/21075/task/21077/stat : 21077 (java) S 21072 21075 18590 0 -1 4202560 2522 0 1 0 124 37 0 0 20 0 21 0 36585171 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557919527912 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21078] ppid=21072 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/21075/task/21078/stat : 21078 (java) S 21072 21075 18590 0 -1 4202560 1285 0 0 0 432 20 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557908589224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21079] ppid=21072 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/21075/task/21079/stat : 21079 (java) S 21072 21075 18590 0 -1 4202560 1944 0 0 0 435 20 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557907536680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21080] ppid=21072 vsize=9824732 CPUtime=4.53 cores=1,3,5,7
/proc/21075/task/21080/stat : 21080 (java) S 21072 21075 18590 0 -1 4202560 1401 0 0 0 433 20 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557906484136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21081] ppid=21072 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/21075/task/21081/stat : 21081 (java) S 21072 21075 18590 0 -1 4202560 2311 0 0 0 424 19 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557760019496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21082] ppid=21072 vsize=9824732 CPUtime=4.38 cores=1,3,5,7
/proc/21075/task/21082/stat : 21082 (java) S 21072 21075 18590 0 -1 4202560 2236 0 0 0 421 17 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557758965928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21083] ppid=21072 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/21075/task/21083/stat : 21083 (java) S 21072 21075 18590 0 -1 4202560 1694 0 0 0 425 17 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557757913384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21084] ppid=21072 vsize=9824732 CPUtime=4.86 cores=1,3,5,7
/proc/21075/task/21084/stat : 21084 (java) S 21072 21075 18590 0 -1 4202560 1799 0 0 0 465 21 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557756860840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21085] ppid=21072 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/21075/task/21085/stat : 21085 (java) S 21072 21075 18590 0 -1 4202560 1800 0 0 0 445 16 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557755808296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21086] ppid=21072 vsize=9824732 CPUtime=8.09 cores=1,3,5,7
/proc/21075/task/21086/stat : 21086 (java) S 21072 21075 18590 0 -1 4202560 2782 0 0 0 800 9 0 0 20 0 21 0 36585173 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557743610472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21087] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21087/stat : 21087 (java) S 21072 21075 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36585174 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557742556824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21088] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21088/stat : 21088 (java) S 21072 21075 18590 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 36585174 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557741504168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21089] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21089/stat : 21089 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557740452880 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21090] ppid=21072 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/21075/task/21090/stat : 21090 (java) S 21072 21075 18590 0 -1 4202560 10926 0 0 0 154 3 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557739399224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21091] ppid=21072 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/21075/task/21091/stat : 21091 (java) S 21072 21075 18590 0 -1 4202560 8864 0 0 0 107 2 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557738346680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21092] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21092/stat : 21092 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557737294328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21093] ppid=21072 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/21075/task/21093/stat : 21093 (java) S 21072 21075 18590 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557736241992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21097] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21097/stat : 21097 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36585205 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557732030120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=22843] ppid=21072 vsize=9824732 CPUtime=471.29 cores=1,3,5,7
/proc/21075/task/22843/stat : 22843 (java) R 21072 21075 18590 0 -1 4202560 24 0 0 0 47120 9 0 0 20 0 21 0 36715791 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557733080768 140557788343025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=22844] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/22844/stat : 22844 (java) S 21072 21075 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36715816 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557734135240 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 21075 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1780.1 s]
/proc/loadavg: 2.02 2.20 2.28 3/217 23064
/proc/meminfo: memFree=26407152/32872528 swapFree=496868/529572
[pid=21075] ppid=21072 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/21075/stat : 21075 (java) S 21072 21075 18590 0 -1 4202496 43957 0 1 0 179657 351 0 0 20 0 21 0 36585170 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140736752114048 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21075/statm: 2456183 979253 2296 9 0 2446860 0
[pid=21075/tid=21077] ppid=21072 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/21075/task/21077/stat : 21077 (java) S 21072 21075 18590 0 -1 4202560 2522 0 1 0 124 37 0 0 20 0 21 0 36585171 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557919527912 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21078] ppid=21072 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/21075/task/21078/stat : 21078 (java) S 21072 21075 18590 0 -1 4202560 1285 0 0 0 432 20 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557908589224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21079] ppid=21072 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/21075/task/21079/stat : 21079 (java) S 21072 21075 18590 0 -1 4202560 1944 0 0 0 435 20 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557907536680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21080] ppid=21072 vsize=9824732 CPUtime=4.53 cores=1,3,5,7
/proc/21075/task/21080/stat : 21080 (java) S 21072 21075 18590 0 -1 4202560 1401 0 0 0 433 20 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557906484136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21081] ppid=21072 vsize=9824732 CPUtime=4.43 cores=1,3,5,7
/proc/21075/task/21081/stat : 21081 (java) S 21072 21075 18590 0 -1 4202560 2311 0 0 0 424 19 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557760019496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21082] ppid=21072 vsize=9824732 CPUtime=4.38 cores=1,3,5,7
/proc/21075/task/21082/stat : 21082 (java) S 21072 21075 18590 0 -1 4202560 2236 0 0 0 421 17 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557758965928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21083] ppid=21072 vsize=9824732 CPUtime=4.42 cores=1,3,5,7
/proc/21075/task/21083/stat : 21083 (java) S 21072 21075 18590 0 -1 4202560 1694 0 0 0 425 17 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557757913384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21084] ppid=21072 vsize=9824732 CPUtime=4.86 cores=1,3,5,7
/proc/21075/task/21084/stat : 21084 (java) S 21072 21075 18590 0 -1 4202560 1799 0 0 0 465 21 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557756860840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21085] ppid=21072 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/21075/task/21085/stat : 21085 (java) S 21072 21075 18590 0 -1 4202560 1800 0 0 0 445 16 0 0 20 0 21 0 36585172 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557755808296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21086] ppid=21072 vsize=9824732 CPUtime=8.09 cores=1,3,5,7
/proc/21075/task/21086/stat : 21086 (java) S 21072 21075 18590 0 -1 4202560 2782 0 0 0 800 9 0 0 20 0 21 0 36585173 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557743610472 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21087] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21087/stat : 21087 (java) S 21072 21075 18590 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36585174 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557742556824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21088] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21088/stat : 21088 (java) S 21072 21075 18590 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 21 0 36585174 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557741504168 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21089] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21089/stat : 21089 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557740452880 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21075/tid=21090] ppid=21072 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/21075/task/21090/stat : 21090 (java) S 21072 21075 18590 0 -1 4202560 10926 0 0 0 154 3 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557739399224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21091] ppid=21072 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/21075/task/21091/stat : 21091 (java) S 21072 21075 18590 0 -1 4202560 8864 0 0 0 107 2 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557738346680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=21092] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21092/stat : 21092 (java) S 21072 21075 18590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557737294328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21075/tid=21093] ppid=21072 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/21075/task/21093/stat : 21093 (java) S 21072 21075 18590 0 -1 4202560 104 0 0 0 32 45 0 0 20 0 21 0 36585176 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557736241992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=21097] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/21097/stat : 21097 (java) S 21072 21075 18590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36585205 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557732030120 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21075/tid=22843] ppid=21072 vsize=9824732 CPUtime=471.29 cores=1,3,5,7
/proc/21075/task/22843/stat : 22843 (java) R 21072 21075 18590 0 -1 4202560 24 0 0 0 47120 9 0 0 20 0 21 0 36715791 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557733080768 140557788343025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21075/tid=22844] ppid=21072 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21075/task/22844/stat : 22844 (java) S 21072 21075 18590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36715816 10060525568 979253 33554432000 1073741824 1073778376 140736752122912 140557734135240 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1780.15
CPU time (s): 1800.72
CPU user time (s): 1796.82
CPU system time (s): 3.90241
CPU usage (%): 101.156
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.82
system time used= 3.90241
maximum resident set size= 3917112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43991
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79445
involuntary context switches= 49078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2833 second user time and 14.1139 second system time
The end