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-3458848-1307155402/watcher-3458848-1307155402 -o /tmp/evaluation-result-3458848-1307155402/solver-3458848-1307155402 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458848-1307155402.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.15 2.09 2.03 2/442 31038
/proc/meminfo: memFree=25132512/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 6014 0 1 0 0 0 0 0 25 0 2 0 827138385 13850947584 5716 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3381579 5729 917 9 0 3372735 0
[pid=31038/tid=31039] ppid=31036 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 5321 0 1 0 0 0 0 0 25 0 2 0 827138386 13850947584 6137 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0613879 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 31038
/proc/meminfo: memFree=25132512/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13554756 CPUtime=0.05 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 14116 0 1 0 4 1 0 0 25 0 18 0 827138385 13880070144 13812 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3388689 13813 1722 9 0 3379437 0
[pid=31038/tid=31039] ppid=31036 vsize=13554756 CPUtime=0.05 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 12942 0 1 0 4 1 0 0 25 0 18 0 827138386 13880070144 13813 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528660939 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554756
[startup+0.100435 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 31038
/proc/meminfo: memFree=25132512/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13622264 CPUtime=0.1 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 15559 0 1 0 9 1 0 0 25 0 18 0 827138385 13949198336 15250 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3405566 15250 2092 9 0 3396300 0
[pid=31038/tid=31039] ppid=31036 vsize=13622264 CPUtime=0.08 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 13646 0 1 0 7 1 0 0 18 0 18 0 827138386 13949198336 15250 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 47997004606373 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622264
[startup+0.300405 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 31038
/proc/meminfo: memFree=25132512/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13623952 CPUtime=0.5 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 18638 0 1 0 48 2 0 0 25 0 18 0 827138385 13950926848 17823 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3405988 17824 2201 9 0 3396722 0
[pid=31038/tid=31039] ppid=31036 vsize=13623952 CPUtime=0.28 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 15559 0 1 0 27 1 0 0 18 0 18 0 827138386 13950926848 17825 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505565578 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13623952
[startup+0.700306 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 31038
/proc/meminfo: memFree=25132512/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13628480 CPUtime=1.41 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 29870 0 1 0 138 3 0 0 25 0 19 0 827138385 13955563520 26521 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3407120 26521 2234 9 0 3397854 0
[pid=31038/tid=31039] ppid=31036 vsize=13628480 CPUtime=0.69 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 22368 0 1 0 67 2 0 0 19 0 19 0 827138386 13955563520 26521 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505770183 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 13628480
[startup+1.50119 s]
/proc/loadavg: 2.22 2.11 2.03 3/461 31057
/proc/meminfo: memFree=25032672/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13628480 CPUtime=2.31 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 31122 0 1 0 227 4 0 0 25 0 19 0 827138385 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3407120 27228 2235 9 0 3397854 0
[pid=31038/tid=31039] ppid=31036 vsize=13628480 CPUtime=1.48 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 23182 0 1 0 146 2 0 0 20 0 19 0 827138386 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505642293 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 27631 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827138389 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 0 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 27631 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827138389 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827138389 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528657841 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=13628480 CPUtime=0.34 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 27631 0 -1 4202560 2166 0 0 0 34 0 0 0 22 0 19 0 827138391 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=13628480 CPUtime=0.45 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 27631 0 -1 4202560 4613 0 0 0 45 0 0 0 15 0 19 0 827138391 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827138391 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827138437 13955563520 27228 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 13628480
[startup+3.1009 s]
/proc/loadavg: 2.22 2.11 2.03 3/461 31057
/proc/meminfo: memFree=25025660/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13628480 CPUtime=3.96 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 33721 0 1 0 392 4 0 0 25 0 19 0 827138385 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3407120 29463 2235 9 0 3397854 0
[pid=31038/tid=31039] ppid=31036 vsize=13628480 CPUtime=3.08 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 25411 0 1 0 306 2 0 0 20 0 19 0 827138386 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505777414 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 27631 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827138389 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 0 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 27631 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827138389 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827138389 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528657841 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=13628480 CPUtime=0.35 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 27631 0 -1 4202560 2167 0 0 0 35 0 0 0 15 0 19 0 827138391 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=13628480 CPUtime=0.5 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 27631 0 -1 4202560 4981 0 0 0 50 0 0 0 15 0 19 0 827138391 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827138391 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827138437 13955563520 29463 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13628480
[startup+6.30128 s]
/proc/loadavg: 2.22 2.11 2.03 3/461 31057
/proc/meminfo: memFree=25013916/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13628480 CPUtime=7.16 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 35506 0 1 0 712 4 0 0 25 0 19 0 827138385 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3407120 31231 2235 9 0 3397854 0
[pid=31038/tid=31039] ppid=31036 vsize=13628480 CPUtime=6.28 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 27196 0 1 0 626 2 0 0 25 0 19 0 827138386 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505642293 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138388 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 27631 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827138389 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 0 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 27631 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827138389 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827138389 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528657841 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=13628480 CPUtime=0.35 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 27631 0 -1 4202560 2167 0 0 0 35 0 0 0 15 0 19 0 827138391 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=13628480 CPUtime=0.5 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 27631 0 -1 4202560 4981 0 0 0 50 0 0 0 15 0 19 0 827138391 13955563520 31231 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=31038/tid=31046] ppid=31036 vsize=13628480 CPUtime=0.08 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 27631 0 -1 4202560 4512 0 0 0 8 0 0 0 16 0 19 0 827138388 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=13628480 CPUtime=0.15 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 27631 0 -1 4202560 10857 0 0 0 14 1 0 0 15 0 19 0 827138388 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=13628480 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 27631 0 -1 4202560 10623 0 0 0 8 1 0 0 15 0 19 0 827138388 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=13628480 CPUtime=0.6 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 27631 0 -1 4202560 16401 0 0 0 58 2 0 0 15 0 19 0 827138389 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 0 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 27631 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528657841 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=13628480 CPUtime=0.49 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 27631 0 -1 4202560 2200 0 0 0 49 0 0 0 15 0 19 0 827138391 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=13628480 CPUtime=0.6 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 27631 0 -1 4202560 5241 0 0 0 60 0 0 0 15 0 19 0 827138391 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 27631 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827138391 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827138437 13955563520 275333 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.03
Current children cumulated vsize (KiB) 13628480
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/461 31116
/proc/meminfo: memFree=22839156/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13628480 CPUtime=1724.1 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 280315 0 1 0 172371 39 0 0 25 0 19 0 827138385 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3407120 275631 2263 9 0 3397854 0
[pid=31038/tid=31039] ppid=31036 vsize=13628480 CPUtime=1721.32 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 178845 0 1 0 172107 25 0 0 25 0 19 0 827138386 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505812672 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=13628480 CPUtime=0.17 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 27631 0 -1 4202560 12872 0 0 0 16 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=13628480 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 27631 0 -1 4202560 8296 0 0 0 8 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=13628480 CPUtime=0.11 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 27631 0 -1 4202560 4332 0 0 0 11 0 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=13628480 CPUtime=0.1 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 27631 0 -1 4202560 11957 0 0 0 9 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=13628480 CPUtime=0.15 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 27631 0 -1 4202560 12658 0 0 0 13 2 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=13628480 CPUtime=0.08 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 27631 0 -1 4202560 4512 0 0 0 8 0 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=13628480 CPUtime=0.15 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 27631 0 -1 4202560 10857 0 0 0 14 1 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=13628480 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 27631 0 -1 4202560 10623 0 0 0 8 1 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=13628480 CPUtime=0.64 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 27631 0 -1 4202560 16671 0 0 0 62 2 0 0 15 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 0 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 27631 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528657841 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=13628480 CPUtime=0.49 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 27631 0 -1 4202560 2200 0 0 0 49 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=13628480 CPUtime=0.6 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 27631 0 -1 4202560 5241 0 0 0 60 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 27631 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827138437 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.1
Current children cumulated vsize (KiB) 13628480
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/461 31117
/proc/meminfo: memFree=22797824/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13628480 CPUtime=1784.1 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 280319 0 1 0 178371 39 0 0 25 0 19 0 827138385 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3407120 275631 2263 9 0 3397854 0
[pid=31038/tid=31039] ppid=31036 vsize=13628480 CPUtime=1781.32 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 178845 0 1 0 178107 25 0 0 25 0 19 0 827138386 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505833984 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=13628480 CPUtime=0.17 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 27631 0 -1 4202560 12872 0 0 0 16 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=13628480 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 27631 0 -1 4202560 8296 0 0 0 8 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=13628480 CPUtime=0.11 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 27631 0 -1 4202560 4332 0 0 0 11 0 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=13628480 CPUtime=0.1 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 27631 0 -1 4202560 11957 0 0 0 9 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=13628480 CPUtime=0.15 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 27631 0 -1 4202560 12658 0 0 0 13 2 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=13628480 CPUtime=0.08 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 27631 0 -1 4202560 4512 0 0 0 8 0 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=13628480 CPUtime=0.15 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 27631 0 -1 4202560 10857 0 0 0 14 1 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=13628480 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 27631 0 -1 4202560 10623 0 0 0 8 1 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=13628480 CPUtime=0.64 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 27631 0 -1 4202560 16671 0 0 0 62 2 0 0 15 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 0 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 27631 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528657841 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=13628480 CPUtime=0.49 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 27631 0 -1 4202560 2200 0 0 0 49 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=13628480 CPUtime=0.6 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 27631 0 -1 4202560 5241 0 0 0 60 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 27631 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827138437 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.1
Current children cumulated vsize (KiB) 13628480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 1.93 2.02 1.99 3/461 31166
/proc/meminfo: memFree=24638800/32951124 swapFree=44043516/67111528
[pid=31038] ppid=31036 vsize=13628480 CPUtime=1800.02 cores=0,2,4,6
/proc/31038/stat : 31038 (java) S 31036 31038 27631 0 -1 4202496 280321 0 1 0 179962 40 0 0 25 0 19 0 827138385 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31038/statm: 3407120 275631 2263 9 0 3397854 0
[pid=31038/tid=31039] ppid=31036 vsize=13628480 CPUtime=1797.23 cores=0,2,4,6
/proc/31038/task/31039/stat : 31039 (java) R 31036 31038 27631 0 -1 4202560 178845 0 1 0 179698 25 0 0 25 0 19 0 827138386 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 46912505802375 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31038/tid=31041] ppid=31036 vsize=13628480 CPUtime=0.17 cores=0,2,4,6
/proc/31038/task/31041/stat : 31041 (java) S 31036 31038 27631 0 -1 4202560 12872 0 0 0 16 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31042] ppid=31036 vsize=13628480 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31042/stat : 31042 (java) S 31036 31038 27631 0 -1 4202560 8296 0 0 0 8 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31043] ppid=31036 vsize=13628480 CPUtime=0.11 cores=0,2,4,6
/proc/31038/task/31043/stat : 31043 (java) S 31036 31038 27631 0 -1 4202560 4332 0 0 0 11 0 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31044] ppid=31036 vsize=13628480 CPUtime=0.1 cores=0,2,4,6
/proc/31038/task/31044/stat : 31044 (java) S 31036 31038 27631 0 -1 4202560 11957 0 0 0 9 1 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31045] ppid=31036 vsize=13628480 CPUtime=0.15 cores=0,2,4,6
/proc/31038/task/31045/stat : 31045 (java) S 31036 31038 27631 0 -1 4202560 12658 0 0 0 13 2 0 0 16 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31046] ppid=31036 vsize=13628480 CPUtime=0.08 cores=0,2,4,6
/proc/31038/task/31046/stat : 31046 (java) S 31036 31038 27631 0 -1 4202560 4512 0 0 0 8 0 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31047] ppid=31036 vsize=13628480 CPUtime=0.15 cores=0,2,4,6
/proc/31038/task/31047/stat : 31047 (java) S 31036 31038 27631 0 -1 4202560 10857 0 0 0 14 1 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
[pid=31038/tid=31048] ppid=31036 vsize=13628480 CPUtime=0.09 cores=0,2,4,6
/proc/31038/task/31048/stat : 31048 (java) S 31036 31038 27631 0 -1 4202560 10623 0 0 0 8 1 0 0 15 0 19 0 827138388 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31049] ppid=31036 vsize=13628480 CPUtime=0.64 cores=0,2,4,6
/proc/31038/task/31049/stat : 31049 (java) S 31036 31038 27631 0 -1 4202560 16671 0 0 0 62 2 0 0 15 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 0 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31050] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31050/stat : 31050 (java) S 31036 31038 27631 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31051] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31051/stat : 31051 (java) S 31036 31038 27631 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827138389 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31052] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31052/stat : 31052 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528657841 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31053] ppid=31036 vsize=13628480 CPUtime=0.49 cores=0,2,4,6
/proc/31038/task/31053/stat : 31053 (java) S 31036 31038 27631 0 -1 4202560 2200 0 0 0 49 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31054] ppid=31036 vsize=13628480 CPUtime=0.6 cores=0,2,4,6
/proc/31038/task/31054/stat : 31054 (java) S 31036 31038 27631 0 -1 4202560 5241 0 0 0 60 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 2 0 0 0
[pid=31038/tid=31055] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31055/stat : 31055 (java) S 31036 31038 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650137 0 4 0 16800975 18446604448498627712 0 0 -1 4 0 0 0
[pid=31038/tid=31056] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31056/stat : 31056 (java) S 31036 31038 27631 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 827138391 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 0 0 0 0
[pid=31038/tid=31057] ppid=31036 vsize=13628480 CPUtime=0 cores=0,2,4,6
/proc/31038/task/31057/stat : 31057 (java) S 31036 31038 27631 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827138437 13955563520 275631 33554432000 1073741824 1073778376 140733345474640 18446744073709551615 246528650752 0 4 0 16800975 18446604448498627712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13628480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.3
CPU time (s): 1800.12
CPU user time (s): 1799.67
CPU system time (s): 0.446932
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 13628480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.446932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280352
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= 37195
involuntary context switches= 8425
runsolver used 8.10177 second user time and 16.4675 second system time
The end