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-3456597-1307218267/watcher-3456597-1307218267 -o /tmp/evaluation-result-3456597-1307218267/solver-3456597-1307218267 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456597-1307218267.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.00 2.01 1.84 3/542 32701
/proc/meminfo: memFree=20077368/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 6029 0 1 0 0 0 0 0 25 0 2 0 833424433 10694979584 5730 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2611079 5745 917 9 0 2602235 0
[pid=32701/tid=32702] ppid=32699 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 4980 0 1 0 0 0 0 0 25 0 2 0 833424433 10694979584 5796 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.038659 s]
/proc/loadavg: 2.00 2.01 1.84 3/542 32701
/proc/meminfo: memFree=20077368/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 11031 0 1 0 1 1 0 0 25 0 11 0 833424433 10716594176 10729 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2616356 10730 1621 9 0 2607104 0
[pid=32701/tid=32702] ppid=32699 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 9907 0 1 0 1 1 0 0 25 0 11 0 833424433 10716594176 10730 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46948584521635 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100673 s]
/proc/loadavg: 2.00 2.01 1.84 3/542 32701
/proc/meminfo: memFree=20077368/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10539628 CPUtime=0.1 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 13005 0 1 0 8 2 0 0 25 0 18 0 833424433 10792579072 12701 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2634907 12702 2092 9 0 2625641 0
[pid=32701/tid=32702] ppid=32699 vsize=10539628 CPUtime=0.08 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 11099 0 1 0 6 2 0 0 18 0 18 0 833424433 10792579072 12702 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917557707 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539628
[startup+0.304792 s]
/proc/loadavg: 2.00 2.01 1.84 3/542 32701
/proc/meminfo: memFree=20077368/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10541444 CPUtime=0.48 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 16777 0 1 0 46 2 0 0 25 0 18 0 833424433 10794438656 16066 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2635361 16067 2201 9 0 2626095 0
[pid=32701/tid=32702] ppid=32699 vsize=10541444 CPUtime=0.28 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 13968 0 1 0 26 2 0 0 18 0 18 0 833424433 10794438656 16068 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541444
[startup+0.700569 s]
/proc/loadavg: 2.00 2.01 1.84 3/542 32701
/proc/meminfo: memFree=20077368/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10545116 CPUtime=1.13 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 53282 0 1 0 106 7 0 0 25 0 18 0 833424433 10798198784 51391 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2636279 51396 2214 9 0 2627013 0
[pid=32701/tid=32702] ppid=32699 vsize=10545116 CPUtime=0.67 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 47540 0 1 0 61 6 0 0 18 0 18 0 833424433 10798198784 51398 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505504403 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10545116
[startup+1.50143 s]
/proc/loadavg: 2.00 2.01 1.84 3/560 32719
/proc/meminfo: memFree=19752972/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10545116 CPUtime=1.93 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 136546 0 1 0 176 17 0 0 25 0 18 0 833424433 10798198784 134655 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2636279 134659 2214 9 0 2627013 0
[pid=32701/tid=32702] ppid=32699 vsize=10545116 CPUtime=1.48 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 130804 0 1 0 132 16 0 0 19 0 18 0 833424433 10798198784 134662 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505557417 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32701/tid=32704] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32704/stat : 32704 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134664 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32705] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32705/stat : 32705 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134667 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32706] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32706/stat : 32706 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134670 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32707] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32707/stat : 32707 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134673 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32708] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32708/stat : 32708 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134676 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32709] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32709/stat : 32709 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134679 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32710] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32710/stat : 32710 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134681 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32711] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32711/stat : 32711 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424435 10798198784 134684 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32712] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32712/stat : 32712 (java) S 32699 32701 32290 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833424436 10798198784 134687 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 0 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32713] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32713/stat : 32713 (java) S 32699 32701 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833424437 10798198784 134689 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32714] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32714/stat : 32714 (java) S 32699 32701 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833424437 10798198784 134694 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32715] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32715/stat : 32715 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424439 10798198784 134696 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917554609 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32716] ppid=32699 vsize=10545116 CPUtime=0.24 cores=0,2,4,6
/proc/32701/task/32716/stat : 32716 (java) S 32699 32701 32290 0 -1 4202560 2101 0 0 0 24 0 0 0 25 0 18 0 833424439 10798198784 134699 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32717] ppid=32699 vsize=10545116 CPUtime=0.2 cores=0,2,4,6
/proc/32701/task/32717/stat : 32717 (java) S 32699 32701 32290 0 -1 4202560 2497 0 0 0 20 0 0 0 16 0 18 0 833424439 10798198784 134702 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32718] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32718/stat : 32718 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833424439 10798198784 134705 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32719] ppid=32699 vsize=10545116 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32719/stat : 32719 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833424439 10798198784 134708 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10545116
[startup+3.10115 s]
/proc/loadavg: 2.00 2.01 1.84 3/560 32719
/proc/meminfo: memFree=19290680/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10546144 CPUtime=3.64 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 292325 0 1 0 331 33 0 0 25 0 19 0 833424433 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2636536 290417 2230 9 0 2627270 0
[pid=32701/tid=32702] ppid=32699 vsize=10546144 CPUtime=3.07 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 286515 0 1 0 275 32 0 0 24 0 19 0 833424433 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505175360 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32701/tid=32704] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32704/stat : 32704 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32705] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32705/stat : 32705 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32706] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32706/stat : 32706 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32707] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32707/stat : 32707 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32708] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32708/stat : 32708 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32709] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32709/stat : 32709 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32710] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32710/stat : 32710 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32711] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32711/stat : 32711 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32712] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32712/stat : 32712 (java) S 32699 32701 32290 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833424436 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 0 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32713] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32713/stat : 32713 (java) S 32699 32701 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833424437 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32714] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32714/stat : 32714 (java) S 32699 32701 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833424437 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32715] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32715/stat : 32715 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917554609 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32716] ppid=32699 vsize=10546144 CPUtime=0.29 cores=0,2,4,6
/proc/32701/task/32716/stat : 32716 (java) S 32699 32701 32290 0 -1 4202560 2113 0 0 0 29 0 0 0 17 0 19 0 833424439 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32717] ppid=32699 vsize=10546144 CPUtime=0.26 cores=0,2,4,6
/proc/32701/task/32717/stat : 32717 (java) S 32699 32701 32290 0 -1 4202560 2539 0 0 0 26 0 0 0 15 0 19 0 833424439 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32718] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32718/stat : 32718 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32719] ppid=32699 vsize=10546144 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32719/stat : 32719 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833424439 10799251456 290417 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 10546144
[startup+6.30157 s]
/proc/loadavg: 2.00 2.01 1.84 3/561 32720
/proc/meminfo: memFree=18896228/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10544280 CPUtime=7.23 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 302069 0 1 0 689 34 0 0 25 0 19 0 833424433 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2636070 298077 2239 9 0 2626804 0
[pid=32701/tid=32702] ppid=32699 vsize=10544280 CPUtime=6.27 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 294513 0 1 0 594 33 0 0 21 0 19 0 833424433 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505829327 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32701/tid=32704] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32704/stat : 32704 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32705] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32705/stat : 32705 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32706] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32706/stat : 32706 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32707] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32707/stat : 32707 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32708] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32708/stat : 32708 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32709] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32709/stat : 32709 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32710] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32710/stat : 32710 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32711] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32711/stat : 32711 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424435 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32712] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32712/stat : 32712 (java) S 32699 32701 32290 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833424436 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 0 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32713] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32713/stat : 32713 (java) S 32699 32701 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833424437 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32714] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32714/stat : 32714 (java) S 32699 32701 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833424437 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32715] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32715/stat : 32715 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917554609 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32716] ppid=32699 vsize=10544280 CPUtime=0.49 cores=0,2,4,6
/proc/32701/task/32716/stat : 32716 (java) S 32699 32701 32290 0 -1 4202560 2520 0 0 0 49 0 0 0 15 0 19 0 833424439 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32717] ppid=32699 vsize=10544280 CPUtime=0.45 cores=0,2,4,6
/proc/32701/task/32717/stat : 32717 (java) S 32699 32701 32290 0 -1 4202560 3874 0 0 0 45 0 0 0 15 0 19 0 833424439 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32718] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32718/stat : 32718 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32719] ppid=32699 vsize=10544280 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32719/stat : 32719 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833424439 10797342720 298077 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=32701/tid=32720] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32720/stat : 32720 (java) S 32699 32701 32290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833424737 10797408256 1367420 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1666.8
Current children cumulated vsize (KiB) 10544344
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/561 447
/proc/meminfo: memFree=14500148/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10544344 CPUtime=1726.88 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 1412010 0 1 0 172487 201 0 0 25 0 19 0 833424433 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2636086 1378609 2267 9 0 2626820 0
[pid=32701/tid=32702] ppid=32699 vsize=10544344 CPUtime=1714.62 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 788915 0 1 0 171373 89 0 0 25 0 19 0 833424433 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505607978 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32701/tid=32704] ppid=32699 vsize=10544344 CPUtime=0.55 cores=0,2,4,6
/proc/32701/task/32704/stat : 32704 (java) S 32699 32701 32290 0 -1 4202560 59631 0 0 0 42 13 0 0 16 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32705] ppid=32699 vsize=10544344 CPUtime=0.55 cores=0,2,4,6
/proc/32701/task/32705/stat : 32705 (java) S 32699 32701 32290 0 -1 4202560 44998 0 0 0 46 9 0 0 16 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32706] ppid=32699 vsize=10544344 CPUtime=0.75 cores=0,2,4,6
/proc/32701/task/32706/stat : 32706 (java) S 32699 32701 32290 0 -1 4202560 66119 0 0 0 61 14 0 0 16 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32707] ppid=32699 vsize=10544344 CPUtime=0.51 cores=0,2,4,6
/proc/32701/task/32707/stat : 32707 (java) S 32699 32701 32290 0 -1 4202560 58637 0 0 0 39 12 0 0 15 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32708] ppid=32699 vsize=10544344 CPUtime=0.5 cores=0,2,4,6
/proc/32701/task/32708/stat : 32708 (java) S 32699 32701 32290 0 -1 4202560 51147 0 0 0 39 11 0 0 15 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32709] ppid=32699 vsize=10544344 CPUtime=0.51 cores=0,2,4,6
/proc/32701/task/32709/stat : 32709 (java) S 32699 32701 32290 0 -1 4202560 47050 0 0 0 43 8 0 0 15 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32710] ppid=32699 vsize=10544344 CPUtime=0.58 cores=0,2,4,6
/proc/32701/task/32710/stat : 32710 (java) S 32699 32701 32290 0 -1 4202560 58846 0 0 0 46 12 0 0 16 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32711] ppid=32699 vsize=10544344 CPUtime=0.61 cores=0,2,4,6
/proc/32701/task/32711/stat : 32711 (java) S 32699 32701 32290 0 -1 4202560 51340 0 0 0 50 11 0 0 15 0 19 0 833424435 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32712] ppid=32699 vsize=10544344 CPUtime=6.28 cores=0,2,4,6
/proc/32701/task/32712/stat : 32712 (java) S 32699 32701 32290 0 -1 4202560 177231 0 0 0 611 17 0 0 15 0 19 0 833424436 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 0 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32713] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32713/stat : 32713 (java) S 32699 32701 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833424437 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32714] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32714/stat : 32714 (java) S 32699 32701 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833424437 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32715] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32715/stat : 32715 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917554609 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32716] ppid=32699 vsize=10544344 CPUtime=0.74 cores=0,2,4,6
/proc/32701/task/32716/stat : 32716 (java) S 32699 32701 32290 0 -1 4202560 2932 0 0 0 74 0 0 0 15 0 19 0 833424439 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32717] ppid=32699 vsize=10544344 CPUtime=0.58 cores=0,2,4,6
/proc/32701/task/32717/stat : 32717 (java) S 32699 32701 32290 0 -1 4202560 3915 0 0 0 58 0 0 0 15 0 19 0 833424439 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32718] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32718/stat : 32718 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32719] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32719/stat : 32719 (java) S 32699 32701 32290 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833424439 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32720] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32720/stat : 32720 (java) S 32699 32701 32290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833424737 10797408256 1378609 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1726.88
Current children cumulated vsize (KiB) 10544344
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 1.98 3/561 448
/proc/meminfo: memFree=14362704/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10544344 CPUtime=1787.09 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 1445691 0 1 0 178500 209 0 0 25 0 19 0 833424433 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2636086 1409235 2267 9 0 2626820 0
[pid=32701/tid=32702] ppid=32699 vsize=10544344 CPUtime=1774.16 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 788918 0 1 0 177327 89 0 0 23 0 19 0 833424433 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505829216 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32701/tid=32704] ppid=32699 vsize=10544344 CPUtime=0.62 cores=0,2,4,6
/proc/32701/task/32704/stat : 32704 (java) S 32699 32701 32290 0 -1 4202560 69081 0 0 0 48 14 0 0 16 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32705] ppid=32699 vsize=10544344 CPUtime=0.57 cores=0,2,4,6
/proc/32701/task/32705/stat : 32705 (java) S 32699 32701 32290 0 -1 4202560 47728 0 0 0 47 10 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32706] ppid=32699 vsize=10544344 CPUtime=0.78 cores=0,2,4,6
/proc/32701/task/32706/stat : 32706 (java) S 32699 32701 32290 0 -1 4202560 67899 0 0 0 63 15 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32707] ppid=32699 vsize=10544344 CPUtime=0.51 cores=0,2,4,6
/proc/32701/task/32707/stat : 32707 (java) S 32699 32701 32290 0 -1 4202560 58637 0 0 0 39 12 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32708] ppid=32699 vsize=10544344 CPUtime=0.5 cores=0,2,4,6
/proc/32701/task/32708/stat : 32708 (java) S 32699 32701 32290 0 -1 4202560 51147 0 0 0 39 11 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32709] ppid=32699 vsize=10544344 CPUtime=0.55 cores=0,2,4,6
/proc/32701/task/32709/stat : 32709 (java) S 32699 32701 32290 0 -1 4202560 50786 0 0 0 45 10 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32710] ppid=32699 vsize=10544344 CPUtime=0.63 cores=0,2,4,6
/proc/32701/task/32710/stat : 32710 (java) S 32699 32701 32290 0 -1 4202560 65135 0 0 0 50 13 0 0 16 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32711] ppid=32699 vsize=10544344 CPUtime=0.66 cores=0,2,4,6
/proc/32701/task/32711/stat : 32711 (java) S 32699 32701 32290 0 -1 4202560 60496 0 0 0 54 12 0 0 16 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32712] ppid=32699 vsize=10544344 CPUtime=6.66 cores=0,2,4,6
/proc/32701/task/32712/stat : 32712 (java) S 32699 32701 32290 0 -1 4202560 177764 0 0 0 649 17 0 0 16 0 19 0 833424436 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 0 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32713] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32713/stat : 32713 (java) S 32699 32701 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833424437 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32714] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32714/stat : 32714 (java) S 32699 32701 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833424437 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32715] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32715/stat : 32715 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917554609 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32716] ppid=32699 vsize=10544344 CPUtime=0.74 cores=0,2,4,6
/proc/32701/task/32716/stat : 32716 (java) S 32699 32701 32290 0 -1 4202560 2932 0 0 0 74 0 0 0 15 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32717] ppid=32699 vsize=10544344 CPUtime=0.58 cores=0,2,4,6
/proc/32701/task/32717/stat : 32717 (java) S 32699 32701 32290 0 -1 4202560 3915 0 0 0 58 0 0 0 15 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32718] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32718/stat : 32718 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32719] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32719/stat : 32719 (java) S 32699 32701 32290 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32720] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32720/stat : 32720 (java) S 32699 32701 32290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833424737 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1787.09
Current children cumulated vsize (KiB) 10544344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.22 s]
/proc/loadavg: 2.10 2.05 1.98 3/561 448
/proc/meminfo: memFree=14360716/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=10544344 CPUtime=1800.02 cores=0,2,4,6
/proc/32701/stat : 32701 (java) S 32699 32701 32290 0 -1 4202496 1445693 0 1 0 179793 209 0 0 25 0 19 0 833424433 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 2636086 1409235 2267 9 0 2626820 0
[pid=32701/tid=32702] ppid=32699 vsize=10544344 CPUtime=1787.1 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4202560 788918 0 1 0 178621 89 0 0 25 0 19 0 833424433 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 46912505829358 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32701/tid=32704] ppid=32699 vsize=10544344 CPUtime=0.62 cores=0,2,4,6
/proc/32701/task/32704/stat : 32704 (java) S 32699 32701 32290 0 -1 4202560 69081 0 0 0 48 14 0 0 16 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32705] ppid=32699 vsize=10544344 CPUtime=0.57 cores=0,2,4,6
/proc/32701/task/32705/stat : 32705 (java) S 32699 32701 32290 0 -1 4202560 47728 0 0 0 47 10 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32706] ppid=32699 vsize=10544344 CPUtime=0.78 cores=0,2,4,6
/proc/32701/task/32706/stat : 32706 (java) S 32699 32701 32290 0 -1 4202560 67899 0 0 0 63 15 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32707] ppid=32699 vsize=10544344 CPUtime=0.51 cores=0,2,4,6
/proc/32701/task/32707/stat : 32707 (java) S 32699 32701 32290 0 -1 4202560 58637 0 0 0 39 12 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32708] ppid=32699 vsize=10544344 CPUtime=0.5 cores=0,2,4,6
/proc/32701/task/32708/stat : 32708 (java) S 32699 32701 32290 0 -1 4202560 51147 0 0 0 39 11 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32709] ppid=32699 vsize=10544344 CPUtime=0.55 cores=0,2,4,6
/proc/32701/task/32709/stat : 32709 (java) S 32699 32701 32290 0 -1 4202560 50786 0 0 0 45 10 0 0 15 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32710] ppid=32699 vsize=10544344 CPUtime=0.63 cores=0,2,4,6
/proc/32701/task/32710/stat : 32710 (java) S 32699 32701 32290 0 -1 4202560 65135 0 0 0 50 13 0 0 16 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32711] ppid=32699 vsize=10544344 CPUtime=0.66 cores=0,2,4,6
/proc/32701/task/32711/stat : 32711 (java) S 32699 32701 32290 0 -1 4202560 60496 0 0 0 54 12 0 0 16 0 19 0 833424435 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32712] ppid=32699 vsize=10544344 CPUtime=6.66 cores=0,2,4,6
/proc/32701/task/32712/stat : 32712 (java) S 32699 32701 32290 0 -1 4202560 177764 0 0 0 649 17 0 0 15 0 19 0 833424436 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 0 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32713] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32713/stat : 32713 (java) S 32699 32701 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833424437 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32714] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32714/stat : 32714 (java) S 32699 32701 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833424437 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32715] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32715/stat : 32715 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917554609 0 4 0 16800975 18446604442106981312 0 0 -1 2 0 0 0
[pid=32701/tid=32716] ppid=32699 vsize=10544344 CPUtime=0.74 cores=0,2,4,6
/proc/32701/task/32716/stat : 32716 (java) S 32699 32701 32290 0 -1 4202560 2932 0 0 0 74 0 0 0 15 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 0 0 0 0
[pid=32701/tid=32717] ppid=32699 vsize=10544344 CPUtime=0.58 cores=0,2,4,6
/proc/32701/task/32717/stat : 32717 (java) S 32699 32701 32290 0 -1 4202560 3915 0 0 0 58 0 0 0 15 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32718] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32718/stat : 32718 (java) S 32699 32701 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917546905 0 4 0 16800975 18446604442106981312 0 0 -1 6 0 0 0
[pid=32701/tid=32719] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32719/stat : 32719 (java) S 32699 32701 32290 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833424439 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
[pid=32701/tid=32720] ppid=32699 vsize=10544344 CPUtime=0 cores=0,2,4,6
/proc/32701/task/32720/stat : 32720 (java) S 32699 32701 32290 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833424737 10797408256 1409235 33554432000 1073741824 1073778376 140735473142208 18446744073709551615 218917547520 0 4 0 16800975 18446604442106981312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10544344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.4 s]
/proc/loadavg: 2.10 2.05 1.98 3/561 448
/proc/meminfo: memFree=14360716/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/32701/stat : 32701 (java) Z 32699 32701 32290 0 -1 4203548 1445724 0 1 0 179806 219 0 0 17 0 2 0 833424433 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 0 0 0 0 0 0 0
[pid=32701/tid=32702] ppid=32699 vsize=0 CPUtime=1787.25 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4203588 788918 0 1 0 178626 99 0 0 25 0 2 0 833424433 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
[startup+1795.5 s]
/proc/loadavg: 2.10 2.05 1.98 3/561 448
/proc/meminfo: memFree=14360716/32951124 swapFree=56930356/67111528
[pid=32701] ppid=32699 vsize=0 CPUtime=1800.35 cores=0,2,4,6
/proc/32701/stat : 32701 (java) Z 32699 32701 32290 0 -1 4203548 1445724 0 1 0 179806 229 0 0 17 0 2 0 833424433 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32701/statm: 0 0 0 0 0 0 0
[pid=32701/tid=32702] ppid=32699 vsize=0 CPUtime=1787.35 cores=0,2,4,6
/proc/32701/task/32702/stat : 32702 (java) R 32699 32701 32290 0 -1 4203588 788918 0 1 0 178626 109 0 0 25 0 2 0 833424433 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.52
CPU time (s): 1800.38
CPU user time (s): 1798.07
CPU system time (s): 2.31665
CPU usage (%): 100.271
Max. virtual memory (cumulated for all children) (KiB): 10546160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.31665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1445724
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= 38572
involuntary context switches= 16314
runsolver used 10.1974 second user time and 21.2228 second system time
The end