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-3459829-1307169131/watcher-3459829-1307169131 -o /tmp/evaluation-result-3459829-1307169131/solver-3459829-1307169131 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459829-1307169131.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.01 1.98 2/539 30763
/proc/meminfo: memFree=21173536/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 8708 0 1 0 0 1 0 0 25 0 2 0 809328603 13850947584 8410 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3381579 8423 917 9 0 3372735 0
[pid=30763/tid=30764] ppid=30761 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 7657 0 1 0 0 0 0 0 25 0 2 0 809328604 13850947584 8472 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.087155 s]
/proc/loadavg: 1.94 2.01 1.98 2/539 30763
/proc/meminfo: memFree=21173536/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13621784 CPUtime=0.09 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 15412 0 1 0 7 2 0 0 25 0 18 0 809328603 13948706816 15094 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3405446 15096 2092 9 0 3396180 0
[pid=30763/tid=30764] ppid=30761 vsize=13621784 CPUtime=0.08 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 13504 0 1 0 6 2 0 0 18 0 18 0 809328604 13948706816 15097 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 47453587057491 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621784
[startup+0.105774 s]
/proc/loadavg: 1.94 2.01 1.98 2/539 30763
/proc/meminfo: memFree=21173536/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13621916 CPUtime=0.11 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 15597 0 1 0 9 2 0 0 25 0 18 0 809328603 13948841984 15279 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3405479 15279 2093 9 0 3396213 0
[pid=30763/tid=30764] ppid=30761 vsize=13621916 CPUtime=0.09 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 13685 0 1 0 7 2 0 0 18 0 18 0 809328604 13948841984 15279 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 47453584959507 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621916
[startup+0.303195 s]
/proc/loadavg: 1.94 2.01 1.98 2/539 30763
/proc/meminfo: memFree=21173536/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13624444 CPUtime=0.5 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 19385 0 1 0 47 3 0 0 25 0 18 0 809328603 13951430656 18587 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406111 18588 2202 9 0 3396845 0
[pid=30763/tid=30764] ppid=30761 vsize=13624444 CPUtime=0.29 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 15739 0 1 0 27 2 0 0 18 0 18 0 809328604 13951430656 18589 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912505569369 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624444
[startup+0.700676 s]
/proc/loadavg: 1.94 2.01 1.98 2/539 30763
/proc/meminfo: memFree=21173536/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13626680 CPUtime=1.16 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 50569 0 1 0 109 7 0 0 25 0 18 0 809328603 13953720320 48092 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406670 48096 2222 9 0 3397404 0
[pid=30763/tid=30764] ppid=30761 vsize=13626680 CPUtime=0.68 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 44152 0 1 0 63 5 0 0 18 0 18 0 809328604 13953720320 48098 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912505644155 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13626680
[startup+1.50153 s]
/proc/loadavg: 1.94 2.01 1.98 5/557 30781
/proc/meminfo: memFree=20898740/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13627708 CPUtime=2.55 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 76459 0 1 0 245 10 0 0 25 0 19 0 809328603 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406927 70254 2235 9 0 3397661 0
[pid=30763/tid=30764] ppid=30761 vsize=13627708 CPUtime=1.48 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 66200 0 1 0 140 8 0 0 20 0 19 0 809328604 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912506008283 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30763/tid=30766] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30766/stat : 30766 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30767] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30767/stat : 30767 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30768] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30768/stat : 30768 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30769] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30769/stat : 30769 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30770] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30770/stat : 30770 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30771] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328606 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30263 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 809328607 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 0 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 809328607 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30263 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 809328607 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30777/stat : 30777 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107274673 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=13627708 CPUtime=0.51 cores=0,2,4,6
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30263 0 -1 4202560 4004 0 0 0 51 0 0 0 20 0 19 0 809328609 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=13627708 CPUtime=0.53 cores=0,2,4,6
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30263 0 -1 4202560 5094 0 0 0 52 1 0 0 15 0 19 0 809328609 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30780/stat : 30780 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30781] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30781/stat : 30781 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809328609 13954772992 70254 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 13627708
[startup+3.1012 s]
/proc/loadavg: 2.02 2.02 1.99 3/558 30782
/proc/meminfo: memFree=20897500/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13627708 CPUtime=4.24 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 83610 0 1 0 413 11 0 0 25 0 19 0 809328603 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406927 77027 2263 9 0 3397661 0
[pid=30763/tid=30764] ppid=30761 vsize=13627708 CPUtime=3.01 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 66463 0 1 0 293 8 0 0 25 0 19 0 809328604 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912506007908 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30763/tid=30766] ppid=30761 vsize=13627708 CPUtime=0.01 cores=0,2,4,6
/proc/30763/task/30766/stat : 30766 (java) S 30761 30763 30263 0 -1 4202560 1053 0 0 0 1 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30767] ppid=30761 vsize=13627708 CPUtime=0.01 cores=0,2,4,6
/proc/30763/task/30767/stat : 30767 (java) S 30761 30763 30263 0 -1 4202560 1115 0 0 0 1 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30768] ppid=30761 vsize=13627708 CPUtime=0.01 cores=0,2,4,6
/proc/30763/task/30768/stat : 30768 (java) S 30761 30763 30263 0 -1 4202560 1016 0 0 0 1 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30769] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30769/stat : 30769 (java) S 30761 30763 30263 0 -1 4202560 66 0 0 0 0 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30770] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30770/stat : 30770 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30771] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 809328606 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=13627708 CPUtime=0.04 cores=0,2,4,6
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30263 0 -1 4202560 3253 0 0 0 4 0 0 0 16 0 19 0 809328607 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 0 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809328607 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30263 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809328607 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30777/stat : 30777 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107274673 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=13627708 CPUtime=0.56 cores=0,2,4,6
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30263 0 -1 4202560 4392 0 0 0 56 0 0 0 16 0 19 0 809328609 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=13627708 CPUtime=0.55 cores=0,2,4,6
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30263 0 -1 4202560 5098 0 0 0 54 1 0 0 15 0 19 0 809328609 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30780/stat : 30780 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30781] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30781/stat : 30781 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809328609 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30782] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30782/stat : 30782 (java) S 30761 30763 30263 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 809328706 13954772992 77027 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13627708
[startup+6.30058 s]
/proc/loadavg: 2.02 2.02 1.99 3/558 30782
/proc/meminfo: memFree=20860168/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13627708 CPUtime=7.46 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 84080 0 1 0 735 11 0 0 25 0 19 0 809328603 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406927 77479 2263 9 0 3397661 0
[pid=30763/tid=30764] ppid=30761 vsize=13627708 CPUtime=6.15 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 66466 0 1 0 607 8 0 0 25 0 19 0 809328604 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912505935392 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30763/tid=30766] ppid=30761 vsize=13627708 CPUtime=0.01 cores=0,2,4,6
/proc/30763/task/30766/stat : 30766 (java) S 30761 30763 30263 0 -1 4202560 1053 0 0 0 1 0 0 0 18 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30767] ppid=30761 vsize=13627708 CPUtime=0.01 cores=0,2,4,6
/proc/30763/task/30767/stat : 30767 (java) S 30761 30763 30263 0 -1 4202560 1115 0 0 0 1 0 0 0 18 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30768] ppid=30761 vsize=13627708 CPUtime=0.01 cores=0,2,4,6
/proc/30763/task/30768/stat : 30768 (java) S 30761 30763 30263 0 -1 4202560 1016 0 0 0 1 0 0 0 18 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30769] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30769/stat : 30769 (java) S 30761 30763 30263 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30770] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30770/stat : 30770 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30771] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30263 0 -1 4202560 218 0 0 0 0 0 0 0 16 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30263 0 -1 4202560 110 0 0 0 0 0 0 0 16 0 19 0 809328606 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=13627708 CPUtime=0.08 cores=0,2,4,6
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30263 0 -1 4202560 3394 0 0 0 8 0 0 0 15 0 19 0 809328607 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 0 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809328607 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30263 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809328607 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30777/stat : 30777 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107274673 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=13627708 CPUtime=0.57 cores=0,2,4,6
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30263 0 -1 4202560 4392 0 0 0 57 0 0 0 15 0 19 0 809328609 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=13627708 CPUtime=0.56 cores=0,2,4,6
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30263 0 -1 4202560 5098 0 0 0 55 1 0 0 16 0 19 0 809328609 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=13627708 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30780/stat : 30780 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954772992 77479 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=30763/tid=30771] ppid=30761 vsize=13627416 CPUtime=0.24 cores=0,2,4,6
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30263 0 -1 4202560 1993 0 0 0 24 0 0 0 16 0 19 0 809328606 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=13627416 CPUtime=0.1 cores=0,2,4,6
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30263 0 -1 4202560 133 0 0 0 10 0 0 0 15 0 19 0 809328606 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=13627416 CPUtime=0.16 cores=0,2,4,6
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30263 0 -1 4202560 521 0 0 0 16 0 0 0 15 0 19 0 809328606 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=13627416 CPUtime=5.34 cores=0,2,4,6
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30263 0 -1 4202560 13610 0 0 0 532 2 0 0 15 0 19 0 809328607 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 0 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30263 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30777/stat : 30777 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107274673 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=13627416 CPUtime=0.59 cores=0,2,4,6
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30263 0 -1 4202560 4392 0 0 0 59 0 0 0 15 0 19 0 809328609 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=13627416 CPUtime=1.06 cores=0,2,4,6
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30263 0 -1 4202560 11008 0 0 0 105 1 0 0 15 0 19 0 809328609 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30780/stat : 30780 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30781] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30781/stat : 30781 (java) S 30761 30763 30263 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 809328609 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30782] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30782/stat : 30782 (java) S 30761 30763 30263 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 809328706 13954473984 95053 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.83
Current children cumulated vsize (KiB) 13627416
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/558 30839
/proc/meminfo: memFree=20719932/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13627416 CPUtime=1784.86 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 108294 0 1 0 178470 16 0 0 25 0 19 0 809328603 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406854 95459 2264 9 0 3397588 0
[pid=30763/tid=30764] ppid=30761 vsize=13627416 CPUtime=1776.19 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 66550 0 1 0 177610 9 0 0 25 0 19 0 809328604 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912505935392 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30763/tid=30766] ppid=30761 vsize=13627416 CPUtime=0.21 cores=0,2,4,6
/proc/30763/task/30766/stat : 30766 (java) S 30761 30763 30263 0 -1 4202560 3223 0 0 0 21 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30767] ppid=30761 vsize=13627416 CPUtime=0.17 cores=0,2,4,6
/proc/30763/task/30767/stat : 30767 (java) S 30761 30763 30263 0 -1 4202560 2211 0 0 0 17 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 0 0 0 0
[pid=30763/tid=30768] ppid=30761 vsize=13627416 CPUtime=0.19 cores=0,2,4,6
/proc/30763/task/30768/stat : 30768 (java) S 30761 30763 30263 0 -1 4202560 1402 0 0 0 19 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30769] ppid=30761 vsize=13627416 CPUtime=0.22 cores=0,2,4,6
/proc/30763/task/30769/stat : 30769 (java) S 30761 30763 30263 0 -1 4202560 635 0 0 0 22 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30770] ppid=30761 vsize=13627416 CPUtime=0.19 cores=0,2,4,6
/proc/30763/task/30770/stat : 30770 (java) S 30761 30763 30263 0 -1 4202560 964 0 0 0 19 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30771] ppid=30761 vsize=13627416 CPUtime=0.25 cores=0,2,4,6
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30263 0 -1 4202560 1994 0 0 0 25 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=13627416 CPUtime=0.1 cores=0,2,4,6
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30263 0 -1 4202560 133 0 0 0 10 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=13627416 CPUtime=0.16 cores=0,2,4,6
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30263 0 -1 4202560 521 0 0 0 16 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 0 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=13627416 CPUtime=5.42 cores=0,2,4,6
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30263 0 -1 4202560 14009 0 0 0 540 2 0 0 15 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 0 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30263 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30777/stat : 30777 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107274673 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=13627416 CPUtime=0.59 cores=0,2,4,6
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30263 0 -1 4202560 4392 0 0 0 59 0 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=13627416 CPUtime=1.06 cores=0,2,4,6
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30263 0 -1 4202560 11008 0 0 0 105 1 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30780/stat : 30780 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30781] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30781/stat : 30781 (java) S 30761 30763 30263 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30782] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30782/stat : 30782 (java) S 30761 30763 30263 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 809328706 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.86
Current children cumulated vsize (KiB) 13627416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 1.89 2.00 1.99 2/534 30859
/proc/meminfo: memFree=21182308/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13627416 CPUtime=1800.07 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 108294 0 1 0 179991 16 0 0 25 0 19 0 809328603 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406854 95459 2264 9 0 3397588 0
[pid=30763/tid=30764] ppid=30761 vsize=13627416 CPUtime=1791.41 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 66550 0 1 0 179132 9 0 0 25 0 19 0 809328604 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912505662951 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30763/tid=30766] ppid=30761 vsize=13627416 CPUtime=0.21 cores=0,2,4,6
/proc/30763/task/30766/stat : 30766 (java) S 30761 30763 30263 0 -1 4202560 3223 0 0 0 21 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30767] ppid=30761 vsize=13627416 CPUtime=0.17 cores=0,2,4,6
/proc/30763/task/30767/stat : 30767 (java) S 30761 30763 30263 0 -1 4202560 2211 0 0 0 17 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 0 0 0 0
[pid=30763/tid=30768] ppid=30761 vsize=13627416 CPUtime=0.19 cores=0,2,4,6
/proc/30763/task/30768/stat : 30768 (java) S 30761 30763 30263 0 -1 4202560 1402 0 0 0 19 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30769] ppid=30761 vsize=13627416 CPUtime=0.22 cores=0,2,4,6
/proc/30763/task/30769/stat : 30769 (java) S 30761 30763 30263 0 -1 4202560 635 0 0 0 22 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30770] ppid=30761 vsize=13627416 CPUtime=0.19 cores=0,2,4,6
/proc/30763/task/30770/stat : 30770 (java) S 30761 30763 30263 0 -1 4202560 964 0 0 0 19 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30771] ppid=30761 vsize=13627416 CPUtime=0.25 cores=0,2,4,6
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30263 0 -1 4202560 1994 0 0 0 25 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=13627416 CPUtime=0.1 cores=0,2,4,6
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30263 0 -1 4202560 133 0 0 0 10 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=13627416 CPUtime=0.16 cores=0,2,4,6
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30263 0 -1 4202560 521 0 0 0 16 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 0 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=13627416 CPUtime=5.42 cores=0,2,4,6
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30263 0 -1 4202560 14009 0 0 0 540 2 0 0 15 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 0 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30263 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30777/stat : 30777 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107274673 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=13627416 CPUtime=0.59 cores=0,2,4,6
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30263 0 -1 4202560 4392 0 0 0 59 0 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=13627416 CPUtime=1.06 cores=0,2,4,6
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30263 0 -1 4202560 11008 0 0 0 105 1 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30780/stat : 30780 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30781] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30781/stat : 30781 (java) S 30761 30763 30263 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30782] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30782/stat : 30782 (java) S 30761 30763 30263 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 809328706 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13627416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.5 s]
/proc/loadavg: 1.89 2.00 1.99 2/534 30859
/proc/meminfo: memFree=21182308/32951124 swapFree=58800704/67111528
[pid=30763] ppid=30761 vsize=13627416 CPUtime=1800.07 cores=0,2,4,6
/proc/30763/stat : 30763 (java) S 30761 30763 30263 0 -1 4202496 108294 0 1 0 179991 16 0 0 25 0 19 0 809328603 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30763/statm: 3406854 95459 2264 9 0 3397588 0
[pid=30763/tid=30764] ppid=30761 vsize=13627416 CPUtime=1791.41 cores=0,2,4,6
/proc/30763/task/30764/stat : 30764 (java) R 30761 30763 30263 0 -1 4202560 66550 0 1 0 179132 9 0 0 25 0 19 0 809328604 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 46912505662951 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30763/tid=30766] ppid=30761 vsize=13627416 CPUtime=0.21 cores=0,2,4,6
/proc/30763/task/30766/stat : 30766 (java) S 30761 30763 30263 0 -1 4202560 3223 0 0 0 21 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30767] ppid=30761 vsize=13627416 CPUtime=0.17 cores=0,2,4,6
/proc/30763/task/30767/stat : 30767 (java) S 30761 30763 30263 0 -1 4202560 2211 0 0 0 17 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 0 0 0 0
[pid=30763/tid=30768] ppid=30761 vsize=13627416 CPUtime=0.19 cores=0,2,4,6
/proc/30763/task/30768/stat : 30768 (java) S 30761 30763 30263 0 -1 4202560 1402 0 0 0 19 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30769] ppid=30761 vsize=13627416 CPUtime=0.22 cores=0,2,4,6
/proc/30763/task/30769/stat : 30769 (java) S 30761 30763 30263 0 -1 4202560 635 0 0 0 22 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30770] ppid=30761 vsize=13627416 CPUtime=0.19 cores=0,2,4,6
/proc/30763/task/30770/stat : 30770 (java) S 30761 30763 30263 0 -1 4202560 964 0 0 0 19 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30771] ppid=30761 vsize=13627416 CPUtime=0.25 cores=0,2,4,6
/proc/30763/task/30771/stat : 30771 (java) S 30761 30763 30263 0 -1 4202560 1994 0 0 0 25 0 0 0 16 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30772] ppid=30761 vsize=13627416 CPUtime=0.1 cores=0,2,4,6
/proc/30763/task/30772/stat : 30772 (java) S 30761 30763 30263 0 -1 4202560 133 0 0 0 10 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30773] ppid=30761 vsize=13627416 CPUtime=0.16 cores=0,2,4,6
/proc/30763/task/30773/stat : 30773 (java) S 30761 30763 30263 0 -1 4202560 521 0 0 0 16 0 0 0 15 0 19 0 809328606 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 0 0 0 0
[pid=30763/tid=30774] ppid=30761 vsize=13627416 CPUtime=5.42 cores=0,2,4,6
/proc/30763/task/30774/stat : 30774 (java) S 30761 30763 30263 0 -1 4202560 14009 0 0 0 540 2 0 0 15 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 0 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30775] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30775/stat : 30775 (java) S 30761 30763 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30776] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30776/stat : 30776 (java) S 30761 30763 30263 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809328607 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30777] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30777/stat : 30777 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107274673 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30778] ppid=30761 vsize=13627416 CPUtime=0.59 cores=0,2,4,6
/proc/30763/task/30778/stat : 30778 (java) S 30761 30763 30263 0 -1 4202560 4392 0 0 0 59 0 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30779] ppid=30761 vsize=13627416 CPUtime=1.06 cores=0,2,4,6
/proc/30763/task/30779/stat : 30779 (java) S 30761 30763 30263 0 -1 4202560 11008 0 0 0 105 1 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
[pid=30763/tid=30780] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30780/stat : 30780 (java) S 30761 30763 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107266969 0 4 0 16800975 18446604451037228032 0 0 -1 4 0 0 0
[pid=30763/tid=30781] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30781/stat : 30781 (java) S 30761 30763 30263 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 809328609 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 2 0 0 0
[pid=30763/tid=30782] ppid=30761 vsize=13627416 CPUtime=0 cores=0,2,4,6
/proc/30763/task/30782/stat : 30782 (java) S 30761 30763 30263 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 809328706 13954473984 95459 33554432000 1073741824 1073778376 140735445769792 18446744073709551615 228107267584 0 4 0 16800975 18446604451037228032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13627416
Child status: 143
Real time (s): 1797.57
CPU time (s): 1800.18
CPU user time (s): 1800
CPU system time (s): 0.187971
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 13647960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108325
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= 38682
involuntary context switches= 18355
runsolver used 10.2064 second user time and 20.8928 second system time
The end