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-3457039-1307215870/watcher-3457039-1307215870 -o /tmp/evaluation-result-3457039-1307215870/solver-3457039-1307215870 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457039-1307215870.opb
running on 4 cores: 1,3,5,7
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: 0.00 0.00 0.00 4/590 5185
/proc/meminfo: memFree=31653752/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 3196 0 1 0 0 0 0 0 24 0 2 0 833185839 10694979584 2898 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2611079 2911 917 9 0 2602235 0
[pid=5185/tid=5186] ppid=5183 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 8830 0 1 0 0 1 0 0 25 0 10 0 833185839 10703900672 9654 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 47798675223210 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9656 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9658 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9658 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9662 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9663 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9665 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9671 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) R 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833185841 10703900672 9674 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.101631 s]
/proc/loadavg: 0.00 0.00 0.00 4/590 5185
/proc/meminfo: memFree=31653752/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10539740 CPUtime=0.11 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 13146 0 1 0 9 2 0 0 24 0 18 0 833185839 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2634935 12789 2092 9 0 2625669 0
[pid=5185/tid=5186] ppid=5183 vsize=10539740 CPUtime=0.09 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 11182 0 1 0 7 2 0 0 25 0 18 0 833185839 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912496206208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12789 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12790 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10539740 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10792693760 12790 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539740
[startup+0.200615 s]
/proc/loadavg: 0.00 0.00 0.00 4/590 5185
/proc/meminfo: memFree=31653752/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10540148 CPUtime=0.27 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 14063 0 1 0 25 2 0 0 24 0 18 0 833185839 10793111552 13664 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2635037 13664 2182 9 0 2625771 0
[pid=5185/tid=5186] ppid=5183 vsize=10540148 CPUtime=0.19 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 11806 0 1 0 17 2 0 0 25 0 18 0 833185839 10793111552 13665 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912505365742 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13665 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13665 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13665 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13665 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13665 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13666 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13666 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10540148 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833185841 10793111552 13666 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540148
[startup+0.300597 s]
/proc/loadavg: 0.00 0.00 0.00 4/590 5185
/proc/meminfo: memFree=31653752/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10542076 CPUtime=0.49 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 16272 0 1 0 46 3 0 0 24 0 19 0 833185839 10795085824 15420 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2635519 15420 2209 9 0 2626253 0
[pid=5185/tid=5186] ppid=5183 vsize=10542076 CPUtime=0.28 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 12977 0 1 0 26 2 0 0 25 0 19 0 833185839 10795085824 15420 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912505217645 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15420 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15420 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15420 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15420 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15422 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15422 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15422 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10542076 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10795085824 15422 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542076
[startup+0.700528 s]
/proc/loadavg: 0.00 0.00 0.00 4/590 5185
/proc/meminfo: memFree=31653752/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10553660 CPUtime=1.63 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 43381 0 1 0 157 6 0 0 24 0 19 0 833185839 10806947840 39569 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2638415 39570 2221 9 0 2629149 0
[pid=5185/tid=5186] ppid=5183 vsize=10553660 CPUtime=0.68 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 31179 0 1 0 64 4 0 0 25 0 19 0 833185839 10806947840 39571 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912505716240 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39572 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39573 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39574 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39575 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39575 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39575 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39576 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 39577 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10553660
[startup+1.50139 s]
/proc/loadavg: 0.32 0.07 0.02 3/609 5204
/proc/meminfo: memFree=30960448/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10553660 CPUtime=2.81 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 122716 0 1 0 266 15 0 0 24 0 19 0 833185839 10806947840 118808 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2638415 118811 2225 9 0 2629149 0
[pid=5185/tid=5186] ppid=5183 vsize=10553660 CPUtime=1.49 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 110415 0 1 0 136 13 0 0 25 0 19 0 833185839 10806947840 118812 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912505682180 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118812 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118814 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118814 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118814 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118815 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118815 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118815 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185841 10806947840 118815 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5196] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5196/stat : 5196 (java) S 5183 5185 5129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833185842 10806947840 118817 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5197] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5197/stat : 5197 (java) S 5183 5185 5129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833185842 10806947840 118818 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5198] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5198/stat : 5198 (java) S 5183 5185 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185842 10806947840 118820 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5199] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5199/stat : 5199 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 118821 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5200] ppid=5183 vsize=10553660 CPUtime=0.66 cores=1,3,5,7
/proc/5185/task/5200/stat : 5200 (java) S 5183 5185 5129 0 -1 4202560 5588 0 0 0 66 0 0 0 20 0 19 0 833185844 10806947840 118822 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5201] ppid=5183 vsize=10553660 CPUtime=0.63 cores=1,3,5,7
/proc/5185/task/5201/stat : 5201 (java) S 5183 5185 5129 0 -1 4202560 5557 0 0 0 63 0 0 0 21 0 19 0 833185844 10806947840 118824 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5202] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5202/stat : 5202 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 118825 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5203] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5203/stat : 5203 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833185844 10806947840 118828 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5204] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5204/stat : 5204 (java) S 5183 5185 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185868 10806947840 118830 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10553660
[startup+3.10116 s]
################
# More data... #
################
[pid=5185/tid=5202] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5202/stat : 5202 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 917077 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5203] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5203/stat : 5203 (java) S 5183 5185 5129 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833185844 10806947840 917077 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5204] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5204/stat : 5204 (java) S 5183 5185 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185868 10806947840 917077 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.82
Current children cumulated vsize (KiB) 10553660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.69 3/609 5250
/proc/meminfo: memFree=24351584/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10553660 CPUtime=1726.91 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 922325 0 1 0 172590 101 0 0 24 0 19 0 833185839 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2638415 917089 2256 9 0 2629149 0
[pid=5185/tid=5186] ppid=5183 vsize=10553660 CPUtime=1719.67 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 834624 0 1 0 171877 90 0 0 25 0 19 0 833185839 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912505668127 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10553660 CPUtime=0.53 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 8609 0 0 0 52 1 0 0 16 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10553660 CPUtime=0.58 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 7014 0 0 0 58 0 0 0 15 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10553660 CPUtime=0.51 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 7839 0 0 0 50 1 0 0 15 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10553660 CPUtime=0.48 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 4109 0 0 0 47 1 0 0 15 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10553660 CPUtime=0.55 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 7803 0 0 0 55 0 0 0 15 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10553660 CPUtime=0.56 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 9522 0 0 0 56 0 0 0 16 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10553660 CPUtime=0.71 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 15169 0 0 0 70 1 0 0 15 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10553660 CPUtime=0.64 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 9191 0 0 0 64 0 0 0 16 0 19 0 833185841 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5196] ppid=5183 vsize=10553660 CPUtime=0.95 cores=1,3,5,7
/proc/5185/task/5196/stat : 5196 (java) S 5183 5185 5129 0 -1 4202560 5984 0 0 0 94 1 0 0 15 0 19 0 833185842 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=5185/tid=5197] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5197/stat : 5197 (java) S 5183 5185 5129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833185842 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5198] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5198/stat : 5198 (java) S 5183 5185 5129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833185842 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5199] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5199/stat : 5199 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5200] ppid=5183 vsize=10553660 CPUtime=0.75 cores=1,3,5,7
/proc/5185/task/5200/stat : 5200 (java) S 5183 5185 5129 0 -1 4202560 5604 0 0 0 75 0 0 0 16 0 19 0 833185844 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5201] ppid=5183 vsize=10553660 CPUtime=0.85 cores=1,3,5,7
/proc/5185/task/5201/stat : 5201 (java) S 5183 5185 5129 0 -1 4202560 5606 0 0 0 85 0 0 0 15 0 19 0 833185844 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5202] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5202/stat : 5202 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5203] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5203/stat : 5203 (java) S 5183 5185 5129 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833185844 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5204] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5204/stat : 5204 (java) S 5183 5185 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185868 10806947840 917089 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.91
Current children cumulated vsize (KiB) 10553660
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.72 3/609 5252
/proc/meminfo: memFree=24350304/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10553660 CPUtime=1787.06 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 922387 0 1 0 178604 102 0 0 24 0 19 0 833185839 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2638415 917141 2256 9 0 2629149 0
[pid=5185/tid=5186] ppid=5183 vsize=10553660 CPUtime=1779.62 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 834628 0 1 0 177872 90 0 0 25 0 19 0 833185839 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912505719640 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10553660 CPUtime=0.57 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 8623 0 0 0 56 1 0 0 16 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10553660 CPUtime=0.6 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 7019 0 0 0 60 0 0 0 15 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10553660 CPUtime=0.55 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 7849 0 0 0 54 1 0 0 16 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10553660 CPUtime=0.5 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 4110 0 0 0 49 1 0 0 16 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10553660 CPUtime=0.56 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 7807 0 0 0 56 0 0 0 15 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10553660 CPUtime=0.58 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 9524 0 0 0 58 0 0 0 15 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10553660 CPUtime=0.75 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 15180 0 0 0 74 1 0 0 16 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10553660 CPUtime=0.66 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 9196 0 0 0 66 0 0 0 15 0 19 0 833185841 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5196] ppid=5183 vsize=10553660 CPUtime=0.95 cores=1,3,5,7
/proc/5185/task/5196/stat : 5196 (java) S 5183 5185 5129 0 -1 4202560 5988 0 0 0 94 1 0 0 15 0 19 0 833185842 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=5185/tid=5197] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5197/stat : 5197 (java) S 5183 5185 5129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833185842 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5198] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5198/stat : 5198 (java) S 5183 5185 5129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833185842 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5199] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5199/stat : 5199 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5200] ppid=5183 vsize=10553660 CPUtime=0.75 cores=1,3,5,7
/proc/5185/task/5200/stat : 5200 (java) S 5183 5185 5129 0 -1 4202560 5604 0 0 0 75 0 0 0 16 0 19 0 833185844 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5201] ppid=5183 vsize=10553660 CPUtime=0.85 cores=1,3,5,7
/proc/5185/task/5201/stat : 5201 (java) S 5183 5185 5129 0 -1 4202560 5606 0 0 0 85 0 0 0 15 0 19 0 833185844 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5202] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5202/stat : 5202 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5203] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5203/stat : 5203 (java) S 5183 5185 5129 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833185844 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5204] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5204/stat : 5204 (java) S 5183 5185 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185868 10806947840 917141 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.06
Current children cumulated vsize (KiB) 10553660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.2 s]
/proc/loadavg: 2.05 2.04 1.73 3/589 5264
/proc/meminfo: memFree=28032096/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=10553660 CPUtime=1800.03 cores=1,3,5,7
/proc/5185/stat : 5185 (java) S 5183 5185 5129 0 -1 4202496 922401 0 1 0 179901 102 0 0 24 0 19 0 833185839 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 2638415 917152 2256 9 0 2629149 0
[pid=5185/tid=5186] ppid=5183 vsize=10553660 CPUtime=1792.55 cores=1,3,5,7
/proc/5185/task/5186/stat : 5186 (java) R 5183 5185 5129 0 -1 4202560 834629 0 1 0 179165 90 0 0 25 0 19 0 833185839 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 46912505719769 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5185/tid=5187] ppid=5183 vsize=10553660 CPUtime=0.57 cores=1,3,5,7
/proc/5185/task/5187/stat : 5187 (java) S 5183 5185 5129 0 -1 4202560 8623 0 0 0 56 1 0 0 15 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5188] ppid=5183 vsize=10553660 CPUtime=0.6 cores=1,3,5,7
/proc/5185/task/5188/stat : 5188 (java) S 5183 5185 5129 0 -1 4202560 7019 0 0 0 60 0 0 0 15 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5189] ppid=5183 vsize=10553660 CPUtime=0.55 cores=1,3,5,7
/proc/5185/task/5189/stat : 5189 (java) S 5183 5185 5129 0 -1 4202560 7849 0 0 0 54 1 0 0 15 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5190] ppid=5183 vsize=10553660 CPUtime=0.52 cores=1,3,5,7
/proc/5185/task/5190/stat : 5190 (java) S 5183 5185 5129 0 -1 4202560 4115 0 0 0 51 1 0 0 16 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5191] ppid=5183 vsize=10553660 CPUtime=0.56 cores=1,3,5,7
/proc/5185/task/5191/stat : 5191 (java) S 5183 5185 5129 0 -1 4202560 7807 0 0 0 56 0 0 0 15 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5192] ppid=5183 vsize=10553660 CPUtime=0.58 cores=1,3,5,7
/proc/5185/task/5192/stat : 5192 (java) S 5183 5185 5129 0 -1 4202560 9524 0 0 0 58 0 0 0 15 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5193] ppid=5183 vsize=10553660 CPUtime=0.76 cores=1,3,5,7
/proc/5185/task/5193/stat : 5193 (java) S 5183 5185 5129 0 -1 4202560 15186 0 0 0 75 1 0 0 16 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=5185/tid=5194] ppid=5183 vsize=10553660 CPUtime=0.67 cores=1,3,5,7
/proc/5185/task/5194/stat : 5194 (java) S 5183 5185 5129 0 -1 4202560 9196 0 0 0 67 0 0 0 16 0 19 0 833185841 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5196] ppid=5183 vsize=10553660 CPUtime=0.95 cores=1,3,5,7
/proc/5185/task/5196/stat : 5196 (java) S 5183 5185 5129 0 -1 4202560 5988 0 0 0 94 1 0 0 15 0 19 0 833185842 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 0 0 16800975 18446604467168483520 0 0 -1 1 0 0 0
[pid=5185/tid=5197] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5197/stat : 5197 (java) S 5183 5185 5129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833185842 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5198] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5198/stat : 5198 (java) S 5183 5185 5129 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833185842 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5199] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5199/stat : 5199 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284512689 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5200] ppid=5183 vsize=10553660 CPUtime=0.75 cores=1,3,5,7
/proc/5185/task/5200/stat : 5200 (java) S 5183 5185 5129 0 -1 4202560 5604 0 0 0 75 0 0 0 16 0 19 0 833185844 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
[pid=5185/tid=5201] ppid=5183 vsize=10553660 CPUtime=0.85 cores=1,3,5,7
/proc/5185/task/5201/stat : 5201 (java) S 5183 5185 5129 0 -1 4202560 5606 0 0 0 85 0 0 0 15 0 19 0 833185844 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5202] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5202/stat : 5202 (java) S 5183 5185 5129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833185844 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284504985 0 4 0 16800975 18446604467168483520 0 0 -1 3 0 0 0
[pid=5185/tid=5203] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5203/stat : 5203 (java) S 5183 5185 5129 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833185844 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 5 0 0 0
[pid=5185/tid=5204] ppid=5183 vsize=10553660 CPUtime=0 cores=1,3,5,7
/proc/5185/task/5204/stat : 5204 (java) S 5183 5185 5129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833185868 10806947840 917152 33554432000 1073741824 1073778376 140733263268544 18446744073709551615 268284505600 0 4 0 16800975 18446604467168483520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10553660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.35 s]
/proc/loadavg: 2.05 2.04 1.73 3/589 5264
/proc/meminfo: memFree=28032096/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/5185/stat : 5185 (java) Z 5183 5185 5129 0 -1 4203548 922439 0 1 0 179906 109 0 0 17 0 2 0 833185839 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1795.4 s]
/proc/loadavg: 2.05 2.04 1.73 3/589 5264
/proc/meminfo: memFree=28032096/32950928 swapFree=43925852/67111528
[pid=5185] ppid=5183 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/5185/stat : 5185 (java) Z 5183 5185 5129 0 -1 4203548 922439 0 1 0 179906 114 0 0 17 0 2 0 833185839 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5185/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.41
CPU time (s): 1800.22
CPU user time (s): 1799.07
CPU system time (s): 1.15182
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 10553660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.15182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922439
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= 40132
involuntary context switches= 8621
runsolver used 9.72052 second user time and 24.8122 second system time
The end