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-4106158-1466269019/watcher-4106158-1466269019 -o /tmp/evaluation-result-4106158-1466269019/solver-4106158-1466269019 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106158-1466269019.opb
pid=29954
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.25 4.17 4.04 4/197 29957
/proc/meminfo: memFree=28130096/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29957/stat : 29957 (java) D 29954 29957 28285 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 28950302 9515008 176 33554432000 1073741824 1073778376 140736063386624 140736063369352 217410519952 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/29957/statm: 2323 176 133 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 4.25 4.17 4.04 4/197 29957
/proc/meminfo: memFree=28130096/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 4362 0 1 0 7 1 0 0 20 0 18 0 28950302 9787879424 5473 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2389619 5473 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200227 s]
/proc/loadavg: 4.25 4.17 4.04 4/197 29957
/proc/meminfo: memFree=28130096/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 5000 0 1 0 24 1 0 0 20 0 22 0 28950302 10060525568 8075 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 8075 2211 9 0 2446860 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9824732
[startup+0.300247 s]
/proc/loadavg: 4.25 4.17 4.04 4/197 29957
/proc/meminfo: memFree=28130096/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 7902 0 1 0 63 2 0 0 20 0 22 0 28950302 10060525568 9642 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 9642 2228 9 0 2446860 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 9824732
[startup+0.700207 s]
/proc/loadavg: 4.25 4.17 4.04 4/197 29957
/proc/meminfo: memFree=28130096/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 18719 0 1 0 220 4 0 0 20 0 22 0 28950302 10060525568 25783 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 25783 2251 9 0 2446860 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9824732
[startup+1.50094 s]
/proc/loadavg: 4.25 4.17 4.04 7/219 29979
/proc/meminfo: memFree=27947252/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 24696 0 1 0 484 8 0 0 20 0 22 0 28950302 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 49466 2275 9 0 2446860 0
[pid=29957/tid=29959] ppid=29954 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/29957/task/29959/stat : 29959 (java) S 29954 29957 28285 0 -1 4202560 2427 0 1 0 12 1 0 0 20 0 22 0 28950304 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977215619960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29960] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29960/stat : 29960 (java) S 29954 29957 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977059715496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29961] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29961/stat : 29961 (java) S 29954 29957 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977058662952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29962] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29962/stat : 29962 (java) S 29954 29957 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977057609896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29963] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29963/stat : 29963 (java) S 29954 29957 28285 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977056557352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29964] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29964/stat : 29964 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977055505320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29965] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29965/stat : 29965 (java) S 29954 29957 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977054452776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29966] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29966/stat : 29966 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977053399720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29967/stat : 29967 (java) S 29954 29957 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28950305 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977052347176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29968] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29968/stat : 29968 (java) S 29954 29957 28285 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28950306 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977039935848 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29969] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29969/stat : 29969 (java) S 29954 29957 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28950307 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977038882168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29970] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29970/stat : 29970 (java) S 29954 29957 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28950307 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977037829000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29971] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29971/stat : 29971 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28950309 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977036777744 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29972] ppid=29954 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/29957/task/29972/stat : 29972 (java) S 29954 29957 28285 0 -1 4202560 11753 0 0 0 106 2 0 0 20 0 22 0 28950309 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977035725624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29973] ppid=29954 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/29957/task/29973/stat : 29973 (java) S 29954 29957 28285 0 -1 4202560 9003 0 0 0 99 2 0 0 20 0 22 0 28950309 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977034673080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29974] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29974/stat : 29974 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28950309 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977033620216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29975] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29975/stat : 29975 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28950309 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977032567880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29976] ppid=29954 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/29957/task/29976/stat : 29976 (java) R 29954 29957 28285 0 -1 4202560 29 0 0 0 128 0 0 0 20 0 22 0 28950320 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977031412256 139977088592839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29977] ppid=29954 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/29957/task/29977/stat : 29977 (java) R 29954 29957 28285 0 -1 4202560 104 0 0 0 128 2 0 0 20 0 22 0 28950320 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977030360632 139977088560050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29978] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29978/stat : 29978 (java) S 29954 29957 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28950320 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977029309224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29979] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29979/stat : 29979 (java) S 29954 29957 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28950320 10060525568 49466 33554432000 1073741824 1073778376 140735814084544 139977028256680 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9824732
[startup+3.10086 s]
/proc/loadavg: 4.25 4.17 4.04 3/216 29979
/proc/meminfo: memFree=27882400/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=6.74 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 24909 0 1 0 661 13 0 0 20 0 21 0 28950302 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 82855 2276 9 0 2446860 0
[pid=29957/tid=29959] ppid=29954 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/29957/task/29959/stat : 29959 (java) S 29954 29957 28285 0 -1 4202560 2427 0 1 0 12 1 0 0 20 0 21 0 28950304 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977215619960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29960/stat : 29960 (java) S 29954 29957 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977059715496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29961] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29961/stat : 29961 (java) S 29954 29957 28285 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977058662952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29962] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29962/stat : 29962 (java) S 29954 29957 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977057609896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29963] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29963/stat : 29963 (java) S 29954 29957 28285 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977056557352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29964] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29964/stat : 29964 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977055505320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29965] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29965/stat : 29965 (java) S 29954 29957 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977054452776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29966] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29966/stat : 29966 (java) S 29954 29957 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977053399720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29967/stat : 29967 (java) S 29954 29957 28285 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977052347176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29968] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29968/stat : 29968 (java) S 29954 29957 28285 0 -1 4202560 186 0 0 0 0 0 0 0 20 0 21 0 28950306 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977039935848 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29969] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29969/stat : 29969 (java) S 29954 29957 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977038882168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29970] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29970/stat : 29970 (java) S 29954 29957 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977037829000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29971] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29971/stat : 29971 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977036777744 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29972] ppid=29954 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/29957/task/29972/stat : 29972 (java) S 29954 29957 28285 0 -1 4202560 11753 0 0 0 107 2 0 0 20 0 21 0 28950309 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977035725624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29973] ppid=29954 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/29957/task/29973/stat : 29973 (java) S 29954 29957 28285 0 -1 4202560 9003 0 0 0 101 2 0 0 20 0 21 0 28950309 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977034673080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29974] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29974/stat : 29974 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977033620216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29975] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29975/stat : 29975 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977032567880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29978] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29978/stat : 29978 (java) S 29954 29957 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 28950320 10060525568 82855 33554432000 1073741824 1073778376 140735814084544 139977029309224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 4.15 4.15 4.03 4/218 29982
/proc/meminfo: memFree=27558492/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=10.04 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 25773 0 1 0 985 19 0 0 20 0 21 0 28950302 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 150179 2276 9 0 2446860 0
[pid=29957/tid=29959] ppid=29954 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/29957/task/29959/stat : 29959 (java) S 29954 29957 28285 0 -1 4202560 2429 0 1 0 12 1 0 0 20 0 21 0 28950304 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977215619960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29960/stat : 29960 (java) S 29954 29957 28285 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977059715496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29961] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29961/stat : 29961 (java) S 29954 29957 28285 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977058662952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29962] ppid=29954 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29957/task/29962/stat : 29962 (java) S 29954 29957 28285 0 -1 4202560 141 0 0 0 2 0 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977057609896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29963] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29963/stat : 29963 (java) S 29954 29957 28285 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977056557352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29964] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29964/stat : 29964 (java) S 29954 29957 28285 0 -1 4202560 111 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977055505320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29965] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29965/stat : 29965 (java) S 29954 29957 28285 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977054452776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29966] ppid=29954 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29957/task/29966/stat : 29966 (java) S 29954 29957 28285 0 -1 4202560 122 0 0 0 1 0 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977053399720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29967] ppid=29954 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29957/task/29967/stat : 29967 (java) S 29954 29957 28285 0 -1 4202560 134 0 0 0 1 2 0 0 20 0 21 0 28950305 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977052347176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29968] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29968/stat : 29968 (java) S 29954 29957 28285 0 -1 4202560 437 0 0 0 0 0 0 0 20 0 21 0 28950306 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977039935848 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29969] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29969/stat : 29969 (java) S 29954 29957 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977038882168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29970] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29970/stat : 29970 (java) S 29954 29957 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977037829000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29971] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29971/stat : 29971 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977036777744 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29972] ppid=29954 vsize=9824732 CPUtime=1.12 cores=1,3,5,7
/proc/29957/task/29972/stat : 29972 (java) S 29954 29957 28285 0 -1 4202560 11753 0 0 0 110 2 0 0 20 0 21 0 28950309 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977035725624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29973] ppid=29954 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/29957/task/29973/stat : 29973 (java) S 29954 29957 28285 0 -1 4202560 9003 0 0 0 101 2 0 0 20 0 21 0 28950309 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977034673080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29974] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29974/stat : 29974 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 150179 33554432000 1073741824 1073778376 140735814084544 139977033620216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29975] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/29957/task/29959/stat : 29959 (java) S 29954 29957 28285 0 -1 4202560 2600 0 1 0 67 43 0 0 20 0 21 0 28950304 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977215620008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29954 vsize=9824732 CPUtime=6.14 cores=1,3,5,7
/proc/29957/task/29960/stat : 29960 (java) S 29954 29957 28285 0 -1 4202560 400 0 0 0 605 9 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977059715496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29961] ppid=29954 vsize=9824732 CPUtime=6 cores=1,3,5,7
/proc/29957/task/29961/stat : 29961 (java) S 29954 29957 28285 0 -1 4202560 398 0 0 0 590 10 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977058662952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29962] ppid=29954 vsize=9824732 CPUtime=6.14 cores=1,3,5,7
/proc/29957/task/29962/stat : 29962 (java) S 29954 29957 28285 0 -1 4202560 531 0 0 0 604 10 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977057609896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29963] ppid=29954 vsize=9824732 CPUtime=6.16 cores=1,3,5,7
/proc/29957/task/29963/stat : 29963 (java) S 29954 29957 28285 0 -1 4202560 407 0 0 0 606 10 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977056557352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29964] ppid=29954 vsize=9824732 CPUtime=6.37 cores=1,3,5,7
/proc/29957/task/29964/stat : 29964 (java) S 29954 29957 28285 0 -1 4202560 518 0 0 0 625 12 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977055505320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29965] ppid=29954 vsize=9824732 CPUtime=6.15 cores=1,3,5,7
/proc/29957/task/29965/stat : 29965 (java) S 29954 29957 28285 0 -1 4202560 397 0 0 0 605 10 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977054452776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29966] ppid=29954 vsize=9824732 CPUtime=6.32 cores=1,3,5,7
/proc/29957/task/29966/stat : 29966 (java) S 29954 29957 28285 0 -1 4202560 512 0 0 0 623 9 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977053399720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29967] ppid=29954 vsize=9824732 CPUtime=6.38 cores=1,3,5,7
/proc/29957/task/29967/stat : 29967 (java) S 29954 29957 28285 0 -1 4202560 522 0 0 0 627 11 0 0 20 0 21 0 28950305 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977052347176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29968] ppid=29954 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/29957/task/29968/stat : 29968 (java) S 29954 29957 28285 0 -1 4202560 855 0 0 0 51 13 0 0 20 0 21 0 28950306 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977039935848 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29969] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29969/stat : 29969 (java) S 29954 29957 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977038882168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29970] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29970/stat : 29970 (java) S 29954 29957 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977037829000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29971] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29971/stat : 29971 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977036777744 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29972] ppid=29954 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/29957/task/29972/stat : 29972 (java) S 29954 29957 28285 0 -1 4202560 11757 0 0 0 120 2 0 0 20 0 21 0 28950309 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977035725624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29973] ppid=29954 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/29957/task/29973/stat : 29973 (java) S 29954 29957 28285 0 -1 4202560 9370 0 0 0 194 2 0 0 20 0 21 0 28950309 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977034673080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29974] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29974/stat : 29974 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977033620216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29975] ppid=29954 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/29957/task/29975/stat : 29975 (java) S 29954 29957 28285 0 -1 4202560 97 0 0 0 34 43 0 0 20 0 21 0 28950309 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977032567880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29978] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29978/stat : 29978 (java) S 29954 29957 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 28950320 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977029309224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29981] ppid=29954 vsize=9824732 CPUtime=1639.57 cores=1,3,5,7
/proc/29957/task/29981/stat : 29981 (java) R 29954 29957 28285 0 -1 4202560 1198 0 0 0 163916 41 0 0 20 0 21 0 28950570 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977028255792 139977088660365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29982] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29982/stat : 29982 (java) S 29954 29957 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 28950570 10060525568 346921 33554432000 1073741824 1073778376 140735814084544 139977030362408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1702.65
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 3.66 3.45 3.47 4/218 31611
/proc/meminfo: memFree=26165428/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=1764.11 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 31027 0 1 0 176220 191 0 0 20 0 21 0 28950302 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 341871 2289 9 0 2446860 0
[pid=29957/tid=29959] ppid=29954 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/29957/task/29959/stat : 29959 (java) S 29954 29957 28285 0 -1 4202560 2606 0 1 0 68 45 0 0 20 0 21 0 28950304 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977215620008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29960] ppid=29954 vsize=9824732 CPUtime=6.43 cores=1,3,5,7
/proc/29957/task/29960/stat : 29960 (java) S 29954 29957 28285 0 -1 4202560 400 0 0 0 634 9 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977059715496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29961] ppid=29954 vsize=9824732 CPUtime=6.24 cores=1,3,5,7
/proc/29957/task/29961/stat : 29961 (java) S 29954 29957 28285 0 -1 4202560 398 0 0 0 614 10 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977058662952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29962] ppid=29954 vsize=9824732 CPUtime=6.36 cores=1,3,5,7
/proc/29957/task/29962/stat : 29962 (java) S 29954 29957 28285 0 -1 4202560 531 0 0 0 626 10 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977057609896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29963] ppid=29954 vsize=9824732 CPUtime=6.48 cores=1,3,5,7
/proc/29957/task/29963/stat : 29963 (java) S 29954 29957 28285 0 -1 4202560 407 0 0 0 638 10 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977056557352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29964] ppid=29954 vsize=9824732 CPUtime=6.64 cores=1,3,5,7
/proc/29957/task/29964/stat : 29964 (java) S 29954 29957 28285 0 -1 4202560 518 0 0 0 652 12 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977055505320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29965] ppid=29954 vsize=9824732 CPUtime=6.36 cores=1,3,5,7
/proc/29957/task/29965/stat : 29965 (java) S 29954 29957 28285 0 -1 4202560 397 0 0 0 626 10 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977054452776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29966] ppid=29954 vsize=9824732 CPUtime=6.55 cores=1,3,5,7
/proc/29957/task/29966/stat : 29966 (java) S 29954 29957 28285 0 -1 4202560 512 0 0 0 646 9 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977053399720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29967] ppid=29954 vsize=9824732 CPUtime=6.61 cores=1,3,5,7
/proc/29957/task/29967/stat : 29967 (java) S 29954 29957 28285 0 -1 4202560 522 0 0 0 649 12 0 0 20 0 21 0 28950305 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977052347176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29968] ppid=29954 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/29957/task/29968/stat : 29968 (java) S 29954 29957 28285 0 -1 4202560 857 0 0 0 51 13 0 0 20 0 21 0 28950306 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977039935848 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29969] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29969/stat : 29969 (java) S 29954 29957 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977038882168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29970] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29970/stat : 29970 (java) S 29954 29957 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977037829000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29971] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29971/stat : 29971 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977036777744 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29972] ppid=29954 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/29957/task/29972/stat : 29972 (java) S 29954 29957 28285 0 -1 4202560 11757 0 0 0 120 2 0 0 20 0 21 0 28950309 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977035725624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29973] ppid=29954 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/29957/task/29973/stat : 29973 (java) S 29954 29957 28285 0 -1 4202560 9370 0 0 0 194 2 0 0 20 0 21 0 28950309 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977034673080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29974] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29974/stat : 29974 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977033620216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29975] ppid=29954 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/29957/task/29975/stat : 29975 (java) S 29954 29957 28285 0 -1 4202560 99 0 0 0 36 45 0 0 20 0 21 0 28950309 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977032567880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29978] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29978/stat : 29978 (java) S 29954 29957 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 28950320 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977029309224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29981] ppid=29954 vsize=9824732 CPUtime=1698.83 cores=1,3,5,7
/proc/29957/task/29981/stat : 29981 (java) R 29954 29957 28285 0 -1 4202560 1220 0 0 0 169841 42 0 0 20 0 21 0 28950570 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977028255792 139977088485022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29982] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29982/stat : 29982 (java) S 29954 29957 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 28950570 10060525568 341871 33554432000 1073741824 1073778376 140735814084544 139977030362408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1757.4 s]
/proc/loadavg: 3.55 3.45 3.47 4/218 31611
/proc/meminfo: memFree=26240268/32872528 swapFree=1534436/1655032
[pid=29957] ppid=29954 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7
/proc/29957/stat : 29957 (java) S 29954 29957 28285 0 -1 4202496 31046 0 1 0 179815 193 0 0 20 0 21 0 28950302 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 140735814075680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29957/statm: 2456183 339082 2289 9 0 2446860 0
[pid=29957/tid=29959] ppid=29954 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/29957/task/29959/stat : 29959 (java) S 29954 29957 28285 0 -1 4202560 2607 0 1 0 69 46 0 0 20 0 21 0 28950304 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977215620008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29960] ppid=29954 vsize=9824732 CPUtime=6.57 cores=1,3,5,7
/proc/29957/task/29960/stat : 29960 (java) S 29954 29957 28285 0 -1 4202560 400 0 0 0 648 9 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977059715496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29961] ppid=29954 vsize=9824732 CPUtime=6.4 cores=1,3,5,7
/proc/29957/task/29961/stat : 29961 (java) S 29954 29957 28285 0 -1 4202560 398 0 0 0 630 10 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977058662952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29962] ppid=29954 vsize=9824732 CPUtime=6.49 cores=1,3,5,7
/proc/29957/task/29962/stat : 29962 (java) S 29954 29957 28285 0 -1 4202560 531 0 0 0 639 10 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977057609896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29963] ppid=29954 vsize=9824732 CPUtime=6.66 cores=1,3,5,7
/proc/29957/task/29963/stat : 29963 (java) S 29954 29957 28285 0 -1 4202560 407 0 0 0 656 10 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977056557352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29964] ppid=29954 vsize=9824732 CPUtime=6.78 cores=1,3,5,7
/proc/29957/task/29964/stat : 29964 (java) S 29954 29957 28285 0 -1 4202560 518 0 0 0 666 12 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977055505320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29965] ppid=29954 vsize=9824732 CPUtime=6.48 cores=1,3,5,7
/proc/29957/task/29965/stat : 29965 (java) S 29954 29957 28285 0 -1 4202560 397 0 0 0 638 10 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977054452776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29966] ppid=29954 vsize=9824732 CPUtime=6.75 cores=1,3,5,7
/proc/29957/task/29966/stat : 29966 (java) S 29954 29957 28285 0 -1 4202560 512 0 0 0 666 9 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977053399720 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29967] ppid=29954 vsize=9824732 CPUtime=6.77 cores=1,3,5,7
/proc/29957/task/29967/stat : 29967 (java) S 29954 29957 28285 0 -1 4202560 522 0 0 0 665 12 0 0 20 0 21 0 28950305 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977052347176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29968] ppid=29954 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/29957/task/29968/stat : 29968 (java) S 29954 29957 28285 0 -1 4202560 859 0 0 0 51 14 0 0 20 0 21 0 28950306 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977039935848 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29969] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29969/stat : 29969 (java) S 29954 29957 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977038882168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29970] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29970/stat : 29970 (java) S 29954 29957 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 28950307 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977037829000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29971] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29971/stat : 29971 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977036777744 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29972] ppid=29954 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/29957/task/29972/stat : 29972 (java) S 29954 29957 28285 0 -1 4202560 11757 0 0 0 120 2 0 0 20 0 21 0 28950309 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977035725624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29957/tid=29973] ppid=29954 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/29957/task/29973/stat : 29973 (java) S 29954 29957 28285 0 -1 4202560 9370 0 0 0 194 2 0 0 20 0 21 0 28950309 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977034673080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29957/tid=29974] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29974/stat : 29974 (java) S 29954 29957 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 28950309 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977033620216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29975] ppid=29954 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/29957/task/29975/stat : 29975 (java) S 29954 29957 28285 0 -1 4202560 101 0 0 0 36 45 0 0 20 0 21 0 28950309 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977032567880 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29978] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29978/stat : 29978 (java) S 29954 29957 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 28950320 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977029309224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29957/tid=29981] ppid=29954 vsize=9824732 CPUtime=1733.49 cores=1,3,5,7
/proc/29957/task/29981/stat : 29981 (java) R 29954 29957 28285 0 -1 4202560 1234 0 0 0 173306 43 0 0 20 0 21 0 28950570 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977028255680 139977088580600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29957/tid=29982] ppid=29954 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29957/task/29982/stat : 29982 (java) S 29954 29957 28285 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 28950570 10060525568 339082 33554432000 1073741824 1073778376 140735814084544 139977030362408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29957 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29957 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=909284
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=549612
# CPU time returned by wait4() is 1796.46
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1757.45
CPU time (s): 1800.08
CPU user time (s): 1798.15
CPU system time (s): 1.93
CPU usage (%): 102.426
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 2.54961
maximum resident set size= 1478400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31079
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99813
involuntary context switches= 96807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3313 second user time and 14.1938 second system time
The end