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-3478827-1307440382/watcher-3478827-1307440382 -o /tmp/evaluation-result-3478827-1307440382/solver-3478827-1307440382 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3478827-1307440382.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: 2.03 2.04 1.95 2/544 31653
/proc/meminfo: memFree=21679836/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 6927 0 1 0 0 0 0 0 22 0 2 0 836454181 13850947584 6629 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3381579 6641 917 9 0 3372735 0
[pid=31653/tid=31654] ppid=31651 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 5876 0 1 0 0 0 0 0 23 0 2 0 836454182 13850947584 6692 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.088624 s]
/proc/loadavg: 2.03 2.04 1.95 2/544 31653
/proc/meminfo: memFree=21679836/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13620896 CPUtime=0.08 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 14750 0 1 0 6 2 0 0 22 0 18 0 836454181 13947797504 14447 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3405224 14448 1913 9 0 3395958 0
[pid=31653/tid=31654] ppid=31651 vsize=13620896 CPUtime=0.06 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 13374 0 1 0 5 1 0 0 18 0 18 0 836454182 13947797504 14448 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 47675599721525 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13620896
[startup+0.100653 s]
/proc/loadavg: 2.03 2.04 1.95 2/544 31653
/proc/meminfo: memFree=21679836/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13621852 CPUtime=0.1 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 15472 0 1 0 8 2 0 0 22 0 18 0 836454181 13948776448 15137 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3405463 15138 2092 9 0 3396197 0
[pid=31653/tid=31654] ppid=31651 vsize=13621852 CPUtime=0.08 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 13536 0 1 0 6 2 0 0 18 0 18 0 836454182 13948776448 15139 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522124235 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621852
[startup+0.330844 s]
/proc/loadavg: 2.03 2.04 1.95 2/544 31653
/proc/meminfo: memFree=21679836/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13623116 CPUtime=0.55 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 21831 0 1 0 53 2 0 0 22 0 18 0 836454181 13950070784 20833 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3405779 20834 2201 9 0 3396513 0
[pid=31653/tid=31654] ppid=31651 vsize=13623116 CPUtime=0.31 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 18466 0 1 0 29 2 0 0 18 0 18 0 836454182 13950070784 20835 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505584797 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13623116
[startup+0.700563 s]
/proc/loadavg: 2.03 2.04 1.95 2/544 31653
/proc/meminfo: memFree=21679836/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13634580 CPUtime=1.41 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 66956 0 1 0 132 9 0 0 22 0 18 0 836454181 13961809920 61438 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3408645 61443 2215 9 0 3399379 0
[pid=31653/tid=31654] ppid=31651 vsize=13634580 CPUtime=0.68 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 53698 0 1 0 61 7 0 0 18 0 18 0 836454182 13961809920 61445 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505546974 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 13634580
[startup+1.5014 s]
/proc/loadavg: 2.03 2.04 1.95 3/562 31671
/proc/meminfo: memFree=21270004/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13634580 CPUtime=2.24 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 181050 0 1 0 202 22 0 0 22 0 18 0 836454181 13961809920 175532 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3408645 175536 2215 9 0 3399379 0
[pid=31653/tid=31654] ppid=31651 vsize=13634580 CPUtime=1.47 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 167787 0 1 0 128 19 0 0 19 0 18 0 836454182 13961809920 175538 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505590580 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31653/tid=31656] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31656/stat : 31656 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175540 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31657] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31657/stat : 31657 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175543 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31658] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31658/stat : 31658 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175546 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31659] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31659/stat : 31659 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175548 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31660] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31660/stat : 31660 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175551 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31661] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31661/stat : 31661 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175553 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31662] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31662/stat : 31662 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175555 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31663] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31663/stat : 31663 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 175555 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31664] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31664/stat : 31664 (java) S 31651 31653 31299 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 836454185 13961809920 175558 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 0 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31665] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31665/stat : 31665 (java) S 31651 31653 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 836454186 13961809920 175560 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31666] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31666/stat : 31666 (java) S 31651 31653 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 836454186 13961809920 175563 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31667] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31667/stat : 31667 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454188 13961809920 175565 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522121137 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31668] ppid=31651 vsize=13634580 CPUtime=0.37 cores=1,3,5,7
/proc/31653/task/31668/stat : 31668 (java) S 31651 31653 31299 0 -1 4202560 6678 0 0 0 36 1 0 0 15 0 18 0 836454188 13961809920 175568 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31669] ppid=31651 vsize=13634580 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31669/stat : 31669 (java) S 31651 31653 31299 0 -1 4202560 5441 0 0 0 36 0 0 0 15 0 18 0 836454188 13961809920 175570 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31670] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31670/stat : 31670 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454188 13961809920 175573 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31671] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31671/stat : 31671 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 836454188 13961809920 175576 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 13634580
[startup+3.10112 s]
/proc/loadavg: 2.11 2.05 1.96 3/562 31671
/proc/meminfo: memFree=20637728/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13634580 CPUtime=3.89 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 406385 0 1 0 341 48 0 0 22 0 18 0 836454181 13961809920 400867 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3408645 400872 2215 9 0 3399379 0
[pid=31653/tid=31654] ppid=31651 vsize=13634580 CPUtime=3.08 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 393120 0 1 0 262 46 0 0 25 0 18 0 836454182 13961809920 400874 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505690819 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31653/tid=31656] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31656/stat : 31656 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400877 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31657] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31657/stat : 31657 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400880 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31658] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31658/stat : 31658 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400882 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31659] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31659/stat : 31659 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400885 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31660] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31660/stat : 31660 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400888 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31661] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31661/stat : 31661 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400890 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31662] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31662/stat : 31662 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400892 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31663] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31663/stat : 31663 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454184 13961809920 400895 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31664] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31664/stat : 31664 (java) S 31651 31653 31299 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 836454185 13961809920 400897 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 0 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31665] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31665/stat : 31665 (java) S 31651 31653 31299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 836454186 13961809920 400900 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31666] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31666/stat : 31666 (java) S 31651 31653 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 836454186 13961809920 400902 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31667] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31667/stat : 31667 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454188 13961809920 400905 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522121137 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31668] ppid=31651 vsize=13634580 CPUtime=0.37 cores=1,3,5,7
/proc/31653/task/31668/stat : 31668 (java) S 31651 31653 31299 0 -1 4202560 6678 0 0 0 36 1 0 0 15 0 18 0 836454188 13961809920 400907 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31669] ppid=31651 vsize=13634580 CPUtime=0.41 cores=1,3,5,7
/proc/31653/task/31669/stat : 31669 (java) S 31651 31653 31299 0 -1 4202560 5444 0 0 0 41 0 0 0 15 0 18 0 836454188 13961809920 400910 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31670] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31670/stat : 31670 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454188 13961809920 400913 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31671] ppid=31651 vsize=13634580 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31671/stat : 31671 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 836454188 13961809920 400915 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 13634580
[startup+6.30154 s]
/proc/loadavg: 2.11 2.05 1.96 3/562 31671
/proc/meminfo: memFree=18674572/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13633248 CPUtime=7.3 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 877395 0 1 0 628 102 0 0 22 0 18 0 836454181 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3408312 871396 2231 9 0 3399046 0
[pid=31653/tid=31654] ppid=31651 vsize=13633248 CPUtime=6.19 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 844428 0 1 0 522 97 0 0 25 0 18 0 836454182 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505604228 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31653/tid=31656] ppid=31651 vsize=13633248 CPUtime=0.08 cores=1,3,5,7
/proc/31653/task/31656/stat : 31656 (java) S 31651 31653 31299 0 -1 4202560 6814 0 0 0 8 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 3 0 0 0
[pid=31653/tid=31657] ppid=31651 vsize=13633248 CPUtime=0.08 cores=1,3,5,7
/proc/31653/task/31657/stat : 31657 (java) S 31651 31653 31299 0 -1 4202560 5840 0 0 0 8 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31658] ppid=31651 vsize=13633248 CPUtime=0.08 cores=1,3,5,7
/proc/31653/task/31658/stat : 31658 (java) S 31651 31653 31299 0 -1 4202560 5701 0 0 0 8 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31659] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31659/stat : 31659 (java) S 31651 31653 31299 0 -1 4202560 338 0 0 0 0 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31660] ppid=31651 vsize=13633248 CPUtime=0.01 cores=1,3,5,7
/proc/31653/task/31660/stat : 31660 (java) S 31651 31653 31299 0 -1 4202560 997 0 0 0 1 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 3 0 0 0
[pid=31653/tid=31661] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31661/stat : 31661 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31662] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31662/stat : 31662 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31663] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31663/stat : 31663 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 836454184 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31664] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31664/stat : 31664 (java) S 31651 31653 31299 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 836454185 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 0 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31665] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31665/stat : 31665 (java) S 31651 31653 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 836454186 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31666] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31666/stat : 31666 (java) S 31651 31653 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 836454186 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31667] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31667/stat : 31667 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454188 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522121137 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31668] ppid=31651 vsize=13633248 CPUtime=0.37 cores=1,3,5,7
/proc/31653/task/31668/stat : 31668 (java) S 31651 31653 31299 0 -1 4202560 6678 0 0 0 36 1 0 0 15 0 18 0 836454188 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31669] ppid=31651 vsize=13633248 CPUtime=0.41 cores=1,3,5,7
/proc/31653/task/31669/stat : 31669 (java) S 31651 31653 31299 0 -1 4202560 5444 0 0 0 41 0 0 0 15 0 18 0 836454188 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31670] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31670/stat : 31670 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 836454188 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31671] ppid=31651 vsize=13633248 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31671/stat : 31671 (java) S 31651 31653 31299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 836454188 13960445952 871396 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/31653/task/31665/stat : 31665 (java) S 31651 31653 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31666] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31666/stat : 31666 (java) S 31651 31653 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31667] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31667/stat : 31667 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522121137 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31668] ppid=31651 vsize=13634276 CPUtime=0.75 cores=1,3,5,7
/proc/31653/task/31668/stat : 31668 (java) S 31651 31653 31299 0 -1 4202560 6749 0 0 0 74 1 0 0 15 0 19 0 836454188 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31669] ppid=31651 vsize=13634276 CPUtime=0.68 cores=1,3,5,7
/proc/31653/task/31669/stat : 31669 (java) S 31651 31653 31299 0 -1 4202560 5538 0 0 0 68 0 0 0 16 0 19 0 836454188 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31670] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31670/stat : 31670 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31671] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31671/stat : 31671 (java) S 31651 31653 31299 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 836454188 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31672] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31672/stat : 31672 (java) S 31651 31653 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836455010 13961498624 945005 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.71
Current children cumulated vsize (KiB) 13634276
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/563 31913
/proc/meminfo: memFree=17984308/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13634276 CPUtime=1725.75 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 951278 0 1 0 172461 114 0 0 22 0 19 0 836454181 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3408569 945013 2262 9 0 3399303 0
[pid=31653/tid=31654] ppid=31651 vsize=13634276 CPUtime=1703.38 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 844930 0 1 0 170240 98 0 0 25 0 19 0 836454182 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505980900 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31653/tid=31656] ppid=31651 vsize=13634276 CPUtime=0.39 cores=1,3,5,7
/proc/31653/task/31656/stat : 31656 (java) S 31651 31653 31299 0 -1 4202560 6868 0 0 0 39 0 0 0 16 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31657] ppid=31651 vsize=13634276 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31657/stat : 31657 (java) S 31651 31653 31299 0 -1 4202560 6822 0 0 0 35 1 0 0 16 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31658] ppid=31651 vsize=13634276 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31658/stat : 31658 (java) S 31651 31653 31299 0 -1 4202560 6824 0 0 0 35 1 0 0 15 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31659] ppid=31651 vsize=13634276 CPUtime=0.32 cores=1,3,5,7
/proc/31653/task/31659/stat : 31659 (java) S 31651 31653 31299 0 -1 4202560 7559 0 0 0 31 1 0 0 16 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31660] ppid=31651 vsize=13634276 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31660/stat : 31660 (java) S 31651 31653 31299 0 -1 4202560 6976 0 0 0 36 0 0 0 15 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31661] ppid=31651 vsize=13634276 CPUtime=0.32 cores=1,3,5,7
/proc/31653/task/31661/stat : 31661 (java) S 31651 31653 31299 0 -1 4202560 95 0 0 0 32 0 0 0 15 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31662] ppid=31651 vsize=13634276 CPUtime=0.38 cores=1,3,5,7
/proc/31653/task/31662/stat : 31662 (java) S 31651 31653 31299 0 -1 4202560 7149 0 0 0 37 1 0 0 16 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31663] ppid=31651 vsize=13634276 CPUtime=0.35 cores=1,3,5,7
/proc/31653/task/31663/stat : 31663 (java) S 31651 31653 31299 0 -1 4202560 10004 0 0 0 35 0 0 0 15 0 19 0 836454184 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31664] ppid=31651 vsize=13634276 CPUtime=17.97 cores=1,3,5,7
/proc/31653/task/31664/stat : 31664 (java) S 31651 31653 31299 0 -1 4202560 40515 0 0 0 1792 5 0 0 15 0 19 0 836454185 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 0 0 16800975 18446604467426284608 0 0 -1 3 0 0 0
[pid=31653/tid=31665] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31665/stat : 31665 (java) S 31651 31653 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31666] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31666/stat : 31666 (java) S 31651 31653 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31667] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31667/stat : 31667 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522121137 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31668] ppid=31651 vsize=13634276 CPUtime=0.75 cores=1,3,5,7
/proc/31653/task/31668/stat : 31668 (java) S 31651 31653 31299 0 -1 4202560 6749 0 0 0 74 1 0 0 15 0 19 0 836454188 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31669] ppid=31651 vsize=13634276 CPUtime=0.68 cores=1,3,5,7
/proc/31653/task/31669/stat : 31669 (java) S 31651 31653 31299 0 -1 4202560 5538 0 0 0 68 0 0 0 16 0 19 0 836454188 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31670] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31670/stat : 31670 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31671] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31671/stat : 31671 (java) S 31651 31653 31299 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 836454188 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31672] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31672/stat : 31672 (java) S 31651 31653 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836455010 13961498624 945013 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.75
Current children cumulated vsize (KiB) 13634276
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/563 31914
/proc/meminfo: memFree=17980308/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13634276 CPUtime=1785.79 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 951989 0 1 0 178465 114 0 0 22 0 19 0 836454181 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3408569 945717 2262 9 0 3399303 0
[pid=31653/tid=31654] ppid=31651 vsize=13634276 CPUtime=1763.05 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 844931 0 1 0 176207 98 0 0 25 0 19 0 836454182 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505913008 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31653/tid=31656] ppid=31651 vsize=13634276 CPUtime=0.4 cores=1,3,5,7
/proc/31653/task/31656/stat : 31656 (java) S 31651 31653 31299 0 -1 4202560 6877 0 0 0 40 0 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31657] ppid=31651 vsize=13634276 CPUtime=0.37 cores=1,3,5,7
/proc/31653/task/31657/stat : 31657 (java) S 31651 31653 31299 0 -1 4202560 6831 0 0 0 36 1 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31658] ppid=31651 vsize=13634276 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31658/stat : 31658 (java) S 31651 31653 31299 0 -1 4202560 6824 0 0 0 35 1 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31659] ppid=31651 vsize=13634276 CPUtime=0.32 cores=1,3,5,7
/proc/31653/task/31659/stat : 31659 (java) S 31651 31653 31299 0 -1 4202560 7559 0 0 0 31 1 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31660] ppid=31651 vsize=13634276 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31660/stat : 31660 (java) S 31651 31653 31299 0 -1 4202560 6976 0 0 0 36 0 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31661] ppid=31651 vsize=13634276 CPUtime=0.32 cores=1,3,5,7
/proc/31653/task/31661/stat : 31661 (java) S 31651 31653 31299 0 -1 4202560 95 0 0 0 32 0 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31662] ppid=31651 vsize=13634276 CPUtime=0.4 cores=1,3,5,7
/proc/31653/task/31662/stat : 31662 (java) S 31651 31653 31299 0 -1 4202560 7149 0 0 0 39 1 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31663] ppid=31651 vsize=13634276 CPUtime=0.37 cores=1,3,5,7
/proc/31653/task/31663/stat : 31663 (java) S 31651 31653 31299 0 -1 4202560 10004 0 0 0 37 0 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31664] ppid=31651 vsize=13634276 CPUtime=18.28 cores=1,3,5,7
/proc/31653/task/31664/stat : 31664 (java) S 31651 31653 31299 0 -1 4202560 41203 0 0 0 1823 5 0 0 15 0 19 0 836454185 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 0 0 16800975 18446604467426284608 0 0 -1 3 0 0 0
[pid=31653/tid=31665] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31665/stat : 31665 (java) S 31651 31653 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31666] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31666/stat : 31666 (java) S 31651 31653 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31667] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31667/stat : 31667 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522121137 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31668] ppid=31651 vsize=13634276 CPUtime=0.75 cores=1,3,5,7
/proc/31653/task/31668/stat : 31668 (java) S 31651 31653 31299 0 -1 4202560 6749 0 0 0 74 1 0 0 15 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31669] ppid=31651 vsize=13634276 CPUtime=0.68 cores=1,3,5,7
/proc/31653/task/31669/stat : 31669 (java) S 31651 31653 31299 0 -1 4202560 5538 0 0 0 68 0 0 0 16 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31670] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31670/stat : 31670 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31671] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31671/stat : 31671 (java) S 31651 31653 31299 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31672] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31672/stat : 31672 (java) S 31651 31653 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836455010 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.79
Current children cumulated vsize (KiB) 13634276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.10 2.06 2.01 3/563 31915
/proc/meminfo: memFree=17973592/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=13634276 CPUtime=1800.11 cores=1,3,5,7
/proc/31653/stat : 31653 (java) S 31651 31653 31299 0 -1 4202496 951989 0 1 0 179897 114 0 0 22 0 19 0 836454181 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/statm: 3408569 945717 2262 9 0 3399303 0
[pid=31653/tid=31654] ppid=31651 vsize=13634276 CPUtime=1777.37 cores=1,3,5,7
/proc/31653/task/31654/stat : 31654 (java) R 31651 31653 31299 0 -1 4202560 844931 0 1 0 177639 98 0 0 25 0 19 0 836454182 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 46912505937516 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31653/tid=31656] ppid=31651 vsize=13634276 CPUtime=0.4 cores=1,3,5,7
/proc/31653/task/31656/stat : 31656 (java) S 31651 31653 31299 0 -1 4202560 6877 0 0 0 40 0 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31657] ppid=31651 vsize=13634276 CPUtime=0.37 cores=1,3,5,7
/proc/31653/task/31657/stat : 31657 (java) S 31651 31653 31299 0 -1 4202560 6831 0 0 0 36 1 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31658] ppid=31651 vsize=13634276 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31658/stat : 31658 (java) S 31651 31653 31299 0 -1 4202560 6824 0 0 0 35 1 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31659] ppid=31651 vsize=13634276 CPUtime=0.32 cores=1,3,5,7
/proc/31653/task/31659/stat : 31659 (java) S 31651 31653 31299 0 -1 4202560 7559 0 0 0 31 1 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31660] ppid=31651 vsize=13634276 CPUtime=0.36 cores=1,3,5,7
/proc/31653/task/31660/stat : 31660 (java) S 31651 31653 31299 0 -1 4202560 6976 0 0 0 36 0 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31661] ppid=31651 vsize=13634276 CPUtime=0.32 cores=1,3,5,7
/proc/31653/task/31661/stat : 31661 (java) S 31651 31653 31299 0 -1 4202560 95 0 0 0 32 0 0 0 15 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31662] ppid=31651 vsize=13634276 CPUtime=0.4 cores=1,3,5,7
/proc/31653/task/31662/stat : 31662 (java) S 31651 31653 31299 0 -1 4202560 7149 0 0 0 39 1 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31663] ppid=31651 vsize=13634276 CPUtime=0.37 cores=1,3,5,7
/proc/31653/task/31663/stat : 31663 (java) S 31651 31653 31299 0 -1 4202560 10004 0 0 0 37 0 0 0 16 0 19 0 836454184 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31664] ppid=31651 vsize=13634276 CPUtime=18.28 cores=1,3,5,7
/proc/31653/task/31664/stat : 31664 (java) S 31651 31653 31299 0 -1 4202560 41203 0 0 0 1823 5 0 0 15 0 19 0 836454185 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 0 0 16800975 18446604467426284608 0 0 -1 3 0 0 0
[pid=31653/tid=31665] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31665/stat : 31665 (java) S 31651 31653 31299 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31666] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31666/stat : 31666 (java) S 31651 31653 31299 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 836454186 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31667] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31667/stat : 31667 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522121137 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31668] ppid=31651 vsize=13634276 CPUtime=0.75 cores=1,3,5,7
/proc/31653/task/31668/stat : 31668 (java) S 31651 31653 31299 0 -1 4202560 6749 0 0 0 74 1 0 0 15 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31669] ppid=31651 vsize=13634276 CPUtime=0.68 cores=1,3,5,7
/proc/31653/task/31669/stat : 31669 (java) S 31651 31653 31299 0 -1 4202560 5538 0 0 0 68 0 0 0 16 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
[pid=31653/tid=31670] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31670/stat : 31670 (java) S 31651 31653 31299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522113433 0 4 0 16800975 18446604467426284608 0 0 -1 5 0 0 0
[pid=31653/tid=31671] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31671/stat : 31671 (java) S 31651 31653 31299 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 836454188 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 1 0 0 0
[pid=31653/tid=31672] ppid=31651 vsize=13634276 CPUtime=0 cores=1,3,5,7
/proc/31653/task/31672/stat : 31672 (java) S 31651 31653 31299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 836455010 13961498624 945717 33554432000 1073741824 1073778376 140736014586592 18446744073709551615 233522114048 0 4 0 16800975 18446604467426284608 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 13634276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.73 s]
/proc/loadavg: 2.10 2.06 2.01 3/563 31915
/proc/meminfo: memFree=17973592/32951124 swapFree=64303760/67111528
[pid=31653] ppid=31651 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/31653/stat : 31653 (java) Z 31651 31653 31299 0 -1 4203548 952019 0 1 0 179905 121 0 0 17 0 2 0 836454181 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31653/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): 1796.8
CPU time (s): 1800.34
CPU user time (s): 1799.05
CPU system time (s): 1.2908
CPU usage (%): 100.197
Max. virtual memory (cumulated for all children) (KiB): 13635148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.2908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 952019
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= 38695
involuntary context switches= 6782
runsolver used 9.07962 second user time and 22.4136 second system time
The end