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-4107888-1466285096/watcher-4107888-1466285096 -o /tmp/evaluation-result-4107888-1466285096/solver-4107888-1466285096 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466275489-17659 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4107888-1466285096.opb
pid=23505
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: 3.97 4.15 3.99 5/195 23508
/proc/meminfo: memFree=26672512/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 30556530 95129600 927 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 23528 927 703 9 0 16769 0
[pid=23508/tid=23509] ppid=23505 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) R 23505 23508 17643 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 2 0 30556530 98635776 949 33554432000 1073741824 1073778376 140733367862352 140049225461288 227503337351 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100059 s]
/proc/loadavg: 3.97 4.15 3.99 5/195 23508
/proc/meminfo: memFree=26672512/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 4487 0 1 0 9 1 0 0 20 0 18 0 30556530 9787879424 6114 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2389619 6114 2156 9 0 2380296 0
[pid=23508/tid=23509] ppid=23505 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) R 23505 23508 17643 0 -1 4202560 2415 0 1 0 6 1 0 0 20 0 18 0 30556530 9787879424 6114 33554432000 1073741824 1073778376 140733367862352 140049225464736 227515884813 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.200265 s]
/proc/loadavg: 3.97 4.15 3.99 5/195 23508
/proc/meminfo: memFree=26672512/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 4744 0 1 0 24 2 0 0 20 0 18 0 30556530 9787879424 7343 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2389619 7343 2214 9 0 2380296 0
[pid=23508/tid=23509] ppid=23505 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) R 23505 23508 17643 0 -1 4202560 2432 0 1 0 16 1 0 0 20 0 18 0 30556530 9787879424 7343 33554432000 1073741824 1073778376 140733367862352 140049225464736 227515874360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300263 s]
/proc/loadavg: 3.97 4.15 3.99 5/195 23508
/proc/meminfo: memFree=26672512/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 6173 0 1 0 49 2 0 0 20 0 18 0 30556530 9787879424 9330 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2389619 9330 2233 9 0 2380296 0
[pid=23508/tid=23509] ppid=23505 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) R 23505 23508 17643 0 -1 4202560 2434 0 1 0 26 1 0 0 20 0 18 0 30556530 9787879424 9330 33554432000 1073741824 1073778376 140733367862352 140049225464736 140049098197328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700229 s]
/proc/loadavg: 3.97 4.15 3.99 5/195 23508
/proc/meminfo: memFree=26672512/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9559080 CPUtime=1.67 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 23413 0 1 0 162 5 0 0 20 0 18 0 30556530 9788497920 32574 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2389770 32574 2250 9 0 2380447 0
[pid=23508/tid=23509] ppid=23505 vsize=9559080 CPUtime=0.67 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) R 23505 23508 17643 0 -1 4202560 2467 0 1 0 65 2 0 0 20 0 18 0 30556530 9788497920 32574 33554432000 1073741824 1073778376 140733367862352 140049225457648 140049098136230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9559080
[startup+1.5007 s]
/proc/loadavg: 4.13 4.18 4.00 6/213 23526
/proc/meminfo: memFree=26470344/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9558476 CPUtime=3.7 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 31487 0 1 0 361 9 0 0 20 0 18 0 30556530 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2389619 61423 2268 9 0 2380296 0
[pid=23508/tid=23509] ppid=23505 vsize=9558476 CPUtime=1.38 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) R 23505 23508 17643 0 -1 4202560 2509 0 1 0 134 4 0 0 20 0 18 0 30556530 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049225457600 140049098581513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23511] ppid=23505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/23508/task/23511/stat : 23511 (java) S 23505 23508 17643 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049069582888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23512] ppid=23505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/23508/task/23512/stat : 23512 (java) S 23505 23508 17643 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049068530088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23513] ppid=23505 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/23508/task/23513/stat : 23513 (java) S 23505 23508 17643 0 -1 4202560 111 0 0 0 3 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049067477288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23514] ppid=23505 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/23508/task/23514/stat : 23514 (java) S 23505 23508 17643 0 -1 4202560 137 0 0 0 2 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049066424488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23515] ppid=23505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/23508/task/23515/stat : 23515 (java) S 23505 23508 17643 0 -1 4202560 110 0 0 0 1 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049065372712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23516] ppid=23505 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/23508/task/23516/stat : 23516 (java) S 23505 23508 17643 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049064319912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23517] ppid=23505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/23508/task/23517/stat : 23517 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049063267112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23518] ppid=23505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/23508/task/23518/stat : 23518 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 30556531 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049062214312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23519] ppid=23505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23519/stat : 23519 (java) S 23505 23508 17643 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 30556532 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049049803240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23520] ppid=23505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23520/stat : 23520 (java) S 23505 23508 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30556532 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049048749304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23521] ppid=23505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23521/stat : 23521 (java) S 23505 23508 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30556532 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049047696392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23522] ppid=23505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23522/stat : 23522 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30556535 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049046644880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23523] ppid=23505 vsize=9558476 CPUtime=0.97 cores=0,2,4,6
/proc/23508/task/23523/stat : 23523 (java) R 23505 23508 17643 0 -1 4202560 14682 0 0 0 95 2 0 0 20 0 18 0 30556535 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049045571128 140049229583712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23524] ppid=23505 vsize=9558476 CPUtime=1.06 cores=0,2,4,6
/proc/23508/task/23524/stat : 23524 (java) R 23505 23508 17643 0 -1 4202560 12562 0 0 0 104 2 0 0 20 0 18 0 30556535 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049044517464 140049233183425 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23525] ppid=23505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23525/stat : 23525 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30556535 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049043487608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23526] ppid=23505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23526/stat : 23526 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30556535 9787879424 61423 33554432000 1073741824 1073778376 140733367862352 140049042435016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9558476
[startup+3.10084 s]
/proc/loadavg: 4.13 4.18 4.00 7/217 23530
/proc/meminfo: memFree=26440372/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9824732 CPUtime=8.43 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 38622 0 1 0 826 17 0 0 20 0 22 0 30556530 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2456183 98847 2285 9 0 2446860 0
[pid=23508/tid=23509] ppid=23505 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) S 23505 23508 17643 0 -1 4202560 2514 0 1 0 185 4 0 0 20 0 22 0 30556530 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049225466744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23511] ppid=23505 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23508/task/23511/stat : 23511 (java) S 23505 23508 17643 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049069582888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23512] ppid=23505 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/23508/task/23512/stat : 23512 (java) S 23505 23508 17643 0 -1 4202560 44 0 0 0 6 1 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049068530088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23513] ppid=23505 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23508/task/23513/stat : 23513 (java) S 23505 23508 17643 0 -1 4202560 125 0 0 0 5 0 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049067477288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23514] ppid=23505 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23508/task/23514/stat : 23514 (java) S 23505 23508 17643 0 -1 4202560 145 0 0 0 3 0 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049066424488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23515] ppid=23505 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23508/task/23515/stat : 23515 (java) S 23505 23508 17643 0 -1 4202560 139 0 0 0 6 0 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049065372712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23516] ppid=23505 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23508/task/23516/stat : 23516 (java) S 23505 23508 17643 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049064319912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23517] ppid=23505 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23508/task/23517/stat : 23517 (java) S 23505 23508 17643 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049063267112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23518] ppid=23505 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/23508/task/23518/stat : 23518 (java) S 23505 23508 17643 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 30556531 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049062214312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23519] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23519/stat : 23519 (java) S 23505 23508 17643 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049049803240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23520] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23520/stat : 23520 (java) S 23505 23508 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049048749304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23521] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23521/stat : 23521 (java) S 23505 23508 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049047696392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23522] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23522/stat : 23522 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049046644880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23523] ppid=23505 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/23508/task/23523/stat : 23523 (java) S 23505 23508 17643 0 -1 4202560 18038 0 0 0 187 3 0 0 20 0 22 0 30556535 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049045593016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23524] ppid=23505 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/23508/task/23524/stat : 23524 (java) S 23505 23508 17643 0 -1 4202560 15955 0 0 0 208 2 0 0 20 0 22 0 30556535 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049044540216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23525] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23525/stat : 23525 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049043487608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23526] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23526/stat : 23526 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049042435016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23527] ppid=23505 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/23508/task/23527/stat : 23527 (java) R 23505 23508 17643 0 -1 4202560 24 0 0 0 98 0 0 0 20 0 22 0 30556731 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049041281656 140049099959662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23528] ppid=23505 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/23508/task/23528/stat : 23528 (java) R 23505 23508 17643 0 -1 4202560 80 0 0 0 98 2 0 0 20 0 22 0 30556731 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049040227008 140049099874070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23529] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23529/stat : 23529 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049039176616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23530] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23530/stat : 23530 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 98847 33554432000 1073741824 1073778376 140733367862352 140049038123816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 9824732
[startup+6.30085 s]
/proc/loadavg: 4.13 4.18 4.00 5/217 23530
/proc/meminfo: memFree=26163544/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9824732 CPUtime=15.52 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 39808 0 1 0 1524 28 0 0 20 0 22 0 30556530 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2456183 167979 2291 9 0 2446860 0
[pid=23508/tid=23509] ppid=23505 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) S 23505 23508 17643 0 -1 4202560 2515 0 1 0 185 4 0 0 20 0 22 0 30556530 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049225466744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23511] ppid=23505 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/23508/task/23511/stat : 23511 (java) S 23505 23508 17643 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049069582888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23512] ppid=23505 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/23508/task/23512/stat : 23512 (java) S 23505 23508 17643 0 -1 4202560 87 0 0 0 12 2 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049068530088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23513] ppid=23505 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/23508/task/23513/stat : 23513 (java) S 23505 23508 17643 0 -1 4202560 161 0 0 0 8 2 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049067477288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23514] ppid=23505 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/23508/task/23514/stat : 23514 (java) S 23505 23508 17643 0 -1 4202560 178 0 0 0 8 2 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049066424488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23515] ppid=23505 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/23508/task/23515/stat : 23515 (java) S 23505 23508 17643 0 -1 4202560 160 0 0 0 8 2 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049065372712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23516] ppid=23505 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/23508/task/23516/stat : 23516 (java) S 23505 23508 17643 0 -1 4202560 50 0 0 0 6 1 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049064319912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23517] ppid=23505 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/23508/task/23517/stat : 23517 (java) S 23505 23508 17643 0 -1 4202560 43 0 0 0 6 2 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049063267112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23518] ppid=23505 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/23508/task/23518/stat : 23518 (java) S 23505 23508 17643 0 -1 4202560 47 0 0 0 5 1 0 0 20 0 22 0 30556531 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049062214312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23519] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23519/stat : 23519 (java) S 23505 23508 17643 0 -1 4202560 473 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049049803240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23520] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23520/stat : 23520 (java) S 23505 23508 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049048749304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23521] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23521/stat : 23521 (java) S 23505 23508 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 167979 33554432000 1073741824 1073778376 140733367862352 140049047696392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23522] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23508/task/23513/stat : 23513 (java) S 23505 23508 17643 0 -1 4202560 881 0 0 0 399 17 0 0 20 0 22 0 30556531 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049067477288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23514] ppid=23505 vsize=9824732 CPUtime=4.01 cores=0,2,4,6
/proc/23508/task/23514/stat : 23514 (java) S 23505 23508 17643 0 -1 4202560 732 0 0 0 382 19 0 0 20 0 22 0 30556531 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049066424488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23515] ppid=23505 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/23508/task/23515/stat : 23515 (java) S 23505 23508 17643 0 -1 4202560 666 0 0 0 382 16 0 0 20 0 22 0 30556531 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049065372712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23516] ppid=23505 vsize=9824732 CPUtime=3.88 cores=0,2,4,6
/proc/23508/task/23516/stat : 23516 (java) S 23505 23508 17643 0 -1 4202560 539 0 0 0 374 14 0 0 20 0 22 0 30556531 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049064319912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23517] ppid=23505 vsize=9824732 CPUtime=3.77 cores=0,2,4,6
/proc/23508/task/23517/stat : 23517 (java) S 23505 23508 17643 0 -1 4202560 473 0 0 0 365 12 0 0 20 0 22 0 30556531 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049063267112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23518] ppid=23505 vsize=9824732 CPUtime=3.62 cores=0,2,4,6
/proc/23508/task/23518/stat : 23518 (java) S 23505 23508 17643 0 -1 4202560 537 0 0 0 348 14 0 0 20 0 22 0 30556531 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049062214312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23519] ppid=23505 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/23508/task/23519/stat : 23519 (java) S 23505 23508 17643 0 -1 4202560 2455 0 0 0 453 7 0 0 20 0 22 0 30556532 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049049803240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23520] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23520/stat : 23520 (java) S 23505 23508 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049048749304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23521] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23521/stat : 23521 (java) S 23505 23508 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049047696392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23522] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23522/stat : 23522 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049046644880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23523] ppid=23505 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/23508/task/23523/stat : 23523 (java) S 23505 23508 17643 0 -1 4202560 19009 0 0 0 271 3 0 0 20 0 22 0 30556535 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049045593016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23524] ppid=23505 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/23508/task/23524/stat : 23524 (java) S 23505 23508 17643 0 -1 4202560 15974 0 0 0 258 2 0 0 20 0 22 0 30556535 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049044540216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23525] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23525/stat : 23525 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049043487608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23526] ppid=23505 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/23508/task/23526/stat : 23526 (java) S 23505 23508 17643 0 -1 4202560 47 0 0 0 13 13 0 0 20 0 22 0 30556535 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049042435016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23527] ppid=23505 vsize=9824732 CPUtime=805.24 cores=0,2,4,6
/proc/23508/task/23527/stat : 23527 (java) R 23505 23508 17643 0 -1 4202560 334 0 0 0 80509 15 0 0 20 0 22 0 30556731 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049041280448 140049098381238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23528] ppid=23505 vsize=9824732 CPUtime=805.19 cores=0,2,4,6
/proc/23508/task/23528/stat : 23528 (java) R 23505 23508 17643 0 -1 4202560 1515 0 0 0 80475 44 0 0 20 0 22 0 30556731 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049040226976 140049099913984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23529] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23529/stat : 23529 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049039176616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23530] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23530/stat : 23530 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 964801 33554432000 1073741824 1073778376 140733367862352 140049038123816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1658.22
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.34 4.26 4.14 6/217 23619
/proc/meminfo: memFree=23525448/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9824732 CPUtime=1779.22 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 48605 0 1 0 177729 193 0 0 20 0 22 0 30556530 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2456183 968753 2300 9 0 2446860 0
[pid=23508/tid=23509] ppid=23505 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) S 23505 23508 17643 0 -1 4202560 2527 0 1 0 188 4 0 0 20 0 22 0 30556530 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049225466744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23511] ppid=23505 vsize=9824732 CPUtime=4.36 cores=0,2,4,6
/proc/23508/task/23511/stat : 23511 (java) S 23505 23508 17643 0 -1 4202560 731 0 0 0 420 16 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049069582888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23512] ppid=23505 vsize=9824732 CPUtime=4.3 cores=0,2,4,6
/proc/23508/task/23512/stat : 23512 (java) S 23505 23508 17643 0 -1 4202560 788 0 0 0 414 16 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049068530088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23513] ppid=23505 vsize=9824732 CPUtime=4.43 cores=0,2,4,6
/proc/23508/task/23513/stat : 23513 (java) S 23505 23508 17643 0 -1 4202560 930 0 0 0 426 17 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049067477288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23514] ppid=23505 vsize=9824732 CPUtime=4.31 cores=0,2,4,6
/proc/23508/task/23514/stat : 23514 (java) S 23505 23508 17643 0 -1 4202560 734 0 0 0 412 19 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049066424488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23515] ppid=23505 vsize=9824732 CPUtime=4.28 cores=0,2,4,6
/proc/23508/task/23515/stat : 23515 (java) S 23505 23508 17643 0 -1 4202560 669 0 0 0 412 16 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049065372712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23516] ppid=23505 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/23508/task/23516/stat : 23516 (java) S 23505 23508 17643 0 -1 4202560 539 0 0 0 392 15 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049064319912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23517] ppid=23505 vsize=9824732 CPUtime=3.96 cores=0,2,4,6
/proc/23508/task/23517/stat : 23517 (java) S 23505 23508 17643 0 -1 4202560 532 0 0 0 384 12 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049063267112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23518] ppid=23505 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/23508/task/23518/stat : 23518 (java) S 23505 23508 17643 0 -1 4202560 541 0 0 0 385 14 0 0 20 0 22 0 30556531 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049062214312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23519] ppid=23505 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/23508/task/23519/stat : 23519 (java) S 23505 23508 17643 0 -1 4202560 2459 0 0 0 453 7 0 0 20 0 22 0 30556532 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049049803240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23520] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23520/stat : 23520 (java) S 23505 23508 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049048749304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23521] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23521/stat : 23521 (java) S 23505 23508 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049047696392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23522] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23522/stat : 23522 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049046644880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23523] ppid=23505 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/23508/task/23523/stat : 23523 (java) S 23505 23508 17643 0 -1 4202560 19009 0 0 0 271 3 0 0 20 0 22 0 30556535 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049045593016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23524] ppid=23505 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/23508/task/23524/stat : 23524 (java) S 23505 23508 17643 0 -1 4202560 15974 0 0 0 258 2 0 0 20 0 22 0 30556535 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049044540216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23525] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23525/stat : 23525 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049043487608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23526] ppid=23505 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/23508/task/23526/stat : 23526 (java) S 23505 23508 17643 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 30556535 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049042435016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23527] ppid=23505 vsize=9824732 CPUtime=864.52 cores=0,2,4,6
/proc/23508/task/23527/stat : 23527 (java) R 23505 23508 17643 0 -1 4202560 338 0 0 0 86436 16 0 0 20 0 22 0 30556731 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049041280448 140049099794113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23528] ppid=23505 vsize=9824732 CPUtime=864.47 cores=0,2,4,6
/proc/23508/task/23528/stat : 23528 (java) R 23505 23508 17643 0 -1 4202560 1518 0 0 0 86402 45 0 0 20 0 22 0 30556731 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049040226976 140049099854148 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23529] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23529/stat : 23529 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049039176616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23530] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23530/stat : 23530 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 968753 33554432000 1073741824 1073778376 140733367862352 140049038123816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1779.22
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+892.601 s]
/proc/loadavg: 4.28 4.25 4.14 5/217 23619
/proc/meminfo: memFree=23519860/32872528 swapFree=1316768/1463936
[pid=23508] ppid=23505 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/23508/stat : 23508 (java) S 23505 23508 17643 0 -1 4202496 48611 0 1 0 179808 194 0 0 20 0 22 0 30556530 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140733367853488 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23508/statm: 2456183 970289 2300 9 0 2446860 0
[pid=23508/tid=23509] ppid=23505 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/23508/task/23509/stat : 23509 (java) S 23505 23508 17643 0 -1 4202560 2527 0 1 0 188 4 0 0 20 0 22 0 30556530 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049225466744 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23511] ppid=23505 vsize=9824732 CPUtime=4.42 cores=0,2,4,6
/proc/23508/task/23511/stat : 23511 (java) S 23505 23508 17643 0 -1 4202560 731 0 0 0 426 16 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049069582888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23512] ppid=23505 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/23508/task/23512/stat : 23512 (java) S 23505 23508 17643 0 -1 4202560 790 0 0 0 419 16 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049068530088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23513] ppid=23505 vsize=9824732 CPUtime=4.55 cores=0,2,4,6
/proc/23508/task/23513/stat : 23513 (java) S 23505 23508 17643 0 -1 4202560 931 0 0 0 438 17 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049067477288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23514] ppid=23505 vsize=9824732 CPUtime=4.34 cores=0,2,4,6
/proc/23508/task/23514/stat : 23514 (java) S 23505 23508 17643 0 -1 4202560 735 0 0 0 415 19 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049066424488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23515] ppid=23505 vsize=9824732 CPUtime=4.35 cores=0,2,4,6
/proc/23508/task/23515/stat : 23515 (java) S 23505 23508 17643 0 -1 4202560 670 0 0 0 419 16 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049065372712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23516] ppid=23505 vsize=9824732 CPUtime=4.09 cores=0,2,4,6
/proc/23508/task/23516/stat : 23516 (java) S 23505 23508 17643 0 -1 4202560 539 0 0 0 394 15 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049064319912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23517] ppid=23505 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/23508/task/23517/stat : 23517 (java) S 23505 23508 17643 0 -1 4202560 532 0 0 0 386 12 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049063267112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23518] ppid=23505 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/23508/task/23518/stat : 23518 (java) S 23505 23508 17643 0 -1 4202560 541 0 0 0 391 14 0 0 20 0 22 0 30556531 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049062214312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23519] ppid=23505 vsize=9824732 CPUtime=4.61 cores=0,2,4,6
/proc/23508/task/23519/stat : 23519 (java) S 23505 23508 17643 0 -1 4202560 2459 0 0 0 453 8 0 0 20 0 22 0 30556532 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049049803240 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23520] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23520/stat : 23520 (java) S 23505 23508 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049048749304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23521] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23521/stat : 23521 (java) S 23505 23508 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30556532 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049047696392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23522] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23522/stat : 23522 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049046644880 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23523] ppid=23505 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/23508/task/23523/stat : 23523 (java) S 23505 23508 17643 0 -1 4202560 19009 0 0 0 271 3 0 0 20 0 22 0 30556535 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049045593016 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23524] ppid=23505 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/23508/task/23524/stat : 23524 (java) S 23505 23508 17643 0 -1 4202560 15974 0 0 0 258 2 0 0 20 0 22 0 30556535 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049044540216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23508/tid=23525] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23525/stat : 23525 (java) S 23505 23508 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30556535 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049043487608 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23526] ppid=23505 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/23508/task/23526/stat : 23526 (java) S 23505 23508 17643 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 30556535 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049042435016 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23527] ppid=23505 vsize=9824732 CPUtime=874.67 cores=0,2,4,6
/proc/23508/task/23527/stat : 23527 (java) R 23505 23508 17643 0 -1 4202560 338 0 0 0 87451 16 0 0 20 0 22 0 30556731 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049041279712 140049099820864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23508/tid=23528] ppid=23505 vsize=9824732 CPUtime=874.62 cores=0,2,4,6
/proc/23508/task/23528/stat : 23528 (java) R 23505 23508 17643 0 -1 4202560 1519 0 0 0 87417 45 0 0 20 0 22 0 30556731 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049040227392 140049099908224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23508/tid=23529] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23529/stat : 23529 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049039176616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23508/tid=23530] ppid=23505 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23508/task/23530/stat : 23530 (java) S 23505 23508 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30556738 10060525568 970289 33554432000 1073741824 1073778376 140733367862352 140049038123816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 23508 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 23508 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=658322
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=341644
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 892.675
CPU time (s): 1800.02
CPU user time (s): 1798.08
CPU system time (s): 1.94
CPU usage (%): 201.643
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 2.34164
maximum resident set size= 3881272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48645
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24084
involuntary context switches= 26676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17321 second user time and 7.13291 second system time
The end