runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688392-1337877140/watcher-3688392-1337877140 -o /tmp/evaluation-result-3688392-1337877140/solver-3688392-1337877140 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688392-1337877140.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.71 3.80 3.77 4/198 25605
/proc/meminfo: memFree=25786412/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/25605/stat : 25605 (java) R 25603 25605 24080 0 -1 4202496 103 0 0 0 0 0 0 0 20 0 1 0 253838346 5767168 55 33554432000 1073741824 1073778376 140734638424240 140734638421368 209874677031 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25605/statm: 1408 58 46 9 0 30 0
[startup+0.098473 s]
/proc/loadavg: 3.71 3.80 3.77 4/198 25605
/proc/meminfo: memFree=25786412/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 4307 0 1 0 7 2 0 0 20 0 18 0 253838346 9787813888 4994 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2389603 4994 2107 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.100265 s]
/proc/loadavg: 3.71 3.80 3.77 4/198 25605
/proc/meminfo: memFree=25786412/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 4325 0 1 0 7 2 0 0 20 0 18 0 253838346 9787813888 5012 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2389603 5012 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300251 s]
/proc/loadavg: 3.71 3.80 3.77 4/198 25605
/proc/meminfo: memFree=25786412/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 5883 0 1 0 45 2 0 0 20 0 18 0 253838346 9787813888 8046 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2389603 8046 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700275 s]
/proc/loadavg: 3.71 3.80 3.77 4/198 25605
/proc/meminfo: memFree=25786412/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 20493 0 1 0 142 8 0 0 20 0 19 0 253838346 10060460032 22076 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2456167 22076 2246 9 0 2446860 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9824668
[startup+1.50066 s]
/proc/loadavg: 3.71 3.80 3.77 4/218 25630
/proc/meminfo: memFree=25699512/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9824668 CPUtime=1.94 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 20975 0 1 0 182 12 0 0 20 0 19 0 253838346 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2456167 24691 2252 9 0 2446860 0
[pid=25605/tid=25607] ppid=25603 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/25605/task/25607/stat : 25607 (java) S 25603 25605 24080 0 -1 4202560 2553 0 1 0 35 2 0 0 20 0 19 0 253838347 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427506033656 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25608] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25608/stat : 25608 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427349932456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25609] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25609/stat : 25609 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427348879912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25610] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25610/stat : 25610 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427347826856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25611] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25611/stat : 25611 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427346774312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25612] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25612/stat : 25612 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427345722280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25613] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25613/stat : 25613 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427344669736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25614] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25614/stat : 25614 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427343616680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25615] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25615/stat : 25615 (java) S 25603 25605 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427342564136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25616] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25616/stat : 25616 (java) S 25603 25605 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253838350 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427330152808 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25617] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25617/stat : 25617 (java) S 25603 25605 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253838350 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427329099128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25618] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25618/stat : 25618 (java) S 25603 25605 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253838350 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427328045960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25619] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25619/stat : 25619 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838352 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427326994704 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25620] ppid=25603 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/25605/task/25620/stat : 25620 (java) S 25603 25605 24080 0 -1 4202560 8506 0 0 0 59 2 0 0 20 0 19 0 253838352 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427325942584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25621] ppid=25603 vsize=9824668 CPUtime=0.6 cores=1,3,5,7
/proc/25605/task/25621/stat : 25621 (java) S 25603 25605 24080 0 -1 4202560 8582 0 0 0 57 3 0 0 20 0 19 0 253838352 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427324890040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25622] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25622/stat : 25622 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838352 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427323837176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25623] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25623/stat : 25623 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838353 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427322784840 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25626] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25626/stat : 25626 (java) S 25603 25605 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253838388 10060460032 24691 33554432000 1073741824 1073778376 140733927554848 140427316618024 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9824668
[startup+3.10075 s]
/proc/loadavg: 3.71 3.80 3.77 3/217 25636
/proc/meminfo: memFree=25690444/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9824668 CPUtime=4.23 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 21804 0 1 0 408 15 0 0 20 0 19 0 253838346 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2456167 32164 2260 9 0 2446860 0
[pid=25605/tid=25607] ppid=25603 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/25605/task/25607/stat : 25607 (java) S 25603 25605 24080 0 -1 4202560 2555 0 1 0 36 2 0 0 20 0 19 0 253838347 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427506033656 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25608] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25608/stat : 25608 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427349932456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25609] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25609/stat : 25609 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427348879912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25610] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25610/stat : 25610 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427347826856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25611] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25611/stat : 25611 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427346774312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25612] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25612/stat : 25612 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427345722280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25613] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25613/stat : 25613 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427344669736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25614] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25614/stat : 25614 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427343616680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25615] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25615/stat : 25615 (java) S 25603 25605 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253838348 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427342564136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25616] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25616/stat : 25616 (java) S 25603 25605 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253838350 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427330152808 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25617] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25617/stat : 25617 (java) S 25603 25605 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253838350 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427329099128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25618] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25618/stat : 25618 (java) S 25603 25605 24080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253838350 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427328045960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25619] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25619/stat : 25619 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838352 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427326994704 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25620] ppid=25603 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/25605/task/25620/stat : 25620 (java) S 25603 25605 24080 0 -1 4202560 9143 0 0 0 109 3 0 0 20 0 19 0 253838352 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427325942584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25621] ppid=25603 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/25605/task/25621/stat : 25621 (java) S 25603 25605 24080 0 -1 4202560 8712 0 0 0 101 3 0 0 20 0 19 0 253838352 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427324890040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25622] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25622/stat : 25622 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838352 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427323837176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25623] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25623/stat : 25623 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253838353 10060460032 32164 33554432000 1073741824 1073778376 140733927554848 140427322784840 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9824668
[startup+6.30059 s]
/proc/loadavg: 3.73 3.81 3.77 3/217 25642
/proc/meminfo: memFree=25602932/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9824668 CPUtime=9.87 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 22510 0 1 0 967 20 0 0 20 0 22 0 253838346 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2456167 49033 2285 9 0 2446860 0
[pid=25605/tid=25607] ppid=25603 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/25605/task/25607/stat : 25607 (java) S 25603 25605 24080 0 -1 4202560 2557 0 1 0 37 2 0 0 20 0 22 0 253838347 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427506033656 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25608] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25608/stat : 25608 (java) S 25603 25605 24080 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427349932456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25609] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25609/stat : 25609 (java) S 25603 25605 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427348879912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25610] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25610/stat : 25610 (java) S 25603 25605 24080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427347826856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25611] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25611/stat : 25611 (java) S 25603 25605 24080 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427346774312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25612] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25612/stat : 25612 (java) S 25603 25605 24080 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427345722280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25613] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25613/stat : 25613 (java) S 25603 25605 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427344669736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25614] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25614/stat : 25614 (java) S 25603 25605 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427343616680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25615] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25615/stat : 25615 (java) S 25603 25605 24080 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253838348 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427342564136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25616] ppid=25603 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25605/task/25616/stat : 25616 (java) S 25603 25605 24080 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 22 0 253838350 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427330152808 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25617] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25617/stat : 25617 (java) S 25603 25605 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427329099128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25618] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25618/stat : 25618 (java) S 25603 25605 24080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427328045960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25619] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25619/stat : 25619 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427326994704 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25620] ppid=25603 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/25605/task/25620/stat : 25620 (java) S 25603 25605 24080 0 -1 4202560 9160 0 0 0 119 3 0 0 20 0 22 0 253838352 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427325942584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25621] ppid=25603 vsize=9824668 CPUtime=1.19 cores=1,3,5,7
/proc/25605/task/25621/stat : 25621 (java) S 25603 25605 24080 0 -1 4202560 9274 0 0 0 116 3 0 0 20 0 22 0 253838352 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427324890040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25622] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25622/stat : 25622 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427323837176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25623] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25623/stat : 25623 (java) S 25603 25605 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253838353 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427322784840 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25642] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25642/stat : 25642 (java) S 25603 25605 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253838689 10060460032 49033 33554432000 1073741824 1073778376 140733927554848 140427320316712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (KiB) 9824668
[startup+12.7008 s]
/proc/loadavg: 3.83 3.83 3.78 5/220 25645
/proc/meminfo: memFree=25574028/32873844 swapFree=7616/7616
################
# More data... #
################
[pid=25605/tid=25611] ppid=25603 vsize=9824668 CPUtime=4.12 cores=1,3,5,7
/proc/25605/task/25611/stat : 25611 (java) S 25603 25605 24080 0 -1 4202560 947 0 0 0 403 9 0 0 20 0 22 0 253838348 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427346774312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25612] ppid=25603 vsize=9824668 CPUtime=4.05 cores=1,3,5,7
/proc/25605/task/25612/stat : 25612 (java) S 25603 25605 24080 0 -1 4202560 832 0 0 0 397 8 0 0 20 0 22 0 253838348 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427345722280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25613] ppid=25603 vsize=9824668 CPUtime=3.81 cores=1,3,5,7
/proc/25605/task/25613/stat : 25613 (java) S 25603 25605 24080 0 -1 4202560 724 0 0 0 372 9 0 0 20 0 22 0 253838348 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427344669736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25614] ppid=25603 vsize=9824668 CPUtime=3.82 cores=1,3,5,7
/proc/25605/task/25614/stat : 25614 (java) S 25603 25605 24080 0 -1 4202560 1271 0 0 0 372 10 0 0 20 0 22 0 253838348 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427343616680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25615] ppid=25603 vsize=9824668 CPUtime=3.87 cores=1,3,5,7
/proc/25605/task/25615/stat : 25615 (java) S 25603 25605 24080 0 -1 4202560 1235 0 0 0 378 9 0 0 20 0 22 0 253838348 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427342564136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25616] ppid=25603 vsize=9824668 CPUtime=125.39 cores=1,3,5,7
/proc/25605/task/25616/stat : 25616 (java) S 25603 25605 24080 0 -1 4202560 4398 0 0 0 12509 30 0 0 20 0 22 0 253838350 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427330152808 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25617] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25617/stat : 25617 (java) S 25603 25605 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427329099128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25618] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25618/stat : 25618 (java) S 25603 25605 24080 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427328045960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25619] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25619/stat : 25619 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427326994704 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25620] ppid=25603 vsize=9824668 CPUtime=1.88 cores=1,3,5,7
/proc/25605/task/25620/stat : 25620 (java) S 25603 25605 24080 0 -1 4202560 9251 0 0 0 185 3 0 0 20 0 22 0 253838352 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427325942584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25621] ppid=25603 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/25605/task/25621/stat : 25621 (java) S 25603 25605 24080 0 -1 4202560 9283 0 0 0 127 3 0 0 20 0 22 0 253838352 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427324890040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25622] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25622/stat : 25622 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427323837176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25623] ppid=25603 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/25605/task/25623/stat : 25623 (java) S 25603 25605 24080 0 -1 4202560 52 0 0 0 18 19 0 0 20 0 22 0 253838353 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427322784840 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25645] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25645/stat : 25645 (java) S 25603 25605 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253838889 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427319264936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25652] ppid=25603 vsize=9824668 CPUtime=646.26 cores=1,3,5,7
/proc/25605/task/25652/stat : 25652 (java) R 25603 25605 24080 0 -1 4202560 83 0 0 0 64616 10 0 0 20 0 22 0 253849712 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427316616224 140427446689243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25653] ppid=25603 vsize=9824668 CPUtime=646.26 cores=1,3,5,7
/proc/25605/task/25653/stat : 25653 (java) R 25603 25605 24080 0 -1 4202560 97 0 0 0 64615 11 0 0 20 0 22 0 253849712 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427315564208 140427446844222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25654] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25654/stat : 25654 (java) S 25603 25605 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253849713 10060460032 460028 33554432000 1073741824 1073778376 140733927554848 140427320317224 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1649.96
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.85 3.86 3.80 5/219 25734
/proc/meminfo: memFree=25075528/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9824668 CPUtime=1762.76 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 35551 0 1 0 176125 151 0 0 20 0 22 0 253838346 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2456167 478693 2287 9 0 2446860 0
[pid=25605/tid=25607] ppid=25603 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/25605/task/25607/stat : 25607 (java) S 25603 25605 24080 0 -1 4202560 2618 0 1 0 40 4 0 0 20 0 22 0 253838347 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427506033656 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25608] ppid=25603 vsize=9824668 CPUtime=4.4 cores=1,3,5,7
/proc/25605/task/25608/stat : 25608 (java) S 25603 25605 24080 0 -1 4202560 1049 0 0 0 431 9 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427349932456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25609] ppid=25603 vsize=9824668 CPUtime=4.41 cores=1,3,5,7
/proc/25605/task/25609/stat : 25609 (java) S 25603 25605 24080 0 -1 4202560 482 0 0 0 433 8 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427348879912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25610] ppid=25603 vsize=9824668 CPUtime=4.22 cores=1,3,5,7
/proc/25605/task/25610/stat : 25610 (java) S 25603 25605 24080 0 -1 4202560 636 0 0 0 415 7 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427347826856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25611] ppid=25603 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/25605/task/25611/stat : 25611 (java) S 25603 25605 24080 0 -1 4202560 951 0 0 0 452 9 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427346774312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25612] ppid=25603 vsize=9824668 CPUtime=4.52 cores=1,3,5,7
/proc/25605/task/25612/stat : 25612 (java) S 25603 25605 24080 0 -1 4202560 884 0 0 0 444 8 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427345722280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25613] ppid=25603 vsize=9824668 CPUtime=4.43 cores=1,3,5,7
/proc/25605/task/25613/stat : 25613 (java) S 25603 25605 24080 0 -1 4202560 763 0 0 0 434 9 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427344669736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25614] ppid=25603 vsize=9824668 CPUtime=4.3 cores=1,3,5,7
/proc/25605/task/25614/stat : 25614 (java) S 25603 25605 24080 0 -1 4202560 1314 0 0 0 420 10 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427343616680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25615] ppid=25603 vsize=9824668 CPUtime=4.41 cores=1,3,5,7
/proc/25605/task/25615/stat : 25615 (java) S 25603 25605 24080 0 -1 4202560 1238 0 0 0 432 9 0 0 20 0 22 0 253838348 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427342564136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25616] ppid=25603 vsize=9824668 CPUtime=134.48 cores=1,3,5,7
/proc/25605/task/25616/stat : 25616 (java) S 25603 25605 24080 0 -1 4202560 4516 0 0 0 13415 33 0 0 20 0 22 0 253838350 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427330152808 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25617] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25617/stat : 25617 (java) S 25603 25605 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427329099128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25618] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25618/stat : 25618 (java) S 25603 25605 24080 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427328045960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25619] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25619/stat : 25619 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427326994704 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25620] ppid=25603 vsize=9824668 CPUtime=1.88 cores=1,3,5,7
/proc/25605/task/25620/stat : 25620 (java) S 25603 25605 24080 0 -1 4202560 9251 0 0 0 185 3 0 0 20 0 22 0 253838352 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427325942584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25621] ppid=25603 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/25605/task/25621/stat : 25621 (java) S 25603 25605 24080 0 -1 4202560 9283 0 0 0 127 3 0 0 20 0 22 0 253838352 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427324890040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25622] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25622/stat : 25622 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427323837176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25623] ppid=25603 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/25605/task/25623/stat : 25623 (java) S 25603 25605 24080 0 -1 4202560 56 0 0 0 20 20 0 0 20 0 22 0 253838353 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427322784840 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25645] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25645/stat : 25645 (java) S 25603 25605 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253838889 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427319264936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25652] ppid=25603 vsize=9824668 CPUtime=695.96 cores=1,3,5,7
/proc/25605/task/25652/stat : 25652 (java) R 25603 25605 24080 0 -1 4202560 92 0 0 0 69585 11 0 0 20 0 22 0 253849712 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427316617136 140427446500596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25653] ppid=25603 vsize=9824668 CPUtime=695.94 cores=1,3,5,7
/proc/25605/task/25653/stat : 25653 (java) R 25603 25605 24080 0 -1 4202560 109 0 0 0 69582 12 0 0 20 0 22 0 253849712 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427315563760 140427446755843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25654] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25654/stat : 25654 (java) S 25603 25605 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253849713 10060460032 478693 33554432000 1073741824 1073778376 140733927554848 140427320317224 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.76
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+961.801 s]
/proc/loadavg: 3.82 3.85 3.80 5/219 25734
/proc/meminfo: memFree=25063240/32873844 swapFree=7616/7616
[pid=25605] ppid=25603 vsize=9824668 CPUtime=1799.84 cores=1,3,5,7
/proc/25605/stat : 25605 (java) S 25603 25605 24080 0 -1 4202496 35626 0 1 0 179831 153 0 0 20 0 22 0 253838346 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140733927545984 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25605/statm: 2456167 481797 2287 9 0 2446860 0
[pid=25605/tid=25607] ppid=25603 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/25605/task/25607/stat : 25607 (java) S 25603 25605 24080 0 -1 4202560 2619 0 1 0 40 4 0 0 20 0 22 0 253838347 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427506033656 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25608] ppid=25603 vsize=9824668 CPUtime=4.58 cores=1,3,5,7
/proc/25605/task/25608/stat : 25608 (java) S 25603 25605 24080 0 -1 4202560 1059 0 0 0 449 9 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427349932456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25609] ppid=25603 vsize=9824668 CPUtime=4.52 cores=1,3,5,7
/proc/25605/task/25609/stat : 25609 (java) S 25603 25605 24080 0 -1 4202560 482 0 0 0 444 8 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427348879912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25610] ppid=25603 vsize=9824668 CPUtime=4.44 cores=1,3,5,7
/proc/25605/task/25610/stat : 25610 (java) S 25603 25605 24080 0 -1 4202560 651 0 0 0 437 7 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427347826856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25611] ppid=25603 vsize=9824668 CPUtime=4.79 cores=1,3,5,7
/proc/25605/task/25611/stat : 25611 (java) S 25603 25605 24080 0 -1 4202560 952 0 0 0 469 10 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427346774312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25612] ppid=25603 vsize=9824668 CPUtime=4.65 cores=1,3,5,7
/proc/25605/task/25612/stat : 25612 (java) S 25603 25605 24080 0 -1 4202560 884 0 0 0 457 8 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427345722280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25605/tid=25613] ppid=25603 vsize=9824668 CPUtime=4.62 cores=1,3,5,7
/proc/25605/task/25613/stat : 25613 (java) S 25603 25605 24080 0 -1 4202560 764 0 0 0 453 9 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427344669736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25614] ppid=25603 vsize=9824668 CPUtime=4.41 cores=1,3,5,7
/proc/25605/task/25614/stat : 25614 (java) S 25603 25605 24080 0 -1 4202560 1318 0 0 0 431 10 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427343616680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25615] ppid=25603 vsize=9824668 CPUtime=4.59 cores=1,3,5,7
/proc/25605/task/25615/stat : 25615 (java) S 25603 25605 24080 0 -1 4202560 1239 0 0 0 450 9 0 0 20 0 22 0 253838348 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427342564136 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25616] ppid=25603 vsize=9824668 CPUtime=137.04 cores=1,3,5,7
/proc/25605/task/25616/stat : 25616 (java) S 25603 25605 24080 0 -1 4202560 4553 0 0 0 13670 34 0 0 20 0 22 0 253838350 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427330152808 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25617] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25617/stat : 25617 (java) S 25603 25605 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427329099128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25618] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25618/stat : 25618 (java) S 25603 25605 24080 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253838350 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427328045960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25619] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25619/stat : 25619 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427326994704 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25620] ppid=25603 vsize=9824668 CPUtime=1.88 cores=1,3,5,7
/proc/25605/task/25620/stat : 25620 (java) S 25603 25605 24080 0 -1 4202560 9251 0 0 0 185 3 0 0 20 0 22 0 253838352 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427325942584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25621] ppid=25603 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/25605/task/25621/stat : 25621 (java) S 25603 25605 24080 0 -1 4202560 9283 0 0 0 127 3 0 0 20 0 22 0 253838352 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427324890040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25622] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25622/stat : 25622 (java) S 25603 25605 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253838352 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427323837176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25623] ppid=25603 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/25605/task/25623/stat : 25623 (java) S 25603 25605 24080 0 -1 4202560 56 0 0 0 20 21 0 0 20 0 22 0 253838353 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427322784840 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25605/tid=25645] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25645/stat : 25645 (java) S 25603 25605 24080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253838889 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427319264936 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25652] ppid=25603 vsize=9824668 CPUtime=712.53 cores=1,3,5,7
/proc/25605/task/25652/stat : 25652 (java) R 25603 25605 24080 0 -1 4202560 93 0 0 0 71242 11 0 0 20 0 22 0 253849712 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427316617136 140427446443054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25605/tid=25653] ppid=25603 vsize=9824668 CPUtime=712.51 cores=1,3,5,7
/proc/25605/task/25653/stat : 25653 (java) R 25603 25605 24080 0 -1 4202560 113 0 0 0 71239 12 0 0 20 0 22 0 253849712 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427315565712 140427446474936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25605/tid=25654] ppid=25603 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25605/task/25654/stat : 25654 (java) S 25603 25605 24080 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253849713 10060460032 481797 33554432000 1073741824 1073778376 140733927554848 140427320317224 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25605 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=349217
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=921707
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1799.84
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.169998
# lost CPU user time (s): 0.220013
# lost CPU system time (s): -0.05
Real time (s): 961.852
CPU time (s): 1800.01
CPU user time (s): 1798.53
CPU system time (s): 1.48
CPU usage (%): 187.14
Max. virtual memory (cumulated for all children) (KiB): 9825256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 1.92171
maximum resident set size= 1927308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35659
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30823
involuntary context switches= 63591
runsolver used 3.38049 second user time and 9.80551 second system time
The end