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-3457216-1307217678/watcher-3457216-1307217678 -o /tmp/evaluation-result-3457216-1307217678/solver-3457216-1307217678 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457216-1307217678.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.10 2.06 1.73 3/548 12679
/proc/meminfo: memFree=12684752/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 3860 0 1 0 0 0 0 0 21 0 2 0 833366435 10694979584 3562 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2611079 3576 917 9 0 2602235 0
[pid=12679/tid=12680] ppid=12677 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 6653 0 1 0 0 0 0 0 22 0 2 0 833366436 10694979584 7469 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.119101 s]
/proc/loadavg: 2.10 2.06 1.73 3/548 12679
/proc/meminfo: memFree=12684752/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10540260 CPUtime=0.13 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 13356 0 1 0 12 1 0 0 21 0 18 0 833366435 10793226240 13024 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2635065 13024 2133 9 0 2625799 0
[pid=12679/tid=12680] ppid=12677 vsize=10540260 CPUtime=0.1 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 11348 0 1 0 9 1 0 0 22 0 18 0 833366436 10793226240 13024 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540260
[startup+0.201038 s]
/proc/loadavg: 2.10 2.06 1.73 3/548 12679
/proc/meminfo: memFree=12684752/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10542308 CPUtime=0.28 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 14373 0 1 0 27 1 0 0 21 0 18 0 833366435 10795323392 14041 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2635577 14041 2184 9 0 2626311 0
[pid=12679/tid=12680] ppid=12677 vsize=10542308 CPUtime=0.18 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 11914 0 1 0 17 1 0 0 22 0 18 0 833366436 10795323392 14041 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505181295 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10542308
[startup+0.307076 s]
/proc/loadavg: 2.10 2.06 1.73 3/548 12679
/proc/meminfo: memFree=12684752/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10542308 CPUtime=0.57 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 16777 0 1 0 55 2 0 0 21 0 18 0 833366435 10795323392 15917 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2635577 15918 2202 9 0 2626311 0
[pid=12679/tid=12680] ppid=12677 vsize=10542308 CPUtime=0.28 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 13402 0 1 0 27 1 0 0 18 0 18 0 833366436 10795323392 15918 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505546907 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10542308
[startup+0.700986 s]
/proc/loadavg: 2.10 2.06 1.73 3/548 12679
/proc/meminfo: memFree=12684752/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10546408 CPUtime=1.42 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 39239 0 1 0 137 5 0 0 21 0 19 0 833366435 10799521792 36238 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2636602 36241 2229 9 0 2627336 0
[pid=12679/tid=12680] ppid=12677 vsize=10546408 CPUtime=0.68 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 31484 0 1 0 64 4 0 0 18 0 19 0 833366436 10799521792 36242 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505568618 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10546408
[startup+1.50087 s]
/proc/loadavg: 2.10 2.06 1.73 5/567 12698
/proc/meminfo: memFree=12270840/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10554760 CPUtime=3.28 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 92405 0 1 0 315 13 0 0 21 0 19 0 833366435 10808074240 86529 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2638690 86531 2237 9 0 2629424 0
[pid=12679/tid=12680] ppid=12677 vsize=10554760 CPUtime=1.48 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 78715 0 1 0 137 11 0 0 18 0 19 0 833366436 10808074240 86532 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505919760 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12679/tid=12682] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12682/stat : 12682 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833366437 10808074240 86533 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12683] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12683/stat : 12683 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833366437 10808074240 86533 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12684] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12684/stat : 12684 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 86536 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12685] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12685/stat : 12685 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 86537 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12686] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12686/stat : 12686 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 86537 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12687] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12687/stat : 12687 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 86538 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12688] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12688/stat : 12688 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 86538 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12689] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12689/stat : 12689 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 86538 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12690] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12690/stat : 12690 (java) S 12677 12679 12416 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 833366438 10808074240 86538 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 0 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12691] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12691/stat : 12691 (java) S 12677 12679 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833366439 10808074240 86538 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12692] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12692/stat : 12692 (java) S 12677 12679 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833366439 10808074240 86540 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12693] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12693/stat : 12693 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833366441 10808074240 86542 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982373809 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12694] ppid=12677 vsize=10554760 CPUtime=0.86 cores=0,2,4,6
/proc/12679/task/12694/stat : 12694 (java) R 12677 12679 12416 0 -1 4202560 5014 0 0 0 86 0 0 0 15 0 19 0 833366441 10808074240 86543 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982376117 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12679/tid=12695] ppid=12677 vsize=10554760 CPUtime=0.92 cores=0,2,4,6
/proc/12679/task/12695/stat : 12695 (java) R 12677 12679 12416 0 -1 4202560 7518 0 0 0 91 1 0 0 17 0 19 0 833366441 10808074240 86546 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982376117 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12679/tid=12696] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12696/stat : 12696 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833366441 10808074240 86548 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12697] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12697/stat : 12697 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833366441 10808074240 86551 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12698] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12698/stat : 12698 (java) S 12677 12679 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833366490 10808074240 86553 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 10554760
[startup+3.10159 s]
/proc/loadavg: 2.10 2.06 1.73 3/567 12698
/proc/meminfo: memFree=11875404/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10554760 CPUtime=5.02 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 243419 0 1 0 471 31 0 0 21 0 19 0 833366435 10808074240 237541 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2638690 237543 2240 9 0 2629424 0
[pid=12679/tid=12680] ppid=12677 vsize=10554760 CPUtime=3.08 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 229709 0 1 0 279 29 0 0 18 0 19 0 833366436 10808074240 237545 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505791760 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12679/tid=12682] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12682/stat : 12682 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833366437 10808074240 237546 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12683] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12683/stat : 12683 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833366437 10808074240 237548 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12684] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12684/stat : 12684 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 237549 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12685] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12685/stat : 12685 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 237549 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12686] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12686/stat : 12686 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 237549 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12687] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12687/stat : 12687 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 237552 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12688] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12688/stat : 12688 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 237553 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12689] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12689/stat : 12689 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 237554 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12690] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12690/stat : 12690 (java) S 12677 12679 12416 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833366438 10808074240 237554 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 0 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12691] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12691/stat : 12691 (java) S 12677 12679 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833366439 10808074240 237554 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12692] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12692/stat : 12692 (java) S 12677 12679 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833366439 10808074240 237555 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12693] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12693/stat : 12693 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833366441 10808074240 237556 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982373809 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12694] ppid=12677 vsize=10554760 CPUtime=0.9 cores=0,2,4,6
/proc/12679/task/12694/stat : 12694 (java) S 12677 12679 12416 0 -1 4202560 5020 0 0 0 90 0 0 0 15 0 19 0 833366441 10808074240 237557 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12695] ppid=12677 vsize=10554760 CPUtime=1.02 cores=0,2,4,6
/proc/12679/task/12695/stat : 12695 (java) S 12677 12679 12416 0 -1 4202560 7531 0 0 0 101 1 0 0 15 0 19 0 833366441 10808074240 237557 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12696] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12696/stat : 12696 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833366441 10808074240 237558 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12697] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12697/stat : 12697 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833366441 10808074240 237560 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12698] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12698/stat : 12698 (java) S 12677 12679 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833366490 10808074240 237562 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 10554760
[startup+6.30105 s]
/proc/loadavg: 2.25 2.09 1.74 3/567 12698
/proc/meminfo: memFree=10564360/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10554760 CPUtime=8.23 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 538113 0 1 0 756 67 0 0 21 0 19 0 833366435 10808074240 532232 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2638690 532239 2240 9 0 2629424 0
[pid=12679/tid=12680] ppid=12677 vsize=10554760 CPUtime=6.27 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 524409 0 1 0 563 64 0 0 21 0 19 0 833366436 10808074240 532242 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505791745 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12679/tid=12682] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12682/stat : 12682 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833366437 10808074240 532246 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12683] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12683/stat : 12683 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833366437 10808074240 532250 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12684] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12684/stat : 12684 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 532254 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12685] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12685/stat : 12685 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 532257 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12686] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12686/stat : 12686 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 532261 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12687] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12687/stat : 12687 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 532265 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12688] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12688/stat : 12688 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 532269 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12689] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12689/stat : 12689 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366437 10808074240 532272 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12690] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12690/stat : 12690 (java) S 12677 12679 12416 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833366438 10808074240 532276 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 0 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12691] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12691/stat : 12691 (java) S 12677 12679 12416 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833366439 10808074240 532280 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12692] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12692/stat : 12692 (java) S 12677 12679 12416 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833366439 10808074240 532283 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12693] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12693/stat : 12693 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833366441 10808074240 532286 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982373809 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12694] ppid=12677 vsize=10554760 CPUtime=0.9 cores=0,2,4,6
/proc/12679/task/12694/stat : 12694 (java) S 12677 12679 12416 0 -1 4202560 5020 0 0 0 90 0 0 0 15 0 19 0 833366441 10808074240 532289 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12695] ppid=12677 vsize=10554760 CPUtime=1.02 cores=0,2,4,6
/proc/12679/task/12695/stat : 12695 (java) S 12677 12679 12416 0 -1 4202560 7531 0 0 0 101 1 0 0 15 0 19 0 833366441 10808074240 532293 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=12679/tid=12696] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12696/stat : 12696 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833366441 10808074240 1007727 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12697] ppid=12677 vsize=10554760 CPUtime=0.02 cores=0,2,4,6
/proc/12679/task/12697/stat : 12697 (java) S 12677 12679 12416 0 -1 4202560 96 0 0 0 0 2 0 0 15 0 19 0 833366441 10808074240 1007727 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12698] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12698/stat : 12698 (java) S 12677 12679 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833366490 10808074240 1007727 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1670.64
Current children cumulated vsize (KiB) 10554760
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.96 3/567 12747
/proc/meminfo: memFree=7331132/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10554760 CPUtime=1730.77 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 1019879 0 1 0 172942 135 0 0 21 0 19 0 833366435 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2638690 1009428 2266 9 0 2629424 0
[pid=12679/tid=12680] ppid=12677 vsize=10554760 CPUtime=1715.74 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 800655 0 1 0 171478 96 0 0 25 0 19 0 833366436 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505791664 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12679/tid=12682] ppid=12677 vsize=10554760 CPUtime=1.17 cores=0,2,4,6
/proc/12679/task/12682/stat : 12682 (java) S 12677 12679 12416 0 -1 4202560 24319 0 0 0 114 3 0 0 15 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12683] ppid=12677 vsize=10554760 CPUtime=1.34 cores=0,2,4,6
/proc/12679/task/12683/stat : 12683 (java) S 12677 12679 12416 0 -1 4202560 24925 0 0 0 131 3 0 0 16 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12684] ppid=12677 vsize=10554760 CPUtime=1.07 cores=0,2,4,6
/proc/12679/task/12684/stat : 12684 (java) S 12677 12679 12416 0 -1 4202560 22687 0 0 0 104 3 0 0 16 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12685] ppid=12677 vsize=10554760 CPUtime=1.01 cores=0,2,4,6
/proc/12679/task/12685/stat : 12685 (java) S 12677 12679 12416 0 -1 4202560 21853 0 0 0 99 2 0 0 15 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12686] ppid=12677 vsize=10554760 CPUtime=1.05 cores=0,2,4,6
/proc/12679/task/12686/stat : 12686 (java) S 12677 12679 12416 0 -1 4202560 19876 0 0 0 102 3 0 0 16 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12687] ppid=12677 vsize=10554760 CPUtime=1.15 cores=0,2,4,6
/proc/12679/task/12687/stat : 12687 (java) S 12677 12679 12416 0 -1 4202560 20745 0 0 0 113 2 0 0 15 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12688] ppid=12677 vsize=10554760 CPUtime=1.17 cores=0,2,4,6
/proc/12679/task/12688/stat : 12688 (java) S 12677 12679 12416 0 -1 4202560 22912 0 0 0 113 4 0 0 16 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12689] ppid=12677 vsize=10554760 CPUtime=1.02 cores=0,2,4,6
/proc/12679/task/12689/stat : 12689 (java) S 12677 12679 12416 0 -1 4202560 22580 0 0 0 98 4 0 0 15 0 19 0 833366437 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12690] ppid=12677 vsize=10554760 CPUtime=3.52 cores=0,2,4,6
/proc/12679/task/12690/stat : 12690 (java) S 12677 12679 12416 0 -1 4202560 22561 0 0 0 348 4 0 0 15 0 19 0 833366438 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 0 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12691] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12691/stat : 12691 (java) S 12677 12679 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833366439 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12692] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12692/stat : 12692 (java) S 12677 12679 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833366439 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12693] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12693/stat : 12693 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833366441 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982373809 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12694] ppid=12677 vsize=10554760 CPUtime=0.96 cores=0,2,4,6
/proc/12679/task/12694/stat : 12694 (java) S 12677 12679 12416 0 -1 4202560 5030 0 0 0 96 0 0 0 16 0 19 0 833366441 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12695] ppid=12677 vsize=10554760 CPUtime=1.4 cores=0,2,4,6
/proc/12679/task/12695/stat : 12695 (java) S 12677 12679 12416 0 -1 4202560 10485 0 0 0 139 1 0 0 15 0 19 0 833366441 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12696] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12696/stat : 12696 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833366441 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12697] ppid=12677 vsize=10554760 CPUtime=0.02 cores=0,2,4,6
/proc/12679/task/12697/stat : 12697 (java) S 12677 12679 12416 0 -1 4202560 100 0 0 0 0 2 0 0 15 0 19 0 833366441 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12698] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12698/stat : 12698 (java) S 12677 12679 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833366490 10808074240 1009428 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1730.77
Current children cumulated vsize (KiB) 10554760
[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 1.97 2/547 12752
/proc/meminfo: memFree=11138212/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10554760 CPUtime=1790.93 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 1021621 0 1 0 178957 136 0 0 21 0 19 0 833366435 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2638690 1011114 2266 9 0 2629424 0
[pid=12679/tid=12680] ppid=12677 vsize=10554760 CPUtime=1775.66 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 800658 0 1 0 177470 96 0 0 25 0 19 0 833366436 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505890967 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12679/tid=12682] ppid=12677 vsize=10554760 CPUtime=1.18 cores=0,2,4,6
/proc/12679/task/12682/stat : 12682 (java) S 12677 12679 12416 0 -1 4202560 24319 0 0 0 115 3 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12683] ppid=12677 vsize=10554760 CPUtime=1.36 cores=0,2,4,6
/proc/12679/task/12683/stat : 12683 (java) S 12677 12679 12416 0 -1 4202560 25002 0 0 0 133 3 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12684] ppid=12677 vsize=10554760 CPUtime=1.11 cores=0,2,4,6
/proc/12679/task/12684/stat : 12684 (java) S 12677 12679 12416 0 -1 4202560 22965 0 0 0 107 4 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12685] ppid=12677 vsize=10554760 CPUtime=1.04 cores=0,2,4,6
/proc/12679/task/12685/stat : 12685 (java) S 12677 12679 12416 0 -1 4202560 22048 0 0 0 102 2 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12686] ppid=12677 vsize=10554760 CPUtime=1.08 cores=0,2,4,6
/proc/12679/task/12686/stat : 12686 (java) S 12677 12679 12416 0 -1 4202560 20126 0 0 0 105 3 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12687] ppid=12677 vsize=10554760 CPUtime=1.17 cores=0,2,4,6
/proc/12679/task/12687/stat : 12687 (java) S 12677 12679 12416 0 -1 4202560 20863 0 0 0 115 2 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12688] ppid=12677 vsize=10554760 CPUtime=1.23 cores=0,2,4,6
/proc/12679/task/12688/stat : 12688 (java) S 12677 12679 12416 0 -1 4202560 23368 0 0 0 119 4 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12689] ppid=12677 vsize=10554760 CPUtime=1.05 cores=0,2,4,6
/proc/12679/task/12689/stat : 12689 (java) S 12677 12679 12416 0 -1 4202560 22937 0 0 0 101 4 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12690] ppid=12677 vsize=10554760 CPUtime=3.52 cores=0,2,4,6
/proc/12679/task/12690/stat : 12690 (java) S 12677 12679 12416 0 -1 4202560 22565 0 0 0 348 4 0 0 15 0 19 0 833366438 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 0 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12691] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12691/stat : 12691 (java) S 12677 12679 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833366439 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12692] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12692/stat : 12692 (java) S 12677 12679 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833366439 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12693] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12693/stat : 12693 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982373809 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12694] ppid=12677 vsize=10554760 CPUtime=0.96 cores=0,2,4,6
/proc/12679/task/12694/stat : 12694 (java) S 12677 12679 12416 0 -1 4202560 5030 0 0 0 96 0 0 0 16 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12695] ppid=12677 vsize=10554760 CPUtime=1.4 cores=0,2,4,6
/proc/12679/task/12695/stat : 12695 (java) S 12677 12679 12416 0 -1 4202560 10485 0 0 0 139 1 0 0 15 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12696] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12696/stat : 12696 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12697] ppid=12677 vsize=10554760 CPUtime=0.02 cores=0,2,4,6
/proc/12679/task/12697/stat : 12697 (java) S 12677 12679 12416 0 -1 4202560 104 0 0 0 0 2 0 0 15 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12698] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12698/stat : 12698 (java) S 12677 12679 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833366490 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1790.93
Current children cumulated vsize (KiB) 10554760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.4 s]
/proc/loadavg: 2.11 2.07 1.97 5/567 12797
/proc/meminfo: memFree=9883748/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=10554760 CPUtime=1800.04 cores=0,2,4,6
/proc/12679/stat : 12679 (java) S 12677 12679 12416 0 -1 4202496 1021621 0 1 0 179868 136 0 0 21 0 19 0 833366435 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 2638690 1011114 2266 9 0 2629424 0
[pid=12679/tid=12680] ppid=12677 vsize=10554760 CPUtime=1784.78 cores=0,2,4,6
/proc/12679/task/12680/stat : 12680 (java) R 12677 12679 12416 0 -1 4202560 800658 0 1 0 178382 96 0 0 25 0 19 0 833366436 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 46912505974138 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12679/tid=12682] ppid=12677 vsize=10554760 CPUtime=1.18 cores=0,2,4,6
/proc/12679/task/12682/stat : 12682 (java) S 12677 12679 12416 0 -1 4202560 24319 0 0 0 115 3 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12683] ppid=12677 vsize=10554760 CPUtime=1.36 cores=0,2,4,6
/proc/12679/task/12683/stat : 12683 (java) S 12677 12679 12416 0 -1 4202560 25002 0 0 0 133 3 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12684] ppid=12677 vsize=10554760 CPUtime=1.11 cores=0,2,4,6
/proc/12679/task/12684/stat : 12684 (java) S 12677 12679 12416 0 -1 4202560 22965 0 0 0 107 4 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12685] ppid=12677 vsize=10554760 CPUtime=1.04 cores=0,2,4,6
/proc/12679/task/12685/stat : 12685 (java) S 12677 12679 12416 0 -1 4202560 22048 0 0 0 102 2 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12686] ppid=12677 vsize=10554760 CPUtime=1.08 cores=0,2,4,6
/proc/12679/task/12686/stat : 12686 (java) S 12677 12679 12416 0 -1 4202560 20126 0 0 0 105 3 0 0 15 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 2 0 0 0
[pid=12679/tid=12687] ppid=12677 vsize=10554760 CPUtime=1.17 cores=0,2,4,6
/proc/12679/task/12687/stat : 12687 (java) S 12677 12679 12416 0 -1 4202560 20863 0 0 0 115 2 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12688] ppid=12677 vsize=10554760 CPUtime=1.23 cores=0,2,4,6
/proc/12679/task/12688/stat : 12688 (java) S 12677 12679 12416 0 -1 4202560 23368 0 0 0 119 4 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
[pid=12679/tid=12689] ppid=12677 vsize=10554760 CPUtime=1.05 cores=0,2,4,6
/proc/12679/task/12689/stat : 12689 (java) S 12677 12679 12416 0 -1 4202560 22937 0 0 0 101 4 0 0 16 0 19 0 833366437 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12690] ppid=12677 vsize=10554760 CPUtime=3.52 cores=0,2,4,6
/proc/12679/task/12690/stat : 12690 (java) S 12677 12679 12416 0 -1 4202560 22565 0 0 0 348 4 0 0 15 0 19 0 833366438 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 0 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12691] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12691/stat : 12691 (java) S 12677 12679 12416 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833366439 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12692] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12692/stat : 12692 (java) S 12677 12679 12416 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833366439 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12693] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12693/stat : 12693 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982373809 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12694] ppid=12677 vsize=10554760 CPUtime=0.96 cores=0,2,4,6
/proc/12679/task/12694/stat : 12694 (java) S 12677 12679 12416 0 -1 4202560 5030 0 0 0 96 0 0 0 16 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12695] ppid=12677 vsize=10554760 CPUtime=1.4 cores=0,2,4,6
/proc/12679/task/12695/stat : 12695 (java) S 12677 12679 12416 0 -1 4202560 10485 0 0 0 139 1 0 0 15 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12696] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12696/stat : 12696 (java) S 12677 12679 12416 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366105 0 4 0 16800975 18446604453290058176 0 0 -1 4 0 0 0
[pid=12679/tid=12697] ppid=12677 vsize=10554760 CPUtime=0.02 cores=0,2,4,6
/proc/12679/task/12697/stat : 12697 (java) S 12677 12679 12416 0 -1 4202560 104 0 0 0 0 2 0 0 15 0 19 0 833366441 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 6 0 0 0
[pid=12679/tid=12698] ppid=12677 vsize=10554760 CPUtime=0 cores=0,2,4,6
/proc/12679/task/12698/stat : 12698 (java) S 12677 12679 12416 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833366490 10808074240 1011114 33554432000 1073741824 1073778376 140734261828736 18446744073709551615 242982366720 0 4 0 16800975 18446604453290058176 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10554760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.53 s]
/proc/loadavg: 2.11 2.07 1.97 5/567 12797
/proc/meminfo: memFree=9883748/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/12679/stat : 12679 (java) Z 12677 12679 12416 0 -1 4203548 1021654 0 1 0 179876 142 0 0 17 0 2 0 833366435 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1791.6 s]
/proc/loadavg: 2.11 2.07 1.97 5/567 12797
/proc/meminfo: memFree=9883748/32951132 swapFree=46579808/67111528
[pid=12679] ppid=12677 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/12679/stat : 12679 (java) Z 12677 12679 12416 0 -1 4203548 1021654 0 1 0 179876 150 0 0 17 0 2 0 833366435 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12679/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.62
CPU time (s): 1800.29
CPU user time (s): 1798.77
CPU system time (s): 1.52277
CPU usage (%): 100.484
Max. virtual memory (cumulated for all children) (KiB): 10554760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.52277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021654
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= 39866
involuntary context switches= 19437
runsolver used 10.5234 second user time and 21.5527 second system time
The end