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-3457938-1307166012/watcher-3457938-1307166012 -o /tmp/evaluation-result-3457938-1307166012/solver-3457938-1307166012 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457938-1307166012.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.08 2.02 3/507 28723
/proc/meminfo: memFree=26960056/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 4808 0 1 0 0 0 0 0 25 0 2 0 828199692 13850947584 4511 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3381579 4524 917 9 0 3372735 0
[pid=28723/tid=28724] ppid=28721 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 6090 0 1 0 0 0 0 0 25 0 2 0 828199693 13850947584 6906 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.055567 s]
/proc/loadavg: 2.15 2.08 2.02 3/507 28723
/proc/meminfo: memFree=26960056/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 13938 0 1 0 3 1 0 0 25 0 13 0 828199692 13874806784 13636 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3387404 13637 1684 9 0 3378152 0
[pid=28723/tid=28724] ppid=28721 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 12794 0 1 0 3 1 0 0 25 0 13 0 828199693 13874806784 13638 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 46949087590419 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.100571 s]
/proc/loadavg: 2.15 2.08 2.02 3/507 28723
/proc/meminfo: memFree=26960056/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13622276 CPUtime=0.1 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 15517 0 1 0 9 1 0 0 25 0 18 0 828199692 13949210624 15216 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3405569 15219 2092 9 0 3396303 0
[pid=28723/tid=28724] ppid=28721 vsize=13622276 CPUtime=0.08 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 13611 0 1 0 7 1 0 0 18 0 18 0 828199693 13949210624 15220 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210204308513 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622276
[startup+0.315446 s]
/proc/loadavg: 2.15 2.08 2.02 3/507 28723
/proc/meminfo: memFree=26960056/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13624332 CPUtime=0.52 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 19006 0 1 0 50 2 0 0 25 0 18 0 828199692 13951315968 18303 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3406083 18864 2204 9 0 3396817 0
[pid=28723/tid=28724] ppid=28721 vsize=13624332 CPUtime=0.31 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 16388 0 1 0 30 1 0 0 18 0 18 0 828199693 13951315968 18865 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 46912505543990 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13624332
[startup+0.700511 s]
/proc/loadavg: 2.15 2.08 2.02 3/507 28723
/proc/meminfo: memFree=26960056/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13627188 CPUtime=1.18 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 54230 0 1 0 112 6 0 0 25 0 18 0 828199692 13954240512 52187 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3406797 52188 2221 9 0 3397531 0
[pid=28723/tid=28724] ppid=28721 vsize=13627188 CPUtime=0.68 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 48126 0 1 0 63 5 0 0 18 0 18 0 828199693 13954240512 52188 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 46949087590419 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13627188
[startup+1.50131 s]
/proc/loadavg: 2.13 2.08 2.02 3/526 28742
/proc/meminfo: memFree=26755164/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13628000 CPUtime=2.39 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 55963 0 1 0 233 6 0 0 25 0 19 0 828199692 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3407000 53034 2238 9 0 3397734 0
[pid=28723/tid=28724] ppid=28721 vsize=13628000 CPUtime=1.48 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 48897 0 1 0 143 5 0 0 18 0 19 0 828199693 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 46912505787935 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28726/stat : 28726 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28727/stat : 28727 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28728/stat : 28728 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28729/stat : 28729 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28730/stat : 28730 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28731/stat : 28731 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28732] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28732/stat : 28732 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28733] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28733/stat : 28733 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199695 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28734] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28734/stat : 28734 (java) S 28721 28723 28154 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 828199696 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 0 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28735] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28735/stat : 28735 (java) S 28721 28723 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828199696 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28736] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28736/stat : 28736 (java) S 28721 28723 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828199696 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28737] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28737/stat : 28737 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216470961 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28738] ppid=28721 vsize=13628000 CPUtime=0.42 cores=0,2,4,6
/proc/28723/task/28738/stat : 28738 (java) S 28721 28723 28154 0 -1 4202560 2610 0 0 0 42 0 0 0 15 0 19 0 828199698 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
[pid=28723/tid=28739] ppid=28721 vsize=13628000 CPUtime=0.47 cores=0,2,4,6
/proc/28723/task/28739/stat : 28739 (java) S 28721 28723 28154 0 -1 4202560 3297 0 0 0 47 0 0 0 15 0 19 0 828199698 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
[pid=28723/tid=28740] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28740/stat : 28740 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28741] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28741/stat : 28741 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199698 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28742] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28742/stat : 28742 (java) S 28721 28723 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828199763 13955072000 53034 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 13628000
[startup+3.10105 s]
/proc/loadavg: 2.13 2.08 2.02 3/526 28742
/proc/meminfo: memFree=26736192/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13628000 CPUtime=4.22 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 62147 0 1 0 415 7 0 0 25 0 19 0 828199692 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3407000 57131 2263 9 0 3397734 0
[pid=28723/tid=28724] ppid=28721 vsize=13628000 CPUtime=2.97 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 48936 0 1 0 292 5 0 0 20 0 19 0 828199693 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 46912505882014 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28726/stat : 28726 (java) S 28721 28723 28154 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28727/stat : 28727 (java) S 28721 28723 28154 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28728/stat : 28728 (java) S 28721 28723 28154 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28729/stat : 28729 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28730/stat : 28730 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28731/stat : 28731 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28732] ppid=28721 vsize=13628000 CPUtime=0.01 cores=0,2,4,6
/proc/28723/task/28732/stat : 28732 (java) S 28721 28723 28154 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28733] ppid=28721 vsize=13628000 CPUtime=0.01 cores=0,2,4,6
/proc/28723/task/28733/stat : 28733 (java) S 28721 28723 28154 0 -1 4202560 837 0 0 0 1 0 0 0 15 0 19 0 828199695 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28734] ppid=28721 vsize=13628000 CPUtime=0.08 cores=0,2,4,6
/proc/28723/task/28734/stat : 28734 (java) S 28721 28723 28154 0 -1 4202560 2107 0 0 0 8 0 0 0 16 0 19 0 828199696 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 0 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28735] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28735/stat : 28735 (java) S 28721 28723 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828199696 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28736] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28736/stat : 28736 (java) S 28721 28723 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828199696 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28737] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28737/stat : 28737 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216470961 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28738] ppid=28721 vsize=13628000 CPUtime=0.6 cores=0,2,4,6
/proc/28723/task/28738/stat : 28738 (java) S 28721 28723 28154 0 -1 4202560 4721 0 0 0 59 1 0 0 15 0 19 0 828199698 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
[pid=28723/tid=28739] ppid=28721 vsize=13628000 CPUtime=0.51 cores=0,2,4,6
/proc/28723/task/28739/stat : 28739 (java) S 28721 28723 28154 0 -1 4202560 3301 0 0 0 51 0 0 0 15 0 19 0 828199698 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28740] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28740/stat : 28740 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28741] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28741/stat : 28741 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199698 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28742] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28742/stat : 28742 (java) S 28721 28723 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828199763 13955072000 57131 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13628000
Solver just ended. Dumping a history of the last processes samples
[startup+3.90089 s]
/proc/loadavg: 2.13 2.08 2.02 3/526 28742
/proc/meminfo: memFree=26734084/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13628000 CPUtime=5.09 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 62931 0 1 0 502 7 0 0 25 0 19 0 828199692 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3407000 57139 2263 9 0 3397734 0
[pid=28723/tid=28724] ppid=28721 vsize=13628000 CPUtime=3.71 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 48938 0 1 0 366 5 0 0 21 0 19 0 828199693 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 46912505838392 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28726/stat : 28726 (java) S 28721 28723 28154 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28727/stat : 28727 (java) S 28721 28723 28154 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28728/stat : 28728 (java) S 28721 28723 28154 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28729/stat : 28729 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28730/stat : 28730 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28731/stat : 28731 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28732] ppid=28721 vsize=13628000 CPUtime=0.01 cores=0,2,4,6
/proc/28723/task/28732/stat : 28732 (java) S 28721 28723 28154 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28733] ppid=28721 vsize=13628000 CPUtime=0.01 cores=0,2,4,6
/proc/28723/task/28733/stat : 28733 (java) S 28721 28723 28154 0 -1 4202560 839 0 0 0 1 0 0 0 16 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28734] ppid=28721 vsize=13628000 CPUtime=0.13 cores=0,2,4,6
/proc/28723/task/28734/stat : 28734 (java) S 28721 28723 28154 0 -1 4202560 2107 0 0 0 13 0 0 0 16 0 19 0 828199696 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 0 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28735] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28735/stat : 28735 (java) S 28721 28723 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828199696 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28736] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28736/stat : 28736 (java) S 28721 28723 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828199696 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28737] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28737/stat : 28737 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216470961 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28738] ppid=28721 vsize=13628000 CPUtime=0.67 cores=0,2,4,6
/proc/28723/task/28738/stat : 28738 (java) S 28721 28723 28154 0 -1 4202560 5501 0 0 0 66 1 0 0 16 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
[pid=28723/tid=28739] ppid=28721 vsize=13628000 CPUtime=0.51 cores=0,2,4,6
/proc/28723/task/28739/stat : 28739 (java) S 28721 28723 28154 0 -1 4202560 3301 0 0 0 51 0 0 0 15 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28740] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28740/stat : 28740 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28741] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28741/stat : 28741 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28742] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28742/stat : 28742 (java) S 28721 28723 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828199763 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 13628000
[startup+4.10088 s]
/proc/loadavg: 2.13 2.08 2.02 3/526 28742
/proc/meminfo: memFree=26734084/32951124 swapFree=63649284/67111528
[pid=28723] ppid=28721 vsize=13628000 CPUtime=5.29 cores=0,2,4,6
/proc/28723/stat : 28723 (java) S 28721 28723 28154 0 -1 4202496 62931 0 1 0 522 7 0 0 25 0 19 0 828199692 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28723/statm: 3407000 57139 2263 9 0 3397734 0
[pid=28723/tid=28724] ppid=28721 vsize=13628000 CPUtime=3.91 cores=0,2,4,6
/proc/28723/task/28724/stat : 28724 (java) R 28721 28723 28154 0 -1 4202560 48938 0 1 0 386 5 0 0 22 0 19 0 828199693 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 46912505895401 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28726/stat : 28726 (java) S 28721 28723 28154 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28727/stat : 28727 (java) S 28721 28723 28154 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28728/stat : 28728 (java) S 28721 28723 28154 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28729/stat : 28729 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28730/stat : 28730 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28731/stat : 28731 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28732] ppid=28721 vsize=13628000 CPUtime=0.01 cores=0,2,4,6
/proc/28723/task/28732/stat : 28732 (java) S 28721 28723 28154 0 -1 4202560 856 0 0 0 1 0 0 0 15 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28733] ppid=28721 vsize=13628000 CPUtime=0.01 cores=0,2,4,6
/proc/28723/task/28733/stat : 28733 (java) S 28721 28723 28154 0 -1 4202560 839 0 0 0 1 0 0 0 16 0 19 0 828199695 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28734] ppid=28721 vsize=13628000 CPUtime=0.13 cores=0,2,4,6
/proc/28723/task/28734/stat : 28734 (java) S 28721 28723 28154 0 -1 4202560 2107 0 0 0 13 0 0 0 16 0 19 0 828199696 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 0 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28735] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28735/stat : 28735 (java) S 28721 28723 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828199696 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28736] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28736/stat : 28736 (java) S 28721 28723 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828199696 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28737] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28737/stat : 28737 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216470961 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28738] ppid=28721 vsize=13628000 CPUtime=0.67 cores=0,2,4,6
/proc/28723/task/28738/stat : 28738 (java) S 28721 28723 28154 0 -1 4202560 5501 0 0 0 66 1 0 0 16 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
[pid=28723/tid=28739] ppid=28721 vsize=13628000 CPUtime=0.51 cores=0,2,4,6
/proc/28723/task/28739/stat : 28739 (java) S 28721 28723 28154 0 -1 4202560 3301 0 0 0 51 0 0 0 15 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28740] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28740/stat : 28740 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463257 0 4 0 16800975 18446604446543603712 0 0 -1 4 0 0 0
[pid=28723/tid=28741] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28741/stat : 28741 (java) S 28721 28723 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828199698 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 6 0 0 0
[pid=28723/tid=28742] ppid=28721 vsize=13628000 CPUtime=0 cores=0,2,4,6
/proc/28723/task/28742/stat : 28742 (java) S 28721 28723 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828199763 13955072000 57139 33554432000 1073741824 1073778376 140734178220464 18446744073709551615 210216463872 0 4 0 16800975 18446604446543603712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13628000
Child status: 30
Real time (s): 4.15711
CPU time (s): 5.36118
CPU user time (s): 5.2702
CPU system time (s): 0.090986
CPU usage (%): 128.964
Max. virtual memory (cumulated for all children) (KiB): 13628000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2702
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62950
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= 512
involuntary context switches= 170
runsolver used 0.026995 second user time and 0.048992 second system time
The end