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-4106791-1466277549/watcher-4106791-1466277549 -o /tmp/evaluation-result-4106791-1466277549/solver-4106791-1466277549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466276650-24418 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106791-1466277549.opb
pid=24691
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: 4.12 3.98 3.25 4/195 24694
/proc/meminfo: memFree=27422720/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24694/stat : 24694 (java) D 24691 24694 24401 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 29805055 9515008 184 33554432000 1073741824 1073778376 140734321537280 140734321528504 235374538167 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/24694/statm: 2323 184 142 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 4.12 3.98 3.25 4/195 24694
/proc/meminfo: memFree=27422720/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 4480 0 1 0 8 1 0 0 20 0 18 0 29805055 9787879424 5596 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2389619 5596 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200228 s]
/proc/loadavg: 4.12 3.98 3.25 4/195 24694
/proc/meminfo: memFree=27422720/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 4650 0 1 0 20 1 0 0 20 0 18 0 29805055 9787879424 6760 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2389619 6760 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.30025 s]
/proc/loadavg: 4.12 3.98 3.25 4/195 24694
/proc/meminfo: memFree=27422720/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9825028 CPUtime=0.47 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 6267 0 1 0 45 2 0 0 20 0 22 0 29805055 10060828672 9427 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2456257 9430 2237 9 0 2446934 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9825028
[startup+0.700273 s]
/proc/loadavg: 4.12 3.98 3.25 4/195 24694
/proc/meminfo: memFree=27422720/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 10600 0 1 0 78 4 0 0 20 0 19 0 29805055 10060525568 11916 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2456183 11916 2249 9 0 2446860 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 9824732
[startup+1.50073 s]
/proc/loadavg: 4.12 3.98 3.25 3/214 24719
/proc/meminfo: memFree=27376772/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 10659 0 1 0 94 6 0 0 20 0 19 0 29805055 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2456183 14515 2253 9 0 2446860 0
[pid=24694/tid=24696] ppid=24691 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24694 24401 0 -1 4202560 2476 0 1 0 23 0 0 0 20 0 19 0 29805056 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255776912248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255715641640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24698] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255619135656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24699] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255618083368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24700] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255617030568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24701] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255615978280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24702] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255614925480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255613873192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24694 24401 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255612820392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24705] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29805058 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255600621800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24706] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24694 24401 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29805059 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255599567864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24707] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24694 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29805059 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255598515464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24708] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805061 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255597463952 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24709] ppid=24691 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24694 24401 0 -1 4202560 4057 0 0 0 21 0 0 0 20 0 19 0 29805061 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255596411576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24710] ppid=24691 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24694 24401 0 -1 4202560 2775 0 0 0 25 0 0 0 20 0 19 0 29805061 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255595358776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24711] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805061 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255594306680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24712] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805061 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255593254088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24716] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24716/stat : 24716 (java) S 24691 24694 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29805082 10060525568 14515 33554432000 1073741824 1073778376 140733358498480 140255589041192 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 9824732
[startup+3.10084 s]
/proc/loadavg: 4.12 3.98 3.25 4/214 24725
/proc/meminfo: memFree=27365896/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 14472 0 1 0 122 9 0 0 20 0 19 0 29805055 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2456183 19203 2256 9 0 2446860 0
[pid=24694/tid=24696] ppid=24691 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24694 24401 0 -1 4202560 2477 0 1 0 23 0 0 0 20 0 19 0 29805056 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255776912248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255715641640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24698] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255619135656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24699] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255618083368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24700] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255617030568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24701] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255615978280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24702] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255614925480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255613873192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24704] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24694 24401 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29805057 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255612820392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24705] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29805058 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255600621800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24706] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24694 24401 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29805059 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255599567864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24707] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24694 24401 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29805059 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255598515464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24708] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805061 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255597463952 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24709] ppid=24691 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24694 24401 0 -1 4202560 7819 0 0 0 39 1 0 0 20 0 19 0 29805061 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255596411576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24710] ppid=24691 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24694 24401 0 -1 4202560 2794 0 0 0 31 0 0 0 20 0 19 0 29805061 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255595358776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24711] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805061 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255594306680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24712] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29805061 10060525568 19203 33554432000 1073741824 1073778376 140733358498480 140255593254088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30087 s]
/proc/loadavg: 4.11 3.98 3.26 3/213 24821
/proc/meminfo: memFree=30955272/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9824732 CPUtime=6.67 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 31042 0 1 0 642 25 0 0 20 0 22 0 29805055 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2456183 83549 2285 9 0 2446860 0
[pid=24694/tid=24696] ppid=24691 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24694 24401 0 -1 4202560 2478 0 1 0 24 0 0 0 20 0 22 0 29805056 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255776912248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24694 24401 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255715641640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24698] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24694 24401 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255619135656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24699] ppid=24691 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24694 24401 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255618083368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24700] ppid=24691 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24694 24401 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255617030568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24701] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24694 24401 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255615978280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24702] ppid=24691 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24694 24401 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255614925480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24703] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24694 24401 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255613873192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24704] ppid=24691 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24694 24401 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 29805057 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255612820392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24705] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24694 24401 0 -1 4202560 187 0 0 0 0 0 0 0 20 0 22 0 29805058 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255600621800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24706] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24694 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255599567864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24707] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24694 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255598515464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24708] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255597463952 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24709] ppid=24691 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24694 24401 0 -1 4202560 13858 0 0 0 102 3 0 0 20 0 22 0 29805061 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255596411576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24691 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24694 24401 0 -1 4202560 12904 0 0 0 123 3 0 0 20 0 22 0 29805061 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255595358776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24711] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255594306680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24712] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255593254088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24731] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24731/stat : 24731 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805332 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255590093992 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24816] ppid=24691 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/24694/task/24816/stat : 24816 (java) R 24691 24694 24401 0 -1 4202560 7 0 0 0 96 0 0 0 20 0 22 0 29805583 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255591146464 140255717219904 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24817] ppid=24691 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/24694/task/24817/stat : 24817 (java) R 24691 24694 24401 0 -1 4202560 58 0 0 0 95 2 0 0 20 0 22 0 29805583 10060525568 83549 33554432000 1073741824 1073778376 140733358498480 140255589039760 140255717176289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/24694/task/24699/stat : 24699 (java) S 24691 24694 24401 0 -1 4202560 463 0 0 0 259 7 0 0 20 0 22 0 29805057 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255618083368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24700] ppid=24691 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24694 24401 0 -1 4202560 391 0 0 0 274 8 0 0 20 0 22 0 29805057 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255617030568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24701] ppid=24691 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24694 24401 0 -1 4202560 376 0 0 0 280 6 0 0 20 0 22 0 29805057 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255615978280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24702] ppid=24691 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24694 24401 0 -1 4202560 473 0 0 0 258 7 0 0 20 0 22 0 29805057 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255614925480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24691 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24694 24401 0 -1 4202560 437 0 0 0 258 7 0 0 20 0 22 0 29805057 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255613873192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24704] ppid=24691 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24694 24401 0 -1 4202560 392 0 0 0 247 7 0 0 20 0 22 0 29805057 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255612820392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24705] ppid=24691 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24694 24401 0 -1 4202560 1403 0 0 0 120 37 0 0 20 0 22 0 29805058 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255600621800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24694 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255599567864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24694 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255598515464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255597463952 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24709] ppid=24691 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24694 24401 0 -1 4202560 13867 0 0 0 108 3 0 0 20 0 22 0 29805061 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255596411576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24691 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24694 24401 0 -1 4202560 15736 0 0 0 159 3 0 0 20 0 22 0 29805061 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255595358776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24711] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255594306680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24712] ppid=24691 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24694 24401 0 -1 4202560 52 0 0 0 14 20 0 0 20 0 22 0 29805061 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255593254088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24731] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24731/stat : 24731 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805332 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255590093992 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24832] ppid=24691 vsize=9824732 CPUtime=862.79 cores=1,3,5,7
/proc/24694/task/24832/stat : 24832 (java) R 24691 24694 24401 0 -1 4202560 115 0 0 0 86264 15 0 0 20 0 22 0 29805983 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255591145392 140255717235735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24833] ppid=24691 vsize=9824732 CPUtime=862.86 cores=1,3,5,7
/proc/24694/task/24833/stat : 24833 (java) R 24691 24694 24401 0 -1 4202560 1386 0 0 0 86242 44 0 0 20 0 22 0 29805983 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255589040616 140255717172148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24834] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24834/stat : 24834 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805986 10060525568 594218 33554432000 1073741824 1073778376 140733358498480 140255592198952 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1766.35
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.101 s]
/proc/loadavg: 4.04 4.09 3.76 5/217 24862
/proc/meminfo: memFree=26474188/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 40150 0 1 0 179831 183 0 0 20 0 22 0 29805055 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2456183 593555 2293 9 0 2446860 0
[pid=24694/tid=24696] ppid=24691 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24694 24401 0 -1 4202560 2481 0 1 0 25 4 0 0 20 0 22 0 29805056 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255776912248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24691 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24694 24401 0 -1 4202560 509 0 0 0 279 10 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255715641640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24698] ppid=24691 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24694 24401 0 -1 4202560 419 0 0 0 271 10 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255619135656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24699] ppid=24691 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24694 24401 0 -1 4202560 464 0 0 0 263 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255618083368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24700] ppid=24691 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24694 24401 0 -1 4202560 394 0 0 0 283 8 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255617030568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24701] ppid=24691 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24694 24401 0 -1 4202560 376 0 0 0 287 6 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255615978280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24702] ppid=24691 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24694 24401 0 -1 4202560 473 0 0 0 264 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255614925480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24691 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24694 24401 0 -1 4202560 440 0 0 0 264 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255613873192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24704] ppid=24691 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24694 24401 0 -1 4202560 394 0 0 0 253 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255612820392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24705] ppid=24691 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24694 24401 0 -1 4202560 1405 0 0 0 120 38 0 0 20 0 22 0 29805058 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255600621800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24694 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255599567864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24694 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255598515464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255597463952 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24709] ppid=24691 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24694 24401 0 -1 4202560 13867 0 0 0 108 3 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255596411576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24691 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24694 24401 0 -1 4202560 15736 0 0 0 159 3 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255595358776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24711] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255594306680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24712] ppid=24691 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24694 24401 0 -1 4202560 54 0 0 0 15 20 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255593254088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24731] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24731/stat : 24731 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805332 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255590093992 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24832] ppid=24691 vsize=9824732 CPUtime=879.39 cores=1,3,5,7
/proc/24694/task/24832/stat : 24832 (java) R 24691 24694 24401 0 -1 4202560 116 0 0 0 87924 15 0 0 20 0 22 0 29805983 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255591145392 140255717235772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24833] ppid=24691 vsize=9824732 CPUtime=879.45 cores=1,3,5,7
/proc/24694/task/24833/stat : 24833 (java) R 24691 24694 24401 0 -1 4202560 1393 0 0 0 87901 44 0 0 20 0 22 0 29805983 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255589040512 140255717182263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24834] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24834/stat : 24834 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805986 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255592198952 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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 24694 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+899.101 s]
/proc/loadavg: 4.04 4.09 3.76 5/217 24862
/proc/meminfo: memFree=26474188/32872528 swapFree=447868/480572
[pid=24694] ppid=24691 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/24694/stat : 24694 (java) S 24691 24694 24401 0 -1 4202496 40150 0 1 0 179831 183 0 0 20 0 22 0 29805055 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140733358489616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24694/statm: 2456183 593555 2293 9 0 2446860 0
[pid=24694/tid=24696] ppid=24691 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/24694/task/24696/stat : 24696 (java) S 24691 24694 24401 0 -1 4202560 2481 0 1 0 25 4 0 0 20 0 22 0 29805056 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255776912248 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24697] ppid=24691 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/24694/task/24697/stat : 24697 (java) S 24691 24694 24401 0 -1 4202560 509 0 0 0 279 10 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255715641640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24698] ppid=24691 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/24694/task/24698/stat : 24698 (java) S 24691 24694 24401 0 -1 4202560 419 0 0 0 271 10 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255619135656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24699] ppid=24691 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/24694/task/24699/stat : 24699 (java) S 24691 24694 24401 0 -1 4202560 464 0 0 0 263 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255618083368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24700] ppid=24691 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/24694/task/24700/stat : 24700 (java) S 24691 24694 24401 0 -1 4202560 394 0 0 0 283 8 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255617030568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24701] ppid=24691 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/24694/task/24701/stat : 24701 (java) S 24691 24694 24401 0 -1 4202560 376 0 0 0 287 6 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255615978280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24702] ppid=24691 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/24694/task/24702/stat : 24702 (java) S 24691 24694 24401 0 -1 4202560 473 0 0 0 264 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255614925480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24703] ppid=24691 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/24694/task/24703/stat : 24703 (java) S 24691 24694 24401 0 -1 4202560 440 0 0 0 264 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255613873192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24704] ppid=24691 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/24694/task/24704/stat : 24704 (java) S 24691 24694 24401 0 -1 4202560 394 0 0 0 253 7 0 0 20 0 22 0 29805057 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255612820392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24705] ppid=24691 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/24694/task/24705/stat : 24705 (java) S 24691 24694 24401 0 -1 4202560 1405 0 0 0 120 38 0 0 20 0 22 0 29805058 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255600621800 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24706] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24706/stat : 24706 (java) S 24691 24694 24401 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255599567864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24707] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24707/stat : 24707 (java) S 24691 24694 24401 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29805059 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255598515464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24708] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24708/stat : 24708 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255597463952 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24709] ppid=24691 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/24694/task/24709/stat : 24709 (java) S 24691 24694 24401 0 -1 4202560 13867 0 0 0 108 3 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255596411576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24710] ppid=24691 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/24694/task/24710/stat : 24710 (java) S 24691 24694 24401 0 -1 4202560 15736 0 0 0 159 3 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255595358776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24711] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24711/stat : 24711 (java) S 24691 24694 24401 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255594306680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24712] ppid=24691 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/24694/task/24712/stat : 24712 (java) S 24691 24694 24401 0 -1 4202560 54 0 0 0 15 20 0 0 20 0 22 0 29805061 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255593254088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24694/tid=24731] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24731/stat : 24731 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805332 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255590093992 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24694/tid=24832] ppid=24691 vsize=9824732 CPUtime=879.39 cores=1,3,5,7
/proc/24694/task/24832/stat : 24832 (java) R 24691 24694 24401 0 -1 4202560 116 0 0 0 87924 15 0 0 20 0 22 0 29805983 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255591145392 140255717235772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24694/tid=24833] ppid=24691 vsize=9824732 CPUtime=879.45 cores=1,3,5,7
/proc/24694/task/24833/stat : 24833 (java) R 24691 24694 24401 0 -1 4202560 1393 0 0 0 87901 44 0 0 20 0 22 0 29805983 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255589040512 140255717182263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24694/tid=24834] ppid=24691 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24694/task/24834/stat : 24834 (java) S 24691 24694 24401 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29805986 10060525568 593555 33554432000 1073741824 1073778376 140733358498480 140255592198952 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24694 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=918282
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=273654
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 899.154
CPU time (s): 1800.14
CPU user time (s): 1798.31
CPU system time (s): 1.83
CPU usage (%): 200.204
Max. virtual memory (cumulated for all children) (KiB): 9825028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 2.27365
maximum resident set size= 2862416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40194
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32806
involuntary context switches= 41522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65199 second user time and 6.15606 second system time
The end