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-3454294-1307193108/watcher-3454294-1307193108 -o /tmp/evaluation-result-3454294-1307193108/solver-3454294-1307193108 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454294-1307193108.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: 3.36 3.07 2.80 3/535 17791
/proc/meminfo: memFree=16049652/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 3017 0 1 0 0 0 0 0 25 0 2 0 909541623 10681323520 2719 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2607745 2733 906 9 0 2598901 0
[pid=17791/tid=17792] ppid=17789 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) R 17789 17791 13684 0 -1 4202560 7733 0 1 0 0 1 0 0 25 0 2 0 909541624 10694979584 8548 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.042781 s]
/proc/loadavg: 3.36 3.07 2.80 3/535 17791
/proc/meminfo: memFree=16049652/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 11280 0 1 0 2 1 0 0 25 0 13 0 909541623 10785808384 10976 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2633254 10978 1673 9 0 2624002 0
[pid=17791/tid=17792] ppid=17789 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) R 17789 17791 13684 0 -1 4202560 10133 0 1 0 2 1 0 0 25 0 13 0 909541624 10785808384 10979 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 47182252357651 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.10077 s]
/proc/loadavg: 3.36 3.07 2.80 3/535 17791
/proc/meminfo: memFree=16049652/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10539812 CPUtime=0.1 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 13133 0 1 0 9 1 0 0 25 0 18 0 909541623 10792767488 12799 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2634953 12800 2092 9 0 2625687 0
[pid=17791/tid=17792] ppid=17789 vsize=10539812 CPUtime=0.08 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) R 17789 17791 13684 0 -1 4202560 11189 0 1 0 7 1 0 0 25 0 18 0 909541624 10792767488 12800 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000419275 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) 10539812
[startup+0.300737 s]
/proc/loadavg: 3.36 3.07 2.80 3/535 17791
/proc/meminfo: memFree=16049652/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10541860 CPUtime=0.49 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 16575 0 1 0 47 2 0 0 25 0 18 0 909541623 10794864640 16012 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2635465 16012 2200 9 0 2626199 0
[pid=17791/tid=17792] ppid=17789 vsize=10541860 CPUtime=0.29 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) R 17789 17791 13684 0 -1 4202560 13608 0 1 0 27 2 0 0 25 0 18 0 909541624 10794864640 16013 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505613006 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541860
[startup+0.700668 s]
/proc/loadavg: 3.36 3.07 2.80 3/535 17791
/proc/meminfo: memFree=16049652/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10548004 CPUtime=1.17 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 57768 0 1 0 109 8 0 0 25 0 18 0 909541623 10801156096 56574 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2637001 56579 2213 9 0 2627735 0
[pid=17791/tid=17792] ppid=17789 vsize=10548004 CPUtime=0.69 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) R 17789 17791 13684 0 -1 4202560 51975 0 1 0 61 8 0 0 25 0 18 0 909541624 10801156096 56582 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505526724 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10548004
[startup+1.50153 s]
/proc/loadavg: 3.49 3.10 2.82 4/553 17809
/proc/meminfo: memFree=15684336/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10548004 CPUtime=2.18 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 115320 0 1 0 203 15 0 0 25 0 18 0 909541623 10801156096 112481 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2637001 112491 2224 9 0 2627735 0
[pid=17791/tid=17792] ppid=17789 vsize=10548004 CPUtime=1.49 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) R 17789 17791 13684 0 -1 4202560 105502 0 1 0 135 14 0 0 25 0 18 0 909541624 10801156096 112496 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505721446 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112502 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112508 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112514 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112520 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112525 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112531 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112537 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541625 10801156096 112544 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17802] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17802/stat : 17802 (java) S 17789 17791 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909541626 10801156096 112549 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 0 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909541627 10801156096 112555 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 13684 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 909541627 10801156096 112560 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541629 10801156096 112567 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000416177 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17806] ppid=17789 vsize=10548004 CPUtime=0.3 cores=1,3,5,7
/proc/17791/task/17806/stat : 17806 (java) R 17789 17791 13684 0 -1 4202560 2464 0 0 0 30 0 0 0 16 0 18 0 909541629 10801156096 112573 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 47182254454512 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17807] ppid=17789 vsize=10548004 CPUtime=0.37 cores=1,3,5,7
/proc/17791/task/17807/stat : 17807 (java) R 17789 17791 13684 0 -1 4202560 6216 0 0 0 37 0 0 0 17 0 18 0 909541629 10801156096 112579 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 47182250780695 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17808] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17808/stat : 17808 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909541629 10801156096 112584 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17809] ppid=17789 vsize=10548004 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17809/stat : 17809 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909541629 10801156096 112590 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 10548004
[startup+3.10125 s]
/proc/loadavg: 3.49 3.10 2.82 5/557 17813
/proc/meminfo: memFree=15573572/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10552116 CPUtime=6 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 129426 0 1 0 583 17 0 0 25 0 22 0 909541623 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2638029 126517 2236 9 0 2628763 0
[pid=17791/tid=17792] ppid=17789 vsize=10552116 CPUtime=1.7 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) S 17789 17791 13684 0 -1 4202560 110605 0 1 0 155 15 0 0 15 0 22 0 909541624 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17802] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17802/stat : 17802 (java) S 17789 17791 13684 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 909541626 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 0 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909541627 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 13684 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909541627 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000416177 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17806] ppid=17789 vsize=10552116 CPUtime=0.68 cores=1,3,5,7
/proc/17791/task/17806/stat : 17806 (java) S 17789 17791 13684 0 -1 4202560 2871 0 0 0 68 0 0 0 15 0 22 0 909541629 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17807] ppid=17789 vsize=10552116 CPUtime=0.83 cores=1,3,5,7
/proc/17791/task/17807/stat : 17807 (java) S 17789 17791 13684 0 -1 4202560 6294 0 0 0 83 0 0 0 16 0 22 0 909541629 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17808] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17808/stat : 17808 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17809] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17809/stat : 17809 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909541629 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17810] ppid=17789 vsize=10552116 CPUtime=1.38 cores=1,3,5,7
/proc/17791/task/17810/stat : 17810 (java) R 17789 17791 13684 0 -1 4202560 1537 0 0 0 138 0 0 0 25 0 22 0 909541795 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505800032 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17791/tid=17811] ppid=17789 vsize=10552116 CPUtime=1.37 cores=1,3,5,7
/proc/17791/task/17811/stat : 17811 (java) R 17789 17791 13684 0 -1 4202560 6949 0 0 0 136 1 0 0 25 0 22 0 909541795 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912506249701 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17791/tid=17812] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17812/stat : 17812 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541798 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17813] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17813/stat : 17813 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541799 10805366784 126517 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 10552116
[startup+6.30068 s]
/proc/loadavg: 3.53 3.12 2.82 5/557 17813
/proc/meminfo: memFree=15150760/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10552116 CPUtime=12.44 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 138055 0 1 0 1226 18 0 0 25 0 22 0 909541623 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2638029 133522 2236 9 0 2628763 0
[pid=17791/tid=17792] ppid=17789 vsize=10552116 CPUtime=1.7 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) S 17789 17791 13684 0 -1 4202560 110606 0 1 0 155 15 0 0 15 0 22 0 909541624 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541625 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17802] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17802/stat : 17802 (java) S 17789 17791 13684 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 909541626 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 0 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909541627 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 13684 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909541627 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 133522 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000416177 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=11794088/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10552116 CPUtime=1645.83 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 925601 0 1 0 164479 104 0 0 25 0 22 0 909541623 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2638029 919423 2255 9 0 2628763 0
[pid=17791/tid=17792] ppid=17789 vsize=10552116 CPUtime=1.7 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) S 17789 17791 13684 0 -1 4202560 110608 0 1 0 155 15 0 0 15 0 22 0 909541624 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=10552116 CPUtime=0.27 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 13684 0 -1 4202560 11383 0 0 0 26 1 0 0 16 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=10552116 CPUtime=0.31 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 13684 0 -1 4202560 12070 0 0 0 29 2 0 0 16 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=10552116 CPUtime=0.29 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 13684 0 -1 4202560 13546 0 0 0 28 1 0 0 16 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=10552116 CPUtime=0.3 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 13684 0 -1 4202560 10072 0 0 0 29 1 0 0 15 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=10552116 CPUtime=0.38 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 13684 0 -1 4202560 12144 0 0 0 37 1 0 0 15 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=10552116 CPUtime=0.36 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 13684 0 -1 4202560 12964 0 0 0 35 1 0 0 15 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=10552116 CPUtime=0.28 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 13684 0 -1 4202560 8106 0 0 0 27 1 0 0 15 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=10552116 CPUtime=0.39 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 13684 0 -1 4202560 15151 0 0 0 37 2 0 0 16 0 22 0 909541625 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17802] ppid=17789 vsize=10552116 CPUtime=0.04 cores=1,3,5,7
/proc/17791/task/17802/stat : 17802 (java) S 17789 17791 13684 0 -1 4202560 59 0 0 0 3 1 0 0 15 0 22 0 909541626 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 0 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909541627 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 13684 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909541627 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000416177 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17806] ppid=17789 vsize=10552116 CPUtime=1.04 cores=1,3,5,7
/proc/17791/task/17806/stat : 17806 (java) S 17789 17791 13684 0 -1 4202560 2941 0 0 0 104 0 0 0 15 0 22 0 909541629 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17807] ppid=17789 vsize=10552116 CPUtime=1.03 cores=1,3,5,7
/proc/17791/task/17807/stat : 17807 (java) S 17789 17791 13684 0 -1 4202560 6337 0 0 0 103 0 0 0 15 0 22 0 909541629 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17808] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17808/stat : 17808 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17809] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17809/stat : 17809 (java) S 17789 17791 13684 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909541629 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17810] ppid=17789 vsize=10552116 CPUtime=819.66 cores=1,3,5,7
/proc/17791/task/17810/stat : 17810 (java) R 17789 17791 13684 0 -1 4202560 9043 0 0 0 81964 2 0 0 25 0 22 0 909541795 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505949254 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17811] ppid=17789 vsize=10552116 CPUtime=819.63 cores=1,3,5,7
/proc/17791/task/17811/stat : 17811 (java) R 17789 17791 13684 0 -1 4202560 699970 0 0 0 81894 69 0 0 25 0 22 0 909541795 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505721347 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17812] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17812/stat : 17812 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541798 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17813] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17813/stat : 17813 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541799 10805366784 919423 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1645.83
Current children cumulated vsize (KiB) 10552116
[startup+882.301 s]
/proc/loadavg: 3.57 3.89 3.51 3/530 17856
/proc/meminfo: memFree=15499676/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10552116 CPUtime=1765.86 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 927248 0 1 0 176481 105 0 0 25 0 22 0 909541623 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2638029 921042 2255 9 0 2628763 0
[pid=17791/tid=17792] ppid=17789 vsize=10552116 CPUtime=1.7 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) S 17789 17791 13684 0 -1 4202560 110608 0 1 0 155 15 0 0 15 0 22 0 909541624 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=10552116 CPUtime=0.28 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 13684 0 -1 4202560 11807 0 0 0 27 1 0 0 16 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=10552116 CPUtime=0.32 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 13684 0 -1 4202560 12288 0 0 0 30 2 0 0 16 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=10552116 CPUtime=0.3 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 13684 0 -1 4202560 13669 0 0 0 29 1 0 0 16 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=10552116 CPUtime=0.32 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 13684 0 -1 4202560 10195 0 0 0 31 1 0 0 16 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=10552116 CPUtime=0.39 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 13684 0 -1 4202560 12428 0 0 0 38 1 0 0 15 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=10552116 CPUtime=0.38 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 13684 0 -1 4202560 12996 0 0 0 37 1 0 0 15 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=10552116 CPUtime=0.29 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 13684 0 -1 4202560 8305 0 0 0 28 1 0 0 15 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=10552116 CPUtime=0.4 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 13684 0 -1 4202560 15375 0 0 0 38 2 0 0 15 0 22 0 909541625 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17802] ppid=17789 vsize=10552116 CPUtime=0.05 cores=1,3,5,7
/proc/17791/task/17802/stat : 17802 (java) S 17789 17791 13684 0 -1 4202560 61 0 0 0 3 2 0 0 15 0 22 0 909541626 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 0 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909541627 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 13684 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909541627 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000416177 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17806] ppid=17789 vsize=10552116 CPUtime=1.04 cores=1,3,5,7
/proc/17791/task/17806/stat : 17806 (java) S 17789 17791 13684 0 -1 4202560 2941 0 0 0 104 0 0 0 15 0 22 0 909541629 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17807] ppid=17789 vsize=10552116 CPUtime=1.03 cores=1,3,5,7
/proc/17791/task/17807/stat : 17807 (java) S 17789 17791 13684 0 -1 4202560 6337 0 0 0 103 0 0 0 15 0 22 0 909541629 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17808] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17808/stat : 17808 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17809] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17809/stat : 17809 (java) S 17789 17791 13684 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909541629 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17810] ppid=17789 vsize=10552116 CPUtime=879.63 cores=1,3,5,7
/proc/17791/task/17810/stat : 17810 (java) R 17789 17791 13684 0 -1 4202560 9047 0 0 0 87961 2 0 0 25 0 22 0 909541795 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912506036032 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17811] ppid=17789 vsize=10552116 CPUtime=879.6 cores=1,3,5,7
/proc/17791/task/17811/stat : 17811 (java) R 17789 17791 13684 0 -1 4202560 699982 0 0 0 87891 69 0 0 25 0 22 0 909541795 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505722188 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17812] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17812/stat : 17812 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541798 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17813] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17813/stat : 17813 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541799 10805366784 921042 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1765.86
Current children cumulated vsize (KiB) 10552116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.401 s]
/proc/loadavg: 3.22 3.79 3.49 3/530 17857
/proc/meminfo: memFree=15488380/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=10552116 CPUtime=1800.08 cores=1,3,5,7
/proc/17791/stat : 17791 (java) S 17789 17791 13684 0 -1 4202496 930203 0 1 0 179903 105 0 0 25 0 22 0 909541623 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 2638029 923887 2255 9 0 2628763 0
[pid=17791/tid=17792] ppid=17789 vsize=10552116 CPUtime=1.7 cores=1,3,5,7
/proc/17791/task/17792/stat : 17792 (java) S 17789 17791 13684 0 -1 4202560 110609 0 1 0 155 15 0 0 15 0 22 0 909541624 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17794] ppid=17789 vsize=10552116 CPUtime=0.28 cores=1,3,5,7
/proc/17791/task/17794/stat : 17794 (java) S 17789 17791 13684 0 -1 4202560 11807 0 0 0 27 1 0 0 15 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17795] ppid=17789 vsize=10552116 CPUtime=0.32 cores=1,3,5,7
/proc/17791/task/17795/stat : 17795 (java) S 17789 17791 13684 0 -1 4202560 12348 0 0 0 30 2 0 0 15 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17796] ppid=17789 vsize=10552116 CPUtime=0.31 cores=1,3,5,7
/proc/17791/task/17796/stat : 17796 (java) S 17789 17791 13684 0 -1 4202560 14984 0 0 0 30 1 0 0 16 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17797] ppid=17789 vsize=10552116 CPUtime=0.32 cores=1,3,5,7
/proc/17791/task/17797/stat : 17797 (java) S 17789 17791 13684 0 -1 4202560 10235 0 0 0 31 1 0 0 15 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17798] ppid=17789 vsize=10552116 CPUtime=0.4 cores=1,3,5,7
/proc/17791/task/17798/stat : 17798 (java) S 17789 17791 13684 0 -1 4202560 12547 0 0 0 39 1 0 0 15 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17799] ppid=17789 vsize=10552116 CPUtime=0.39 cores=1,3,5,7
/proc/17791/task/17799/stat : 17799 (java) S 17789 17791 13684 0 -1 4202560 13618 0 0 0 38 1 0 0 16 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17800] ppid=17789 vsize=10552116 CPUtime=0.3 cores=1,3,5,7
/proc/17791/task/17800/stat : 17800 (java) S 17789 17791 13684 0 -1 4202560 8770 0 0 0 29 1 0 0 16 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17801] ppid=17789 vsize=10552116 CPUtime=0.4 cores=1,3,5,7
/proc/17791/task/17801/stat : 17801 (java) S 17789 17791 13684 0 -1 4202560 15700 0 0 0 38 2 0 0 16 0 22 0 909541625 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17802] ppid=17789 vsize=10552116 CPUtime=0.05 cores=1,3,5,7
/proc/17791/task/17802/stat : 17802 (java) S 17789 17791 13684 0 -1 4202560 63 0 0 0 3 2 0 0 15 0 22 0 909541626 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 0 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17803] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17803/stat : 17803 (java) S 17789 17791 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909541627 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17804] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17804/stat : 17804 (java) S 17789 17791 13684 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909541627 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 7 0 0 0
[pid=17791/tid=17805] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17805/stat : 17805 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000416177 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17806] ppid=17789 vsize=10552116 CPUtime=1.04 cores=1,3,5,7
/proc/17791/task/17806/stat : 17806 (java) S 17789 17791 13684 0 -1 4202560 2941 0 0 0 104 0 0 0 15 0 22 0 909541629 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17807] ppid=17789 vsize=10552116 CPUtime=1.03 cores=1,3,5,7
/proc/17791/task/17807/stat : 17807 (java) S 17789 17791 13684 0 -1 4202560 6337 0 0 0 103 0 0 0 15 0 22 0 909541629 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17808] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17808/stat : 17808 (java) S 17789 17791 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909541629 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000408473 0 4 0 16800975 18446604460151024512 0 0 -1 5 0 0 0
[pid=17791/tid=17809] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17809/stat : 17809 (java) S 17789 17791 13684 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909541629 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 3 0 0 0
[pid=17791/tid=17810] ppid=17789 vsize=10552116 CPUtime=896.71 cores=1,3,5,7
/proc/17791/task/17810/stat : 17810 (java) R 17789 17791 13684 0 -1 4202560 9047 0 0 0 89669 2 0 0 25 0 22 0 909541795 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912506030796 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17791/tid=17811] ppid=17789 vsize=10552116 CPUtime=896.7 cores=1,3,5,7
/proc/17791/task/17811/stat : 17811 (java) R 17789 17791 13684 0 -1 4202560 699986 0 0 0 89601 69 0 0 25 0 22 0 909541795 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 46912505675093 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17791/tid=17812] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17812/stat : 17812 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541798 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
[pid=17791/tid=17813] ppid=17789 vsize=10552116 CPUtime=0 cores=1,3,5,7
/proc/17791/task/17813/stat : 17813 (java) S 17789 17791 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909541799 10805366784 923887 33554432000 1073741824 1073778376 140734895136592 18446744073709551615 216000409088 0 4 0 16800975 18446604460151024512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.525 s]
/proc/loadavg: 3.22 3.79 3.49 3/530 17857
/proc/meminfo: memFree=15488380/32950940 swapFree=67111364/67111528
[pid=17791] ppid=17789 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/17791/stat : 17791 (java) Z 17789 17791 13684 0 -1 4203548 930230 0 1 0 179907 115 0 0 17 0 2 0 909541623 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17791/statm: 0 0 0 0 0 0 0
[pid=17791/tid=17810] ppid=17789 vsize=0 CPUtime=896.82 cores=1,3,5,7
/proc/17791/task/17810/stat : 17810 (java) R 17789 17791 13684 0 -1 4203588 9047 0 0 0 89670 12 0 0 25 0 2 0 909541795 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.572
CPU time (s): 1800.27
CPU user time (s): 1799.07
CPU system time (s): 1.19882
CPU usage (%): 200.125
Max. virtual memory (cumulated for all children) (KiB): 10552116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.19882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930230
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= 26847
involuntary context switches= 14347
runsolver used 4.66729 second user time and 10.9273 second system time
The end