runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454202-1307190439/watcher-3454202-1307190439 -o /tmp/evaluation-result-3454202-1307190439/solver-3454202-1307190439 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454202-1307190439.opb
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: 2.69 2.63 3.20 3/476 28581
/proc/meminfo: memFree=24319240/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 5996 0 1 0 0 0 0 0 25 0 2 0 811459841 10694979584 5697 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2611079 5711 917 9 0 2602235 0
[pid=28581/tid=28582] ppid=28579 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) R 28579 28581 23562 0 -1 4202560 6129 0 1 0 0 0 0 0 25 0 2 0 811459841 10694979584 6944 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.103572 s]
/proc/loadavg: 2.69 2.63 3.20 3/476 28581
/proc/meminfo: memFree=24319240/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10540076 CPUtime=0.11 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 13120 0 1 0 9 2 0 0 25 0 18 0 811459841 10793037824 12794 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2635019 12800 2098 9 0 2625753 0
[pid=28581/tid=28582] ppid=28579 vsize=10540076 CPUtime=0.08 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) R 28579 28581 23562 0 -1 4202560 11193 0 1 0 7 1 0 0 25 0 18 0 811459841 10793037824 12800 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 47419904955319 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540076
[startup+0.200512 s]
/proc/loadavg: 2.69 2.63 3.20 3/476 28581
/proc/meminfo: memFree=24319240/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10540984 CPUtime=0.29 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 14725 0 1 0 26 3 0 0 25 0 18 0 811459841 10793967616 14321 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2635246 14322 2178 9 0 2625980 0
[pid=28581/tid=28582] ppid=28579 vsize=10540984 CPUtime=0.18 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) R 28579 28581 23562 0 -1 4202560 12208 0 1 0 16 2 0 0 25 0 18 0 811459841 10793967616 14322 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 47419908397876 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540984
[startup+0.300537 s]
/proc/loadavg: 2.69 2.63 3.20 3/476 28581
/proc/meminfo: memFree=24319240/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10544108 CPUtime=0.55 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 18898 0 1 0 52 3 0 0 25 0 18 0 811459841 10797166592 17767 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2636027 17769 2201 9 0 2626761 0
[pid=28581/tid=28582] ppid=28579 vsize=10544108 CPUtime=0.28 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) R 28579 28581 23562 0 -1 4202560 14242 0 1 0 26 2 0 0 25 0 18 0 811459841 10797166592 17771 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505598782 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10544108
[startup+0.700421 s]
/proc/loadavg: 2.69 2.63 3.20 3/476 28581
/proc/meminfo: memFree=24319240/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10557236 CPUtime=1.64 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 42618 0 1 0 158 6 0 0 25 0 21 0 811459841 10810609664 38435 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2639309 38435 2227 9 0 2630043 0
[pid=28581/tid=28582] ppid=28579 vsize=10557236 CPUtime=0.6 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) S 28579 28581 23562 0 -1 4202560 31721 0 1 0 55 5 0 0 25 0 21 0 811459841 10810609664 38435 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10557236
[startup+1.50134 s]
/proc/loadavg: 2.87 2.66 3.20 5/498 28603
/proc/meminfo: memFree=24110940/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10558264 CPUtime=3.95 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 84164 0 1 0 384 11 0 0 25 0 22 0 811459841 10811662336 77495 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2639566 77501 2235 9 0 2630300 0
[pid=28581/tid=28582] ppid=28579 vsize=10558264 CPUtime=0.6 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) S 28579 28581 23562 0 -1 4202560 31721 0 1 0 55 5 0 0 20 0 22 0 811459841 10811662336 77504 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28584] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28584/stat : 28584 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77506 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28585] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28585/stat : 28585 (java) S 28579 28581 23562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77512 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28586] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28586/stat : 28586 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77512 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28587] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28587/stat : 28587 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77518 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28588] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28588/stat : 28588 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77521 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28589] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28589/stat : 28589 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77523 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28590] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28590/stat : 28590 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77529 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28591] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28591/stat : 28591 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 77530 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28592] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28592/stat : 28592 (java) S 28579 28581 23562 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 811459844 10811662336 77535 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 0 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28593] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28593/stat : 28593 (java) S 28579 28581 23562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811459844 10811662336 77538 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28594] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28594/stat : 28594 (java) S 28579 28581 23562 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811459844 10811662336 77540 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28595] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28595/stat : 28595 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10811662336 77547 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828060081 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28596] ppid=28579 vsize=10558264 CPUtime=0.82 cores=0,2,4,6
/proc/28581/task/28596/stat : 28596 (java) S 28579 28581 23562 0 -1 4202560 5128 0 0 0 82 0 0 0 23 0 22 0 811459846 10811662336 77547 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28597] ppid=28579 vsize=10558264 CPUtime=0.74 cores=0,2,4,6
/proc/28581/task/28597/stat : 28597 (java) S 28579 28581 23562 0 -1 4202560 6728 0 0 0 74 0 0 0 23 0 22 0 811459846 10811662336 77552 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28598] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28598/stat : 28598 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10811662336 77555 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28599] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28599/stat : 28599 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811459846 10811662336 77558 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28600] ppid=28579 vsize=10558264 CPUtime=0.88 cores=0,2,4,6
/proc/28581/task/28600/stat : 28600 (java) R 28579 28581 23562 0 -1 4202560 255 0 0 0 88 0 0 0 25 0 22 0 811459902 10811662336 77564 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505937118 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28581/tid=28601] ppid=28579 vsize=10558264 CPUtime=0.87 cores=0,2,4,6
/proc/28581/task/28601/stat : 28601 (java) R 28579 28581 23562 0 -1 4202560 39233 0 0 0 83 4 0 0 25 0 22 0 811459902 10811662336 77564 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505583182 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28581/tid=28602] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28602/stat : 28602 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459907 10811662336 77569 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28603] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28603/stat : 28603 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459912 10811662336 77572 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 10558264
[startup+3.10101 s]
/proc/loadavg: 2.87 2.66 3.20 5/498 28603
/proc/meminfo: memFree=23707072/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10558264 CPUtime=7.46 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 294486 0 1 0 713 33 0 0 25 0 22 0 811459841 10811662336 286841 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2639566 286843 2239 9 0 2630300 0
[pid=28581/tid=28582] ppid=28579 vsize=10558264 CPUtime=0.6 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) S 28579 28581 23562 0 -1 4202560 31721 0 1 0 55 5 0 0 15 0 22 0 811459841 10811662336 286848 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28584] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28584/stat : 28584 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286849 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28585] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28585/stat : 28585 (java) S 28579 28581 23562 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286849 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28586] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28586/stat : 28586 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286854 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28587] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28587/stat : 28587 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286857 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28588] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28588/stat : 28588 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286857 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28589] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28589/stat : 28589 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286859 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28590] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28590/stat : 28590 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286864 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28591] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28591/stat : 28591 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459843 10811662336 286865 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28592] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28592/stat : 28592 (java) S 28579 28581 23562 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 811459844 10811662336 286866 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 0 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28593] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28593/stat : 28593 (java) S 28579 28581 23562 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811459844 10811662336 286870 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28594] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28594/stat : 28594 (java) S 28579 28581 23562 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811459844 10811662336 286873 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28595] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28595/stat : 28595 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10811662336 286873 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828060081 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28596] ppid=28579 vsize=10558264 CPUtime=1 cores=0,2,4,6
/proc/28581/task/28596/stat : 28596 (java) S 28579 28581 23562 0 -1 4202560 5157 0 0 0 100 0 0 0 15 0 22 0 811459846 10811662336 286875 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28597] ppid=28579 vsize=10558264 CPUtime=0.87 cores=0,2,4,6
/proc/28581/task/28597/stat : 28597 (java) S 28579 28581 23562 0 -1 4202560 7710 0 0 0 86 1 0 0 15 0 22 0 811459846 10811662336 286880 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28598] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28598/stat : 28598 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10811662336 286882 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28599] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28599/stat : 28599 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811459846 10811662336 286882 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28600] ppid=28579 vsize=10558264 CPUtime=2.48 cores=0,2,4,6
/proc/28581/task/28600/stat : 28600 (java) R 28579 28581 23562 0 -1 4202560 425 0 0 0 248 0 0 0 25 0 22 0 811459902 10811662336 286886 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505937094 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28581/tid=28601] ppid=28579 vsize=10558264 CPUtime=2.47 cores=0,2,4,6
/proc/28581/task/28601/stat : 28601 (java) R 28579 28581 23562 0 -1 4202560 248354 0 0 0 221 26 0 0 25 0 22 0 811459902 10811662336 286890 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505583062 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28581/tid=28602] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28602/stat : 28602 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459907 10811662336 286890 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28603] ppid=28579 vsize=10558264 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28603/stat : 28603 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459912 10811662336 286891 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 10558264
[startup+6.30142 s]
/proc/loadavg: 2.96 2.69 3.21 5/498 28603
/proc/meminfo: memFree=22373132/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10555080 CPUtime=13.9 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 495319 0 1 0 1337 53 0 0 25 0 22 0 811459841 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2638770 487079 2264 9 0 2629504 0
[pid=28581/tid=28582] ppid=28579 vsize=10555080 CPUtime=0.6 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) S 28579 28581 23562 0 -1 4202560 31721 0 1 0 55 5 0 0 15 0 22 0 811459841 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28584] ppid=28579 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28584/stat : 28584 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28585] ppid=28579 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28585/stat : 28585 (java) S 28579 28581 23562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28586] ppid=28579 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28586/stat : 28586 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28587] ppid=28579 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28587/stat : 28587 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28588] ppid=28579 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28588/stat : 28588 (java) S 28579 28581 23562 0 -1 4202560 176 0 0 0 0 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28589] ppid=28579 vsize=10555080 CPUtime=0.01 cores=0,2,4,6
/proc/28581/task/28589/stat : 28589 (java) S 28579 28581 23562 0 -1 4202560 1046 0 0 0 1 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28590] ppid=28579 vsize=10555080 CPUtime=0.01 cores=0,2,4,6
/proc/28581/task/28590/stat : 28590 (java) S 28579 28581 23562 0 -1 4202560 1683 0 0 0 1 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28591] ppid=28579 vsize=10555080 CPUtime=0.01 cores=0,2,4,6
/proc/28581/task/28591/stat : 28591 (java) S 28579 28581 23562 0 -1 4202560 1454 0 0 0 1 0 0 0 18 0 22 0 811459843 10808401920 487079 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.01 3.90 3.64 5/498 28643
/proc/meminfo: memFree=17878164/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10557224 CPUtime=1604.62 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 721916 0 1 0 160381 81 0 0 25 0 22 0 811459841 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2639306 711480 2265 9 0 2630040 0
[pid=28581/tid=28582] ppid=28579 vsize=10557224 CPUtime=0.6 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) S 28579 28581 23562 0 -1 4202560 31729 0 1 0 55 5 0 0 15 0 22 0 811459841 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28584] ppid=28579 vsize=10557224 CPUtime=0.42 cores=0,2,4,6
/proc/28581/task/28584/stat : 28584 (java) S 28579 28581 23562 0 -1 4202560 508 0 0 0 42 0 0 0 16 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28585] ppid=28579 vsize=10557224 CPUtime=0.42 cores=0,2,4,6
/proc/28581/task/28585/stat : 28585 (java) S 28579 28581 23562 0 -1 4202560 312 0 0 0 42 0 0 0 16 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28586] ppid=28579 vsize=10557224 CPUtime=0.39 cores=0,2,4,6
/proc/28581/task/28586/stat : 28586 (java) S 28579 28581 23562 0 -1 4202560 602 0 0 0 39 0 0 0 15 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28587] ppid=28579 vsize=10557224 CPUtime=0.5 cores=0,2,4,6
/proc/28581/task/28587/stat : 28587 (java) S 28579 28581 23562 0 -1 4202560 67 0 0 0 50 0 0 0 15 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28588] ppid=28579 vsize=10557224 CPUtime=0.45 cores=0,2,4,6
/proc/28581/task/28588/stat : 28588 (java) S 28579 28581 23562 0 -1 4202560 208 0 0 0 45 0 0 0 15 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28589] ppid=28579 vsize=10557224 CPUtime=0.49 cores=0,2,4,6
/proc/28581/task/28589/stat : 28589 (java) S 28579 28581 23562 0 -1 4202560 1113 0 0 0 49 0 0 0 15 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28590] ppid=28579 vsize=10557224 CPUtime=0.41 cores=0,2,4,6
/proc/28581/task/28590/stat : 28590 (java) S 28579 28581 23562 0 -1 4202560 1897 0 0 0 41 0 0 0 15 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28591] ppid=28579 vsize=10557224 CPUtime=0.49 cores=0,2,4,6
/proc/28581/task/28591/stat : 28591 (java) S 28579 28581 23562 0 -1 4202560 1550 0 0 0 49 0 0 0 15 0 22 0 811459843 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28592] ppid=28579 vsize=10557224 CPUtime=43.29 cores=0,2,4,6
/proc/28581/task/28592/stat : 28592 (java) R 28579 28581 23562 0 -1 4202560 47180 0 0 0 4324 5 0 0 16 0 22 0 811459844 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 47419907141685 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=28581/tid=28593] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28593/stat : 28593 (java) S 28579 28581 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811459844 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28594] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28594/stat : 28594 (java) S 28579 28581 23562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811459844 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28595] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28595/stat : 28595 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828060081 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28596] ppid=28579 vsize=10557224 CPUtime=1.62 cores=0,2,4,6
/proc/28581/task/28596/stat : 28596 (java) S 28579 28581 23562 0 -1 4202560 6831 0 0 0 161 1 0 0 15 0 22 0 811459846 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28597] ppid=28579 vsize=10557224 CPUtime=1.08 cores=0,2,4,6
/proc/28581/task/28597/stat : 28597 (java) S 28579 28581 23562 0 -1 4202560 9165 0 0 0 107 1 0 0 16 0 22 0 811459846 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28598] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28598/stat : 28598 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28599] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28599/stat : 28599 (java) S 28579 28581 23562 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 811459846 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28600] ppid=28579 vsize=10557224 CPUtime=777.21 cores=0,2,4,6
/proc/28581/task/28600/stat : 28600 (java) S 28579 28581 23562 0 -1 4202560 729 0 0 0 77720 1 0 0 25 0 22 0 811459902 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28601] ppid=28579 vsize=10557224 CPUtime=777.14 cores=0,2,4,6
/proc/28581/task/28601/stat : 28601 (java) S 28579 28581 23562 0 -1 4202560 618820 0 0 0 77651 63 0 0 25 0 22 0 811459902 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28602] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28602/stat : 28602 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459907 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28603] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28603/stat : 28603 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459912 10810597376 711480 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1604.62
Current children cumulated vsize (KiB) 10557224
[startup+882.318 s]
/proc/loadavg: 3.96 3.90 3.65 4/498 28644
/proc/meminfo: memFree=17843656/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10557224 CPUtime=1720.62 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 723031 0 1 0 171981 81 0 0 25 0 22 0 811459841 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2639306 712575 2265 9 0 2630040 0
[pid=28581/tid=28582] ppid=28579 vsize=10557224 CPUtime=0.6 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) S 28579 28581 23562 0 -1 4202560 31729 0 1 0 55 5 0 0 15 0 22 0 811459841 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28584] ppid=28579 vsize=10557224 CPUtime=0.47 cores=0,2,4,6
/proc/28581/task/28584/stat : 28584 (java) S 28579 28581 23562 0 -1 4202560 515 0 0 0 47 0 0 0 16 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28585] ppid=28579 vsize=10557224 CPUtime=0.47 cores=0,2,4,6
/proc/28581/task/28585/stat : 28585 (java) S 28579 28581 23562 0 -1 4202560 313 0 0 0 47 0 0 0 15 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28586] ppid=28579 vsize=10557224 CPUtime=0.42 cores=0,2,4,6
/proc/28581/task/28586/stat : 28586 (java) S 28579 28581 23562 0 -1 4202560 606 0 0 0 42 0 0 0 15 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28587] ppid=28579 vsize=10557224 CPUtime=0.52 cores=0,2,4,6
/proc/28581/task/28587/stat : 28587 (java) S 28579 28581 23562 0 -1 4202560 68 0 0 0 52 0 0 0 15 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28588] ppid=28579 vsize=10557224 CPUtime=0.49 cores=0,2,4,6
/proc/28581/task/28588/stat : 28588 (java) S 28579 28581 23562 0 -1 4202560 213 0 0 0 49 0 0 0 15 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28589] ppid=28579 vsize=10557224 CPUtime=0.53 cores=0,2,4,6
/proc/28581/task/28589/stat : 28589 (java) S 28579 28581 23562 0 -1 4202560 1116 0 0 0 53 0 0 0 16 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28590] ppid=28579 vsize=10557224 CPUtime=0.44 cores=0,2,4,6
/proc/28581/task/28590/stat : 28590 (java) S 28579 28581 23562 0 -1 4202560 1897 0 0 0 44 0 0 0 15 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28591] ppid=28579 vsize=10557224 CPUtime=0.52 cores=0,2,4,6
/proc/28581/task/28591/stat : 28591 (java) S 28579 28581 23562 0 -1 4202560 1551 0 0 0 52 0 0 0 15 0 22 0 811459843 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28592] ppid=28579 vsize=10557224 CPUtime=47.43 cores=0,2,4,6
/proc/28581/task/28592/stat : 28592 (java) S 28579 28581 23562 0 -1 4202560 48257 0 0 0 4737 6 0 0 15 0 22 0 811459844 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 0 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28593] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28593/stat : 28593 (java) S 28579 28581 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811459844 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28594] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28594/stat : 28594 (java) S 28579 28581 23562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811459844 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28595] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28595/stat : 28595 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828060081 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28596] ppid=28579 vsize=10557224 CPUtime=1.62 cores=0,2,4,6
/proc/28581/task/28596/stat : 28596 (java) S 28579 28581 23562 0 -1 4202560 6831 0 0 0 161 1 0 0 15 0 22 0 811459846 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28597] ppid=28579 vsize=10557224 CPUtime=1.08 cores=0,2,4,6
/proc/28581/task/28597/stat : 28597 (java) S 28579 28581 23562 0 -1 4202560 9165 0 0 0 107 1 0 0 16 0 22 0 811459846 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28598] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28598/stat : 28598 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28599] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28599/stat : 28599 (java) S 28579 28581 23562 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811459846 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28600] ppid=28579 vsize=10557224 CPUtime=832.99 cores=0,2,4,6
/proc/28581/task/28600/stat : 28600 (java) R 28579 28581 23562 0 -1 4202560 741 0 0 0 83298 1 0 0 25 0 22 0 811459902 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505855880 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28581/tid=28601] ppid=28579 vsize=10557224 CPUtime=832.93 cores=0,2,4,6
/proc/28581/task/28601/stat : 28601 (java) R 28579 28581 23562 0 -1 4202560 618820 0 0 0 83229 64 0 0 25 0 22 0 811459902 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505883918 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28581/tid=28602] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28602/stat : 28602 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459907 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28603] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28603/stat : 28603 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459912 10810597376 712575 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1720.62
Current children cumulated vsize (KiB) 10557224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+923.601 s]
/proc/loadavg: 3.70 3.85 3.64 5/498 28729
/proc/meminfo: memFree=19792052/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=10557224 CPUtime=1800.1 cores=0,2,4,6
/proc/28581/stat : 28581 (java) S 28579 28581 23562 0 -1 4202496 723454 0 1 0 179928 82 0 0 25 0 22 0 811459841 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 2639306 712985 2265 9 0 2630040 0
[pid=28581/tid=28582] ppid=28579 vsize=10557224 CPUtime=0.6 cores=0,2,4,6
/proc/28581/task/28582/stat : 28582 (java) S 28579 28581 23562 0 -1 4202560 31729 0 1 0 55 5 0 0 15 0 22 0 811459841 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28584] ppid=28579 vsize=10557224 CPUtime=0.51 cores=0,2,4,6
/proc/28581/task/28584/stat : 28584 (java) S 28579 28581 23562 0 -1 4202560 515 0 0 0 51 0 0 0 16 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28585] ppid=28579 vsize=10557224 CPUtime=0.49 cores=0,2,4,6
/proc/28581/task/28585/stat : 28585 (java) S 28579 28581 23562 0 -1 4202560 314 0 0 0 49 0 0 0 16 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28586] ppid=28579 vsize=10557224 CPUtime=0.45 cores=0,2,4,6
/proc/28581/task/28586/stat : 28586 (java) S 28579 28581 23562 0 -1 4202560 607 0 0 0 45 0 0 0 16 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28587] ppid=28579 vsize=10557224 CPUtime=0.56 cores=0,2,4,6
/proc/28581/task/28587/stat : 28587 (java) S 28579 28581 23562 0 -1 4202560 70 0 0 0 56 0 0 0 15 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28588] ppid=28579 vsize=10557224 CPUtime=0.51 cores=0,2,4,6
/proc/28581/task/28588/stat : 28588 (java) S 28579 28581 23562 0 -1 4202560 213 0 0 0 51 0 0 0 15 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28589] ppid=28579 vsize=10557224 CPUtime=0.57 cores=0,2,4,6
/proc/28581/task/28589/stat : 28589 (java) S 28579 28581 23562 0 -1 4202560 1116 0 0 0 57 0 0 0 16 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28590] ppid=28579 vsize=10557224 CPUtime=0.47 cores=0,2,4,6
/proc/28581/task/28590/stat : 28590 (java) S 28579 28581 23562 0 -1 4202560 1897 0 0 0 47 0 0 0 16 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28591] ppid=28579 vsize=10557224 CPUtime=0.55 cores=0,2,4,6
/proc/28581/task/28591/stat : 28591 (java) S 28579 28581 23562 0 -1 4202560 1557 0 0 0 55 0 0 0 15 0 22 0 811459843 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28592] ppid=28579 vsize=10557224 CPUtime=50.64 cores=0,2,4,6
/proc/28581/task/28592/stat : 28592 (java) S 28579 28581 23562 0 -1 4202560 48659 0 0 0 5058 6 0 0 16 0 22 0 811459844 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 0 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28593] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28593/stat : 28593 (java) S 28579 28581 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811459844 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28594] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28594/stat : 28594 (java) S 28579 28581 23562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811459844 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28595] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28595/stat : 28595 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828060081 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28596] ppid=28579 vsize=10557224 CPUtime=1.62 cores=0,2,4,6
/proc/28581/task/28596/stat : 28596 (java) S 28579 28581 23562 0 -1 4202560 6831 0 0 0 161 1 0 0 15 0 22 0 811459846 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 6 0 0 0
[pid=28581/tid=28597] ppid=28579 vsize=10557224 CPUtime=1.08 cores=0,2,4,6
/proc/28581/task/28597/stat : 28597 (java) S 28579 28581 23562 0 -1 4202560 9165 0 0 0 107 1 0 0 16 0 22 0 811459846 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
[pid=28581/tid=28598] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28598/stat : 28598 (java) S 28579 28581 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811459846 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052377 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28599] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28599/stat : 28599 (java) S 28579 28581 23562 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811459846 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 0 0 0 0
[pid=28581/tid=28600] ppid=28579 vsize=10557224 CPUtime=871.01 cores=0,2,4,6
/proc/28581/task/28600/stat : 28600 (java) R 28579 28581 23562 0 -1 4202560 750 0 0 0 87100 1 0 0 24 0 22 0 811459902 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505856055 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28581/tid=28601] ppid=28579 vsize=10557224 CPUtime=870.95 cores=0,2,4,6
/proc/28581/task/28601/stat : 28601 (java) R 28579 28581 23562 0 -1 4202560 618820 0 0 0 87031 64 0 0 24 0 22 0 811459902 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 46912505884878 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28581/tid=28602] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28602/stat : 28602 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459907 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 4 0 0 0
[pid=28581/tid=28603] ppid=28579 vsize=10557224 CPUtime=0 cores=0,2,4,6
/proc/28581/task/28603/stat : 28603 (java) S 28579 28581 23562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811459912 10810597376 712985 33554432000 1073741824 1073778376 140733964178032 18446744073709551615 220828052992 0 4 0 16800975 18446604441325486336 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10557224
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+923.723 s]
/proc/loadavg: 3.70 3.85 3.64 5/498 28729
/proc/meminfo: memFree=19792052/32951124 swapFree=60476376/67111528
[pid=28581] ppid=28579 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/28581/stat : 28581 (java) Z 28579 28581 23562 0 -1 4203548 723488 0 1 0 179933 91 0 0 17 0 2 0 811459841 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28581/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 923.747
CPU time (s): 1800.28
CPU user time (s): 1799.34
CPU system time (s): 0.936857
CPU usage (%): 194.888
Max. virtual memory (cumulated for all children) (KiB): 10559936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.936857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 723488
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27105
involuntary context switches= 20007
runsolver used 4.72128 second user time and 9.51055 second system time
The end