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-3459285-1307135845/watcher-3459285-1307135845 -o /tmp/evaluation-result-3459285-1307135845/solver-3459285-1307135845 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459285-1307135845.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.15 2.18 3/535 11360
/proc/meminfo: memFree=21243548/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 1440 0 1 0 0 0 0 0 25 0 2 0 825181197 88928256 1142 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 21711 1147 894 9 0 12867 0
[pid=11360/tid=11361] ppid=11358 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 5687 0 1 0 0 0 0 0 17 0 2 0 825181197 13850947584 6503 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0570299 s]
/proc/loadavg: 2.24 2.15 2.18 3/535 11360
/proc/meminfo: memFree=21243548/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 13938 0 1 0 3 1 0 0 25 0 13 0 825181197 13874806784 13635 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3387404 13635 1684 9 0 3378152 0
[pid=11360/tid=11361] ppid=11358 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) S 11358 11360 7151 0 -1 4202560 12791 0 1 0 3 1 0 0 23 0 13 0 825181197 13874806784 13635 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512521183 0 2147483391 0 16800971 18446744071699199166 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.101721 s]
/proc/loadavg: 2.24 2.15 2.18 3/535 11360
/proc/meminfo: memFree=21243548/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13687228 CPUtime=0.1 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 15544 0 1 0 8 2 0 0 25 0 18 0 825181197 14015721472 15202 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3421807 15202 2092 9 0 3412541 0
[pid=11360/tid=11361] ppid=11358 vsize=13687228 CPUtime=0.08 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 13601 0 1 0 6 2 0 0 25 0 18 0 825181197 14015721472 15203 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 47825528175443 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687228
[startup+0.300682 s]
/proc/loadavg: 2.24 2.15 2.18 3/535 11360
/proc/meminfo: memFree=21243548/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13688132 CPUtime=0.47 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 18653 0 1 0 44 3 0 0 25 0 18 0 825181197 14016647168 17843 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422033 17843 2209 9 0 3412767 0
[pid=11360/tid=11361] ppid=11358 vsize=13688132 CPUtime=0.28 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15454 0 1 0 26 2 0 0 25 0 18 0 825181197 14016647168 17843 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512518603 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13688132
[startup+0.700676 s]
/proc/loadavg: 2.24 2.15 2.18 3/535 11360
/proc/meminfo: memFree=21243548/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13691056 CPUtime=1.18 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 20889 0 1 0 115 3 0 0 25 0 19 0 825181197 14019641344 19372 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422764 19372 2251 9 0 3413498 0
[pid=11360/tid=11361] ppid=11358 vsize=13691056 CPUtime=0.67 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15753 0 1 0 64 3 0 0 25 0 19 0 825181197 14019641344 19372 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 46912505675005 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13691056
[startup+1.50152 s]
/proc/loadavg: 2.46 2.19 2.19 3/554 11379
/proc/meminfo: memFree=21172656/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13691056 CPUtime=2.01 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 21343 0 1 0 198 3 0 0 25 0 19 0 825181197 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422764 19824 2251 9 0 3413498 0
[pid=11360/tid=11361] ppid=11358 vsize=13691056 CPUtime=1.44 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15755 0 1 0 141 3 0 0 18 0 19 0 825181197 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 46912505632586 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11360/tid=11363] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11363/stat : 11363 (java) S 11358 11360 7151 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11364] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11364/stat : 11364 (java) S 11358 11360 7151 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11365] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11365/stat : 11365 (java) S 11358 11360 7151 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11366] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11366/stat : 11366 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11367] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11367/stat : 11367 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11368] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11368/stat : 11368 (java) S 11358 11360 7151 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11369] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11369/stat : 11369 (java) S 11358 11360 7151 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11370] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11370/stat : 11370 (java) S 11358 11360 7151 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11371] ppid=11358 vsize=13691056 CPUtime=0.03 cores=1,3,5,7
/proc/11360/task/11371/stat : 11371 (java) S 11358 11360 7151 0 -1 4202560 454 0 0 0 3 0 0 0 16 0 19 0 825181200 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11372] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11372/stat : 11372 (java) S 11358 11360 7151 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 825181201 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11373] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11373/stat : 11373 (java) S 11358 11360 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825181201 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11374] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11374/stat : 11374 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11375] ppid=11358 vsize=13691056 CPUtime=0.26 cores=1,3,5,7
/proc/11360/task/11375/stat : 11375 (java) S 11358 11360 7151 0 -1 4202560 1799 0 0 0 26 0 0 0 16 0 19 0 825181203 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11376] ppid=11358 vsize=13691056 CPUtime=0.25 cores=1,3,5,7
/proc/11360/task/11376/stat : 11376 (java) S 11358 11360 7151 0 -1 4202560 1678 0 0 0 25 0 0 0 15 0 19 0 825181203 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11377] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11377/stat : 11377 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11378] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11378/stat : 11378 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181203 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11379] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11379/stat : 11379 (java) S 11358 11360 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181227 14019641344 19824 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 13691056
[startup+3.10722 s]
/proc/loadavg: 2.46 2.19 2.19 3/554 11379
/proc/meminfo: memFree=21169916/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13691056 CPUtime=3.75 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 26949 0 1 0 371 4 0 0 25 0 19 0 825181197 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422764 23487 2253 9 0 3413498 0
[pid=11360/tid=11361] ppid=11358 vsize=13691056 CPUtime=2.98 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15761 0 1 0 295 3 0 0 20 0 19 0 825181197 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 46912505677690 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11360/tid=11363] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11363/stat : 11363 (java) S 11358 11360 7151 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11364] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11364/stat : 11364 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11365] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11365/stat : 11365 (java) S 11358 11360 7151 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11366] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11366/stat : 11366 (java) S 11358 11360 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11367] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11367/stat : 11367 (java) S 11358 11360 7151 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11368] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11368/stat : 11368 (java) S 11358 11360 7151 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11369] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11369/stat : 11369 (java) S 11358 11360 7151 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11370] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11370/stat : 11370 (java) S 11358 11360 7151 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11371] ppid=11358 vsize=13691056 CPUtime=0.09 cores=1,3,5,7
/proc/11360/task/11371/stat : 11371 (java) S 11358 11360 7151 0 -1 4202560 753 0 0 0 9 0 0 0 16 0 19 0 825181200 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11372] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11372/stat : 11372 (java) S 11358 11360 7151 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 825181201 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11373] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11373/stat : 11373 (java) S 11358 11360 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825181201 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11374] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11374/stat : 11374 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11375] ppid=11358 vsize=13691056 CPUtime=0.37 cores=1,3,5,7
/proc/11360/task/11375/stat : 11375 (java) R 11358 11360 7151 0 -1 4202560 6930 0 0 0 37 0 0 0 15 0 19 0 825181203 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 47825524500486 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11360/tid=11376] ppid=11358 vsize=13691056 CPUtime=0.26 cores=1,3,5,7
/proc/11360/task/11376/stat : 11376 (java) S 11358 11360 7151 0 -1 4202560 1684 0 0 0 26 0 0 0 15 0 19 0 825181203 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11377] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11377/stat : 11377 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11378] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11378/stat : 11378 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181203 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11379] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11379/stat : 11379 (java) S 11358 11360 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181227 14019641344 23487 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13691056
Solver just ended. Dumping a history of the last processes samples
[startup+3.90103 s]
/proc/loadavg: 2.46 2.19 2.19 4/554 11379
/proc/meminfo: memFree=21154924/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13691056 CPUtime=4.96 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 31234 0 1 0 491 5 0 0 25 0 19 0 825181197 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422764 25177 2253 9 0 3413498 0
[pid=11360/tid=11361] ppid=11358 vsize=13691056 CPUtime=3.75 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15762 0 1 0 372 3 0 0 21 0 19 0 825181197 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 46912505632352 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11360/tid=11363] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11363/stat : 11363 (java) S 11358 11360 7151 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11364] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11364/stat : 11364 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11365] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11365/stat : 11365 (java) S 11358 11360 7151 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11366] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11366/stat : 11366 (java) S 11358 11360 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11367] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11367/stat : 11367 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11368] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11368/stat : 11368 (java) S 11358 11360 7151 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11369] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11369/stat : 11369 (java) S 11358 11360 7151 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11370] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11370/stat : 11370 (java) S 11358 11360 7151 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11371] ppid=11358 vsize=13691056 CPUtime=0.1 cores=1,3,5,7
/proc/11360/task/11371/stat : 11371 (java) S 11358 11360 7151 0 -1 4202560 753 0 0 0 10 0 0 0 16 0 19 0 825181200 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11372] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11372/stat : 11372 (java) S 11358 11360 7151 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 825181201 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11373] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11373/stat : 11373 (java) S 11358 11360 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825181201 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11374] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11374/stat : 11374 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11375] ppid=11358 vsize=13691056 CPUtime=0.77 cores=1,3,5,7
/proc/11360/task/11375/stat : 11375 (java) R 11358 11360 7151 0 -1 4202560 11209 0 0 0 76 1 0 0 16 0 19 0 825181203 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 47825524528547 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11360/tid=11376] ppid=11358 vsize=13691056 CPUtime=0.28 cores=1,3,5,7
/proc/11360/task/11376/stat : 11376 (java) S 11358 11360 7151 0 -1 4202560 1688 0 0 0 28 0 0 0 15 0 19 0 825181203 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11377] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11377/stat : 11377 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11378] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11378/stat : 11378 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181203 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11379] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11379/stat : 11379 (java) S 11358 11360 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181227 14019641344 25177 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 13691056
[startup+4.30096 s]
/proc/loadavg: 2.46 2.19 2.19 3/554 11379
/proc/meminfo: memFree=21152340/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13691056 CPUtime=5.46 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 31673 0 1 0 541 5 0 0 25 0 19 0 825181197 14019641344 24396 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422764 24396 2253 9 0 3413498 0
[pid=11360/tid=11361] ppid=11358 vsize=13691056 CPUtime=4.16 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15765 0 1 0 413 3 0 0 23 0 19 0 825181197 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 46912505671803 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11360/tid=11363] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11363/stat : 11363 (java) S 11358 11360 7151 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11364] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11364/stat : 11364 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11365] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11365/stat : 11365 (java) S 11358 11360 7151 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11366] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11366/stat : 11366 (java) S 11358 11360 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11367] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11367/stat : 11367 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11368] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11368/stat : 11368 (java) S 11358 11360 7151 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11369] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11369/stat : 11369 (java) S 11358 11360 7151 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11370] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11370/stat : 11370 (java) S 11358 11360 7151 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11371] ppid=11358 vsize=13691056 CPUtime=0.12 cores=1,3,5,7
/proc/11360/task/11371/stat : 11371 (java) S 11358 11360 7151 0 -1 4202560 753 0 0 0 12 0 0 0 15 0 19 0 825181200 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11372] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11372/stat : 11372 (java) S 11358 11360 7151 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 825181201 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11373] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11373/stat : 11373 (java) S 11358 11360 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825181201 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11374] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11374/stat : 11374 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11375] ppid=11358 vsize=13691056 CPUtime=0.84 cores=1,3,5,7
/proc/11360/task/11375/stat : 11375 (java) S 11358 11360 7151 0 -1 4202560 11646 0 0 0 83 1 0 0 16 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11376] ppid=11358 vsize=13691056 CPUtime=0.29 cores=1,3,5,7
/proc/11360/task/11376/stat : 11376 (java) S 11358 11360 7151 0 -1 4202560 1688 0 0 0 29 0 0 0 16 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11377] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11377/stat : 11377 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11378] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11378/stat : 11378 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11379] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11379/stat : 11379 (java) S 11358 11360 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181227 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 13691056
[startup+4.50092 s]
/proc/loadavg: 2.46 2.19 2.19 3/554 11379
/proc/meminfo: memFree=21152340/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13691056 CPUtime=5.65 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 31674 0 1 0 560 5 0 0 25 0 19 0 825181197 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422764 24397 2253 9 0 3413498 0
[pid=11360/tid=11361] ppid=11358 vsize=13691056 CPUtime=4.34 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15765 0 1 0 431 3 0 0 23 0 19 0 825181197 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 46912505632848 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11360/tid=11363] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11363/stat : 11363 (java) S 11358 11360 7151 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11364] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11364/stat : 11364 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11365] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11365/stat : 11365 (java) S 11358 11360 7151 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11366] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11366/stat : 11366 (java) S 11358 11360 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11367] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11367/stat : 11367 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11368] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11368/stat : 11368 (java) S 11358 11360 7151 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11369] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11369/stat : 11369 (java) S 11358 11360 7151 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11370] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11370/stat : 11370 (java) S 11358 11360 7151 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11371] ppid=11358 vsize=13691056 CPUtime=0.12 cores=1,3,5,7
/proc/11360/task/11371/stat : 11371 (java) S 11358 11360 7151 0 -1 4202560 753 0 0 0 12 0 0 0 15 0 19 0 825181200 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11372] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11372/stat : 11372 (java) S 11358 11360 7151 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 825181201 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11373] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11373/stat : 11373 (java) S 11358 11360 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825181201 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11374] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11374/stat : 11374 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11375] ppid=11358 vsize=13691056 CPUtime=0.84 cores=1,3,5,7
/proc/11360/task/11375/stat : 11375 (java) S 11358 11360 7151 0 -1 4202560 11646 0 0 0 83 1 0 0 16 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11376] ppid=11358 vsize=13691056 CPUtime=0.29 cores=1,3,5,7
/proc/11360/task/11376/stat : 11376 (java) S 11358 11360 7151 0 -1 4202560 1688 0 0 0 29 0 0 0 16 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11377] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11377/stat : 11377 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11378] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11378/stat : 11378 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11379] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11379/stat : 11379 (java) S 11358 11360 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181227 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 13691056
[startup+4.6009 s]
/proc/loadavg: 2.46 2.19 2.19 3/554 11379
/proc/meminfo: memFree=21152340/32950928 swapFree=34259960/67111528
[pid=11360] ppid=11358 vsize=13691056 CPUtime=5.75 cores=1,3,5,7
/proc/11360/stat : 11360 (java) S 11358 11360 7151 0 -1 4202496 31674 0 1 0 570 5 0 0 25 0 19 0 825181197 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11360/statm: 3422764 24397 2253 9 0 3413498 0
[pid=11360/tid=11361] ppid=11358 vsize=13691056 CPUtime=4.44 cores=1,3,5,7
/proc/11360/task/11361/stat : 11361 (java) R 11358 11360 7151 0 -1 4202560 15765 0 1 0 441 3 0 0 24 0 19 0 825181197 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 46912505651438 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11360/tid=11363] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11363/stat : 11363 (java) S 11358 11360 7151 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11364] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11364/stat : 11364 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11365] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11365/stat : 11365 (java) S 11358 11360 7151 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11366] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11366/stat : 11366 (java) S 11358 11360 7151 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11367] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11367/stat : 11367 (java) S 11358 11360 7151 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11368] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11368/stat : 11368 (java) S 11358 11360 7151 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11369] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11369/stat : 11369 (java) S 11358 11360 7151 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11370] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11370/stat : 11370 (java) S 11358 11360 7151 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 825181199 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11371] ppid=11358 vsize=13691056 CPUtime=0.12 cores=1,3,5,7
/proc/11360/task/11371/stat : 11371 (java) S 11358 11360 7151 0 -1 4202560 753 0 0 0 12 0 0 0 15 0 19 0 825181200 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 0 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11372] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11372/stat : 11372 (java) S 11358 11360 7151 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 825181201 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11373] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11373/stat : 11373 (java) S 11358 11360 7151 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825181201 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11374] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11374/stat : 11374 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512515505 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11375] ppid=11358 vsize=13691056 CPUtime=0.84 cores=1,3,5,7
/proc/11360/task/11375/stat : 11375 (java) S 11358 11360 7151 0 -1 4202560 11646 0 0 0 83 1 0 0 16 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 5 0 0 0
[pid=11360/tid=11376] ppid=11358 vsize=13691056 CPUtime=0.29 cores=1,3,5,7
/proc/11360/task/11376/stat : 11376 (java) S 11358 11360 7151 0 -1 4202560 1688 0 0 0 29 0 0 0 16 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11377] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11377/stat : 11377 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512507801 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
[pid=11360/tid=11378] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11378/stat : 11378 (java) S 11358 11360 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825181203 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 7 0 0 0
[pid=11360/tid=11379] ppid=11358 vsize=13691056 CPUtime=0 cores=1,3,5,7
/proc/11360/task/11379/stat : 11379 (java) S 11358 11360 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181227 14019641344 24397 33554432000 1073741824 1073778376 140733272820208 18446744073709551615 254512508416 0 4 0 16800975 18446604457187640256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 13691056
Child status: 20
Real time (s): 4.62475
CPU time (s): 5.79312
CPU user time (s): 5.72913
CPU system time (s): 0.06399
CPU usage (%): 125.263
Max. virtual memory (cumulated for all children) (KiB): 13691056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.72913
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31698
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= 582
involuntary context switches= 266
runsolver used 0.025996 second user time and 0.070989 second system time
The end