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-3456984-1307214611/watcher-3456984-1307214611 -o /tmp/evaluation-result-3456984-1307214611/solver-3456984-1307214611 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456984-1307214611.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.04 2.04 2.00 2/532 20733
/proc/meminfo: memFree=15540988/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 1350 0 1 0 0 0 0 0 25 0 2 0 911691889 36679680 1052 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 8955 1057 820 9 0 386 0
[pid=20733/tid=20734] ppid=20731 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 5285 0 1 0 0 0 0 0 25 0 2 0 911691889 10694979584 6101 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0976401 s]
/proc/loadavg: 2.04 2.04 2.00 2/532 20733
/proc/meminfo: memFree=15540988/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10540304 CPUtime=0.1 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 13005 0 1 0 9 1 0 0 25 0 18 0 911691889 10793271296 12701 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2635076 12702 2092 9 0 2625810 0
[pid=20733/tid=20734] ppid=20731 vsize=10540304 CPUtime=0.08 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 11090 0 1 0 7 1 0 0 18 0 18 0 911691889 10793271296 12702 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 47204739271507 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) 10540304
[startup+0.100602 s]
/proc/loadavg: 2.04 2.04 2.00 2/532 20733
/proc/meminfo: memFree=15540988/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10540304 CPUtime=0.1 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 13053 0 1 0 9 1 0 0 25 0 18 0 911691889 10793271296 12749 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2635076 12749 2092 9 0 2625810 0
[pid=20733/tid=20734] ppid=20731 vsize=10540304 CPUtime=0.08 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 11138 0 1 0 7 1 0 0 18 0 18 0 911691889 10793271296 12750 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 215988253729 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) 10540304
[startup+0.325523 s]
/proc/loadavg: 2.04 2.04 2.00 2/532 20733
/proc/meminfo: memFree=15540988/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10545404 CPUtime=0.6 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 22109 0 1 0 58 2 0 0 25 0 19 0 911691889 10798493696 19727 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638208 29083 2215 9 0 2628942 0
[pid=20733/tid=20734] ppid=20731 vsize=10558384 CPUtime=0.49 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 27618 0 1 0 47 2 0 0 18 0 19 0 911691889 10811785216 36687 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912505498495 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10545404
[startup+0.700558 s]
/proc/loadavg: 2.04 2.04 2.00 2/532 20733
/proc/meminfo: memFree=15540988/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10555604 CPUtime=1.72 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 50546 0 1 0 166 6 0 0 25 0 19 0 911691889 10808938496 46890 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638901 46897 2218 9 0 2629635 0
[pid=20733/tid=20734] ppid=20731 vsize=10555604 CPUtime=0.67 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 38460 0 1 0 63 4 0 0 18 0 19 0 911691889 10808938496 46901 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912505557454 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10555604
[startup+1.50138 s]
/proc/loadavg: 2.04 2.04 2.00 3/551 20752
/proc/meminfo: memFree=15188452/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10555604 CPUtime=2.77 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 114896 0 1 0 263 14 0 0 25 0 19 0 911691889 10808938496 111240 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638901 111251 2223 9 0 2629635 0
[pid=20733/tid=20734] ppid=20731 vsize=10555604 CPUtime=1.47 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 102782 0 1 0 136 11 0 0 18 0 19 0 911691889 10808938496 111256 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912505537834 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20733/tid=20736] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20736/stat : 20736 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111264 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20737] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20737/stat : 20737 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111269 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20738] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20738/stat : 20738 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111275 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20739] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20739/stat : 20739 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111279 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20740] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20740/stat : 20740 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111281 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20741] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20741/stat : 20741 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111283 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20742] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20742/stat : 20742 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111286 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20743] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20743/stat : 20743 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 111289 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20744] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20744/stat : 20744 (java) S 20731 20733 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911691892 10808938496 111292 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 0 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20745] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20745/stat : 20745 (java) S 20731 20733 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911691893 10808938496 111299 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20746] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20746/stat : 20746 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911691893 10808938496 111305 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20747] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20747/stat : 20747 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 111306 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000416177 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20748] ppid=20731 vsize=10555604 CPUtime=0.68 cores=0,2,4,6
/proc/20733/task/20748/stat : 20748 (java) S 20731 20733 19289 0 -1 4202560 5869 0 0 0 67 1 0 0 15 0 19 0 911691895 10808938496 111312 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20749] ppid=20731 vsize=10555604 CPUtime=0.59 cores=0,2,4,6
/proc/20733/task/20749/stat : 20749 (java) S 20731 20733 19289 0 -1 4202560 5101 0 0 0 59 0 0 0 22 0 19 0 911691895 10808938496 111318 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20750] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20750/stat : 20750 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 111321 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20751] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20751/stat : 20751 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911691895 10808938496 111322 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20752] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20752/stat : 20752 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911691906 10808938496 111323 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10555604
[startup+3.1011 s]
/proc/loadavg: 2.04 2.04 2.00 3/551 20752
/proc/meminfo: memFree=14926688/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10555604 CPUtime=4.39 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 212159 0 1 0 414 25 0 0 25 0 19 0 911691889 10808938496 208501 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638901 208503 2224 9 0 2629635 0
[pid=20733/tid=20734] ppid=20731 vsize=10555604 CPUtime=3.08 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 200030 0 1 0 285 23 0 0 21 0 19 0 911691889 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912505634047 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20733/tid=20736] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20736/stat : 20736 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20737] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20737/stat : 20737 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20738] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20738/stat : 20738 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20739] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20739/stat : 20739 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20740] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20740/stat : 20740 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20741] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20741/stat : 20741 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20742] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20742/stat : 20742 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20743] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20743/stat : 20743 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 208503 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20744] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20744/stat : 20744 (java) S 20731 20733 19289 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 911691892 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 0 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20745] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20745/stat : 20745 (java) S 20731 20733 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911691893 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20746] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20746/stat : 20746 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911691893 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20747] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20747/stat : 20747 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000416177 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20748] ppid=20731 vsize=10555604 CPUtime=0.68 cores=0,2,4,6
/proc/20733/task/20748/stat : 20748 (java) S 20731 20733 19289 0 -1 4202560 5869 0 0 0 67 1 0 0 15 0 19 0 911691895 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20749] ppid=20731 vsize=10555604 CPUtime=0.61 cores=0,2,4,6
/proc/20733/task/20749/stat : 20749 (java) S 20731 20733 19289 0 -1 4202560 5102 0 0 0 61 0 0 0 15 0 19 0 911691895 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20750] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20750/stat : 20750 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20751] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20751/stat : 20751 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911691895 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20752] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20752/stat : 20752 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911691906 10808938496 208505 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10555604
[startup+6.30154 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 20752
/proc/meminfo: memFree=14503348/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10555604 CPUtime=7.59 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 295803 0 1 0 726 33 0 0 25 0 19 0 911691889 10808938496 291924 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638901 291925 2225 9 0 2629635 0
[pid=20733/tid=20734] ppid=20731 vsize=10555604 CPUtime=6.28 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 283671 0 1 0 597 31 0 0 25 0 19 0 911691889 10808938496 291925 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912505931178 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20733/tid=20736] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20736/stat : 20736 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291925 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20737] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20737/stat : 20737 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291926 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20738] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20738/stat : 20738 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291926 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20739] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20739/stat : 20739 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291927 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20740] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20740/stat : 20740 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291927 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20741] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20741/stat : 20741 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291928 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20742] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20742/stat : 20742 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291928 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20743] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20743/stat : 20743 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691891 10808938496 291929 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20744] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20744/stat : 20744 (java) S 20731 20733 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911691892 10808938496 291929 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 0 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20745] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20745/stat : 20745 (java) S 20731 20733 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911691893 10808938496 291930 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20746] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20746/stat : 20746 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911691893 10808938496 291931 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20747] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20747/stat : 20747 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 291932 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000416177 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20748] ppid=20731 vsize=10555604 CPUtime=0.68 cores=0,2,4,6
/proc/20733/task/20748/stat : 20748 (java) S 20731 20733 19289 0 -1 4202560 5869 0 0 0 67 1 0 0 15 0 19 0 911691895 10808938496 291933 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20749] ppid=20731 vsize=10555604 CPUtime=0.61 cores=0,2,4,6
/proc/20733/task/20749/stat : 20749 (java) S 20731 20733 19289 0 -1 4202560 5102 0 0 0 61 0 0 0 15 0 19 0 911691895 10808938496 291934 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/20733/task/20746/stat : 20746 (java) S 20731 20733 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911691893 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20747] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20747/stat : 20747 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000416177 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20748] ppid=20731 vsize=10555604 CPUtime=0.84 cores=0,2,4,6
/proc/20733/task/20748/stat : 20748 (java) S 20731 20733 19289 0 -1 4202560 6746 0 0 0 83 1 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20749] ppid=20731 vsize=10555604 CPUtime=0.61 cores=0,2,4,6
/proc/20733/task/20749/stat : 20749 (java) S 20731 20733 19289 0 -1 4202560 5102 0 0 0 61 0 0 0 16 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20750] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20750/stat : 20750 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20751] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20751/stat : 20751 (java) S 20731 20733 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20752] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20752/stat : 20752 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911691906 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.42
Current children cumulated vsize (KiB) 10555604
[startup+1722.3 s]
/proc/loadavg: 1.05 1.34 1.69 2/527 20871
/proc/meminfo: memFree=15530508/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10555604 CPUtime=1724.42 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 919558 0 1 0 172331 111 0 0 25 0 19 0 911691889 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638901 912183 2239 9 0 2629635 0
[pid=20733/tid=20734] ppid=20731 vsize=10555604 CPUtime=1722.07 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 742146 0 1 0 172128 79 0 0 25 0 19 0 911691889 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912505600782 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20733/tid=20736] ppid=20731 vsize=10555604 CPUtime=0.13 cores=0,2,4,6
/proc/20733/task/20736/stat : 20736 (java) S 20731 20733 19289 0 -1 4202560 30576 0 0 0 8 5 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20737] ppid=20731 vsize=10555604 CPUtime=0.07 cores=0,2,4,6
/proc/20733/task/20737/stat : 20737 (java) S 20731 20733 19289 0 -1 4202560 17594 0 0 0 4 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20738] ppid=20731 vsize=10555604 CPUtime=0.09 cores=0,2,4,6
/proc/20733/task/20738/stat : 20738 (java) S 20731 20733 19289 0 -1 4202560 14591 0 0 0 7 2 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20739] ppid=20731 vsize=10555604 CPUtime=0.04 cores=0,2,4,6
/proc/20733/task/20739/stat : 20739 (java) S 20731 20733 19289 0 -1 4202560 8765 0 0 0 3 1 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20740] ppid=20731 vsize=10555604 CPUtime=0.1 cores=0,2,4,6
/proc/20733/task/20740/stat : 20740 (java) S 20731 20733 19289 0 -1 4202560 22433 0 0 0 7 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20741] ppid=20731 vsize=10555604 CPUtime=0.11 cores=0,2,4,6
/proc/20733/task/20741/stat : 20741 (java) S 20731 20733 19289 0 -1 4202560 26725 0 0 0 7 4 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20742] ppid=20731 vsize=10555604 CPUtime=0.1 cores=0,2,4,6
/proc/20733/task/20742/stat : 20742 (java) S 20731 20733 19289 0 -1 4202560 20668 0 0 0 7 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20743] ppid=20731 vsize=10555604 CPUtime=0.11 cores=0,2,4,6
/proc/20733/task/20743/stat : 20743 (java) S 20731 20733 19289 0 -1 4202560 22933 0 0 0 8 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20744] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20744/stat : 20744 (java) S 20731 20733 19289 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 911691892 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 0 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20745] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20745/stat : 20745 (java) S 20731 20733 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911691893 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20746] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20746/stat : 20746 (java) S 20731 20733 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911691893 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20747] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20747/stat : 20747 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000416177 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20748] ppid=20731 vsize=10555604 CPUtime=0.84 cores=0,2,4,6
/proc/20733/task/20748/stat : 20748 (java) S 20731 20733 19289 0 -1 4202560 6746 0 0 0 83 1 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20749] ppid=20731 vsize=10555604 CPUtime=0.61 cores=0,2,4,6
/proc/20733/task/20749/stat : 20749 (java) S 20731 20733 19289 0 -1 4202560 5102 0 0 0 61 0 0 0 16 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20750] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20750/stat : 20750 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20751] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20751/stat : 20751 (java) S 20731 20733 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20752] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20752/stat : 20752 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911691906 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.42
Current children cumulated vsize (KiB) 10555604
[startup+1782.3 s]
/proc/loadavg: 1.06 1.29 1.65 2/527 20874
/proc/meminfo: memFree=15530148/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10555604 CPUtime=1784.42 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 919560 0 1 0 178331 111 0 0 25 0 19 0 911691889 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638901 912183 2239 9 0 2629635 0
[pid=20733/tid=20734] ppid=20731 vsize=10555604 CPUtime=1782.07 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 742146 0 1 0 178128 79 0 0 25 0 19 0 911691889 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912506001147 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20733/tid=20736] ppid=20731 vsize=10555604 CPUtime=0.13 cores=0,2,4,6
/proc/20733/task/20736/stat : 20736 (java) S 20731 20733 19289 0 -1 4202560 30576 0 0 0 8 5 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20737] ppid=20731 vsize=10555604 CPUtime=0.07 cores=0,2,4,6
/proc/20733/task/20737/stat : 20737 (java) S 20731 20733 19289 0 -1 4202560 17594 0 0 0 4 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20738] ppid=20731 vsize=10555604 CPUtime=0.09 cores=0,2,4,6
/proc/20733/task/20738/stat : 20738 (java) S 20731 20733 19289 0 -1 4202560 14591 0 0 0 7 2 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20739] ppid=20731 vsize=10555604 CPUtime=0.04 cores=0,2,4,6
/proc/20733/task/20739/stat : 20739 (java) S 20731 20733 19289 0 -1 4202560 8765 0 0 0 3 1 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20740] ppid=20731 vsize=10555604 CPUtime=0.1 cores=0,2,4,6
/proc/20733/task/20740/stat : 20740 (java) S 20731 20733 19289 0 -1 4202560 22433 0 0 0 7 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20741] ppid=20731 vsize=10555604 CPUtime=0.11 cores=0,2,4,6
/proc/20733/task/20741/stat : 20741 (java) S 20731 20733 19289 0 -1 4202560 26725 0 0 0 7 4 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20742] ppid=20731 vsize=10555604 CPUtime=0.1 cores=0,2,4,6
/proc/20733/task/20742/stat : 20742 (java) S 20731 20733 19289 0 -1 4202560 20668 0 0 0 7 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20743] ppid=20731 vsize=10555604 CPUtime=0.11 cores=0,2,4,6
/proc/20733/task/20743/stat : 20743 (java) S 20731 20733 19289 0 -1 4202560 22933 0 0 0 8 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20744] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20744/stat : 20744 (java) S 20731 20733 19289 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 911691892 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 0 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20745] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20745/stat : 20745 (java) S 20731 20733 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911691893 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20746] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20746/stat : 20746 (java) S 20731 20733 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911691893 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20747] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20747/stat : 20747 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000416177 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20748] ppid=20731 vsize=10555604 CPUtime=0.84 cores=0,2,4,6
/proc/20733/task/20748/stat : 20748 (java) S 20731 20733 19289 0 -1 4202560 6746 0 0 0 83 1 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20749] ppid=20731 vsize=10555604 CPUtime=0.61 cores=0,2,4,6
/proc/20733/task/20749/stat : 20749 (java) S 20731 20733 19289 0 -1 4202560 5102 0 0 0 61 0 0 0 16 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20750] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20750/stat : 20750 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20751] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20751/stat : 20751 (java) S 20731 20733 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20752] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20752/stat : 20752 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911691906 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (KiB) 10555604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 1.05 1.28 1.64 2/527 20875
/proc/meminfo: memFree=15530148/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=10555604 CPUtime=1800.03 cores=0,2,4,6
/proc/20733/stat : 20733 (java) S 20731 20733 19289 0 -1 4202496 919562 0 1 0 179892 111 0 0 25 0 19 0 911691889 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 2638901 912183 2239 9 0 2629635 0
[pid=20733/tid=20734] ppid=20731 vsize=10555604 CPUtime=1797.69 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4202560 742146 0 1 0 179690 79 0 0 25 0 19 0 911691889 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 46912506001221 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20733/tid=20736] ppid=20731 vsize=10555604 CPUtime=0.13 cores=0,2,4,6
/proc/20733/task/20736/stat : 20736 (java) S 20731 20733 19289 0 -1 4202560 30576 0 0 0 8 5 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20737] ppid=20731 vsize=10555604 CPUtime=0.07 cores=0,2,4,6
/proc/20733/task/20737/stat : 20737 (java) S 20731 20733 19289 0 -1 4202560 17594 0 0 0 4 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20738] ppid=20731 vsize=10555604 CPUtime=0.09 cores=0,2,4,6
/proc/20733/task/20738/stat : 20738 (java) S 20731 20733 19289 0 -1 4202560 14591 0 0 0 7 2 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20739] ppid=20731 vsize=10555604 CPUtime=0.04 cores=0,2,4,6
/proc/20733/task/20739/stat : 20739 (java) S 20731 20733 19289 0 -1 4202560 8765 0 0 0 3 1 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20740] ppid=20731 vsize=10555604 CPUtime=0.1 cores=0,2,4,6
/proc/20733/task/20740/stat : 20740 (java) S 20731 20733 19289 0 -1 4202560 22433 0 0 0 7 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
[pid=20733/tid=20741] ppid=20731 vsize=10555604 CPUtime=0.11 cores=0,2,4,6
/proc/20733/task/20741/stat : 20741 (java) S 20731 20733 19289 0 -1 4202560 26725 0 0 0 7 4 0 0 16 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20742] ppid=20731 vsize=10555604 CPUtime=0.1 cores=0,2,4,6
/proc/20733/task/20742/stat : 20742 (java) S 20731 20733 19289 0 -1 4202560 20668 0 0 0 7 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20743] ppid=20731 vsize=10555604 CPUtime=0.11 cores=0,2,4,6
/proc/20733/task/20743/stat : 20743 (java) S 20731 20733 19289 0 -1 4202560 22933 0 0 0 8 3 0 0 15 0 19 0 911691891 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20744] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20744/stat : 20744 (java) S 20731 20733 19289 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 911691892 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 0 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20745] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20745/stat : 20745 (java) S 20731 20733 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911691893 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20746] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20746/stat : 20746 (java) S 20731 20733 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911691893 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20747] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20747/stat : 20747 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000416177 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20748] ppid=20731 vsize=10555604 CPUtime=0.84 cores=0,2,4,6
/proc/20733/task/20748/stat : 20748 (java) S 20731 20733 19289 0 -1 4202560 6746 0 0 0 83 1 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 2 0 0 0
[pid=20733/tid=20749] ppid=20731 vsize=10555604 CPUtime=0.61 cores=0,2,4,6
/proc/20733/task/20749/stat : 20749 (java) S 20731 20733 19289 0 -1 4202560 5102 0 0 0 61 0 0 0 16 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20750] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20750/stat : 20750 (java) S 20731 20733 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000408473 0 4 0 16800975 18446604442757122816 0 0 -1 4 0 0 0
[pid=20733/tid=20751] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20751/stat : 20751 (java) S 20731 20733 19289 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 911691895 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 0 0 0 0
[pid=20733/tid=20752] ppid=20731 vsize=10555604 CPUtime=0 cores=0,2,4,6
/proc/20733/task/20752/stat : 20752 (java) S 20731 20733 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911691906 10808938496 912183 33554432000 1073741824 1073778376 140733518338448 18446744073709551615 216000409088 0 4 0 16800975 18446604442757122816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10555604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.02 s]
/proc/loadavg: 1.05 1.28 1.64 2/527 20875
/proc/meminfo: memFree=15530148/32950940 swapFree=67111364/67111528
[pid=20733] ppid=20731 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/20733/stat : 20733 (java) Z 20731 20733 19289 0 -1 4203548 919591 0 1 0 179893 120 0 0 17 0 2 0 911691889 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20733/statm: 0 0 0 0 0 0 0
[pid=20733/tid=20734] ppid=20731 vsize=0 CPUtime=1797.8 cores=0,2,4,6
/proc/20733/task/20734/stat : 20734 (java) R 20731 20733 19289 0 -1 4203588 742146 0 1 0 179691 89 0 0 25 0 2 0 911691889 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.07
CPU time (s): 1800.19
CPU user time (s): 1798.94
CPU system time (s): 1.24981
CPU usage (%): 100.118
Max. virtual memory (cumulated for all children) (KiB): 10555604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.24981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 919591
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= 36927
involuntary context switches= 4894
runsolver used 9.48356 second user time and 19.781 second system time
The end