runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478980-1307444774/watcher-3478980-1307444774 -o /tmp/evaluation-result-3478980-1307444774/solver-3478980-1307444774 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3478980-1307444774.opb
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: 0.00 0.00 0.00 2/486 22245
/proc/meminfo: memFree=26933068/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 2974 0 1 0 0 0 0 0 21 0 2 0 856075970 10681323520 2675 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2607745 2694 906 9 0 2598901 0
[pid=22245/tid=22246] ppid=22243 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 5509 0 1 0 0 0 0 0 22 0 2 0 856075971 10694979584 6326 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0345281 s]
/proc/loadavg: 0.00 0.00 0.00 2/486 22245
/proc/meminfo: memFree=26933068/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 10907 0 1 0 1 1 0 0 21 0 11 0 856075970 10716594176 10605 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2616356 10606 1567 9 0 2607104 0
[pid=22245/tid=22246] ppid=22243 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 9784 0 1 0 1 1 0 0 25 0 11 0 856075971 10716594176 10607 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 47517080991475 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100519 s]
/proc/loadavg: 0.00 0.00 0.00 2/486 22245
/proc/meminfo: memFree=26933068/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10605104 CPUtime=0.1 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 13078 0 1 0 8 2 0 0 21 0 18 0 856075970 10859626496 12751 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2651276 12754 2092 9 0 2642010 0
[pid=22245/tid=22246] ppid=22243 vsize=10605104 CPUtime=0.07 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 11136 0 1 0 6 1 0 0 18 0 18 0 856075971 10859626496 12754 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605104
[startup+0.300438 s]
/proc/loadavg: 0.00 0.00 0.00 2/486 22245
/proc/meminfo: memFree=26933068/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10606244 CPUtime=0.48 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 16037 0 1 0 45 3 0 0 21 0 18 0 856075970 10860793856 15373 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2651561 15374 2201 9 0 2642295 0
[pid=22245/tid=22246] ppid=22243 vsize=10606244 CPUtime=0.28 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 13161 0 1 0 26 2 0 0 18 0 18 0 856075971 10860793856 15374 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505591819 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10606244
[startup+0.700409 s]
/proc/loadavg: 0.00 0.00 0.00 2/486 22245
/proc/meminfo: memFree=26933068/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10610844 CPUtime=1.15 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 51663 0 1 0 108 7 0 0 21 0 18 0 856075970 10865504256 49280 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2652711 49284 2215 9 0 2643445 0
[pid=22245/tid=22246] ppid=22243 vsize=10610844 CPUtime=0.68 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 44980 0 1 0 62 6 0 0 18 0 18 0 856075971 10865504256 49286 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505635780 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 10610844
[startup+1.50128 s]
/proc/loadavg: 0.16 0.03 0.01 3/504 22263
/proc/meminfo: memFree=26566128/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10610844 CPUtime=2 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 136145 0 1 0 182 18 0 0 21 0 18 0 856075970 10865504256 133762 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2652711 133767 2215 9 0 2643445 0
[pid=22245/tid=22246] ppid=22243 vsize=10610844 CPUtime=1.48 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 129443 0 1 0 131 17 0 0 19 0 18 0 856075971 10865504256 133770 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505591822 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22245/tid=22248] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 856075972 10865504256 133773 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22249] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 856075972 10865504256 133776 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22250] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075972 10865504256 133778 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22251] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075972 10865504256 133781 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22252] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075972 10865504256 133784 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22253] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075972 10865504256 133786 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22254] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075972 10865504256 133789 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22255] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075972 10865504256 133792 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22256] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22245 22213 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856075973 10865504256 133795 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 0 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22257] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22245 22213 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856075974 10865504256 133795 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22258] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22245 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856075974 10865504256 133797 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22259] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075976 10865504256 133800 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216470961 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22260] ppid=22243 vsize=10610844 CPUtime=0.28 cores=1,3,5,7
/proc/22245/task/22260/stat : 22260 (java) S 22243 22245 22213 0 -1 4202560 2774 0 0 0 28 0 0 0 20 0 18 0 856075976 10865504256 133802 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22261] ppid=22243 vsize=10610844 CPUtime=0.22 cores=1,3,5,7
/proc/22245/task/22261/stat : 22261 (java) S 22243 22245 22213 0 -1 4202560 2785 0 0 0 22 0 0 0 16 0 18 0 856075976 10865504256 133805 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22262] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22262/stat : 22262 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856075976 10865504256 133808 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22263] ppid=22243 vsize=10610844 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22263/stat : 22263 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856075976 10865504256 133811 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10610844
[startup+3.10102 s]
/proc/loadavg: 0.16 0.03 0.01 4/505 22264
/proc/meminfo: memFree=26109792/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10616692 CPUtime=4.42 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 274089 0 1 0 409 33 0 0 21 0 19 0 856075970 10871492608 267300 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2654173 267302 2239 9 0 2644907 0
[pid=22245/tid=22246] ppid=22243 vsize=10616692 CPUtime=3.07 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 260716 0 1 0 277 30 0 0 25 0 19 0 856075971 10871492608 267302 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505545836 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22245/tid=22248] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 856075972 10871492608 267302 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22249] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856075972 10871492608 267312 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22250] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075972 10871492608 267323 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22251] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075972 10871492608 267323 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22252] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075972 10871492608 267324 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22253] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075972 10871492608 267325 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22254] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075972 10871492608 267341 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22255] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075972 10871492608 267345 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22256] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22245 22213 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 856075973 10871492608 267345 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 0 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22257] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22245 22213 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856075974 10871492608 267346 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22258] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22245 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856075974 10871492608 267346 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22259] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10871492608 267348 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216470961 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22260] ppid=22243 vsize=10616692 CPUtime=0.7 cores=1,3,5,7
/proc/22245/task/22260/stat : 22260 (java) S 22243 22245 22213 0 -1 4202560 6098 0 0 0 70 0 0 0 15 0 19 0 856075976 10871492608 267348 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22261] ppid=22243 vsize=10616692 CPUtime=0.62 cores=1,3,5,7
/proc/22245/task/22261/stat : 22261 (java) S 22243 22245 22213 0 -1 4202560 6115 0 0 0 61 1 0 0 15 0 19 0 856075976 10871492608 267348 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22262] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22262/stat : 22262 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10871492608 267348 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22263] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22263/stat : 22263 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856075976 10871492608 267348 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22264] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22264/stat : 22264 (java) S 22243 22245 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856076155 10871492608 267348 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10616692
[startup+6.30143 s]
/proc/loadavg: 0.31 0.07 0.02 3/505 22265
/proc/meminfo: memFree=24981380/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10616692 CPUtime=7.83 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 425257 0 1 0 732 51 0 0 21 0 19 0 856075970 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2654173 418435 2265 9 0 2644907 0
[pid=22245/tid=22246] ppid=22243 vsize=10616692 CPUtime=6.1 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 393503 0 1 0 564 46 0 0 25 0 19 0 856075971 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505892509 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22245/tid=22248] ppid=22243 vsize=10616692 CPUtime=0.04 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22245 22213 0 -1 4202560 2966 0 0 0 4 0 0 0 18 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22249] ppid=22243 vsize=10616692 CPUtime=0.04 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22245 22213 0 -1 4202560 2553 0 0 0 4 0 0 0 18 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22250] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22251] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22252] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22253] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22254] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22255] ppid=22243 vsize=10616692 CPUtime=0.04 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22245 22213 0 -1 4202560 2848 0 0 0 4 0 0 0 18 0 19 0 856075972 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22256] ppid=22243 vsize=10616692 CPUtime=0.12 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22245 22213 0 -1 4202560 9975 0 0 0 12 0 0 0 15 0 19 0 856075973 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 0 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22257] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22245 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856075974 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22258] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22245 22213 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856075974 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22259] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216470961 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22260] ppid=22243 vsize=10616692 CPUtime=0.74 cores=1,3,5,7
/proc/22245/task/22260/stat : 22260 (java) S 22243 22245 22213 0 -1 4202560 6119 0 0 0 74 0 0 0 15 0 19 0 856075976 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22261] ppid=22243 vsize=10616692 CPUtime=0.69 cores=1,3,5,7
/proc/22245/task/22261/stat : 22261 (java) S 22243 22245 22213 0 -1 4202560 6135 0 0 0 68 1 0 0 15 0 19 0 856075976 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22262] ppid=22243 vsize=10616692 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22262/stat : 22262 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10871492608 418435 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/22245/task/22257/stat : 22257 (java) S 22243 22245 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22258] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22245 22213 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22259] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216470961 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22260] ppid=22243 vsize=10614604 CPUtime=1.12 cores=1,3,5,7
/proc/22245/task/22260/stat : 22260 (java) S 22243 22245 22213 0 -1 4202560 6794 0 0 0 112 0 0 0 16 0 19 0 856075976 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22261] ppid=22243 vsize=10614604 CPUtime=0.75 cores=1,3,5,7
/proc/22245/task/22261/stat : 22261 (java) S 22243 22245 22213 0 -1 4202560 6135 0 0 0 74 1 0 0 15 0 19 0 856075976 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22262] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22262/stat : 22262 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22263] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22263/stat : 22263 (java) S 22243 22245 22213 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 856075976 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22264] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22264/stat : 22264 (java) S 22243 22245 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856076155 10869354496 909766 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1668.02
Current children cumulated vsize (KiB) 10614604
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 1.72 3/526 22334
/proc/meminfo: memFree=15098404/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10614604 CPUtime=1728.17 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 918910 0 1 0 172696 121 0 0 21 0 19 0 856075970 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2653651 910294 2266 9 0 2644385 0
[pid=22245/tid=22246] ppid=22243 vsize=10614604 CPUtime=1718.45 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 843179 0 1 0 171739 106 0 0 25 0 19 0 856075971 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505689818 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22245/tid=22248] ppid=22243 vsize=10614604 CPUtime=0.74 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22245 22213 0 -1 4202560 6354 0 0 0 73 1 0 0 15 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22249] ppid=22243 vsize=10614604 CPUtime=0.75 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22245 22213 0 -1 4202560 6955 0 0 0 75 0 0 0 16 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22250] ppid=22243 vsize=10614604 CPUtime=0.76 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22245 22213 0 -1 4202560 5574 0 0 0 76 0 0 0 15 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22251] ppid=22243 vsize=10614604 CPUtime=0.69 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22245 22213 0 -1 4202560 3056 0 0 0 68 1 0 0 16 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22252] ppid=22243 vsize=10614604 CPUtime=0.8 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22245 22213 0 -1 4202560 4689 0 0 0 80 0 0 0 15 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22253] ppid=22243 vsize=10614604 CPUtime=0.83 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22245 22213 0 -1 4202560 5230 0 0 0 82 1 0 0 15 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 1 0 0 0
[pid=22245/tid=22254] ppid=22243 vsize=10614604 CPUtime=0.8 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22245 22213 0 -1 4202560 3944 0 0 0 80 0 0 0 15 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22255] ppid=22243 vsize=10614604 CPUtime=0.65 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22245 22213 0 -1 4202560 6946 0 0 0 64 1 0 0 16 0 19 0 856075972 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22256] ppid=22243 vsize=10614604 CPUtime=1.7 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22245 22213 0 -1 4202560 18803 0 0 0 167 3 0 0 15 0 19 0 856075973 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 0 0 16800975 18446604456152849152 0 0 -1 1 0 0 0
[pid=22245/tid=22257] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22245 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22258] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22245 22213 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22259] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216470961 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22260] ppid=22243 vsize=10614604 CPUtime=1.12 cores=1,3,5,7
/proc/22245/task/22260/stat : 22260 (java) S 22243 22245 22213 0 -1 4202560 6794 0 0 0 112 0 0 0 16 0 19 0 856075976 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22261] ppid=22243 vsize=10614604 CPUtime=0.75 cores=1,3,5,7
/proc/22245/task/22261/stat : 22261 (java) S 22243 22245 22213 0 -1 4202560 6135 0 0 0 74 1 0 0 15 0 19 0 856075976 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22262] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22262/stat : 22262 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22263] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22263/stat : 22263 (java) S 22243 22245 22213 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 856075976 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22264] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22264/stat : 22264 (java) S 22243 22245 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856076155 10869354496 910294 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1728.17
Current children cumulated vsize (KiB) 10614604
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 1.73 3/526 22336
/proc/meminfo: memFree=15095300/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10614604 CPUtime=1788.3 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 919418 0 1 0 178708 122 0 0 21 0 19 0 856075970 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2653651 910791 2266 9 0 2644385 0
[pid=22245/tid=22246] ppid=22243 vsize=10614604 CPUtime=1778.36 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 843184 0 1 0 177730 106 0 0 25 0 19 0 856075971 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505776740 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22245/tid=22248] ppid=22243 vsize=10614604 CPUtime=0.79 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22245 22213 0 -1 4202560 6497 0 0 0 78 1 0 0 16 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22249] ppid=22243 vsize=10614604 CPUtime=0.76 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22245 22213 0 -1 4202560 6980 0 0 0 76 0 0 0 15 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22250] ppid=22243 vsize=10614604 CPUtime=0.81 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22245 22213 0 -1 4202560 5736 0 0 0 80 1 0 0 15 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 1 0 0 0
[pid=22245/tid=22251] ppid=22243 vsize=10614604 CPUtime=0.72 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22245 22213 0 -1 4202560 3106 0 0 0 71 1 0 0 16 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22252] ppid=22243 vsize=10614604 CPUtime=0.84 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22245 22213 0 -1 4202560 4749 0 0 0 84 0 0 0 15 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22253] ppid=22243 vsize=10614604 CPUtime=0.85 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22245 22213 0 -1 4202560 5241 0 0 0 84 1 0 0 15 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22254] ppid=22243 vsize=10614604 CPUtime=0.82 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22245 22213 0 -1 4202560 3990 0 0 0 82 0 0 0 15 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22255] ppid=22243 vsize=10614604 CPUtime=0.65 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22245 22213 0 -1 4202560 6946 0 0 0 64 1 0 0 15 0 19 0 856075972 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22256] ppid=22243 vsize=10614604 CPUtime=1.7 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22245 22213 0 -1 4202560 18805 0 0 0 167 3 0 0 15 0 19 0 856075973 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 0 0 16800975 18446604456152849152 0 0 -1 1 0 0 0
[pid=22245/tid=22257] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22245 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22258] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22245 22213 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22259] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216470961 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22260] ppid=22243 vsize=10614604 CPUtime=1.12 cores=1,3,5,7
/proc/22245/task/22260/stat : 22260 (java) S 22243 22245 22213 0 -1 4202560 6794 0 0 0 112 0 0 0 16 0 19 0 856075976 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22261] ppid=22243 vsize=10614604 CPUtime=0.75 cores=1,3,5,7
/proc/22245/task/22261/stat : 22261 (java) S 22243 22245 22213 0 -1 4202560 6135 0 0 0 74 1 0 0 15 0 19 0 856075976 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22262] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22262/stat : 22262 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22263] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22263/stat : 22263 (java) S 22243 22245 22213 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 856075976 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22264] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22264/stat : 22264 (java) S 22243 22245 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856076155 10869354496 910791 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.3
Current children cumulated vsize (KiB) 10614604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 2.02 2.03 1.73 3/526 22384
/proc/meminfo: memFree=22062724/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=10614604 CPUtime=1800.06 cores=1,3,5,7
/proc/22245/stat : 22245 (java) S 22243 22245 22213 0 -1 4202496 919614 0 1 0 179884 122 0 0 21 0 19 0 856075970 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 2653651 910983 2266 9 0 2644385 0
[pid=22245/tid=22246] ppid=22243 vsize=10614604 CPUtime=1790.08 cores=1,3,5,7
/proc/22245/task/22246/stat : 22246 (java) R 22243 22245 22213 0 -1 4202560 843185 0 1 0 178902 106 0 0 25 0 19 0 856075971 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 46912505858835 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22245/tid=22248] ppid=22243 vsize=10614604 CPUtime=0.8 cores=1,3,5,7
/proc/22245/task/22248/stat : 22248 (java) S 22243 22245 22213 0 -1 4202560 6568 0 0 0 79 1 0 0 16 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22249] ppid=22243 vsize=10614604 CPUtime=0.77 cores=1,3,5,7
/proc/22245/task/22249/stat : 22249 (java) S 22243 22245 22213 0 -1 4202560 7041 0 0 0 77 0 0 0 16 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22250] ppid=22243 vsize=10614604 CPUtime=0.81 cores=1,3,5,7
/proc/22245/task/22250/stat : 22250 (java) S 22243 22245 22213 0 -1 4202560 5736 0 0 0 80 1 0 0 15 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 1 0 0 0
[pid=22245/tid=22251] ppid=22243 vsize=10614604 CPUtime=0.72 cores=1,3,5,7
/proc/22245/task/22251/stat : 22251 (java) S 22243 22245 22213 0 -1 4202560 3106 0 0 0 71 1 0 0 15 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22252] ppid=22243 vsize=10614604 CPUtime=0.84 cores=1,3,5,7
/proc/22245/task/22252/stat : 22252 (java) S 22243 22245 22213 0 -1 4202560 4749 0 0 0 84 0 0 0 15 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22253] ppid=22243 vsize=10614604 CPUtime=0.85 cores=1,3,5,7
/proc/22245/task/22253/stat : 22253 (java) S 22243 22245 22213 0 -1 4202560 5241 0 0 0 84 1 0 0 15 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22254] ppid=22243 vsize=10614604 CPUtime=0.84 cores=1,3,5,7
/proc/22245/task/22254/stat : 22254 (java) S 22243 22245 22213 0 -1 4202560 4051 0 0 0 84 0 0 0 16 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22255] ppid=22243 vsize=10614604 CPUtime=0.65 cores=1,3,5,7
/proc/22245/task/22255/stat : 22255 (java) S 22243 22245 22213 0 -1 4202560 6946 0 0 0 64 1 0 0 15 0 19 0 856075972 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22256] ppid=22243 vsize=10614604 CPUtime=1.7 cores=1,3,5,7
/proc/22245/task/22256/stat : 22256 (java) S 22243 22245 22213 0 -1 4202560 18807 0 0 0 167 3 0 0 15 0 19 0 856075973 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 0 0 16800975 18446604456152849152 0 0 -1 1 0 0 0
[pid=22245/tid=22257] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22257/stat : 22257 (java) S 22243 22245 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22258] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22258/stat : 22258 (java) S 22243 22245 22213 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856075974 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22259] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22259/stat : 22259 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216470961 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22260] ppid=22243 vsize=10614604 CPUtime=1.12 cores=1,3,5,7
/proc/22245/task/22260/stat : 22260 (java) S 22243 22245 22213 0 -1 4202560 6794 0 0 0 112 0 0 0 16 0 19 0 856075976 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 7 0 0 0
[pid=22245/tid=22261] ppid=22243 vsize=10614604 CPUtime=0.75 cores=1,3,5,7
/proc/22245/task/22261/stat : 22261 (java) S 22243 22245 22213 0 -1 4202560 6135 0 0 0 74 1 0 0 15 0 19 0 856075976 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 5 0 0 0
[pid=22245/tid=22262] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22262/stat : 22262 (java) S 22243 22245 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856075976 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463257 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22263] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22263/stat : 22263 (java) S 22243 22245 22213 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 856075976 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
[pid=22245/tid=22264] ppid=22243 vsize=10614604 CPUtime=0 cores=1,3,5,7
/proc/22245/task/22264/stat : 22264 (java) S 22243 22245 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856076155 10869354496 910983 33554432000 1073741824 1073778376 140736445093856 18446744073709551615 210216463872 0 4 0 16800975 18446604456152849152 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10614604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.2 s]
/proc/loadavg: 2.02 2.03 1.73 3/526 22384
/proc/meminfo: memFree=22062724/32951124 swapFree=63649284/67111528
[pid=22245] ppid=22243 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/22245/stat : 22245 (java) Z 22243 22245 22213 0 -1 4203548 919646 0 1 0 179895 134 0 0 17 0 2 0 856075970 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22245/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.21
CPU time (s): 1800.31
CPU user time (s): 1798.95
CPU system time (s): 1.35779
CPU usage (%): 100.34
Max. virtual memory (cumulated for all children) (KiB): 10619840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.35779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 919646
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42100
involuntary context switches= 32362
runsolver used 8.28274 second user time and 21.2608 second system time
The end