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-3459451-1307146693/watcher-3459451-1307146693 -o /tmp/evaluation-result-3459451-1307146693/solver-3459451-1307146693 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459451-1307146693.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.42 1.45 1.73 2/539 27836
/proc/meminfo: memFree=21528248/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 8037 0 1 0 0 1 0 0 18 0 2 0 807084737 13850947584 7740 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3381579 7740 917 9 0 3372735 0
[pid=27836/tid=27837] ppid=27834 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 7292 0 1 0 0 0 0 0 19 0 2 0 807084737 13850947584 8108 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.124044 s]
/proc/loadavg: 1.42 1.45 1.73 2/539 27836
/proc/meminfo: memFree=21528248/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13622096 CPUtime=0.13 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 15836 0 1 0 11 2 0 0 18 0 18 0 807084737 13949026304 15534 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3405524 15534 2133 9 0 3396258 0
[pid=27836/tid=27837] ppid=27834 vsize=13622096 CPUtime=0.11 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 13821 0 1 0 9 2 0 0 18 0 18 0 807084737 13949026304 15534 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622096
[startup+0.200981 s]
/proc/loadavg: 1.42 1.45 1.73 2/539 27836
/proc/meminfo: memFree=21528248/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13623444 CPUtime=0.27 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 16621 0 1 0 25 2 0 0 18 0 18 0 807084737 13950406656 16319 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3405861 16319 2184 9 0 3396595 0
[pid=27836/tid=27837] ppid=27834 vsize=13623444 CPUtime=0.19 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 14265 0 1 0 17 2 0 0 18 0 18 0 807084737 13950406656 16319 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505203258 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13623444
[startup+0.300995 s]
/proc/loadavg: 1.42 1.45 1.73 2/539 27836
/proc/meminfo: memFree=21528248/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13624472 CPUtime=0.48 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 18272 0 1 0 45 3 0 0 18 0 19 0 807084737 13951459328 17605 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406118 17605 2209 9 0 3396852 0
[pid=27836/tid=27837] ppid=27834 vsize=13624472 CPUtime=0.28 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15235 0 1 0 26 2 0 0 19 0 19 0 807084737 13951459328 17605 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505549831 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624472
[startup+0.700903 s]
/proc/loadavg: 1.42 1.45 1.73 2/539 27836
/proc/meminfo: memFree=21528248/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13626904 CPUtime=1.17 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 20544 0 1 0 114 3 0 0 18 0 19 0 807084737 13953949696 19207 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406726 19207 2251 9 0 3397460 0
[pid=27836/tid=27837] ppid=27834 vsize=13626904 CPUtime=0.67 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15452 0 1 0 65 2 0 0 19 0 19 0 807084737 13953949696 19207 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 47775681938327 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13626904
[startup+1.50077 s]
/proc/loadavg: 1.42 1.45 1.73 3/558 27855
/proc/meminfo: memFree=21458044/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13626432 CPUtime=2.07 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 21257 0 1 0 204 3 0 0 18 0 19 0 807084737 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406608 19675 2252 9 0 3397342 0
[pid=27836/tid=27837] ppid=27834 vsize=13626432 CPUtime=1.44 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15463 0 1 0 142 2 0 0 20 0 19 0 807084737 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505644816 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27836/tid=27839] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27839/stat : 27839 (java) S 27834 27836 25640 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 0 0 0 0
[pid=27836/tid=27840] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27840/stat : 27840 (java) S 27834 27836 25640 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27841] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27841/stat : 27841 (java) S 27834 27836 25640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27842] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27842/stat : 27842 (java) S 27834 27836 25640 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27843] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27843/stat : 27843 (java) S 27834 27836 25640 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27844] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27844/stat : 27844 (java) S 27834 27836 25640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27845] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27845/stat : 27845 (java) S 27834 27836 25640 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27846] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27846/stat : 27846 (java) S 27834 27836 25640 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 807084739 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27847] ppid=27834 vsize=13626432 CPUtime=0.03 cores=0,2,4,6
/proc/27836/task/27847/stat : 27847 (java) S 27834 27836 25640 0 -1 4202560 531 0 0 0 3 0 0 0 15 0 19 0 807084740 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 0 0 16800975 18446604451752167616 0 0 -1 0 0 0 0
[pid=27836/tid=27848] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27848/stat : 27848 (java) S 27834 27836 25640 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 807084741 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27849] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27849/stat : 27849 (java) S 27834 27836 25640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 807084741 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27850] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27850/stat : 27850 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107274673 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27851] ppid=27834 vsize=13626432 CPUtime=0.25 cores=0,2,4,6
/proc/27836/task/27851/stat : 27851 (java) S 27834 27836 25640 0 -1 4202560 1541 0 0 0 25 0 0 0 17 0 19 0 807084743 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27852] ppid=27834 vsize=13626432 CPUtime=0.31 cores=0,2,4,6
/proc/27836/task/27852/stat : 27852 (java) S 27834 27836 25640 0 -1 4202560 2033 0 0 0 31 0 0 0 18 0 19 0 807084743 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27853] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27853/stat : 27853 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27854] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27854/stat : 27854 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807084743 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27855] ppid=27834 vsize=13626432 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27855/stat : 27855 (java) S 27834 27836 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807084765 13953466368 19675 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 13626432
[startup+3.10152 s]
/proc/loadavg: 1.42 1.45 1.73 3/558 27855
/proc/meminfo: memFree=21455688/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13626296 CPUtime=3.72 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 21686 0 1 0 369 3 0 0 18 0 19 0 807084737 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406574 19692 2252 9 0 3397308 0
[pid=27836/tid=27837] ppid=27834 vsize=13626296 CPUtime=2.97 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15466 0 1 0 295 2 0 0 24 0 19 0 807084737 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505644816 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27836/tid=27839] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27839/stat : 27839 (java) S 27834 27836 25640 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27840] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27840/stat : 27840 (java) S 27834 27836 25640 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27841] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27841/stat : 27841 (java) S 27834 27836 25640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27842] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27842/stat : 27842 (java) S 27834 27836 25640 0 -1 4202560 78 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27843] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27843/stat : 27843 (java) S 27834 27836 25640 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27844] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27844/stat : 27844 (java) S 27834 27836 25640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27845] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27845/stat : 27845 (java) S 27834 27836 25640 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27846] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27846/stat : 27846 (java) S 27834 27836 25640 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27847] ppid=27834 vsize=13626296 CPUtime=0.09 cores=0,2,4,6
/proc/27836/task/27847/stat : 27847 (java) S 27834 27836 25640 0 -1 4202560 544 0 0 0 9 0 0 0 15 0 19 0 807084740 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 0 0 16800975 18446604451752167616 0 0 -1 0 0 0 0
[pid=27836/tid=27848] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27848/stat : 27848 (java) S 27834 27836 25640 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 807084741 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27849] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27849/stat : 27849 (java) S 27834 27836 25640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 807084741 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27850] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27850/stat : 27850 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107274673 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27851] ppid=27834 vsize=13626296 CPUtime=0.26 cores=0,2,4,6
/proc/27836/task/27851/stat : 27851 (java) S 27834 27836 25640 0 -1 4202560 1541 0 0 0 26 0 0 0 15 0 19 0 807084743 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27852] ppid=27834 vsize=13626296 CPUtime=0.35 cores=0,2,4,6
/proc/27836/task/27852/stat : 27852 (java) S 27834 27836 25640 0 -1 4202560 2442 0 0 0 35 0 0 0 15 0 19 0 807084743 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27853] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27853/stat : 27853 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27854] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27854/stat : 27854 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807084743 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27855] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27855/stat : 27855 (java) S 27834 27836 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807084765 13953327104 19692 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13626296
[startup+6.30092 s]
/proc/loadavg: 1.46 1.46 1.74 3/558 27855
/proc/meminfo: memFree=21455044/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13626296 CPUtime=6.93 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 21836 0 1 0 689 4 0 0 18 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406574 19673 2252 9 0 3397308 0
[pid=27836/tid=27837] ppid=27834 vsize=13626296 CPUtime=6.05 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15475 0 1 0 603 2 0 0 25 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505613552 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27836/tid=27839] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27839/stat : 27839 (java) S 27834 27836 25640 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27840] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27840/stat : 27840 (java) S 27834 27836 25640 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27841] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27841/stat : 27841 (java) S 27834 27836 25640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27842] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27842/stat : 27842 (java) S 27834 27836 25640 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27843] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27843/stat : 27843 (java) S 27834 27836 25640 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27844] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27844/stat : 27844 (java) S 27834 27836 25640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27845] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27845/stat : 27845 (java) S 27834 27836 25640 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27846] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27846/stat : 27846 (java) S 27834 27836 25640 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27847] ppid=27834 vsize=13626296 CPUtime=0.2 cores=0,2,4,6
/proc/27836/task/27847/stat : 27847 (java) S 27834 27836 25640 0 -1 4202560 569 0 0 0 20 0 0 0 15 0 19 0 807084740 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 0 0 16800975 18446604451752167616 0 0 -1 0 0 0 0
[pid=27836/tid=27848] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27848/stat : 27848 (java) S 27834 27836 25640 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27849] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27849/stat : 27849 (java) S 27834 27836 25640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27850] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27850/stat : 27850 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107274673 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27851] ppid=27834 vsize=13626296 CPUtime=0.26 cores=0,2,4,6
/proc/27836/task/27851/stat : 27851 (java) S 27834 27836 25640 0 -1 4202560 1541 0 0 0 26 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27852] ppid=27834 vsize=13626296 CPUtime=0.35 cores=0,2,4,6
/proc/27836/task/27852/stat : 27852 (java) S 27834 27836 25640 0 -1 4202560 2442 0 0 0 35 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27853] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27853/stat : 27853 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27854] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27854/stat : 27854 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27855] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27855/stat : 27855 (java) S 27834 27836 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807084765 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 13626296
Solver just ended. Dumping a history of the last processes samples
[startup+6.40091 s]
/proc/loadavg: 1.46 1.46 1.74 3/558 27855
/proc/meminfo: memFree=21455044/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13626296 CPUtime=7.03 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 21836 0 1 0 699 4 0 0 18 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406574 19673 2252 9 0 3397308 0
[pid=27836/tid=27837] ppid=27834 vsize=13626296 CPUtime=6.15 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15475 0 1 0 613 2 0 0 25 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505728832 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27836/tid=27839] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27839/stat : 27839 (java) S 27834 27836 25640 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27840] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27840/stat : 27840 (java) S 27834 27836 25640 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27841] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27841/stat : 27841 (java) S 27834 27836 25640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27842] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27842/stat : 27842 (java) S 27834 27836 25640 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27843] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27843/stat : 27843 (java) S 27834 27836 25640 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27844] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27844/stat : 27844 (java) S 27834 27836 25640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27845] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27845/stat : 27845 (java) S 27834 27836 25640 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27846] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27846/stat : 27846 (java) S 27834 27836 25640 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27847] ppid=27834 vsize=13626296 CPUtime=0.2 cores=0,2,4,6
/proc/27836/task/27847/stat : 27847 (java) S 27834 27836 25640 0 -1 4202560 569 0 0 0 20 0 0 0 15 0 19 0 807084740 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 0 0 16800975 18446604451752167616 0 0 -1 0 0 0 0
[pid=27836/tid=27848] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27848/stat : 27848 (java) S 27834 27836 25640 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27849] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27849/stat : 27849 (java) S 27834 27836 25640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27850] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27850/stat : 27850 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107274673 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27851] ppid=27834 vsize=13626296 CPUtime=0.26 cores=0,2,4,6
/proc/27836/task/27851/stat : 27851 (java) S 27834 27836 25640 0 -1 4202560 1541 0 0 0 26 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27852] ppid=27834 vsize=13626296 CPUtime=0.35 cores=0,2,4,6
/proc/27836/task/27852/stat : 27852 (java) S 27834 27836 25640 0 -1 4202560 2442 0 0 0 35 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27853] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27853/stat : 27853 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27854] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27854/stat : 27854 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27855] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27855/stat : 27855 (java) S 27834 27836 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807084765 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 13626296
[startup+6.80083 s]
/proc/loadavg: 1.46 1.46 1.74 3/558 27855
/proc/meminfo: memFree=21455044/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13626296 CPUtime=7.43 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 21836 0 1 0 739 4 0 0 18 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406574 19673 2252 9 0 3397308 0
[pid=27836/tid=27837] ppid=27834 vsize=13626296 CPUtime=6.55 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15475 0 1 0 653 2 0 0 25 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505623320 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27836/tid=27839] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27839/stat : 27839 (java) S 27834 27836 25640 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27840] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27840/stat : 27840 (java) S 27834 27836 25640 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27841] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27841/stat : 27841 (java) S 27834 27836 25640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27842] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27842/stat : 27842 (java) S 27834 27836 25640 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27843] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27843/stat : 27843 (java) S 27834 27836 25640 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27844] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27844/stat : 27844 (java) S 27834 27836 25640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27845] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27845/stat : 27845 (java) S 27834 27836 25640 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27846] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27846/stat : 27846 (java) S 27834 27836 25640 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27847] ppid=27834 vsize=13626296 CPUtime=0.2 cores=0,2,4,6
/proc/27836/task/27847/stat : 27847 (java) S 27834 27836 25640 0 -1 4202560 569 0 0 0 20 0 0 0 15 0 19 0 807084740 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 0 0 16800975 18446604451752167616 0 0 -1 0 0 0 0
[pid=27836/tid=27848] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27848/stat : 27848 (java) S 27834 27836 25640 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27849] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27849/stat : 27849 (java) S 27834 27836 25640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27850] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27850/stat : 27850 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107274673 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27851] ppid=27834 vsize=13626296 CPUtime=0.26 cores=0,2,4,6
/proc/27836/task/27851/stat : 27851 (java) S 27834 27836 25640 0 -1 4202560 1541 0 0 0 26 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27852] ppid=27834 vsize=13626296 CPUtime=0.35 cores=0,2,4,6
/proc/27836/task/27852/stat : 27852 (java) S 27834 27836 25640 0 -1 4202560 2442 0 0 0 35 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27853] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27853/stat : 27853 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27854] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27854/stat : 27854 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27855] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27855/stat : 27855 (java) S 27834 27836 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807084765 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 13626296
[startup+6.90081 s]
/proc/loadavg: 1.46 1.46 1.74 3/558 27855
/proc/meminfo: memFree=21455044/32951124 swapFree=58800704/67111528
[pid=27836] ppid=27834 vsize=13626296 CPUtime=7.53 cores=0,2,4,6
/proc/27836/stat : 27836 (java) S 27834 27836 25640 0 -1 4202496 21836 0 1 0 749 4 0 0 18 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27836/statm: 3406574 19673 2252 9 0 3397308 0
[pid=27836/tid=27837] ppid=27834 vsize=13626296 CPUtime=6.65 cores=0,2,4,6
/proc/27836/task/27837/stat : 27837 (java) R 27834 27836 25640 0 -1 4202560 15475 0 1 0 663 2 0 0 25 0 19 0 807084737 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 46912505613660 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27836/tid=27839] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27839/stat : 27839 (java) S 27834 27836 25640 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27840] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27840/stat : 27840 (java) S 27834 27836 25640 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27841] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27841/stat : 27841 (java) S 27834 27836 25640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27842] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27842/stat : 27842 (java) S 27834 27836 25640 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27843] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27843/stat : 27843 (java) S 27834 27836 25640 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27844] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27844/stat : 27844 (java) S 27834 27836 25640 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27845] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27845/stat : 27845 (java) S 27834 27836 25640 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 2 0 0 0
[pid=27836/tid=27846] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27846/stat : 27846 (java) S 27834 27836 25640 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 807084739 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27847] ppid=27834 vsize=13626296 CPUtime=0.2 cores=0,2,4,6
/proc/27836/task/27847/stat : 27847 (java) S 27834 27836 25640 0 -1 4202560 569 0 0 0 20 0 0 0 15 0 19 0 807084740 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 0 0 16800975 18446604451752167616 0 0 -1 0 0 0 0
[pid=27836/tid=27848] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27848/stat : 27848 (java) S 27834 27836 25640 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27849] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27849/stat : 27849 (java) S 27834 27836 25640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 807084741 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27850] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27850/stat : 27850 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107274673 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27851] ppid=27834 vsize=13626296 CPUtime=0.26 cores=0,2,4,6
/proc/27836/task/27851/stat : 27851 (java) S 27834 27836 25640 0 -1 4202560 1541 0 0 0 26 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27852] ppid=27834 vsize=13626296 CPUtime=0.35 cores=0,2,4,6
/proc/27836/task/27852/stat : 27852 (java) S 27834 27836 25640 0 -1 4202560 2442 0 0 0 35 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27853] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27853/stat : 27853 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107266969 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
[pid=27836/tid=27854] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27854/stat : 27854 (java) S 27834 27836 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807084743 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 4 0 0 0
[pid=27836/tid=27855] ppid=27834 vsize=13626296 CPUtime=0 cores=0,2,4,6
/proc/27836/task/27855/stat : 27855 (java) S 27834 27836 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807084765 13953327104 19673 33554432000 1073741824 1073778376 140736171685232 18446744073709551615 228107267584 0 4 0 16800975 18446604451752167616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 13626296
Child status: 30
Real time (s): 6.95617
CPU time (s): 7.59784
CPU user time (s): 7.55185
CPU system time (s): 0.045993
CPU usage (%): 109.225
Max. virtual memory (cumulated for all children) (KiB): 13626952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.55185
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21870
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= 678
involuntary context switches= 259
runsolver used 0.048992 second user time and 0.086986 second system time
The end