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-3457933-1307165986/watcher-3457933-1307165986 -o /tmp/evaluation-result-3457933-1307165986/solver-3457933-1307165986 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457933-1307165986.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.10 2.07 2.02 2/507 28492
/proc/meminfo: memFree=26963128/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 5562 0 1 0 0 0 0 0 24 0 2 0 828197072 13850947584 5264 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3381579 5277 917 9 0 3372735 0
[pid=28492/tid=28493] ppid=28490 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 6893 0 1 0 0 0 0 0 25 0 2 0 828197073 13850947584 7710 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0561761 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28492
/proc/meminfo: memFree=26963128/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 13960 0 1 0 3 1 0 0 24 0 13 0 828197072 13874806784 13657 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3387404 13659 1685 9 0 3378152 0
[pid=28492/tid=28493] ppid=28490 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 12816 0 1 0 3 1 0 0 25 0 13 0 828197073 13874806784 13660 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46951004913669 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.101154 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28492
/proc/meminfo: memFree=26963128/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13621856 CPUtime=0.1 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 15566 0 1 0 9 1 0 0 24 0 18 0 828197072 13948780544 15221 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3405464 15223 2093 9 0 3396198 0
[pid=28492/tid=28493] ppid=28490 vsize=13621856 CPUtime=0.08 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 13619 0 1 0 7 1 0 0 18 0 18 0 828197073 13948780544 15224 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210204690615 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) 13621856
[startup+0.301088 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28492
/proc/meminfo: memFree=26963128/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13623624 CPUtime=0.48 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 18701 0 1 0 46 2 0 0 24 0 18 0 828197072 13950590976 18118 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3405906 18119 2201 9 0 3396640 0
[pid=28492/tid=28493] ppid=28490 vsize=13623624 CPUtime=0.28 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 15570 0 1 0 27 1 0 0 18 0 18 0 828197073 13950590976 18119 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623624
[startup+0.701022 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28492
/proc/meminfo: memFree=26963128/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13627732 CPUtime=1.18 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 54039 0 1 0 112 6 0 0 24 0 19 0 828197072 13954797568 51758 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3406933 51758 2226 9 0 3397667 0
[pid=28492/tid=28493] ppid=28490 vsize=13627732 CPUtime=0.68 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 47750 0 1 0 63 5 0 0 18 0 19 0 828197073 13954797568 51758 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46912505164136 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) 13627732
[startup+1.50094 s]
/proc/loadavg: 2.10 2.07 2.02 3/526 28511
/proc/meminfo: memFree=26760128/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13627732 CPUtime=2.4 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 56402 0 1 0 234 6 0 0 24 0 19 0 828197072 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3406933 52600 2239 9 0 3397667 0
[pid=28492/tid=28493] ppid=28490 vsize=13627732 CPUtime=1.49 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 48486 0 1 0 143 6 0 0 18 0 19 0 828197073 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46912505213423 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28492/tid=28495] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28495/stat : 28495 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28496] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28496/stat : 28496 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28497] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28497/stat : 28497 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28498] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28498/stat : 28498 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28499] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28499/stat : 28499 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28500] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28500/stat : 28500 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28501] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28501/stat : 28501 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28502] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28502/stat : 28502 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197075 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28503] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28503/stat : 28503 (java) S 28490 28492 28154 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 828197076 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 0 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28504] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28504/stat : 28504 (java) S 28490 28492 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828197076 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28505] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28505/stat : 28505 (java) S 28490 28492 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828197076 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28506] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28506/stat : 28506 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216470961 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28507] ppid=28490 vsize=13627732 CPUtime=0.44 cores=1,3,5,7
/proc/28492/task/28507/stat : 28507 (java) S 28490 28492 28154 0 -1 4202560 3359 0 0 0 44 0 0 0 23 0 19 0 828197078 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28508] ppid=28490 vsize=13627732 CPUtime=0.46 cores=1,3,5,7
/proc/28492/task/28508/stat : 28508 (java) S 28490 28492 28154 0 -1 4202560 3397 0 0 0 46 0 0 0 15 0 19 0 828197078 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28509] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28509/stat : 28509 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28510] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28510/stat : 28510 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197078 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28511] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28511/stat : 28511 (java) S 28490 28492 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828197141 13954797568 52600 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 13627732
[startup+3.10066 s]
/proc/loadavg: 2.09 2.07 2.02 4/526 28511
/proc/meminfo: memFree=26741900/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13627732 CPUtime=4.29 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 63553 0 1 0 422 7 0 0 24 0 19 0 828197072 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3406933 57243 2264 9 0 3397667 0
[pid=28492/tid=28493] ppid=28490 vsize=13627732 CPUtime=2.99 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 48491 0 1 0 293 6 0 0 20 0 19 0 828197073 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46912505904364 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28492/tid=28495] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28495/stat : 28495 (java) S 28490 28492 28154 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28496] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28496/stat : 28496 (java) S 28490 28492 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28497] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28497/stat : 28497 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28498] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28498/stat : 28498 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28499] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28499/stat : 28499 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28500] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28500/stat : 28500 (java) S 28490 28492 28154 0 -1 4202560 492 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28501] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28501/stat : 28501 (java) S 28490 28492 28154 0 -1 4202560 562 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28502] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28502/stat : 28502 (java) S 28490 28492 28154 0 -1 4202560 598 0 0 0 0 0 0 0 16 0 19 0 828197075 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28503] ppid=28490 vsize=13627732 CPUtime=0.07 cores=1,3,5,7
/proc/28492/task/28503/stat : 28503 (java) S 28490 28492 28154 0 -1 4202560 1923 0 0 0 7 0 0 0 15 0 19 0 828197076 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 0 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28504] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28504/stat : 28504 (java) S 28490 28492 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28505] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28505/stat : 28505 (java) S 28490 28492 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28506] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28506/stat : 28506 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216470961 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28507] ppid=28490 vsize=13627732 CPUtime=0.47 cores=1,3,5,7
/proc/28492/task/28507/stat : 28507 (java) S 28490 28492 28154 0 -1 4202560 3364 0 0 0 47 0 0 0 15 0 19 0 828197078 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28508] ppid=28490 vsize=13627732 CPUtime=0.7 cores=1,3,5,7
/proc/28492/task/28508/stat : 28508 (java) S 28490 28492 28154 0 -1 4202560 6646 0 0 0 70 0 0 0 15 0 19 0 828197078 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28509] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28509/stat : 28509 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28510] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28510/stat : 28510 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197078 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28511] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28511/stat : 28511 (java) S 28490 28492 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828197141 13954797568 57243 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 13627732
[startup+6.30113 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28511
/proc/meminfo: memFree=26738472/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13627732 CPUtime=7.55 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 63750 0 1 0 748 7 0 0 24 0 19 0 828197072 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3406933 57433 2264 9 0 3397667 0
[pid=28492/tid=28493] ppid=28490 vsize=13627732 CPUtime=5.99 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 48497 0 1 0 593 6 0 0 25 0 19 0 828197073 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46912505925072 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28492/tid=28495] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28495/stat : 28495 (java) S 28490 28492 28154 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28496] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28496/stat : 28496 (java) S 28490 28492 28154 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28497] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28497/stat : 28497 (java) S 28490 28492 28154 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28498] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28498/stat : 28498 (java) S 28490 28492 28154 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28499] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28499/stat : 28499 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28500] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28500/stat : 28500 (java) S 28490 28492 28154 0 -1 4202560 493 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28501] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28501/stat : 28501 (java) S 28490 28492 28154 0 -1 4202560 564 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28502] ppid=28490 vsize=13627732 CPUtime=0.01 cores=1,3,5,7
/proc/28492/task/28502/stat : 28502 (java) S 28490 28492 28154 0 -1 4202560 600 0 0 0 1 0 0 0 15 0 19 0 828197075 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28503] ppid=28490 vsize=13627732 CPUtime=0.26 cores=1,3,5,7
/proc/28492/task/28503/stat : 28503 (java) S 28490 28492 28154 0 -1 4202560 2085 0 0 0 26 0 0 0 16 0 19 0 828197076 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 0 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28504] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28504/stat : 28504 (java) S 28490 28492 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28505] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28505/stat : 28505 (java) S 28490 28492 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28506] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28506/stat : 28506 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216470961 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28507] ppid=28490 vsize=13627732 CPUtime=0.47 cores=1,3,5,7
/proc/28492/task/28507/stat : 28507 (java) S 28490 28492 28154 0 -1 4202560 3364 0 0 0 47 0 0 0 15 0 19 0 828197078 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28508] ppid=28490 vsize=13627732 CPUtime=0.75 cores=1,3,5,7
/proc/28492/task/28508/stat : 28508 (java) S 28490 28492 28154 0 -1 4202560 6655 0 0 0 75 0 0 0 15 0 19 0 828197078 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28509] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28509/stat : 28509 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28510] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28510/stat : 28510 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197078 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28511] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28511/stat : 28511 (java) S 28490 28492 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828197141 13954797568 57433 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 13627732
Solver just ended. Dumping a history of the last processes samples
[startup+7.10099 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28511
/proc/meminfo: memFree=26738348/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13627732 CPUtime=8.35 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 63752 0 1 0 828 7 0 0 24 0 19 0 828197072 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3406933 57434 2264 9 0 3397667 0
[pid=28492/tid=28493] ppid=28490 vsize=13627732 CPUtime=6.76 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 48498 0 1 0 670 6 0 0 25 0 19 0 828197073 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46912505924478 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28492/tid=28495] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28495/stat : 28495 (java) S 28490 28492 28154 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28496] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28496/stat : 28496 (java) S 28490 28492 28154 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28497] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28497/stat : 28497 (java) S 28490 28492 28154 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28498] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28498/stat : 28498 (java) S 28490 28492 28154 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28499] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28499/stat : 28499 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28500] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28500/stat : 28500 (java) S 28490 28492 28154 0 -1 4202560 493 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28501] ppid=28490 vsize=13627732 CPUtime=0.01 cores=1,3,5,7
/proc/28492/task/28501/stat : 28501 (java) S 28490 28492 28154 0 -1 4202560 565 0 0 0 1 0 0 0 16 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28502] ppid=28490 vsize=13627732 CPUtime=0.01 cores=1,3,5,7
/proc/28492/task/28502/stat : 28502 (java) S 28490 28492 28154 0 -1 4202560 600 0 0 0 1 0 0 0 16 0 19 0 828197075 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28503] ppid=28490 vsize=13627732 CPUtime=0.29 cores=1,3,5,7
/proc/28492/task/28503/stat : 28503 (java) S 28490 28492 28154 0 -1 4202560 2085 0 0 0 29 0 0 0 16 0 19 0 828197076 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 0 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28504] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28504/stat : 28504 (java) S 28490 28492 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28505] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28505/stat : 28505 (java) S 28490 28492 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28506] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28506/stat : 28506 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216470961 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28507] ppid=28490 vsize=13627732 CPUtime=0.47 cores=1,3,5,7
/proc/28492/task/28507/stat : 28507 (java) S 28490 28492 28154 0 -1 4202560 3364 0 0 0 47 0 0 0 15 0 19 0 828197078 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28508] ppid=28490 vsize=13627732 CPUtime=0.75 cores=1,3,5,7
/proc/28492/task/28508/stat : 28508 (java) S 28490 28492 28154 0 -1 4202560 6655 0 0 0 75 0 0 0 15 0 19 0 828197078 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28509] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28509/stat : 28509 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28510] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28510/stat : 28510 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197078 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28511] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28511/stat : 28511 (java) S 28490 28492 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828197141 13954797568 57434 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 13627732
[startup+7.90086 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28511
/proc/meminfo: memFree=26738572/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13627732 CPUtime=9.15 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 63757 0 1 0 908 7 0 0 24 0 19 0 828197072 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3406933 57437 2264 9 0 3397667 0
[pid=28492/tid=28493] ppid=28490 vsize=13627732 CPUtime=7.5 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) R 28490 28492 28154 0 -1 4202560 48500 0 1 0 744 6 0 0 25 0 19 0 828197073 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 46912505906050 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28492/tid=28495] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28495/stat : 28495 (java) S 28490 28492 28154 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28496] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28496/stat : 28496 (java) S 28490 28492 28154 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28497] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28497/stat : 28497 (java) S 28490 28492 28154 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28498] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28498/stat : 28498 (java) S 28490 28492 28154 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28499] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28499/stat : 28499 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28500] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28500/stat : 28500 (java) S 28490 28492 28154 0 -1 4202560 493 0 0 0 0 0 0 0 15 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28501] ppid=28490 vsize=13627732 CPUtime=0.01 cores=1,3,5,7
/proc/28492/task/28501/stat : 28501 (java) S 28490 28492 28154 0 -1 4202560 565 0 0 0 1 0 0 0 15 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28502] ppid=28490 vsize=13627732 CPUtime=0.01 cores=1,3,5,7
/proc/28492/task/28502/stat : 28502 (java) S 28490 28492 28154 0 -1 4202560 600 0 0 0 1 0 0 0 15 0 19 0 828197075 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28503] ppid=28490 vsize=13627732 CPUtime=0.35 cores=1,3,5,7
/proc/28492/task/28503/stat : 28503 (java) S 28490 28492 28154 0 -1 4202560 2085 0 0 0 35 0 0 0 16 0 19 0 828197076 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 0 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28504] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28504/stat : 28504 (java) S 28490 28492 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28505] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28505/stat : 28505 (java) S 28490 28492 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828197076 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28506] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28506/stat : 28506 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216470961 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28507] ppid=28490 vsize=13627732 CPUtime=0.47 cores=1,3,5,7
/proc/28492/task/28507/stat : 28507 (java) S 28490 28492 28154 0 -1 4202560 3364 0 0 0 47 0 0 0 15 0 19 0 828197078 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28508] ppid=28490 vsize=13627732 CPUtime=0.75 cores=1,3,5,7
/proc/28492/task/28508/stat : 28508 (java) S 28490 28492 28154 0 -1 4202560 6655 0 0 0 75 0 0 0 15 0 19 0 828197078 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28509] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28509/stat : 28509 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197078 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28510] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28510/stat : 28510 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197078 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28511] ppid=28490 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28511/stat : 28511 (java) S 28490 28492 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828197141 13954797568 57437 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.15
Current children cumulated vsize (KiB) 13627732
[startup+8.30079 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28511
/proc/meminfo: memFree=26738572/32951124 swapFree=63649284/67111528
[pid=28492] ppid=28490 vsize=13628760 CPUtime=9.57 cores=1,3,5,7
/proc/28492/stat : 28492 (java) S 28490 28492 28154 0 -1 4202496 63778 0 1 0 950 7 0 0 24 0 17 0 828197072 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28492/statm: 3407190 57456 2265 9 0 3397924 0
[pid=28492/tid=28493] ppid=28490 vsize=13628760 CPUtime=7.86 cores=1,3,5,7
/proc/28492/task/28493/stat : 28493 (java) S 28490 28492 28154 0 -1 4202560 48506 0 1 0 780 6 0 0 25 0 17 0 828197073 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28495] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28495/stat : 28495 (java) S 28490 28492 28154 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28496] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28496/stat : 28496 (java) S 28490 28492 28154 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28497] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28497/stat : 28497 (java) S 28490 28492 28154 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28498] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28498/stat : 28498 (java) S 28490 28492 28154 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28499] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28499/stat : 28499 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 5 0 0 0
[pid=28492/tid=28500] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28500/stat : 28500 (java) S 28490 28492 28154 0 -1 4202560 493 0 0 0 0 0 0 0 15 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28501] ppid=28490 vsize=13628760 CPUtime=0.01 cores=1,3,5,7
/proc/28492/task/28501/stat : 28501 (java) S 28490 28492 28154 0 -1 4202560 565 0 0 0 1 0 0 0 15 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28502] ppid=28490 vsize=13628760 CPUtime=0.01 cores=1,3,5,7
/proc/28492/task/28502/stat : 28502 (java) S 28490 28492 28154 0 -1 4202560 600 0 0 0 1 0 0 0 15 0 17 0 828197075 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28503] ppid=28490 vsize=13628760 CPUtime=0.38 cores=1,3,5,7
/proc/28492/task/28503/stat : 28503 (java) S 28490 28492 28154 0 -1 4202560 2085 0 0 0 38 0 0 0 15 0 17 0 828197076 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 0 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28504] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28504/stat : 28504 (java) S 28490 28492 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 17 0 828197076 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28505] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28505/stat : 28505 (java) S 28490 28492 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 17 0 828197076 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28507] ppid=28490 vsize=13628760 CPUtime=0.48 cores=1,3,5,7
/proc/28492/task/28507/stat : 28507 (java) S 28490 28492 28154 0 -1 4202560 3364 0 0 0 48 0 0 0 15 0 17 0 828197078 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
[pid=28492/tid=28508] ppid=28490 vsize=13628760 CPUtime=0.75 cores=1,3,5,7
/proc/28492/task/28508/stat : 28508 (java) S 28490 28492 28154 0 -1 4202560 6655 0 0 0 75 0 0 0 15 0 17 0 828197078 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 3 0 0 0
[pid=28492/tid=28509] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28509/stat : 28509 (java) S 28490 28492 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 828197078 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463257 0 4 0 16800975 18446604456872481152 0 0 -1 1 0 0 0
[pid=28492/tid=28511] ppid=28490 vsize=13628760 CPUtime=0 cores=1,3,5,7
/proc/28492/task/28511/stat : 28511 (java) S 28490 28492 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 17 0 828197141 13955850240 57456 33554432000 1073741824 1073778376 140736527201168 18446744073709551615 210216463872 0 4 0 16800975 18446604456872481152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.57
Current children cumulated vsize (KiB) 13628760
Child status: 30
Real time (s): 8.32219
CPU time (s): 9.58954
CPU user time (s): 9.50255
CPU system time (s): 0.086986
CPU usage (%): 115.229
Max. virtual memory (cumulated for all children) (KiB): 13630176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.50255
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63778
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= 812
involuntary context switches= 254
runsolver used 0.044993 second user time and 0.102984 second system time
The end