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-3456726-1307219476/watcher-3456726-1307219476 -o /tmp/evaluation-result-3456726-1307219476/solver-3456726-1307219476 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456726-1307219476.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.09 2.05 1.97 2/487 19603
/proc/meminfo: memFree=20092564/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/19603/stat : 19603 (java) R 19601 19603 19203 0 -1 4202496 1005 0 0 0 0 0 0 0 25 0 1 0 912178091 23580672 748 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 47388546465312 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19603/statm: 5757 769 568 9 0 124 0
[pid=19603/tid=19604] ppid=19601 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 4784 0 1 0 0 0 0 0 25 0 2 0 912178092 10694979584 5600 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.10953 s]
/proc/loadavg: 2.09 2.05 1.97 2/487 19603
/proc/meminfo: memFree=20092564/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10540148 CPUtime=0.11 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 13190 0 1 0 10 1 0 0 25 0 18 0 912178091 10793111552 12859 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2635037 12860 2108 9 0 2625771 0
[pid=19603/tid=19604] ppid=19601 vsize=10540148 CPUtime=0.09 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 11236 0 1 0 8 1 0 0 18 0 18 0 912178092 10793111552 12864 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 47388544714771 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540148
[startup+0.200521 s]
/proc/loadavg: 2.09 2.05 1.97 2/487 19603
/proc/meminfo: memFree=20092564/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10540148 CPUtime=0.29 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 14412 0 1 0 27 2 0 0 25 0 18 0 912178091 10793111552 13871 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2635037 13872 2187 9 0 2625771 0
[pid=19603/tid=19604] ppid=19601 vsize=10540148 CPUtime=0.18 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 11934 0 1 0 17 1 0 0 18 0 18 0 912178092 10793111552 13872 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 47388546812755 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540148
[startup+0.300487 s]
/proc/loadavg: 2.09 2.05 1.97 2/487 19603
/proc/meminfo: memFree=20092564/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10543524 CPUtime=0.56 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 19254 0 1 0 53 3 0 0 25 0 18 0 912178091 10796568576 17687 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2635881 17688 2202 9 0 2626615 0
[pid=19603/tid=19604] ppid=19601 vsize=10543524 CPUtime=0.28 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 14490 0 1 0 27 1 0 0 18 0 18 0 912178092 10796568576 17688 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 47388546812755 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10543524
[startup+0.700463 s]
/proc/loadavg: 2.09 2.05 1.97 2/487 19603
/proc/meminfo: memFree=20092564/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10544552 CPUtime=1.18 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 22238 0 1 0 115 3 0 0 25 0 19 0 912178091 10797621248 20215 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2636138 20215 2225 9 0 2626872 0
[pid=19603/tid=19604] ppid=19601 vsize=10544552 CPUtime=0.68 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 16128 0 1 0 67 1 0 0 19 0 19 0 912178092 10797621248 20215 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 46912505775780 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10544552
[startup+1.50132 s]
/proc/loadavg: 2.08 2.05 1.97 3/506 19622
/proc/meminfo: memFree=20016492/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10544552 CPUtime=2.17 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 23559 0 1 0 214 3 0 0 25 0 19 0 912178091 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2636138 21534 2232 9 0 2626872 0
[pid=19603/tid=19604] ppid=19601 vsize=10544552 CPUtime=1.48 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 17338 0 1 0 146 2 0 0 20 0 19 0 912178092 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 46912505776091 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19603/tid=19606] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19610] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19612] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19612/stat : 19612 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19613] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19613/stat : 19613 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19614] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19614/stat : 19614 (java) S 19601 19603 19203 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912178094 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 0 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19615] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19615/stat : 19615 (java) S 19601 19603 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912178095 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19616] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19616/stat : 19616 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912178095 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19617] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19617/stat : 19617 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469889457 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19618] ppid=19601 vsize=10544552 CPUtime=0.35 cores=0,2,4,6
/proc/19603/task/19618/stat : 19618 (java) S 19601 19603 19203 0 -1 4202560 2832 0 0 0 35 0 0 0 15 0 19 0 912178097 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19619] ppid=19601 vsize=10544552 CPUtime=0.31 cores=0,2,4,6
/proc/19603/task/19619/stat : 19619 (java) S 19601 19603 19203 0 -1 4202560 2228 0 0 0 31 0 0 0 15 0 19 0 912178097 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19620] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19620/stat : 19620 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19621] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19621/stat : 19621 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912178097 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19622] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19622/stat : 19622 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178126 10797621248 21534 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10544552
[startup+3.10098 s]
/proc/loadavg: 2.08 2.05 1.97 3/506 19622
/proc/meminfo: memFree=20008308/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10544552 CPUtime=3.84 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 25805 0 1 0 380 4 0 0 25 0 19 0 912178091 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2636138 23778 2233 9 0 2626872 0
[pid=19603/tid=19604] ppid=19601 vsize=10544552 CPUtime=3.08 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 19575 0 1 0 306 2 0 0 25 0 19 0 912178092 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 46912505775871 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19603/tid=19606] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19610] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19612] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19612/stat : 19612 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19613] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19613/stat : 19613 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19614] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19614/stat : 19614 (java) S 19601 19603 19203 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912178094 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 0 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19615] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19615/stat : 19615 (java) S 19601 19603 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912178095 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19616] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19616/stat : 19616 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912178095 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19617] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19617/stat : 19617 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469889457 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19618] ppid=19601 vsize=10544552 CPUtime=0.4 cores=0,2,4,6
/proc/19603/task/19618/stat : 19618 (java) S 19601 19603 19203 0 -1 4202560 2839 0 0 0 40 0 0 0 15 0 19 0 912178097 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19619] ppid=19601 vsize=10544552 CPUtime=0.33 cores=0,2,4,6
/proc/19603/task/19619/stat : 19619 (java) S 19601 19603 19203 0 -1 4202560 2230 0 0 0 33 0 0 0 15 0 19 0 912178097 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19620] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19620/stat : 19620 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19621] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19621/stat : 19621 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912178097 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19622] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19622/stat : 19622 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178126 10797621248 23778 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 10544552
[startup+6.30141 s]
/proc/loadavg: 2.07 2.05 1.97 2/486 19625
/proc/meminfo: memFree=23970364/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10544552 CPUtime=7.09 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 30700 0 1 0 705 4 0 0 25 0 19 0 912178091 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2636138 28664 2234 9 0 2626872 0
[pid=19603/tid=19604] ppid=19601 vsize=10544552 CPUtime=6.28 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 24460 0 1 0 625 3 0 0 25 0 19 0 912178092 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 46912505775947 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19603/tid=19606] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19610] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19612] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19612/stat : 19612 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19613] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19613/stat : 19613 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178093 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19614] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19614/stat : 19614 (java) S 19601 19603 19203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912178094 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 0 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19615] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19615/stat : 19615 (java) S 19601 19603 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912178095 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19616] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19616/stat : 19616 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912178095 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19617] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19617/stat : 19617 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469889457 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19618] ppid=19601 vsize=10544552 CPUtime=0.44 cores=0,2,4,6
/proc/19603/task/19618/stat : 19618 (java) S 19601 19603 19203 0 -1 4202560 2844 0 0 0 44 0 0 0 15 0 19 0 912178097 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19619] ppid=19601 vsize=10544552 CPUtime=0.35 cores=0,2,4,6
/proc/19603/task/19619/stat : 19619 (java) S 19601 19603 19203 0 -1 4202560 2234 0 0 0 35 0 0 0 15 0 19 0 912178097 10797621248 28664 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/19603/task/19616/stat : 19616 (java) S 19601 19603 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178095 10797621248 1044353 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19617] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19617/stat : 19617 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1044353 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469889457 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19618] ppid=19601 vsize=10544552 CPUtime=0.84 cores=0,2,4,6
/proc/19603/task/19618/stat : 19618 (java) S 19601 19603 19203 0 -1 4202560 2918 0 0 0 84 0 0 0 15 0 19 0 912178097 10797621248 1044353 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19619] ppid=19601 vsize=10544552 CPUtime=0.51 cores=0,2,4,6
/proc/19603/task/19619/stat : 19619 (java) S 19601 19603 19203 0 -1 4202560 2262 0 0 0 51 0 0 0 15 0 19 0 912178097 10797621248 1044353 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19620] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19620/stat : 19620 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1044353 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19621] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19621/stat : 19621 (java) S 19601 19603 19203 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 912178097 10797621248 1044353 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19622] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19622/stat : 19622 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178126 10797621248 1044353 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1672.41
Current children cumulated vsize (KiB) 10544552
[startup+1722.3 s]
/proc/loadavg: 2.17 2.13 2.05 3/506 19719
/proc/meminfo: memFree=17513460/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10544552 CPUtime=1732.96 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 1053250 0 1 0 173165 131 0 0 25 0 19 0 912178091 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2636138 1045783 2249 9 0 2626872 0
[pid=19603/tid=19604] ppid=19601 vsize=10544552 CPUtime=1717.8 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 775492 0 1 0 171699 81 0 0 25 0 19 0 912178092 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 46912505995372 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19603/tid=19606] ppid=19601 vsize=10544552 CPUtime=1.68 cores=0,2,4,6
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 19203 0 -1 4202560 35067 0 0 0 165 3 0 0 16 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=10544552 CPUtime=1.89 cores=0,2,4,6
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 19203 0 -1 4202560 33404 0 0 0 183 6 0 0 16 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=10544552 CPUtime=1.68 cores=0,2,4,6
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 19203 0 -1 4202560 27506 0 0 0 165 3 0 0 15 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=10544552 CPUtime=1.61 cores=0,2,4,6
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 19203 0 -1 4202560 21953 0 0 0 157 4 0 0 16 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19610] ppid=19601 vsize=10544552 CPUtime=2.08 cores=0,2,4,6
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 19203 0 -1 4202560 48998 0 0 0 199 9 0 0 15 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=10544552 CPUtime=1.44 cores=0,2,4,6
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 19203 0 -1 4202560 32660 0 0 0 139 5 0 0 15 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19612] ppid=19601 vsize=10544552 CPUtime=1.78 cores=0,2,4,6
/proc/19603/task/19612/stat : 19612 (java) S 19601 19603 19203 0 -1 4202560 39578 0 0 0 171 7 0 0 15 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 0 0 0 0
[pid=19603/tid=19613] ppid=19601 vsize=10544552 CPUtime=1.5 cores=0,2,4,6
/proc/19603/task/19613/stat : 19613 (java) S 19601 19603 19203 0 -1 4202560 32059 0 0 0 145 5 0 0 16 0 19 0 912178093 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 0 0 0 0
[pid=19603/tid=19614] ppid=19601 vsize=10544552 CPUtime=0.05 cores=0,2,4,6
/proc/19603/task/19614/stat : 19614 (java) S 19601 19603 19203 0 -1 4202560 101 0 0 0 3 2 0 0 15 0 19 0 912178094 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 0 0 16800975 18446604444898510720 0 0 -1 0 0 0 0
[pid=19603/tid=19615] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19615/stat : 19615 (java) S 19601 19603 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912178095 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19616] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19616/stat : 19616 (java) S 19601 19603 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178095 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19617] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19617/stat : 19617 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469889457 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19618] ppid=19601 vsize=10544552 CPUtime=0.84 cores=0,2,4,6
/proc/19603/task/19618/stat : 19618 (java) S 19601 19603 19203 0 -1 4202560 2918 0 0 0 84 0 0 0 15 0 19 0 912178097 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19619] ppid=19601 vsize=10544552 CPUtime=0.51 cores=0,2,4,6
/proc/19603/task/19619/stat : 19619 (java) S 19601 19603 19203 0 -1 4202560 2262 0 0 0 51 0 0 0 15 0 19 0 912178097 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19620] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19620/stat : 19620 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19621] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19621/stat : 19621 (java) S 19601 19603 19203 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912178097 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19622] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19622/stat : 19622 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178126 10797621248 1045783 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1732.96
Current children cumulated vsize (KiB) 10544552
[startup+1782.3 s]
/proc/loadavg: 2.20 2.15 2.06 3/506 19720
/proc/meminfo: memFree=17499536/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10544552 CPUtime=1793.59 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 1054848 0 1 0 179227 132 0 0 25 0 19 0 912178091 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2636138 1047352 2249 9 0 2626872 0
[pid=19603/tid=19604] ppid=19601 vsize=10544552 CPUtime=1777.57 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 775504 0 1 0 177675 82 0 0 25 0 19 0 912178092 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 46912505910827 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19603/tid=19606] ppid=19601 vsize=10544552 CPUtime=1.82 cores=0,2,4,6
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 19203 0 -1 4202560 35320 0 0 0 179 3 0 0 16 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=10544552 CPUtime=1.96 cores=0,2,4,6
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 19203 0 -1 4202560 33471 0 0 0 190 6 0 0 16 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 0 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=10544552 CPUtime=1.81 cores=0,2,4,6
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 19203 0 -1 4202560 27641 0 0 0 178 3 0 0 16 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 0 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=10544552 CPUtime=1.72 cores=0,2,4,6
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 19203 0 -1 4202560 22261 0 0 0 168 4 0 0 16 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19610] ppid=19601 vsize=10544552 CPUtime=2.18 cores=0,2,4,6
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 19203 0 -1 4202560 49251 0 0 0 209 9 0 0 16 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=10544552 CPUtime=1.48 cores=0,2,4,6
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 19203 0 -1 4202560 32753 0 0 0 143 5 0 0 16 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19612] ppid=19601 vsize=10544552 CPUtime=1.92 cores=0,2,4,6
/proc/19603/task/19612/stat : 19612 (java) S 19601 19603 19203 0 -1 4202560 39933 0 0 0 185 7 0 0 15 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19613] ppid=19601 vsize=10544552 CPUtime=1.62 cores=0,2,4,6
/proc/19603/task/19613/stat : 19613 (java) S 19601 19603 19203 0 -1 4202560 32175 0 0 0 157 5 0 0 15 0 19 0 912178093 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19614] ppid=19601 vsize=10544552 CPUtime=0.05 cores=0,2,4,6
/proc/19603/task/19614/stat : 19614 (java) S 19601 19603 19203 0 -1 4202560 105 0 0 0 3 2 0 0 15 0 19 0 912178094 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 0 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19615] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19615/stat : 19615 (java) S 19601 19603 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912178095 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19616] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19616/stat : 19616 (java) S 19601 19603 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178095 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19617] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19617/stat : 19617 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469889457 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19618] ppid=19601 vsize=10544552 CPUtime=0.84 cores=0,2,4,6
/proc/19603/task/19618/stat : 19618 (java) S 19601 19603 19203 0 -1 4202560 2918 0 0 0 84 0 0 0 15 0 19 0 912178097 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19619] ppid=19601 vsize=10544552 CPUtime=0.51 cores=0,2,4,6
/proc/19603/task/19619/stat : 19619 (java) S 19601 19603 19203 0 -1 4202560 2262 0 0 0 51 0 0 0 15 0 19 0 912178097 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19620] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19620/stat : 19620 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19621] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19621/stat : 19621 (java) S 19601 19603 19203 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912178097 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19622] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19622/stat : 19622 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178126 10797621248 1047352 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (KiB) 10544552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.72 s]
/proc/loadavg: 2.19 2.14 2.06 3/506 19730
/proc/meminfo: memFree=17496020/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=10544552 CPUtime=1800.06 cores=0,2,4,6
/proc/19603/stat : 19603 (java) S 19601 19603 19203 0 -1 4202496 1054886 0 1 0 179874 132 0 0 25 0 19 0 912178091 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 2636138 1047389 2249 9 0 2626872 0
[pid=19603/tid=19604] ppid=19601 vsize=10544552 CPUtime=1783.98 cores=0,2,4,6
/proc/19603/task/19604/stat : 19604 (java) R 19601 19603 19203 0 -1 4202560 775505 0 1 0 178316 82 0 0 25 0 19 0 912178092 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 46912505995788 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19603/tid=19606] ppid=19601 vsize=10544552 CPUtime=1.82 cores=0,2,4,6
/proc/19603/task/19606/stat : 19606 (java) S 19601 19603 19203 0 -1 4202560 35320 0 0 0 179 3 0 0 15 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19607] ppid=19601 vsize=10544552 CPUtime=1.98 cores=0,2,4,6
/proc/19603/task/19607/stat : 19607 (java) S 19601 19603 19203 0 -1 4202560 33490 0 0 0 192 6 0 0 16 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 0 0 0 0
[pid=19603/tid=19608] ppid=19601 vsize=10544552 CPUtime=1.81 cores=0,2,4,6
/proc/19603/task/19608/stat : 19608 (java) S 19601 19603 19203 0 -1 4202560 27641 0 0 0 178 3 0 0 15 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 0 0 0 0
[pid=19603/tid=19609] ppid=19601 vsize=10544552 CPUtime=1.73 cores=0,2,4,6
/proc/19603/task/19609/stat : 19609 (java) S 19601 19603 19203 0 -1 4202560 22261 0 0 0 169 4 0 0 16 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19610] ppid=19601 vsize=10544552 CPUtime=2.18 cores=0,2,4,6
/proc/19603/task/19610/stat : 19610 (java) S 19601 19603 19203 0 -1 4202560 49251 0 0 0 209 9 0 0 15 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19611] ppid=19601 vsize=10544552 CPUtime=1.48 cores=0,2,4,6
/proc/19603/task/19611/stat : 19611 (java) S 19601 19603 19203 0 -1 4202560 32753 0 0 0 143 5 0 0 15 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19612] ppid=19601 vsize=10544552 CPUtime=1.94 cores=0,2,4,6
/proc/19603/task/19612/stat : 19612 (java) S 19601 19603 19203 0 -1 4202560 39951 0 0 0 187 7 0 0 16 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19613] ppid=19601 vsize=10544552 CPUtime=1.63 cores=0,2,4,6
/proc/19603/task/19613/stat : 19613 (java) S 19601 19603 19203 0 -1 4202560 32175 0 0 0 158 5 0 0 16 0 19 0 912178093 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19614] ppid=19601 vsize=10544552 CPUtime=0.05 cores=0,2,4,6
/proc/19603/task/19614/stat : 19614 (java) S 19601 19603 19203 0 -1 4202560 105 0 0 0 3 2 0 0 15 0 19 0 912178094 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 0 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19615] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19615/stat : 19615 (java) S 19601 19603 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912178095 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19616] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19616/stat : 19616 (java) S 19601 19603 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912178095 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19617] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19617/stat : 19617 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469889457 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19618] ppid=19601 vsize=10544552 CPUtime=0.84 cores=0,2,4,6
/proc/19603/task/19618/stat : 19618 (java) S 19601 19603 19203 0 -1 4202560 2918 0 0 0 84 0 0 0 15 0 19 0 912178097 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19619] ppid=19601 vsize=10544552 CPUtime=0.51 cores=0,2,4,6
/proc/19603/task/19619/stat : 19619 (java) S 19601 19603 19203 0 -1 4202560 2262 0 0 0 51 0 0 0 15 0 19 0 912178097 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
[pid=19603/tid=19620] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19620/stat : 19620 (java) S 19601 19603 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912178097 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469881753 0 4 0 16800975 18446604444898510720 0 0 -1 2 0 0 0
[pid=19603/tid=19621] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19621/stat : 19621 (java) S 19601 19603 19203 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912178097 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 4 0 0 0
[pid=19603/tid=19622] ppid=19601 vsize=10544552 CPUtime=0 cores=0,2,4,6
/proc/19603/task/19622/stat : 19622 (java) S 19601 19603 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912178126 10797621248 1047389 33554432000 1073741824 1073778376 140736572815456 18446744073709551615 252469882368 0 4 0 16800975 18446604444898510720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10544552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.9 s]
/proc/loadavg: 2.19 2.14 2.06 3/506 19730
/proc/meminfo: memFree=17496020/32951124 swapFree=56297244/67111528
[pid=19603] ppid=19601 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/19603/stat : 19603 (java) Z 19601 19603 19203 0 -1 4203548 1054920 0 1 0 179886 143 0 0 17 0 2 0 912178091 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19603/statm: 0 0 0 0 0 0 0
[pid=19603/tid=19620] ppid=19601 vsize=0 CPUtime=0.11 cores=0,2,4,6
/proc/19603/task/19620/stat : 19620 (java) R 19601 19603 19203 0 -1 4203588 1 0 0 0 0 11 0 0 18 0 2 0 912178097 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.94
CPU time (s): 1800.34
CPU user time (s): 1798.86
CPU system time (s): 1.48077
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 10544552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.48077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1054920
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= 42676
involuntary context switches= 14171
runsolver used 9.30358 second user time and 18.3862 second system time
The end