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-3453734-1307194153/watcher-3453734-1307194153 -o /tmp/evaluation-result-3453734-1307194153/solver-3453734-1307194153 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453734-1307194153.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.51 3.34 3.52 3/510 1684
/proc/meminfo: memFree=26146924/32951124 swapFree=63649284/67111528
[pid=1684] ppid=1682 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/1684/stat : 1684 (java) S 1682 1684 28154 0 -1 4202496 1178 0 0 0 0 0 0 0 25 0 2 0 831013761 27824128 906 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/1684/statm: 6793 906 688 9 0 381 0
[pid=1684/tid=1685] ppid=1682 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1685/stat : 1685 (java) R 1682 1684 28154 0 -1 4202560 7164 0 1 0 0 0 0 0 25 0 2 0 831013761 10694979584 7981 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.039629 s]
/proc/loadavg: 2.51 3.34 3.52 3/510 1684
/proc/meminfo: memFree=26146924/32951124 swapFree=63649284/67111528
[pid=1684] ppid=1682 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/1684/stat : 1684 (java) S 1682 1684 28154 0 -1 4202496 11209 0 1 0 2 1 0 0 25 0 13 0 831013761 10718699520 10906 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/1684/statm: 2616870 10907 1660 9 0 2607618 0
[pid=1684/tid=1685] ppid=1682 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/1684/task/1685/stat : 1685 (java) R 1682 1684 28154 0 -1 4202560 10062 0 1 0 2 1 0 0 25 0 13 0 831013761 10718699520 10907 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 47837686120355 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100622 s]
/proc/loadavg: 2.51 3.34 3.52 3/510 1684
/proc/meminfo: memFree=26146924/32951124 swapFree=63649284/67111528
[pid=1684] ppid=1682 vsize=10540300 CPUtime=0.1 cores=0,2,4,6
/proc/1684/stat : 1684 (java) S 1682 1684 28154 0 -1 4202496 13138 0 1 0 9 1 0 0 25 0 18 0 831013761 10793267200 12811 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1684/statm: 2635075 12811 2092 9 0 2625809 0
[pid=1684/tid=1685] ppid=1682 vsize=10540300 CPUtime=0.08 cores=0,2,4,6
/proc/1684/task/1685/stat : 1685 (java) R 1682 1684 28154 0 -1 4202560 11207 0 1 0 7 1 0 0 18 0 18 0 831013761 10793267200 12813 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 47837690587987 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) 10540300
[startup+0.300639 s]
/proc/loadavg: 2.51 3.34 3.52 3/510 1684
/proc/meminfo: memFree=26146924/32951124 swapFree=63649284/67111528
[pid=1684] ppid=1682 vsize=10544560 CPUtime=0.17 cores=0,2,4,6
/proc/1684/stat : 1684 (java) S 1682 1684 28154 0 -1 4202496 13709 0 1 0 15 2 0 0 25 0 19 0 831013761 10797629440 13382 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1684/statm: 2636140 13382 2140 9 0 2626874 0
[pid=1684/tid=1685] ppid=1682 vsize=10544560 CPUtime=0.11 cores=0,2,4,6
/proc/1684/task/1685/stat : 1685 (java) S 1682 1684 28154 0 -1 4202560 11552 0 1 0 10 1 0 0 19 0 19 0 831013761 10797629440 13382 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463872 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544560
[startup+0.700546 s]
/proc/loadavg: 2.51 3.34 3.52 3/510 1684
/proc/meminfo: memFree=26146924/32951124 swapFree=63649284/67111528
[pid=1684] ppid=1682 vsize=10546956 CPUtime=0.32 cores=0,2,4,6
/proc/1684/stat : 1684 (java) S 1682 1684 28154 0 -1 4202496 16107 0 1 0 30 2 0 0 25 0 20 0 831013761 10800082944 14997 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1684/statm: 2636739 14997 2181 9 0 2627473 0
[pid=1684/tid=1685] ppid=1682 vsize=10546956 CPUtime=0.11 cores=0,2,4,6
/proc/1684/task/1685/stat : 1685 (java) S 1682 1684 28154 0 -1 4202560 11554 0 1 0 10 1 0 0 16 0 20 0 831013761 10800082944 14997 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463872 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10546956
Solver just ended. Dumping a history of the last processes samples
[startup+1.11949 s]
/proc/loadavg: 2.51 3.34 3.52 3/530 1709
/proc/meminfo: memFree=26079440/32951124 swapFree=63649284/67111528
[pid=1684] ppid=1682 vsize=10547096 CPUtime=0.34 cores=0,2,4,6
/proc/1684/stat : 1684 (java) S 1682 1684 28154 0 -1 4202496 16170 0 1 0 32 2 0 0 25 0 20 0 831013761 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1684/statm: 2636774 15060 2185 9 0 2627508 0
[pid=1684/tid=1685] ppid=1682 vsize=10547096 CPUtime=0.11 cores=0,2,4,6
/proc/1684/task/1685/stat : 1685 (java) S 1682 1684 28154 0 -1 4202560 11554 0 1 0 10 1 0 0 16 0 20 0 831013761 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463872 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
[pid=1684/tid=1687] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1687/stat : 1687 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
[pid=1684/tid=1688] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1688/stat : 1688 (java) S 1682 1684 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 6 0 0 0
[pid=1684/tid=1689] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1689/stat : 1689 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
[pid=1684/tid=1690] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1690/stat : 1690 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 6 0 0 0
[pid=1684/tid=1691] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1691/stat : 1691 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
[pid=1684/tid=1692] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1692/stat : 1692 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
[pid=1684/tid=1693] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1693/stat : 1693 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 6 0 0 0
[pid=1684/tid=1694] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1694/stat : 1694 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 831013763 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 6 0 0 0
[pid=1684/tid=1695] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1695/stat : 1695 (java) S 1682 1684 28154 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831013764 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463872 0 0 0 16800975 18446604450340766848 0 0 -1 4 0 0 0
[pid=1684/tid=1696] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1696/stat : 1696 (java) S 1682 1684 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831013764 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 4 0 0 0
[pid=1684/tid=1697] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1697/stat : 1697 (java) S 1682 1684 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831013764 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 4 0 0 0
[pid=1684/tid=1698] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1698/stat : 1698 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013766 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216470961 0 4 0 16800975 18446604450340766848 0 0 -1 4 0 0 0
[pid=1684/tid=1699] ppid=1682 vsize=10547096 CPUtime=0.07 cores=0,2,4,6
/proc/1684/task/1699/stat : 1699 (java) S 1682 1684 28154 0 -1 4202560 1226 0 0 0 7 0 0 0 18 0 20 0 831013766 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 2 0 0 0
[pid=1684/tid=1700] ppid=1682 vsize=10547096 CPUtime=0.06 cores=0,2,4,6
/proc/1684/task/1700/stat : 1700 (java) S 1682 1684 28154 0 -1 4202560 1801 0 0 0 6 0 0 0 16 0 20 0 831013766 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 0 0 0 0
[pid=1684/tid=1701] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1701/stat : 1701 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831013766 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463257 0 4 0 16800975 18446604450340766848 0 0 -1 4 0 0 0
[pid=1684/tid=1702] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1702/stat : 1702 (java) S 1682 1684 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831013766 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463872 0 4 0 16800975 18446604450340766848 0 0 -1 6 0 0 0
[pid=1684/tid=1706] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1706/stat : 1706 (java) S 1682 1684 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 831013774 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463872 0 4 0 16800975 18446604450340766848 0 0 -1 4 0 0 0
[pid=1684/tid=1709] ppid=1682 vsize=10547096 CPUtime=0 cores=0,2,4,6
/proc/1684/task/1709/stat : 1709 (java) S 1682 1684 28154 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 831013825 10800226304 15060 33554432000 1073741824 1073778376 140734164133568 18446744073709551615 210216463872 0 4 0 16800975 18446604450340766848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10547096
Child status: 30
Real time (s): 1.14573
CPU time (s): 0.353945
CPU user time (s): 0.32395
CPU system time (s): 0.029995
CPU usage (%): 30.8927
Max. virtual memory (cumulated for all children) (KiB): 10547096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.32395
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16185
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= 173
involuntary context switches= 14
runsolver used 0.012998 second user time and 0.024996 second system time
The end