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-3455293-1307192136/watcher-3455293-1307192136 -o /tmp/evaluation-result-3455293-1307192136/solver-3455293-1307192136 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455293-1307192136.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.65 3.56 3.68 3/436 12806
/proc/meminfo: memFree=24674696/32951124 swapFree=50923800/67111528
[pid=12804] ppid=12801 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/12804/stat : 12804 (java) S 12801 12804 9722 0 -1 4202496 1317 0 0 0 0 0 0 0 17 0 2 0 811629172 36646912 1018 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/12804/statm: 8947 1018 782 9 0 386 0
[pid=12804/tid=12807] ppid=12801 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12807/stat : 12807 (java) R 12801 12804 9722 0 -1 4202560 1813 0 1 0 0 0 0 0 18 0 2 0 811629173 10681323520 2629 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.10943 s]
/proc/loadavg: 2.65 3.56 3.68 3/436 12806
/proc/meminfo: memFree=24674696/32951124 swapFree=50923800/67111528
[pid=12804] ppid=12801 vsize=10539884 CPUtime=0.1 cores=0,2,4,6
/proc/12804/stat : 12804 (java) S 12801 12804 9722 0 -1 4202496 13091 0 1 0 9 1 0 0 17 0 18 0 811629172 10792841216 12771 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12804/statm: 2634971 12772 2092 9 0 2625705 0
[pid=12804/tid=12807] ppid=12801 vsize=10539884 CPUtime=0.09 cores=0,2,4,6
/proc/12804/task/12807/stat : 12807 (java) R 12801 12804 9722 0 -1 4202560 11178 0 1 0 8 1 0 0 18 0 18 0 811629173 10792841216 12773 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 47193639780357 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539884
[startup+0.209399 s]
/proc/loadavg: 2.65 3.56 3.68 3/436 12806
/proc/meminfo: memFree=24674696/32951124 swapFree=50923800/67111528
[pid=12804] ppid=12801 vsize=10542260 CPUtime=0.31 cores=0,2,4,6
/proc/12804/stat : 12804 (java) S 12801 12804 9722 0 -1 4202496 15887 0 1 0 29 2 0 0 17 0 18 0 811629172 10795274240 14928 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12804/statm: 2635565 14928 2186 9 0 2626299 0
[pid=12804/tid=12807] ppid=12801 vsize=10542260 CPUtime=0.18 cores=0,2,4,6
/proc/12804/task/12807/stat : 12807 (java) R 12801 12804 9722 0 -1 4202560 11781 0 1 0 17 1 0 0 18 0 18 0 811629173 10795274240 14928 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10542260
[startup+0.300398 s]
/proc/loadavg: 2.65 3.56 3.68 3/436 12806
/proc/meminfo: memFree=24674696/32951124 swapFree=50923800/67111528
[pid=12804] ppid=12801 vsize=10545260 CPUtime=0.41 cores=0,2,4,6
/proc/12804/stat : 12804 (java) S 12801 12804 9722 0 -1 4202496 16339 0 1 0 39 2 0 0 17 0 19 0 811629172 10798346240 15163 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12804/statm: 2636315 15163 2204 9 0 2627049 0
[pid=12804/tid=12807] ppid=12801 vsize=10545260 CPUtime=0.21 cores=0,2,4,6
/proc/12804/task/12807/stat : 12807 (java) S 12801 12804 9722 0 -1 4202560 12027 0 1 0 20 1 0 0 19 0 19 0 811629173 10798346240 15163 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350200320 0 4 0 16800975 18446604446381031552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 10545260
[startup+0.700342 s]
/proc/loadavg: 2.65 3.56 3.68 3/436 12806
/proc/meminfo: memFree=24674696/32951124 swapFree=50923800/67111528
[pid=12804] ppid=12801 vsize=10545260 CPUtime=0.41 cores=0,2,4,6
/proc/12804/stat : 12804 (java) S 12801 12804 9722 0 -1 4202496 16339 0 1 0 39 2 0 0 17 0 19 0 811629172 10798346240 15163 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12804/statm: 2636315 15163 2204 9 0 2627049 0
[pid=12804/tid=12807] ppid=12801 vsize=10545260 CPUtime=0.21 cores=0,2,4,6
/proc/12804/task/12807/stat : 12807 (java) S 12801 12804 9722 0 -1 4202560 12027 0 1 0 20 1 0 0 19 0 19 0 811629173 10798346240 15163 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350200320 0 4 0 16800975 18446604446381031552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 10545260
Solver just ended. Dumping a history of the last processes samples
[startup+0.804274 s]
/proc/loadavg: 2.65 3.56 3.68 3/436 12806
/proc/meminfo: memFree=24674696/32951124 swapFree=50923800/67111528
[pid=12804] ppid=12801 vsize=10546076 CPUtime=0.57 cores=0,2,4,6
/proc/12804/stat : 12804 (java) S 12801 12804 9722 0 -1 4202496 16848 0 1 0 55 2 0 0 17 0 19 0 811629172 10799181824 15672 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12804/statm: 2636519 15672 2218 9 0 2627253 0
[pid=12804/tid=12807] ppid=12801 vsize=10546076 CPUtime=0.22 cores=0,2,4,6
/proc/12804/task/12807/stat : 12807 (java) S 12801 12804 9722 0 -1 4202560 12060 0 1 0 21 1 0 0 16 0 19 0 811629173 10799181824 15672 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350200320 0 4 0 16800975 18446604446381031552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10546076
[startup+1.21721 s]
/proc/loadavg: 2.65 3.56 3.68 1/474 12856
/proc/meminfo: memFree=24563432/32951124 swapFree=50923800/67111528
[pid=12804] ppid=12801 vsize=10546076 CPUtime=0.62 cores=0,2,4,6
/proc/12804/stat : 12804 (java) S 12801 12804 9722 0 -1 4202496 16872 0 1 0 60 2 0 0 17 0 19 0 811629172 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12804/statm: 2636519 15696 2219 9 0 2627253 0
[pid=12804/tid=12807] ppid=12801 vsize=10546076 CPUtime=0.22 cores=0,2,4,6
/proc/12804/task/12807/stat : 12807 (java) S 12801 12804 9722 0 -1 4202560 12060 0 1 0 21 1 0 0 16 0 19 0 811629173 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350200320 0 4 0 16800975 18446604446381031552 0 0 -1 6 0 0 0
[pid=12804/tid=12811] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12811/stat : 12811 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12812] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12812/stat : 12812 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12813] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12813/stat : 12813 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12814] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12814/stat : 12814 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12816] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12816/stat : 12816 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 6 0 0 0
[pid=12804/tid=12817] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12817/stat : 12817 (java) S 12801 12804 9722 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 6 0 0 0
[pid=12804/tid=12819] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12819/stat : 12819 (java) S 12801 12804 9722 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12821] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12821/stat : 12821 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811629175 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12827] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12827/stat : 12827 (java) S 12801 12804 9722 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811629176 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350200320 0 0 0 16800975 18446604446381031552 0 0 -1 0 0 0 0
[pid=12804/tid=12829] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12829/stat : 12829 (java) S 12801 12804 9722 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 811629177 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 6 0 0 0
[pid=12804/tid=12832] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12832/stat : 12832 (java) S 12801 12804 9722 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 811629177 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 6 0 0 0
[pid=12804/tid=12833] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12833/stat : 12833 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811629179 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350207409 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12834] ppid=12801 vsize=10546076 CPUtime=0.18 cores=0,2,4,6
/proc/12804/task/12834/stat : 12834 (java) S 12801 12804 9722 0 -1 4202560 2265 0 0 0 18 0 0 0 15 0 19 0 811629179 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 0 0 0 0
[pid=12804/tid=12837] ppid=12801 vsize=10546076 CPUtime=0.13 cores=0,2,4,6
/proc/12804/task/12837/stat : 12837 (java) S 12801 12804 9722 0 -1 4202560 1168 0 0 0 13 0 0 0 15 0 19 0 811629179 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12838] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12838/stat : 12838 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811629179 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350199705 0 4 0 16800975 18446604446381031552 0 0 -1 2 0 0 0
[pid=12804/tid=12841] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12841/stat : 12841 (java) S 12801 12804 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811629179 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350200320 0 4 0 16800975 18446604446381031552 0 0 -1 0 0 0 0
[pid=12804/tid=12856] ppid=12801 vsize=10546076 CPUtime=0 cores=0,2,4,6
/proc/12804/task/12856/stat : 12856 (java) S 12801 12804 9722 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 811629247 10799181824 15696 33554432000 1073741824 1073778376 140737069273952 18446744073709551615 270350200320 0 4 0 16800975 18446604446381031552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10546076
Child status: 30
Real time (s): 1.25252
CPU time (s): 0.637902
CPU user time (s): 0.605907
CPU system time (s): 0.031995
CPU usage (%): 50.9293
Max. virtual memory (cumulated for all children) (KiB): 10546076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.605907
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16891
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= 505
involuntary context switches= 51
runsolver used 0.011998 second user time and 0.021996 second system time
The end