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-4089520-1466014553/watcher-4089520-1466014553 -o /tmp/evaluation-result-4089520-1466014553/solver-4089520-1466014553 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466012165-5783 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4089520-1466014553.opb
pid=8360
running on 4 cores: 0,2,4,6
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.08 4.04 3.86 4/197 8363
/proc/meminfo: memFree=28450268/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 1308 0 0 0 0 0 0 0 20 0 2 0 3505724 98635776 939 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 24081 943 715 9 0 16771 0
[pid=8363/tid=8364] ppid=8360 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) R 8360 8363 5767 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 2 0 3505724 98570240 965 33554432000 1073741824 1073778376 140734528371728 139829904617000 247064249261 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100064 s]
/proc/loadavg: 4.08 4.04 3.86 4/197 8363
/proc/meminfo: memFree=28450268/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 4531 0 1 0 9 1 0 0 20 0 18 0 3505724 9787879424 5638 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2389619 5638 2156 9 0 2380296 0
[pid=8363/tid=8364] ppid=8360 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) R 8360 8363 5767 0 -1 4202560 2439 0 1 0 6 1 0 0 20 0 18 0 3505724 9787879424 5638 33554432000 1073741824 1073778376 140734528371728 139829904620448 247067632909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200273 s]
/proc/loadavg: 4.08 4.04 3.86 4/197 8363
/proc/meminfo: memFree=28450268/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 5691 0 1 0 30 1 0 0 20 0 22 0 3505724 10060525568 7968 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 7976 2233 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2467 0 1 0 13 1 0 0 20 0 22 0 3505724 10060525568 7976 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9824732
[startup+0.300269 s]
/proc/loadavg: 4.08 4.04 3.86 4/197 8363
/proc/meminfo: memFree=28450268/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 7393 0 1 0 69 2 0 0 20 0 22 0 3505724 10060525568 9747 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 9747 2242 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2467 0 1 0 13 1 0 0 20 0 22 0 3505724 10060525568 9747 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 9824732
[startup+0.700222 s]
/proc/loadavg: 4.08 4.04 3.86 4/197 8363
/proc/meminfo: memFree=28450268/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 18905 0 1 0 224 5 0 0 20 0 22 0 3505724 10060525568 22064 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 22064 2254 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2467 0 1 0 13 1 0 0 20 0 22 0 3505724 10060525568 22064 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 4.08 4.04 3.86 7/219 8385
/proc/meminfo: memFree=28276656/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=4.77 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 28272 0 1 0 469 8 0 0 20 0 22 0 3505724 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 47255 2281 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2467 0 1 0 13 1 0 0 20 0 22 0 3505724 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8366] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8366/stat : 8366 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829843352232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8367] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8367/stat : 8367 (java) S 8360 8363 5767 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829842299688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8368] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8368/stat : 8368 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829746285480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8369] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8369/stat : 8369 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829745232936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8370] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (java) S 8360 8363 5767 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829744179368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8371] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8371/stat : 8371 (java) S 8360 8363 5767 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829743126824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8372] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8372/stat : 8372 (java) S 8360 8363 5767 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829742074280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8373] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8373/stat : 8373 (java) S 8360 8363 5767 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829741021736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8374] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8374/stat : 8374 (java) S 8360 8363 5767 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 3505726 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829728823912 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8375] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (java) S 8360 8363 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829727770232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8376] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8376/stat : 8376 (java) S 8360 8363 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829726717576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8377] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8377/stat : 8377 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829725666320 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8378] ppid=8360 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/8363/task/8378/stat : 8378 (java) R 8360 8363 5767 0 -1 4202560 8842 0 0 0 93 2 0 0 20 0 22 0 3505729 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829724612664 139829911425967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8379] ppid=8360 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/8363/task/8379/stat : 8379 (java) R 8360 8363 5767 0 -1 4202560 15452 0 0 0 94 2 0 0 20 0 22 0 3505729 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829723560000 139829908715474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8380] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8380/stat : 8380 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829722507768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8381] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8381/stat : 8381 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829721455432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8382] ppid=8360 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/8363/task/8382/stat : 8382 (java) R 8360 8363 5767 0 -1 4202560 31 0 0 0 129 0 0 0 20 0 22 0 3505740 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829720400688 139829844869241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8383] ppid=8360 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/8363/task/8383/stat : 8383 (java) R 8360 8363 5767 0 -1 4202560 96 0 0 0 126 2 0 0 20 0 22 0 3505740 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829719346960 139829844386758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8384] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8384/stat : 8384 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829718296104 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8385] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8385/stat : 8385 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 47255 33554432000 1073741824 1073778376 140734528371728 139829717243560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 9824732
[startup+3.10099 s]
/proc/loadavg: 4.08 4.04 3.86 5/219 8385
/proc/meminfo: memFree=28135344/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=8.12 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 28539 0 1 0 799 13 0 0 20 0 22 0 3505724 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 85801 2284 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2467 0 1 0 13 1 0 0 20 0 22 0 3505724 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8366] ppid=8360 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8363/task/8366/stat : 8366 (java) S 8360 8363 5767 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829843352232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8367] ppid=8360 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8363/task/8367/stat : 8367 (java) S 8360 8363 5767 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829842299688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8368] ppid=8360 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8363/task/8368/stat : 8368 (java) S 8360 8363 5767 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829746285480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8369] ppid=8360 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8363/task/8369/stat : 8369 (java) S 8360 8363 5767 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829745232936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8370] ppid=8360 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (java) S 8360 8363 5767 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829744179368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8371] ppid=8360 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8363/task/8371/stat : 8371 (java) S 8360 8363 5767 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829743126824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8372] ppid=8360 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8363/task/8372/stat : 8372 (java) S 8360 8363 5767 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829742074280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8373] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8373/stat : 8373 (java) S 8360 8363 5767 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3505725 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829741021736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8374] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8374/stat : 8374 (java) S 8360 8363 5767 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 3505726 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829728823912 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8375] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (java) S 8360 8363 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829727770232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8376] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8376/stat : 8376 (java) S 8360 8363 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829726717576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8377] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8377/stat : 8377 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829725666320 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8378] ppid=8360 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/8363/task/8378/stat : 8378 (java) S 8360 8363 5767 0 -1 4202560 8848 0 0 0 99 2 0 0 20 0 22 0 3505729 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829724612664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8379] ppid=8360 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/8363/task/8379/stat : 8379 (java) S 8360 8363 5767 0 -1 4202560 15464 0 0 0 98 3 0 0 20 0 22 0 3505729 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829723560120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8380] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8380/stat : 8380 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829722507768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8381] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8381/stat : 8381 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829721455432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8382] ppid=8360 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/8363/task/8382/stat : 8382 (java) R 8360 8363 5767 0 -1 4202560 32 0 0 0 285 0 0 0 20 0 22 0 3505740 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829720398704 139829844869056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8383] ppid=8360 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/8363/task/8383/stat : 8383 (java) R 8360 8363 5767 0 -1 4202560 157 0 0 0 280 4 0 0 20 0 22 0 3505740 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829719346880 139829845048365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8384] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8384/stat : 8384 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829718296104 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8385] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8385/stat : 8385 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 85801 33554432000 1073741824 1073778376 140734528371728 139829717243560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 9824732
[startup+6.301 s]
/proc/loadavg: 4.07 4.04 3.86 5/219 8385
/proc/meminfo: memFree=27830124/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=14.63 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 29393 0 1 0 1441 22 0 0 20 0 22 0 3505724 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 156808 2284 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2467 0 1 0 13 1 0 0 20 0 22 0 3505724 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8366] ppid=8360 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8363/task/8366/stat : 8366 (java) S 8360 8363 5767 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 22 0 3505725 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829843352232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8367] ppid=8360 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8363/task/8367/stat : 8367 (java) S 8360 8363 5767 0 -1 4202560 114 0 0 0 1 2 0 0 20 0 22 0 3505725 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829842299688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8368] ppid=8360 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/8363/task/8368/stat : 8368 (java) S 8360 8363 5767 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 22 0 3505725 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829746285480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8369] ppid=8360 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8363/task/8369/stat : 8369 (java) S 8360 8363 5767 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 3505725 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829745232936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8370] ppid=8360 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (java) S 8360 8363 5767 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 3505725 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829744179368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8371] ppid=8360 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/8363/task/8371/stat : 8371 (java) S 8360 8363 5767 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 22 0 3505725 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829743126824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8372] ppid=8360 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/8363/task/8372/stat : 8372 (java) S 8360 8363 5767 0 -1 4202560 122 0 0 0 5 2 0 0 20 0 22 0 3505725 10060525568 156808 33554432000 1073741824 1073778376 140734528371728 139829742074280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8373] ppid=8360 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
################
# More data... #
################
/proc/8363/task/8368/stat : 8368 (java) S 8360 8363 5767 0 -1 4202560 453 0 0 0 70 6 0 0 20 0 22 0 3505725 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829746285480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8369] ppid=8360 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/8363/task/8369/stat : 8369 (java) S 8360 8363 5767 0 -1 4202560 319 0 0 0 65 8 0 0 20 0 22 0 3505725 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829745232936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8370] ppid=8360 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (java) S 8360 8363 5767 0 -1 4202560 332 0 0 0 72 6 0 0 20 0 22 0 3505725 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829744179368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8371] ppid=8360 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/8363/task/8371/stat : 8371 (java) S 8360 8363 5767 0 -1 4202560 295 0 0 0 71 8 0 0 20 0 22 0 3505725 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829743126824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8372] ppid=8360 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/8363/task/8372/stat : 8372 (java) S 8360 8363 5767 0 -1 4202560 429 0 0 0 80 8 0 0 20 0 22 0 3505725 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829742074280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8373] ppid=8360 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8363/task/8373/stat : 8373 (java) S 8360 8363 5767 0 -1 4202560 384 0 0 0 70 10 0 0 20 0 22 0 3505725 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829741021736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8374] ppid=8360 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/8363/task/8374/stat : 8374 (java) S 8360 8363 5767 0 -1 4202560 1449 0 0 0 125 8 0 0 20 0 22 0 3505726 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829728823912 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8375] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (java) S 8360 8363 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829727770232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8376] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8376/stat : 8376 (java) S 8360 8363 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829726717576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8377] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8377/stat : 8377 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829725666320 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8378] ppid=8360 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/8363/task/8378/stat : 8378 (java) S 8360 8363 5767 0 -1 4202560 8849 0 0 0 102 2 0 0 20 0 22 0 3505729 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829724612664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8379] ppid=8360 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/8363/task/8379/stat : 8379 (java) S 8360 8363 5767 0 -1 4202560 20426 0 0 0 171 4 0 0 20 0 22 0 3505729 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829723560120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8380] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8380/stat : 8380 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829722507768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8381] ppid=8360 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/8363/task/8381/stat : 8381 (java) S 8360 8363 5767 0 -1 4202560 47 0 0 0 13 15 0 0 20 0 22 0 3505729 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829721455432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8382] ppid=8360 vsize=9824732 CPUtime=816.77 cores=0,2,4,6
/proc/8363/task/8382/stat : 8382 (java) R 8360 8363 5767 0 -1 4202560 62 0 0 0 81664 13 0 0 20 0 22 0 3505740 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829720399632 139829844786543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8383] ppid=8360 vsize=9824732 CPUtime=816.74 cores=0,2,4,6
/proc/8363/task/8383/stat : 8383 (java) R 8360 8363 5767 0 -1 4202560 1488 0 0 0 81627 47 0 0 20 0 22 0 3505740 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829719348256 139829845045681 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8384] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8384/stat : 8384 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829718296104 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8385] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8385/stat : 8385 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 416859 33554432000 1073741824 1073778376 140734528371728 139829717243560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1648.55
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.02 4.02 3.93 5/220 8545
/proc/meminfo: memFree=27405188/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=1768.75 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 39243 0 1 0 176749 126 0 0 20 0 22 0 3505724 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 397883 2293 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2473 0 1 0 16 2 0 0 20 0 22 0 3505724 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8366] ppid=8360 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/8363/task/8366/stat : 8366 (java) S 8360 8363 5767 0 -1 4202560 381 0 0 0 75 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829843352232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8367] ppid=8360 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/8363/task/8367/stat : 8367 (java) S 8360 8363 5767 0 -1 4202560 470 0 0 0 90 9 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829842299688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8368] ppid=8360 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/8363/task/8368/stat : 8368 (java) S 8360 8363 5767 0 -1 4202560 453 0 0 0 78 6 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829746285480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8369] ppid=8360 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8363/task/8369/stat : 8369 (java) S 8360 8363 5767 0 -1 4202560 333 0 0 0 72 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829745232936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8370] ppid=8360 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (java) S 8360 8363 5767 0 -1 4202560 366 0 0 0 77 6 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829744179368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8371] ppid=8360 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/8363/task/8371/stat : 8371 (java) S 8360 8363 5767 0 -1 4202560 295 0 0 0 75 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829743126824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8372] ppid=8360 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/8363/task/8372/stat : 8372 (java) S 8360 8363 5767 0 -1 4202560 463 0 0 0 85 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829742074280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8373] ppid=8360 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/8363/task/8373/stat : 8373 (java) S 8360 8363 5767 0 -1 4202560 407 0 0 0 76 10 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829741021736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8374] ppid=8360 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/8363/task/8374/stat : 8374 (java) S 8360 8363 5767 0 -1 4202560 1453 0 0 0 125 8 0 0 20 0 22 0 3505726 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829728823912 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8375] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (java) S 8360 8363 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829727770232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8376] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8376/stat : 8376 (java) S 8360 8363 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829726717576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8377] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8377/stat : 8377 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829725666320 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8378] ppid=8360 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/8363/task/8378/stat : 8378 (java) S 8360 8363 5767 0 -1 4202560 8849 0 0 0 102 2 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829724612664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8379] ppid=8360 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/8363/task/8379/stat : 8379 (java) S 8360 8363 5767 0 -1 4202560 20426 0 0 0 171 4 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829723560120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8380] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8380/stat : 8380 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829722507768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8381] ppid=8360 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/8363/task/8381/stat : 8381 (java) S 8360 8363 5767 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829721455432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8382] ppid=8360 vsize=9824732 CPUtime=876.47 cores=0,2,4,6
/proc/8363/task/8382/stat : 8382 (java) R 8360 8363 5767 0 -1 4202560 63 0 0 0 87633 14 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829720391936 139829844824195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8383] ppid=8360 vsize=9824732 CPUtime=876.47 cores=0,2,4,6
/proc/8363/task/8383/stat : 8383 (java) R 8360 8363 5767 0 -1 4202560 1494 0 0 0 87599 48 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829719346960 139829845522620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8384] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8384/stat : 8384 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829718296104 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8385] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8385/stat : 8385 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829717243560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1768.75
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.001 s]
/proc/loadavg: 4.02 4.02 3.93 5/220 8545
/proc/meminfo: memFree=27405076/32872528 swapFree=248296/248296
[pid=8363] ppid=8360 vsize=9824732 CPUtime=1800.14 cores=0,2,4,6
/proc/8363/stat : 8363 (java) S 8360 8363 5767 0 -1 4202496 39243 0 1 0 179887 127 0 0 20 0 22 0 3505724 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 140734528362864 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8363/statm: 2456183 397883 2293 9 0 2446860 0
[pid=8363/tid=8364] ppid=8360 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/8363/task/8364/stat : 8364 (java) S 8360 8363 5767 0 -1 4202560 2473 0 1 0 16 2 0 0 20 0 22 0 3505724 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829904622456 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8366] ppid=8360 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/8363/task/8366/stat : 8366 (java) S 8360 8363 5767 0 -1 4202560 381 0 0 0 75 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829843352232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8367] ppid=8360 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/8363/task/8367/stat : 8367 (java) S 8360 8363 5767 0 -1 4202560 470 0 0 0 90 9 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829842299688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8368] ppid=8360 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/8363/task/8368/stat : 8368 (java) S 8360 8363 5767 0 -1 4202560 453 0 0 0 78 6 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829746285480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8369] ppid=8360 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8363/task/8369/stat : 8369 (java) S 8360 8363 5767 0 -1 4202560 333 0 0 0 72 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829745232936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8370] ppid=8360 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/8363/task/8370/stat : 8370 (java) S 8360 8363 5767 0 -1 4202560 366 0 0 0 77 6 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829744179368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8371] ppid=8360 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/8363/task/8371/stat : 8371 (java) S 8360 8363 5767 0 -1 4202560 295 0 0 0 75 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829743126824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8372] ppid=8360 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/8363/task/8372/stat : 8372 (java) S 8360 8363 5767 0 -1 4202560 463 0 0 0 85 8 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829742074280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8373] ppid=8360 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/8363/task/8373/stat : 8373 (java) S 8360 8363 5767 0 -1 4202560 407 0 0 0 76 10 0 0 20 0 22 0 3505725 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829741021736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8363/tid=8374] ppid=8360 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/8363/task/8374/stat : 8374 (java) S 8360 8363 5767 0 -1 4202560 1453 0 0 0 125 8 0 0 20 0 22 0 3505726 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829728823912 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8375] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8375/stat : 8375 (java) S 8360 8363 5767 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829727770232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8376] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8376/stat : 8376 (java) S 8360 8363 5767 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3505727 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829726717576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8377] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8377/stat : 8377 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829725666320 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8378] ppid=8360 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/8363/task/8378/stat : 8378 (java) S 8360 8363 5767 0 -1 4202560 8849 0 0 0 102 2 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829724612664 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8379] ppid=8360 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/8363/task/8379/stat : 8379 (java) S 8360 8363 5767 0 -1 4202560 20426 0 0 0 171 4 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829723560120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8380] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8380/stat : 8380 (java) S 8360 8363 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829722507768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8363/tid=8381] ppid=8360 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/8363/task/8381/stat : 8381 (java) S 8360 8363 5767 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 3505729 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829721455432 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8382] ppid=8360 vsize=9824732 CPUtime=892.12 cores=0,2,4,6
/proc/8363/task/8382/stat : 8382 (java) R 8360 8363 5767 0 -1 4202560 63 0 0 0 89197 15 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829720391936 139829844869180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8383] ppid=8360 vsize=9824732 CPUtime=892.12 cores=0,2,4,6
/proc/8363/task/8383/stat : 8383 (java) R 8360 8363 5767 0 -1 4202560 1494 0 0 0 89164 48 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829719346960 139829845445673 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8363/tid=8384] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8384/stat : 8384 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829718296104 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8363/tid=8385] ppid=8360 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8363/task/8385/stat : 8385 (java) S 8360 8363 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3505740 10060525568 397883 33554432000 1073741824 1073778376 140734528371728 139829717243560 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8363 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 8363 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=528190
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=761732
# CPU time returned by wait4() is 1796.29
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.093
CPU time (s): 1800.14
CPU user time (s): 1798.87
CPU system time (s): 1.27
CPU usage (%): 200.44
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.53
system time used= 1.76173
maximum resident set size= 3029784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39308
page faults= 1
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23500
involuntary context switches= 22079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55415 second user time and 7.40487 second system time
The end