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-3459450-1307146680/watcher-3459450-1307146680 -o /tmp/evaluation-result-3459450-1307146680/solver-3459450-1307146680 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459450-1307146680.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.25 1.42 1.73 2/539 27788
/proc/meminfo: memFree=21530468/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 7596 0 1 0 0 0 0 0 25 0 2 0 807083419 13850947584 7297 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3381579 7311 917 9 0 3372735 0
[pid=27788/tid=27789] ppid=27785 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 6878 0 1 0 0 0 0 0 25 0 2 0 807083420 13850947584 7694 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.050754 s]
/proc/loadavg: 1.25 1.42 1.73 2/539 27788
/proc/meminfo: memFree=21530468/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13550372 CPUtime=0.04 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 13819 0 1 0 3 1 0 0 25 0 13 0 807083419 13875580928 13515 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3387593 13515 1676 9 0 3378341 0
[pid=27788/tid=27789] ppid=27785 vsize=13550372 CPUtime=0.04 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 12670 0 1 0 3 1 0 0 25 0 13 0 807083420 13875580928 13515 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107279739 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13550372
[startup+0.107774 s]
/proc/loadavg: 1.25 1.42 1.73 2/539 27788
/proc/meminfo: memFree=21530468/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13623152 CPUtime=0.11 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 15581 0 1 0 10 1 0 0 25 0 18 0 807083419 13950107648 15277 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3405788 15277 2092 9 0 3396522 0
[pid=27788/tid=27789] ppid=27785 vsize=13623152 CPUtime=0.09 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 13664 0 1 0 8 1 0 0 18 0 18 0 807083420 13950107648 15278 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 47288063394563 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) 13623152
[startup+0.300735 s]
/proc/loadavg: 1.25 1.42 1.73 2/539 27788
/proc/meminfo: memFree=21530468/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13625204 CPUtime=0.46 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 18435 0 1 0 45 1 0 0 25 0 19 0 807083419 13952208896 17672 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3406301 17672 2207 9 0 3397035 0
[pid=27788/tid=27789] ppid=27785 vsize=13625204 CPUtime=0.28 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 15112 0 1 0 27 1 0 0 19 0 19 0 807083420 13952208896 17672 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 46912505164360 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13625204
[startup+0.700708 s]
/proc/loadavg: 1.25 1.42 1.73 2/539 27788
/proc/meminfo: memFree=21530468/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13628276 CPUtime=1.2 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 21834 0 1 0 117 3 0 0 25 0 19 0 807083419 13955354624 20158 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3407069 20158 2250 9 0 3397803 0
[pid=27788/tid=27789] ppid=27785 vsize=13628276 CPUtime=0.67 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 15323 0 1 0 66 1 0 0 19 0 19 0 807083420 13955354624 20158 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 46912505612690 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13628276
[startup+1.50154 s]
/proc/loadavg: 1.25 1.42 1.73 3/558 27807
/proc/meminfo: memFree=21456112/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13628276 CPUtime=2.08 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 22398 0 1 0 205 3 0 0 25 0 19 0 807083419 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3407069 20718 2250 9 0 3397803 0
[pid=27788/tid=27789] ppid=27785 vsize=13628276 CPUtime=1.41 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 15334 0 1 0 140 1 0 0 20 0 19 0 807083420 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 46912505639389 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27788/tid=27791] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27791/stat : 27791 (java) S 27785 27788 25640 0 -1 4202560 310 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27792] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27792/stat : 27792 (java) S 27785 27788 25640 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27793] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27793/stat : 27793 (java) S 27785 27788 25640 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27794] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27794/stat : 27794 (java) S 27785 27788 25640 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27795] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27795/stat : 27795 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27796] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27796/stat : 27796 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27797] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27797/stat : 27797 (java) S 27785 27788 25640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27798] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27798/stat : 27798 (java) S 27785 27788 25640 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27799] ppid=27785 vsize=13628276 CPUtime=0.06 cores=0,2,4,6
/proc/27788/task/27799/stat : 27799 (java) S 27785 27788 25640 0 -1 4202560 456 0 0 0 6 0 0 0 16 0 19 0 807083423 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 0 0 16800975 18446604441827238848 0 0 -1 4 0 0 0
[pid=27788/tid=27800] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27800/stat : 27800 (java) S 27785 27788 25640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27801] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27801/stat : 27801 (java) S 27785 27788 25640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27802] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27802/stat : 27802 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107274673 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27803] ppid=27785 vsize=13628276 CPUtime=0.29 cores=0,2,4,6
/proc/27788/task/27803/stat : 27803 (java) S 27785 27788 25640 0 -1 4202560 3197 0 0 0 29 0 0 0 15 0 19 0 807083426 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27804] ppid=27785 vsize=13628276 CPUtime=0.27 cores=0,2,4,6
/proc/27788/task/27804/stat : 27804 (java) S 27785 27788 25640 0 -1 4202560 1788 0 0 0 27 0 0 0 15 0 19 0 807083426 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27805] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27805/stat : 27805 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27806] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27806/stat : 27806 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807083426 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27807] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27807/stat : 27807 (java) S 27785 27788 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807083448 13955354624 20718 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13628276
[startup+3.10125 s]
/proc/loadavg: 1.25 1.42 1.73 3/558 27807
/proc/meminfo: memFree=21454004/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13628276 CPUtime=3.69 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 22548 0 1 0 366 3 0 0 25 0 19 0 807083419 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3407069 20864 2251 9 0 3397803 0
[pid=27788/tid=27789] ppid=27785 vsize=13628276 CPUtime=2.95 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 15339 0 1 0 294 1 0 0 23 0 19 0 807083420 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 46912505625779 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27788/tid=27791] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27791/stat : 27791 (java) S 27785 27788 25640 0 -1 4202560 310 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27792] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27792/stat : 27792 (java) S 27785 27788 25640 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27793] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27793/stat : 27793 (java) S 27785 27788 25640 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27794] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27794/stat : 27794 (java) S 27785 27788 25640 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27795] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27795/stat : 27795 (java) S 27785 27788 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27796] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27796/stat : 27796 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27797] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27797/stat : 27797 (java) S 27785 27788 25640 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27798] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27798/stat : 27798 (java) S 27785 27788 25640 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27799] ppid=27785 vsize=13628276 CPUtime=0.11 cores=0,2,4,6
/proc/27788/task/27799/stat : 27799 (java) S 27785 27788 25640 0 -1 4202560 596 0 0 0 11 0 0 0 16 0 19 0 807083423 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 0 0 16800975 18446604441827238848 0 0 -1 4 0 0 0
[pid=27788/tid=27800] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27800/stat : 27800 (java) S 27785 27788 25640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27801] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27801/stat : 27801 (java) S 27785 27788 25640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27802] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27802/stat : 27802 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107274673 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27803] ppid=27785 vsize=13628276 CPUtime=0.3 cores=0,2,4,6
/proc/27788/task/27803/stat : 27803 (java) S 27785 27788 25640 0 -1 4202560 3197 0 0 0 30 0 0 0 15 0 19 0 807083426 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27804] ppid=27785 vsize=13628276 CPUtime=0.28 cores=0,2,4,6
/proc/27788/task/27804/stat : 27804 (java) S 27785 27788 25640 0 -1 4202560 1789 0 0 0 28 0 0 0 15 0 19 0 807083426 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27805] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27805/stat : 27805 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27806] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27806/stat : 27806 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807083426 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27807] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27807/stat : 27807 (java) S 27785 27788 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807083448 13955354624 20864 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13628276
[startup+6.30066 s]
/proc/loadavg: 1.31 1.43 1.73 3/558 27807
/proc/meminfo: memFree=21451300/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13628276 CPUtime=6.9 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 23083 0 1 0 687 3 0 0 25 0 19 0 807083419 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3407069 21347 2251 9 0 3397803 0
[pid=27788/tid=27789] ppid=27785 vsize=13628276 CPUtime=6.07 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 15345 0 1 0 606 1 0 0 25 0 19 0 807083420 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 46912505583968 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27788/tid=27791] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27791/stat : 27791 (java) S 27785 27788 25640 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27792] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27792/stat : 27792 (java) S 27785 27788 25640 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27793] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27793/stat : 27793 (java) S 27785 27788 25640 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27794] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27794/stat : 27794 (java) S 27785 27788 25640 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27795] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27795/stat : 27795 (java) S 27785 27788 25640 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27796] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27796/stat : 27796 (java) S 27785 27788 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27797] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27797/stat : 27797 (java) S 27785 27788 25640 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27798] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27798/stat : 27798 (java) S 27785 27788 25640 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27799] ppid=27785 vsize=13628276 CPUtime=0.18 cores=0,2,4,6
/proc/27788/task/27799/stat : 27799 (java) S 27785 27788 25640 0 -1 4202560 752 0 0 0 18 0 0 0 16 0 19 0 807083423 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 0 0 16800975 18446604441827238848 0 0 -1 4 0 0 0
[pid=27788/tid=27800] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27800/stat : 27800 (java) S 27785 27788 25640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27801] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27801/stat : 27801 (java) S 27785 27788 25640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27802] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27802/stat : 27802 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107274673 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27803] ppid=27785 vsize=13628276 CPUtime=0.3 cores=0,2,4,6
/proc/27788/task/27803/stat : 27803 (java) S 27785 27788 25640 0 -1 4202560 3197 0 0 0 30 0 0 0 15 0 19 0 807083426 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27804] ppid=27785 vsize=13628276 CPUtime=0.28 cores=0,2,4,6
/proc/27788/task/27804/stat : 27804 (java) S 27785 27788 25640 0 -1 4202560 1789 0 0 0 28 0 0 0 15 0 19 0 807083426 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27805] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27805/stat : 27805 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27806] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27806/stat : 27806 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807083426 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27807] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27807/stat : 27807 (java) S 27785 27788 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807083448 13955354624 21347 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 13628276
[startup+12.7015 s]
/proc/loadavg: 1.37 1.44 1.73 3/558 27808
/proc/meminfo: memFree=21448572/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13628276 CPUtime=13.31 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 23127 0 1 0 1328 3 0 0 25 0 19 0 807083419 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3407069 21382 2251 9 0 3397803 0
[pid=27788/tid=27789] ppid=27785 vsize=13628276 CPUtime=12.32 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 15354 0 1 0 1231 1 0 0 25 0 19 0 807083420 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 46912505663232 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27788/tid=27791] ppid=27785 vsize=13628276 CPUtime=0.01 cores=0,2,4,6
/proc/27788/task/27791/stat : 27791 (java) S 27785 27788 25640 0 -1 4202560 415 0 0 0 1 0 0 0 15 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27792] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27792/stat : 27792 (java) S 27785 27788 25640 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27793] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27793/stat : 27793 (java) S 27785 27788 25640 0 -1 4202560 60 0 0 0 0 0 0 0 16 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27794] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27794/stat : 27794 (java) S 27785 27788 25640 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27795] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27795/stat : 27795 (java) S 27785 27788 25640 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27796] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27796/stat : 27796 (java) S 27785 27788 25640 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27797] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27797/stat : 27797 (java) S 27785 27788 25640 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27798] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27798/stat : 27798 (java) S 27785 27788 25640 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27799] ppid=27785 vsize=13628276 CPUtime=0.31 cores=0,2,4,6
/proc/27788/task/27799/stat : 27799 (java) S 27785 27788 25640 0 -1 4202560 778 0 0 0 31 0 0 0 16 0 19 0 807083423 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 0 0 16800975 18446604441827238848 0 0 -1 4 0 0 0
[pid=27788/tid=27800] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27800/stat : 27800 (java) S 27785 27788 25640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27801] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27801/stat : 27801 (java) S 27785 27788 25640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27802] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27802/stat : 27802 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107274673 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27803] ppid=27785 vsize=13628276 CPUtime=0.3 cores=0,2,4,6
/proc/27788/task/27803/stat : 27803 (java) S 27785 27788 25640 0 -1 4202560 3197 0 0 0 30 0 0 0 15 0 19 0 807083426 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27804] ppid=27785 vsize=13628276 CPUtime=0.28 cores=0,2,4,6
/proc/27788/task/27804/stat : 27804 (java) S 27785 27788 25640 0 -1 4202560 1789 0 0 0 28 0 0 0 15 0 19 0 807083426 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27805] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27805/stat : 27805 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27806] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27806/stat : 27806 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807083426 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27807] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27807/stat : 27807 (java) S 27785 27788 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807083448 13955354624 21382 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.31
Current children cumulated vsize (KiB) 13628276
Solver just ended. Dumping a history of the last processes samples
[startup+12.9015 s]
/proc/loadavg: 1.37 1.44 1.73 3/558 27808
/proc/meminfo: memFree=21448572/32951124 swapFree=58800704/67111528
[pid=27788] ppid=27785 vsize=13628276 CPUtime=13.51 cores=0,2,4,6
/proc/27788/stat : 27788 (java) S 27785 27788 25640 0 -1 4202496 23129 0 1 0 1348 3 0 0 25 0 19 0 807083419 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27788/statm: 3407069 21383 2251 9 0 3397803 0
[pid=27788/tid=27789] ppid=27785 vsize=13628276 CPUtime=12.5 cores=0,2,4,6
/proc/27788/task/27789/stat : 27789 (java) R 27785 27788 25640 0 -1 4202560 15355 0 1 0 1249 1 0 0 25 0 19 0 807083420 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 46912505166880 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27788/tid=27791] ppid=27785 vsize=13628276 CPUtime=0.01 cores=0,2,4,6
/proc/27788/task/27791/stat : 27791 (java) S 27785 27788 25640 0 -1 4202560 415 0 0 0 1 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27792] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27792/stat : 27792 (java) S 27785 27788 25640 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27793] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27793/stat : 27793 (java) S 27785 27788 25640 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27794] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27794/stat : 27794 (java) S 27785 27788 25640 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27795] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27795/stat : 27795 (java) S 27785 27788 25640 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27796] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27796/stat : 27796 (java) S 27785 27788 25640 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27797] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27797/stat : 27797 (java) S 27785 27788 25640 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27798] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27798/stat : 27798 (java) S 27785 27788 25640 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 807083422 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27799] ppid=27785 vsize=13628276 CPUtime=0.33 cores=0,2,4,6
/proc/27788/task/27799/stat : 27799 (java) S 27785 27788 25640 0 -1 4202560 778 0 0 0 33 0 0 0 16 0 19 0 807083423 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 0 0 16800975 18446604441827238848 0 0 -1 4 0 0 0
[pid=27788/tid=27800] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27800/stat : 27800 (java) S 27785 27788 25640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27801] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27801/stat : 27801 (java) S 27785 27788 25640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 807083424 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27802] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27802/stat : 27802 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107274673 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27803] ppid=27785 vsize=13628276 CPUtime=0.3 cores=0,2,4,6
/proc/27788/task/27803/stat : 27803 (java) S 27785 27788 25640 0 -1 4202560 3197 0 0 0 30 0 0 0 15 0 19 0 807083426 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27804] ppid=27785 vsize=13628276 CPUtime=0.28 cores=0,2,4,6
/proc/27788/task/27804/stat : 27804 (java) S 27785 27788 25640 0 -1 4202560 1789 0 0 0 28 0 0 0 15 0 19 0 807083426 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27805] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27805/stat : 27805 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807083426 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107266969 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
[pid=27788/tid=27806] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27806/stat : 27806 (java) S 27785 27788 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807083426 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 2 0 0 0
[pid=27788/tid=27807] ppid=27785 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/27788/task/27807/stat : 27807 (java) S 27785 27788 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807083448 13955354624 21383 33554432000 1073741824 1073778376 140736834680608 18446744073709551615 228107267584 0 4 0 16800975 18446604441827238848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.51
Current children cumulated vsize (KiB) 13628276
Child status: 30
Real time (s): 12.918
CPU time (s): 13.5419
CPU user time (s): 13.5009
CPU system time (s): 0.040993
CPU usage (%): 104.83
Max. virtual memory (cumulated for all children) (KiB): 13628276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5009
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23157
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= 1103
involuntary context switches= 378
runsolver used 0.065989 second user time and 0.166974 second system time
The end