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-4080704-1465234918/watcher-4080704-1465234918 -o /tmp/evaluation-result-4080704-1465234918/solver-4080704-1465234918 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080704-1465234918.opb
pid=4107
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: 3.72 4.09 4.14 5/197 4110
/proc/meminfo: memFree=27637812/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=94176 CPUtime=0 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 1304 0 0 0 0 0 0 0 20 0 2 0 105425449 96436224 937 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 24081 940 713 9 0 16771 0
[pid=4110/tid=4111] ppid=4107 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) R 4107 4110 31415 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 105425450 98570240 976 33554432000 1073741824 1073778376 140734980030832 140618109021736 266435642752 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100059 s]
/proc/loadavg: 3.72 4.09 4.14 5/197 4110
/proc/meminfo: memFree=27637812/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 4546 0 1 0 10 1 0 0 20 0 18 0 105425449 9787879424 5671 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2389619 5671 2156 9 0 2380296 0
[pid=4110/tid=4111] ppid=4107 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) R 4107 4110 31415 0 -1 4202560 2444 0 1 0 7 0 0 0 20 0 18 0 105425450 9787879424 5671 33554432000 1073741824 1073778376 140734980030832 140618109025184 266439025933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.20029 s]
/proc/loadavg: 3.72 4.09 4.14 5/197 4110
/proc/meminfo: memFree=27637812/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 4782 0 1 0 25 1 0 0 20 0 18 0 105425449 9787879424 6826 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2389619 6826 2214 9 0 2380296 0
[pid=4110/tid=4111] ppid=4107 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) R 4107 4110 31415 0 -1 4202560 2460 0 1 0 16 1 0 0 20 0 18 0 105425450 9787879424 6826 33554432000 1073741824 1073778376 140734980030832 140618109025184 140617981088296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300284 s]
/proc/loadavg: 3.72 4.09 4.14 5/197 4110
/proc/meminfo: memFree=27637812/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 5814 0 1 0 48 2 0 0 20 0 18 0 105425449 9787879424 8598 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2389619 8598 2234 9 0 2380296 0
[pid=4110/tid=4111] ppid=4107 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) R 4107 4110 31415 0 -1 4202560 2463 0 1 0 26 1 0 0 20 0 18 0 105425450 9787879424 8598 33554432000 1073741824 1073778376 140734980030832 140618109026440 140617981085504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700203 s]
/proc/loadavg: 3.72 4.09 4.14 5/197 4110
/proc/meminfo: memFree=27637812/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9558476 CPUtime=1.68 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 20236 0 1 0 161 7 0 0 20 0 18 0 105425449 9787879424 46687 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2389619 46687 2245 9 0 2380296 0
[pid=4110/tid=4111] ppid=4107 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) R 4107 4110 31415 0 -1 4202560 2518 0 1 0 65 2 0 0 20 0 18 0 105425450 9787879424 46687 33554432000 1073741824 1073778376 140734980030832 140618109018064 140617981089302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 3.72 4.09 4.14 7/219 4132
/proc/meminfo: memFree=27436456/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9824732 CPUtime=3.96 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 20599 0 1 0 387 9 0 0 20 0 22 0 105425449 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2456183 52652 2278 9 0 2446860 0
[pid=4110/tid=4111] ppid=4107 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) S 4107 4110 31415 0 -1 4202560 2540 0 1 0 94 2 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140618109027192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4113] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4113/stat : 4113 (java) S 4107 4110 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617952610600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4114] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4114/stat : 4114 (java) S 4107 4110 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617951557800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4115] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4115/stat : 4115 (java) S 4107 4110 31415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617950505512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4116] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4116/stat : 4116 (java) S 4107 4110 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617949452712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4117] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4117/stat : 4117 (java) S 4107 4110 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617948400424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4118] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4118/stat : 4118 (java) S 4107 4110 31415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617947347624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4119] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4119/stat : 4119 (java) S 4107 4110 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105425450 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617946295336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4120] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4120/stat : 4120 (java) S 4107 4110 31415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105425451 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617945242536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4121] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4121/stat : 4121 (java) S 4107 4110 31415 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617933043944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4122] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4122/stat : 4122 (java) S 4107 4110 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617931990008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4123] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4123/stat : 4123 (java) S 4107 4110 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617930937608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4124] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4124/stat : 4124 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617929886096 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4125] ppid=4107 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/4110/task/4125/stat : 4125 (java) S 4107 4110 31415 0 -1 4202560 7345 0 0 0 90 2 0 0 20 0 22 0 105425454 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617928833720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4126] ppid=4107 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/4110/task/4126/stat : 4126 (java) R 4107 4110 31415 0 -1 4202560 9286 0 0 0 94 2 0 0 20 0 22 0 105425454 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617927780800 140618114983872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4127] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4127/stat : 4127 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617926728824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4128] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4128/stat : 4128 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617925676232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4129] ppid=4107 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/4110/task/4129/stat : 4129 (java) R 4107 4110 31415 0 -1 4202560 18 0 0 0 46 0 0 0 20 0 22 0 105425551 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617924612208 140618112312167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4130] ppid=4107 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/4110/task/4130/stat : 4130 (java) R 4107 4110 31415 0 -1 4202560 28 0 0 0 46 0 0 0 20 0 22 0 105425551 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617923553712 140617982248157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4131] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4131/stat : 4131 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425554 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617922516136 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4132] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4132/stat : 4132 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425555 10060525568 52652 33554432000 1073741824 1073778376 140734980030832 140617921463336 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 3.74 4.08 4.14 5/219 4132
/proc/meminfo: memFree=27315524/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9824732 CPUtime=7.74 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 21485 0 1 0 754 20 0 0 20 0 22 0 105425449 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2456183 105547 2281 9 0 2446860 0
[pid=4110/tid=4111] ppid=4107 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) S 4107 4110 31415 0 -1 4202560 2540 0 1 0 94 2 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140618109027192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4113] ppid=4107 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/4110/task/4113/stat : 4113 (java) S 4107 4110 31415 0 -1 4202560 61 0 0 0 5 2 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617952610600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4114] ppid=4107 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/4110/task/4114/stat : 4114 (java) S 4107 4110 31415 0 -1 4202560 98 0 0 0 5 1 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617951557800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4115] ppid=4107 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/4110/task/4115/stat : 4115 (java) S 4107 4110 31415 0 -1 4202560 34 0 0 0 3 1 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617950505512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4116] ppid=4107 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/4110/task/4116/stat : 4116 (java) S 4107 4110 31415 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617949452712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4117] ppid=4107 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/4110/task/4117/stat : 4117 (java) S 4107 4110 31415 0 -1 4202560 127 0 0 0 7 1 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617948400424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4118] ppid=4107 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/4110/task/4118/stat : 4118 (java) S 4107 4110 31415 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617947347624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4119] ppid=4107 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/4110/task/4119/stat : 4119 (java) S 4107 4110 31415 0 -1 4202560 198 0 0 0 4 0 0 0 20 0 22 0 105425450 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617946295336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4120] ppid=4107 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/4110/task/4120/stat : 4120 (java) S 4107 4110 31415 0 -1 4202560 111 0 0 0 5 1 0 0 20 0 22 0 105425451 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617945242536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4121] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4121/stat : 4121 (java) S 4107 4110 31415 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617933043944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4122] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4122/stat : 4122 (java) S 4107 4110 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617931990008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4123] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4123/stat : 4123 (java) S 4107 4110 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617930937608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4124] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4124/stat : 4124 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617929886096 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4125] ppid=4107 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/4110/task/4125/stat : 4125 (java) S 4107 4110 31415 0 -1 4202560 7366 0 0 0 106 2 0 0 20 0 22 0 105425454 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617928833720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4126] ppid=4107 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/4110/task/4126/stat : 4126 (java) S 4107 4110 31415 0 -1 4202560 9315 0 0 0 116 2 0 0 20 0 22 0 105425454 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617927780920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4127] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4127/stat : 4127 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617926728824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4128] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4128/stat : 4128 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617925676232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4129] ppid=4107 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/4110/task/4129/stat : 4129 (java) R 4107 4110 31415 0 -1 4202560 26 0 0 0 192 0 0 0 20 0 22 0 105425551 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617924620488 140617982105491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4130] ppid=4107 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/4110/task/4130/stat : 4130 (java) R 4107 4110 31415 0 -1 4202560 78 0 0 0 190 2 0 0 20 0 22 0 105425551 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617923566440 140617982316583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4131] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4131/stat : 4131 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425554 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617922516136 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4132] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4132/stat : 4132 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425555 10060525568 105547 33554432000 1073741824 1073778376 140734980030832 140617921463336 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 3.74 4.08 4.14 6/219 4132
/proc/meminfo: memFree=26967524/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9824732 CPUtime=14.26 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 22144 0 1 0 1399 27 0 0 20 0 22 0 105425449 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2456183 166714 2281 9 0 2446860 0
[pid=4110/tid=4111] ppid=4107 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) S 4107 4110 31415 0 -1 4202560 2540 0 1 0 94 2 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140618109027192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4113] ppid=4107 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/4110/task/4113/stat : 4113 (java) S 4107 4110 31415 0 -1 4202560 70 0 0 0 7 2 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140617952610600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4114] ppid=4107 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/4110/task/4114/stat : 4114 (java) S 4107 4110 31415 0 -1 4202560 105 0 0 0 6 1 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140617951557800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4115] ppid=4107 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/4110/task/4115/stat : 4115 (java) S 4107 4110 31415 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140617950505512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4116] ppid=4107 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/4110/task/4116/stat : 4116 (java) S 4107 4110 31415 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140617949452712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4117] ppid=4107 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/4110/task/4117/stat : 4117 (java) S 4107 4110 31415 0 -1 4202560 131 0 0 0 8 2 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140617948400424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4118] ppid=4107 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/4110/task/4118/stat : 4118 (java) S 4107 4110 31415 0 -1 4202560 46 0 0 0 8 2 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140617947347624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4119] ppid=4107 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/4110/task/4119/stat : 4119 (java) S 4107 4110 31415 0 -1 4202560 212 0 0 0 6 2 0 0 20 0 22 0 105425450 10060525568 166714 33554432000 1073741824 1073778376 140734980030832 140617946295336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4120] ppid=4107 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/4110/task/4115/stat : 4115 (java) S 4107 4110 31415 0 -1 4202560 802 0 0 0 146 20 0 0 20 0 22 0 105425450 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617950505512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4116] ppid=4107 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/4110/task/4116/stat : 4116 (java) S 4107 4110 31415 0 -1 4202560 653 0 0 0 126 16 0 0 20 0 22 0 105425450 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617949452712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4117] ppid=4107 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/4110/task/4117/stat : 4117 (java) S 4107 4110 31415 0 -1 4202560 1753 0 0 0 146 19 0 0 20 0 22 0 105425450 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617948400424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4118] ppid=4107 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/4110/task/4118/stat : 4118 (java) S 4107 4110 31415 0 -1 4202560 855 0 0 0 131 15 0 0 20 0 22 0 105425450 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617947347624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4119] ppid=4107 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/4110/task/4119/stat : 4119 (java) S 4107 4110 31415 0 -1 4202560 986 0 0 0 140 20 0 0 20 0 22 0 105425450 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617946295336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4120] ppid=4107 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/4110/task/4120/stat : 4120 (java) S 4107 4110 31415 0 -1 4202560 917 0 0 0 143 20 0 0 20 0 22 0 105425451 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617945242536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4121] ppid=4107 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/4110/task/4121/stat : 4121 (java) S 4107 4110 31415 0 -1 4202560 2780 0 0 0 155 5 0 0 20 0 22 0 105425452 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617933043944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4122] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4122/stat : 4122 (java) S 4107 4110 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617931990008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4123] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4123/stat : 4123 (java) S 4107 4110 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617930937608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4124] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4124/stat : 4124 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617929886096 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4125] ppid=4107 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/4110/task/4125/stat : 4125 (java) S 4107 4110 31415 0 -1 4202560 7376 0 0 0 133 2 0 0 20 0 22 0 105425454 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617928833720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4126] ppid=4107 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/4110/task/4126/stat : 4126 (java) S 4107 4110 31415 0 -1 4202560 9339 0 0 0 137 2 0 0 20 0 22 0 105425454 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617927780920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4127] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4127/stat : 4127 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617926728824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4128] ppid=4107 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/4110/task/4128/stat : 4128 (java) S 4107 4110 31415 0 -1 4202560 47 0 0 0 11 16 0 0 20 0 22 0 105425454 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617925676232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4129] ppid=4107 vsize=9824732 CPUtime=814.01 cores=1,3,5,7
/proc/4110/task/4129/stat : 4129 (java) R 4107 4110 31415 0 -1 4202560 1344 0 0 0 81360 41 0 0 20 0 22 0 105425551 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617924619472 140617982105646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4130] ppid=4107 vsize=9824732 CPUtime=814.15 cores=1,3,5,7
/proc/4110/task/4130/stat : 4130 (java) R 4107 4110 31415 0 -1 4202560 532 0 0 0 81390 25 0 0 20 0 22 0 105425551 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617923565648 140617982105491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4131] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4131/stat : 4131 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425554 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617922516136 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4132] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4132/stat : 4132 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425555 10060525568 908897 33554432000 1073741824 1073778376 140734980030832 140617921463336 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1650.14
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.27 4.22 4.15 5/219 4235
/proc/meminfo: memFree=24957896/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9824732 CPUtime=1770.58 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 32773 0 1 0 176839 219 0 0 20 0 22 0 105425449 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2456183 924271 2298 9 0 2446860 0
[pid=4110/tid=4111] ppid=4107 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) S 4107 4110 31415 0 -1 4202560 2547 0 1 0 96 4 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140618109027192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4113] ppid=4107 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/4110/task/4113/stat : 4113 (java) S 4107 4110 31415 0 -1 4202560 624 0 0 0 142 20 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617952610600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4114] ppid=4107 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/4110/task/4114/stat : 4114 (java) S 4107 4110 31415 0 -1 4202560 886 0 0 0 136 17 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617951557800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4115] ppid=4107 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/4110/task/4115/stat : 4115 (java) S 4107 4110 31415 0 -1 4202560 804 0 0 0 161 20 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617950505512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4116] ppid=4107 vsize=9824732 CPUtime=1.53 cores=1,3,5,7
/proc/4110/task/4116/stat : 4116 (java) S 4107 4110 31415 0 -1 4202560 658 0 0 0 136 17 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617949452712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4117] ppid=4107 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/4110/task/4117/stat : 4117 (java) S 4107 4110 31415 0 -1 4202560 1761 0 0 0 154 19 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617948400424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4118] ppid=4107 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/4110/task/4118/stat : 4118 (java) S 4107 4110 31415 0 -1 4202560 866 0 0 0 142 15 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617947347624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4119] ppid=4107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/4110/task/4119/stat : 4119 (java) S 4107 4110 31415 0 -1 4202560 997 0 0 0 155 20 0 0 20 0 22 0 105425450 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617946295336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4120] ppid=4107 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/4110/task/4120/stat : 4120 (java) S 4107 4110 31415 0 -1 4202560 932 0 0 0 157 21 0 0 20 0 22 0 105425451 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617945242536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4121] ppid=4107 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/4110/task/4121/stat : 4121 (java) S 4107 4110 31415 0 -1 4202560 2788 0 0 0 155 6 0 0 20 0 22 0 105425452 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617933043944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4122] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4122/stat : 4122 (java) S 4107 4110 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617931990008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4123] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4123/stat : 4123 (java) S 4107 4110 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617930937608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4124] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4124/stat : 4124 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617929886096 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4125] ppid=4107 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/4110/task/4125/stat : 4125 (java) S 4107 4110 31415 0 -1 4202560 7376 0 0 0 133 2 0 0 20 0 22 0 105425454 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617928833720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4126] ppid=4107 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/4110/task/4126/stat : 4126 (java) S 4107 4110 31415 0 -1 4202560 9339 0 0 0 137 2 0 0 20 0 22 0 105425454 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617927780920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4127] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4127/stat : 4127 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617926728824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4128] ppid=4107 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/4110/task/4128/stat : 4128 (java) S 4107 4110 31415 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 105425454 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617925676232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4129] ppid=4107 vsize=9824732 CPUtime=873.58 cores=1,3,5,7
/proc/4110/task/4129/stat : 4129 (java) R 4107 4110 31415 0 -1 4202560 1345 0 0 0 87316 42 0 0 20 0 22 0 105425551 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617924618608 140617982326941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4130] ppid=4107 vsize=9824732 CPUtime=873.68 cores=1,3,5,7
/proc/4110/task/4130/stat : 4130 (java) R 4107 4110 31415 0 -1 4202560 536 0 0 0 87342 26 0 0 20 0 22 0 105425551 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617923566576 140617982316601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4131] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4131/stat : 4131 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425554 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617922516136 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4132] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4132/stat : 4132 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425555 10060525568 924271 33554432000 1073741824 1073778376 140734980030832 140617921463336 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1770.58
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.001 s]
/proc/loadavg: 4.21 4.21 4.15 5/219 4236
/proc/meminfo: memFree=24912516/32872528 swapFree=14448/1543360
[pid=4110] ppid=4107 vsize=9824732 CPUtime=1800.1 cores=1,3,5,7
/proc/4110/stat : 4110 (java) S 4107 4110 31415 0 -1 4202496 32841 0 1 0 179787 223 0 0 20 0 22 0 105425449 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140734980021968 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4110/statm: 2456183 934518 2298 9 0 2446860 0
[pid=4110/tid=4111] ppid=4107 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/4110/task/4111/stat : 4111 (java) S 4107 4110 31415 0 -1 4202560 2547 0 1 0 96 4 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140618109027192 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4113] ppid=4107 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/4110/task/4113/stat : 4113 (java) S 4107 4110 31415 0 -1 4202560 640 0 0 0 145 21 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617952610600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4114] ppid=4107 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/4110/task/4114/stat : 4114 (java) S 4107 4110 31415 0 -1 4202560 888 0 0 0 138 17 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617951557800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4115] ppid=4107 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/4110/task/4115/stat : 4115 (java) S 4107 4110 31415 0 -1 4202560 822 0 0 0 167 21 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617950505512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4116] ppid=4107 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/4110/task/4116/stat : 4116 (java) S 4107 4110 31415 0 -1 4202560 668 0 0 0 139 17 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617949452712 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4117] ppid=4107 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/4110/task/4117/stat : 4117 (java) S 4107 4110 31415 0 -1 4202560 1763 0 0 0 159 19 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617948400424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4118] ppid=4107 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/4110/task/4118/stat : 4118 (java) S 4107 4110 31415 0 -1 4202560 869 0 0 0 145 15 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617947347624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4119] ppid=4107 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/4110/task/4119/stat : 4119 (java) S 4107 4110 31415 0 -1 4202560 1004 0 0 0 157 20 0 0 20 0 22 0 105425450 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617946295336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4120] ppid=4107 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/4110/task/4120/stat : 4120 (java) S 4107 4110 31415 0 -1 4202560 935 0 0 0 159 21 0 0 20 0 22 0 105425451 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617945242536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4121] ppid=4107 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
/proc/4110/task/4121/stat : 4121 (java) S 4107 4110 31415 0 -1 4202560 2794 0 0 0 155 6 0 0 20 0 22 0 105425452 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617933043944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4122] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4122/stat : 4122 (java) S 4107 4110 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617931990008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4123] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4123/stat : 4123 (java) S 4107 4110 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105425452 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617930937608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4124] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4124/stat : 4124 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617929886096 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4125] ppid=4107 vsize=9824732 CPUtime=1.35 cores=1,3,5,7
/proc/4110/task/4125/stat : 4125 (java) S 4107 4110 31415 0 -1 4202560 7376 0 0 0 133 2 0 0 20 0 22 0 105425454 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617928833720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4126] ppid=4107 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/4110/task/4126/stat : 4126 (java) S 4107 4110 31415 0 -1 4202560 9339 0 0 0 137 2 0 0 20 0 22 0 105425454 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617927780920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4110/tid=4127] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4127/stat : 4127 (java) S 4107 4110 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105425454 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617926728824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4128] ppid=4107 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/4110/task/4128/stat : 4128 (java) S 4107 4110 31415 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 105425454 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617925676232 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4129] ppid=4107 vsize=9824732 CPUtime=888.16 cores=1,3,5,7
/proc/4110/task/4129/stat : 4129 (java) R 4107 4110 31415 0 -1 4202560 1345 0 0 0 88774 42 0 0 20 0 22 0 105425551 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617924618608 140617982105444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4110/tid=4130] ppid=4107 vsize=9824732 CPUtime=888.26 cores=1,3,5,7
/proc/4110/task/4130/stat : 4130 (java) R 4107 4110 31415 0 -1 4202560 537 0 0 0 88800 26 0 0 20 0 22 0 105425551 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617923566576 140617982105491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4110/tid=4131] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4131/stat : 4131 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425554 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617922516136 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4110/tid=4132] ppid=4107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4110/task/4132/stat : 4132 (java) S 4107 4110 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105425555 10060525568 934518 33554432000 1073741824 1073778376 140734980030832 140617921463336 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 4110 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4110 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=318374
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=660595
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 897.028
CPU time (s): 1800.1
CPU user time (s): 1797.87
CPU system time (s): 2.23
CPU usage (%): 200.674
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.32
system time used= 2.66059
maximum resident set size= 3738188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32872
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23196
involuntary context switches= 26966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68413 second user time and 7.34288 second system time
The end