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-4100754-1466211009/watcher-4100754-1466211009 -o /tmp/evaluation-result-4100754-1466211009/solver-4100754-1466211009 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15726 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100754-1466211009.opb
pid=18391
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.12 4.16 4.17 4/198 18394
/proc/meminfo: memFree=27064488/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/18394/stat : 18394 (java) D 18391 18394 15709 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 23149390 2560000 46 33554432000 1073741824 1073778376 140734937953376 140734937950504 217401355559 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/18394/statm: 625 46 37 9 0 29 0
[startup+0.100058 s]
/proc/loadavg: 4.12 4.16 4.17 4/198 18394
/proc/meminfo: memFree=27064488/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 4358 0 1 0 7 1 0 0 20 0 18 0 23149390 9787879424 4956 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2389619 4958 2096 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200276 s]
/proc/loadavg: 4.12 4.16 4.17 4/198 18394
/proc/meminfo: memFree=27064488/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 4901 0 1 0 23 1 0 0 20 0 18 0 23149390 9787879424 6433 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2389619 6433 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300312 s]
/proc/loadavg: 4.12 4.16 4.17 4/198 18394
/proc/meminfo: memFree=27064488/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 12771 0 1 0 51 3 0 0 20 0 18 0 23149390 9787879424 14835 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2389619 14835 2229 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.712795 s]
/proc/loadavg: 4.12 4.16 4.17 4/198 18394
/proc/meminfo: memFree=27064488/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9558476 CPUtime=1.44 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 15763 0 1 0 136 8 0 0 20 0 18 0 23149390 9787879424 49107 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2389619 49619 2256 9 0 2380296 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9558476
[startup+1.50088 s]
/proc/loadavg: 4.12 4.16 4.17 7/220 18416
/proc/meminfo: memFree=26862568/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9824732 CPUtime=3.77 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 17303 0 1 0 365 12 0 0 20 0 22 0 23149390 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2456183 57652 2277 9 0 2446860 0
[pid=18394/tid=18396] ppid=18391 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18394/task/18396/stat : 18396 (java) S 18391 18394 15709 0 -1 4202560 2541 0 1 0 70 3 0 0 20 0 22 0 23149392 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139849104200568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18397] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18397/stat : 18397 (java) R 18391 18394 15709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848948271912 217413891132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18398] ppid=18391 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18394/task/18398/stat : 18398 (java) R 18391 18394 15709 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848947219288 139849107478431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18399] ppid=18391 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18394/task/18399/stat : 18399 (java) R 18391 18394 15709 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848946166824 139849111096144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18400] ppid=18391 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18394/task/18400/stat : 18400 (java) R 18391 18394 15709 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848945114024 139849111098435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18401] ppid=18391 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18394/task/18401/stat : 18401 (java) R 18391 18394 15709 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848944060888 139849106671313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18402] ppid=18391 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18394/task/18402/stat : 18402 (java) R 18391 18394 15709 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848943008088 139849107956876 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18403] ppid=18391 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18394/task/18403/stat : 18403 (java) R 18391 18394 15709 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848941955800 139849106671289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18404] ppid=18391 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18394/task/18404/stat : 18404 (java) R 18391 18394 15709 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 23149393 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848940903000 139849106671347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18405] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18405/stat : 18405 (java) S 18391 18394 15709 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23149394 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848928491144 217413891132 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18406] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18406/stat : 18406 (java) S 18391 18394 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848927438328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18407] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18407/stat : 18407 (java) S 18391 18394 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848926385928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18408] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18408/stat : 18408 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848925334416 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18409] ppid=18391 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/18394/task/18409/stat : 18409 (java) R 18391 18394 15709 0 -1 4202560 5658 0 0 0 69 0 0 0 20 0 22 0 23149397 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848924268416 139849108287471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18410] ppid=18391 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/18394/task/18410/stat : 18410 (java) R 18391 18394 15709 0 -1 4202560 7578 0 0 0 73 1 0 0 20 0 22 0 23149397 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848923215504 139849111174004 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18411] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18411/stat : 18411 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848922176120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18412] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18412/stat : 18412 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848921123528 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18413] ppid=18391 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/18394/task/18413/stat : 18413 (java) S 18391 18394 15709 0 -1 4202560 18 0 0 0 63 0 0 0 20 0 22 0 23149473 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848919968808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18414] ppid=18391 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/18394/task/18414/stat : 18414 (java) S 18391 18394 15709 0 -1 4202560 25 0 0 0 63 0 0 0 20 0 22 0 23149473 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848918916344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18415] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18415/stat : 18415 (java) S 18391 18394 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23149481 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848917866152 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18416] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18416/stat : 18416 (java) S 18391 18394 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23149484 10060525568 57652 33554432000 1073741824 1073778376 140735788251504 139848916813352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 4.12 4.16 4.17 5/220 18416
/proc/meminfo: memFree=26822880/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9824732 CPUtime=7.41 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 19161 0 1 0 727 14 0 0 20 0 22 0 23149390 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2456183 65232 2283 9 0 2446860 0
[pid=18394/tid=18396] ppid=18391 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18394/task/18396/stat : 18396 (java) S 18391 18394 15709 0 -1 4202560 2541 0 1 0 70 3 0 0 20 0 22 0 23149392 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139849104200568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18397] ppid=18391 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18394/task/18397/stat : 18397 (java) S 18391 18394 15709 0 -1 4202560 53 0 0 0 1 0 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848948271912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18398] ppid=18391 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18394/task/18398/stat : 18398 (java) S 18391 18394 15709 0 -1 4202560 106 0 0 0 4 2 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848947219112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18399] ppid=18391 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18394/task/18399/stat : 18399 (java) S 18391 18394 15709 0 -1 4202560 109 0 0 0 3 0 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848946166824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18400] ppid=18391 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18394/task/18400/stat : 18400 (java) S 18391 18394 15709 0 -1 4202560 67 0 0 0 4 1 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848945114024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18401] ppid=18391 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18394/task/18401/stat : 18401 (java) S 18391 18394 15709 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848944060712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18402] ppid=18391 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18394/task/18402/stat : 18402 (java) S 18391 18394 15709 0 -1 4202560 136 0 0 0 4 1 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848943007912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18403] ppid=18391 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18394/task/18403/stat : 18403 (java) S 18391 18394 15709 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848941955624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18404] ppid=18391 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18394/task/18404/stat : 18404 (java) S 18391 18394 15709 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 22 0 23149393 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848940902824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18405] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18405/stat : 18405 (java) S 18391 18394 15709 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23149394 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848928492264 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18406] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18406/stat : 18406 (java) S 18391 18394 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848927438328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18407] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18407/stat : 18407 (java) S 18391 18394 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848926385928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18408] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18408/stat : 18408 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848925334416 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18409] ppid=18391 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/18394/task/18409/stat : 18409 (java) S 18391 18394 15709 0 -1 4202560 7102 0 0 0 98 0 0 0 20 0 22 0 23149397 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848924281016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18410] ppid=18391 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/18394/task/18410/stat : 18410 (java) S 18391 18394 15709 0 -1 4202560 7590 0 0 0 83 2 0 0 20 0 22 0 23149397 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848923228216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18411] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18411/stat : 18411 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848922176120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18412] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18412/stat : 18412 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848921123528 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18413] ppid=18391 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/18394/task/18413/stat : 18413 (java) R 18391 18394 15709 0 -1 4202560 25 0 0 0 220 0 0 0 20 0 22 0 23149473 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848919970504 139848976757612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18414] ppid=18391 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/18394/task/18414/stat : 18414 (java) R 18391 18394 15709 0 -1 4202560 25 0 0 0 219 0 0 0 20 0 22 0 23149473 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848918917528 139848977190577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18415] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18415/stat : 18415 (java) S 18391 18394 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23149481 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848917866152 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18416] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18416/stat : 18416 (java) S 18391 18394 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23149484 10060525568 65232 33554432000 1073741824 1073778376 140735788251504 139848916813352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.11 4.15 4.17 5/220 18416
/proc/meminfo: memFree=26693060/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9824732 CPUtime=13.9 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 19381 0 1 0 1373 17 0 0 20 0 22 0 23149390 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2456183 94391 2283 9 0 2446860 0
[pid=18394/tid=18396] ppid=18391 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/18394/task/18396/stat : 18396 (java) S 18391 18394 15709 0 -1 4202560 2542 0 1 0 70 3 0 0 20 0 22 0 23149392 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139849104200568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18397] ppid=18391 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18394/task/18397/stat : 18397 (java) S 18391 18394 15709 0 -1 4202560 64 0 0 0 4 0 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848948271912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18398] ppid=18391 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18394/task/18398/stat : 18398 (java) S 18391 18394 15709 0 -1 4202560 112 0 0 0 5 2 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848947219112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18399] ppid=18391 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18394/task/18399/stat : 18399 (java) S 18391 18394 15709 0 -1 4202560 112 0 0 0 4 0 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848946166824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18400] ppid=18391 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18394/task/18400/stat : 18400 (java) S 18391 18394 15709 0 -1 4202560 73 0 0 0 5 2 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848945114024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18401] ppid=18391 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18394/task/18401/stat : 18401 (java) S 18391 18394 15709 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848944060712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18402] ppid=18391 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18394/task/18402/stat : 18402 (java) S 18391 18394 15709 0 -1 4202560 140 0 0 0 6 1 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848943007912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18403] ppid=18391 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18394/task/18403/stat : 18403 (java) S 18391 18394 15709 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848941955624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18404] ppid=18391 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18394/task/18404/stat : 18404 (java) S 18391 18394 15709 0 -1 4202560 31 0 0 0 1 2 0 0 20 0 22 0 23149393 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848940902824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18405] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18405/stat : 18405 (java) S 18391 18394 15709 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23149394 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848928492264 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18406] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18406/stat : 18406 (java) S 18391 18394 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848927438328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18407] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18407/stat : 18407 (java) S 18391 18394 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848926385928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18408] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18408/stat : 18408 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 94391 33554432000 1073741824 1073778376 140735788251504 139848925334416 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18409] ppid=18391 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
################
# More data... #
################
/proc/18394/task/18399/stat : 18399 (java) S 18391 18394 15709 0 -1 4202560 653 0 0 0 55 12 0 0 20 0 22 0 23149393 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848946166824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18400] ppid=18391 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/18394/task/18400/stat : 18400 (java) S 18391 18394 15709 0 -1 4202560 703 0 0 0 65 15 0 0 20 0 22 0 23149393 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848945114024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18401] ppid=18391 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/18394/task/18401/stat : 18401 (java) S 18391 18394 15709 0 -1 4202560 457 0 0 0 36 8 0 0 20 0 22 0 23149393 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848944060712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18402] ppid=18391 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/18394/task/18402/stat : 18402 (java) S 18391 18394 15709 0 -1 4202560 494 0 0 0 44 10 0 0 20 0 22 0 23149393 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848943007912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18403] ppid=18391 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/18394/task/18403/stat : 18403 (java) S 18391 18394 15709 0 -1 4202560 399 0 0 0 38 10 0 0 20 0 22 0 23149393 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848941955624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18404] ppid=18391 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/18394/task/18404/stat : 18404 (java) S 18391 18394 15709 0 -1 4202560 536 0 0 0 63 15 0 0 20 0 22 0 23149393 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848940902824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18405] ppid=18391 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/18394/task/18405/stat : 18405 (java) S 18391 18394 15709 0 -1 4202560 1477 0 0 0 83 4 0 0 20 0 22 0 23149394 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848928492264 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18406] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18406/stat : 18406 (java) S 18391 18394 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848927438328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18407] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18407/stat : 18407 (java) S 18391 18394 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848926385928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18408] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18408/stat : 18408 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848925334416 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18409] ppid=18391 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/18394/task/18409/stat : 18409 (java) S 18391 18394 15709 0 -1 4202560 17352 0 0 0 230 2 0 0 20 0 22 0 23149397 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848924281016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18410] ppid=18391 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18394/task/18410/stat : 18410 (java) S 18391 18394 15709 0 -1 4202560 18070 0 0 0 171 3 0 0 20 0 22 0 23149397 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848923228216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18411] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18411/stat : 18411 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848922176120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18412] ppid=18391 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18394/task/18412/stat : 18412 (java) S 18391 18394 15709 0 -1 4202560 47 0 0 0 9 15 0 0 20 0 22 0 23149397 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848921123528 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18413] ppid=18391 vsize=9824732 CPUtime=816.89 cores=1,3,5,7
/proc/18394/task/18413/stat : 18413 (java) R 18391 18394 15709 0 -1 4202560 660 0 0 0 81661 28 0 0 20 0 22 0 23149473 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848919961856 139848976934435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18414] ppid=18391 vsize=9824732 CPUtime=817.1 cores=1,3,5,7
/proc/18394/task/18414/stat : 18414 (java) R 18391 18394 15709 0 -1 4202560 910 0 0 0 81687 23 0 0 20 0 22 0 23149473 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848918916576 139848977195408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18415] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18415/stat : 18415 (java) S 18391 18394 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23149481 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848917866152 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18416] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18416/stat : 18416 (java) S 18391 18394 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23149484 10060525568 669464 33554432000 1073741824 1073778376 140735788251504 139848916813352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1649.05
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.10 4.16 4.17 6/219 18526
/proc/meminfo: memFree=23731968/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9824732 CPUtime=1769.14 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 46621 0 1 0 176761 153 0 0 20 0 22 0 23149390 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2456183 668007 2293 9 0 2446860 0
[pid=18394/tid=18396] ppid=18391 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/18394/task/18396/stat : 18396 (java) S 18391 18394 15709 0 -1 4202560 2549 0 1 0 72 5 0 0 20 0 22 0 23149392 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139849104200568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18397] ppid=18391 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/18394/task/18397/stat : 18397 (java) S 18391 18394 15709 0 -1 4202560 513 0 0 0 52 12 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848948271912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18398] ppid=18391 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/18394/task/18398/stat : 18398 (java) S 18391 18394 15709 0 -1 4202560 452 0 0 0 55 12 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848947219112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18399] ppid=18391 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/18394/task/18399/stat : 18399 (java) S 18391 18394 15709 0 -1 4202560 696 0 0 0 59 13 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848946166824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18400] ppid=18391 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/18394/task/18400/stat : 18400 (java) S 18391 18394 15709 0 -1 4202560 707 0 0 0 66 15 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848945114024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18401] ppid=18391 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/18394/task/18401/stat : 18401 (java) S 18391 18394 15709 0 -1 4202560 460 0 0 0 37 9 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848944060712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18402] ppid=18391 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/18394/task/18402/stat : 18402 (java) S 18391 18394 15709 0 -1 4202560 498 0 0 0 45 10 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848943007912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18403] ppid=18391 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/18394/task/18403/stat : 18403 (java) S 18391 18394 15709 0 -1 4202560 412 0 0 0 40 11 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848941955624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18404] ppid=18391 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/18394/task/18404/stat : 18404 (java) S 18391 18394 15709 0 -1 4202560 541 0 0 0 65 15 0 0 20 0 22 0 23149393 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848940902824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18405] ppid=18391 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/18394/task/18405/stat : 18405 (java) S 18391 18394 15709 0 -1 4202560 1479 0 0 0 83 4 0 0 20 0 22 0 23149394 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848928492264 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18406] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18406/stat : 18406 (java) S 18391 18394 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848927438328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18407] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18407/stat : 18407 (java) S 18391 18394 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848926385928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18408] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18408/stat : 18408 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848925334416 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18409] ppid=18391 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/18394/task/18409/stat : 18409 (java) S 18391 18394 15709 0 -1 4202560 17352 0 0 0 230 2 0 0 20 0 22 0 23149397 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848924281016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18410] ppid=18391 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18394/task/18410/stat : 18410 (java) S 18391 18394 15709 0 -1 4202560 18070 0 0 0 171 3 0 0 20 0 22 0 23149397 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848923228216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18411] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18411/stat : 18411 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848922176120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18412] ppid=18391 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/18394/task/18412/stat : 18412 (java) S 18391 18394 15709 0 -1 4202560 51 0 0 0 10 16 0 0 20 0 22 0 23149397 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848921123528 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18413] ppid=18391 vsize=9824732 CPUtime=876.65 cores=1,3,5,7
/proc/18394/task/18413/stat : 18413 (java) R 18391 18394 15709 0 -1 4202560 660 0 0 0 87636 29 0 0 20 0 22 0 23149473 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848919961856 139848976934400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18414] ppid=18391 vsize=9824732 CPUtime=876.9 cores=1,3,5,7
/proc/18394/task/18414/stat : 18414 (java) R 18391 18394 15709 0 -1 4202560 911 0 0 0 87666 24 0 0 20 0 22 0 23149473 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848918916416 139848977190478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18415] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18415/stat : 18415 (java) S 18391 18394 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23149481 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848917866152 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18416] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18416/stat : 18416 (java) S 18391 18394 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23149484 10060525568 668007 33554432000 1073741824 1073778376 140735788251504 139848916813352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1769.14
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.801 s]
/proc/loadavg: 4.00 4.14 4.16 5/220 18528
/proc/meminfo: memFree=23775524/32872528 swapFree=1534436/1655032
[pid=18394] ppid=18391 vsize=9824732 CPUtime=1800.18 cores=1,3,5,7
/proc/18394/stat : 18394 (java) S 18391 18394 15709 0 -1 4202496 47072 0 1 0 179864 154 0 0 20 0 22 0 23149390 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 140735788242640 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18394/statm: 2456183 665944 2293 9 0 2446860 0
[pid=18394/tid=18396] ppid=18391 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/18394/task/18396/stat : 18396 (java) S 18391 18394 15709 0 -1 4202560 2549 0 1 0 72 5 0 0 20 0 22 0 23149392 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139849104200568 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18397] ppid=18391 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/18394/task/18397/stat : 18397 (java) S 18391 18394 15709 0 -1 4202560 621 0 0 0 55 12 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848948271912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18398] ppid=18391 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/18394/task/18398/stat : 18398 (java) S 18391 18394 15709 0 -1 4202560 527 0 0 0 56 12 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848947219112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18394/tid=18399] ppid=18391 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/18394/task/18399/stat : 18399 (java) S 18391 18394 15709 0 -1 4202560 802 0 0 0 62 13 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848946166824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18400] ppid=18391 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/18394/task/18400/stat : 18400 (java) S 18391 18394 15709 0 -1 4202560 837 0 0 0 69 15 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848945114024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18401] ppid=18391 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/18394/task/18401/stat : 18401 (java) S 18391 18394 15709 0 -1 4202560 489 0 0 0 38 9 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848944060712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18402] ppid=18391 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/18394/task/18402/stat : 18402 (java) S 18391 18394 15709 0 -1 4202560 498 0 0 0 46 10 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848943007912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18403] ppid=18391 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18394/task/18403/stat : 18403 (java) S 18391 18394 15709 0 -1 4202560 412 0 0 0 41 11 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848941955624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18404] ppid=18391 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/18394/task/18404/stat : 18404 (java) S 18391 18394 15709 0 -1 4202560 541 0 0 0 66 15 0 0 20 0 22 0 23149393 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848940902824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18405] ppid=18391 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/18394/task/18405/stat : 18405 (java) S 18391 18394 15709 0 -1 4202560 1481 0 0 0 84 5 0 0 20 0 22 0 23149394 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848928492264 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18406] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18406/stat : 18406 (java) S 18391 18394 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848927438328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18407] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18407/stat : 18407 (java) S 18391 18394 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23149395 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848926385928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18408] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18408/stat : 18408 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848925334416 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18409] ppid=18391 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/18394/task/18409/stat : 18409 (java) S 18391 18394 15709 0 -1 4202560 17352 0 0 0 230 2 0 0 20 0 22 0 23149397 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848924281016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18410] ppid=18391 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/18394/task/18410/stat : 18410 (java) S 18391 18394 15709 0 -1 4202560 18070 0 0 0 171 3 0 0 20 0 22 0 23149397 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848923228216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18411] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18411/stat : 18411 (java) S 18391 18394 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23149397 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848922176120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18394/tid=18412] ppid=18391 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/18394/task/18412/stat : 18412 (java) S 18391 18394 15709 0 -1 4202560 51 0 0 0 10 17 0 0 20 0 22 0 23149397 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848921123528 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18413] ppid=18391 vsize=9824732 CPUtime=892.06 cores=1,3,5,7
/proc/18394/task/18413/stat : 18413 (java) R 18391 18394 15709 0 -1 4202560 661 0 0 0 89177 29 0 0 20 0 22 0 23149473 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848919969536 139848976757642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18394/tid=18414] ppid=18391 vsize=9824732 CPUtime=892.31 cores=1,3,5,7
/proc/18394/task/18414/stat : 18414 (java) R 18391 18394 15709 0 -1 4202560 911 0 0 0 89207 24 0 0 20 0 22 0 23149473 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848918915520 139848977195420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18415] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18415/stat : 18415 (java) S 18391 18394 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23149481 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848917866152 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18394/tid=18416] ppid=18391 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18394/task/18416/stat : 18416 (java) S 18391 18394 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23149484 10060525568 665944 33554432000 1073741824 1073778376 140735788251504 139848916813352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
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 18394 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 18394 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=59261
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=990697
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 897.844
CPU time (s): 1800.18
CPU user time (s): 1798.64
CPU system time (s): 1.54
CPU usage (%): 200.5
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 1.9907
maximum resident set size= 2711200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47113
page faults= 1
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21811
involuntary context switches= 22675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29204 second user time and 6.87595 second system time
The end