Trace number 1878793

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
bsolo 3.1 clUNSAT 827.967 828.203

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
MD5SUM75bd0b27f5ff05dc207afe3c3d5552d1
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.48432
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 721
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878793-1245118267.opb
0.00/0.00	c File size is 83377 bytes.
0.00/0.01	c Highest Coefficient sum: 721
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.00/0.02	c Pre-processing Time: 0.023 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    231     2586     8096    3     5474    1880      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
827.85/828.20	c      101    231     2687    12392    4     5677    2069    101   2970 0.03
827.85/828.20	c      251    231     2837    18069    6     5977    2276    251   4921 0.05
827.85/828.20	c      477    231     3063    27011    8     6430    2504    477   5546 0.09
827.85/828.20	c      816    231     3402    39702   11     7109    2755    816   5589 0.15
827.85/828.20	c     1324    231     3910    59160   15     8124    3031   1324   5072 0.26
827.85/828.20	c     2088    231     4674    86908   18     9651    3335   2088   4359 0.48
827.85/828.20	c     3234    231     5820   130537   22    11944    3669   3234   3968 0.81
827.85/828.20	c     4956    231     5590   117350   20    11484    4036   3004   3780 1.31
827.85/828.20	c     7541    231     6076   134054   22    12457    4440   3490   3585 2.10
827.85/828.20	c    11420    231     5292   121120   22    10889    4885   2706   3397 3.36
827.85/828.20	c    17243    231     6051   138523   22    12407    5374   3465   3068 5.62
827.85/828.20	c    25980    231     6432   149271   23    13168    5912   3846   2839 9.15
827.85/828.20	c    39091    231     7340   159637   21    14984    6504   4754   2739 14.27
827.85/828.20	c    58764    231     6904   151379   21    14113    7155   4318   2611 22.50
827.85/828.20	c    88275    231     6928   163503   23    14159    7871   4342   2412 36.59
827.85/828.20	c   132549    231     6723   144083   21    13751    8659   4137   2207 60.05
827.85/828.20	c   198960    231    11057   292176   26    22418    9525   8471   1996 99.67
827.85/828.20	c   298580    231     8623   190066   22    17550   10478   6037   1824 163.62
827.85/828.20	c   448017    231     8307   195568   23    16919   11526   5721   1689 265.10
827.85/828.20	c   672176    231     9502   243324   25    19307   12679   6916   1506 446.14
827.85/828.20	c  1008424    231    10717   267380   24    21738   13947   8131   1346 749.01
827.85/828.20	c Backtracks by Clause: 0
827.85/828.20	c Backtracks by PB constraint: 0
827.85/828.20	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
827.85/828.20	c   21  1098062 252627  1577661    15496   314769  12910   1326 827.96
827.85/828.20	s UNSATISFIABLE
827.85/828.20	c Total time: 827.964 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878793-1245118267/watcher-1878793-1245118267 -o /tmp/evaluation-result-1878793-1245118267/solver-1878793-1245118267 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878793-1245118267.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3907
/proc/meminfo: memFree=692544/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=10660 CPUtime=0
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 227 0 0 0 0 0 0 0 20 0 1 0 179423732 10915840 211 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 2665 211 170 640 0 2000 0

[startup+0.012194 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3907
/proc/meminfo: memFree=692544/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=10928 CPUtime=0
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 284 0 0 0 0 0 0 0 20 0 1 0 179423732 11190272 268 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 2732 269 182 640 0 2067 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10928

[startup+0.101202 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3907
/proc/meminfo: memFree=692544/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=11368 CPUtime=0.09
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 464 0 0 0 9 0 0 0 20 0 1 0 179423732 11640832 427 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 2842 427 195 640 0 2198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11368

[startup+0.301222 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3907
/proc/meminfo: memFree=692544/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=11880 CPUtime=0.29
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 600 0 0 0 29 0 0 0 21 0 1 0 179423732 12165120 563 1992294400 134512640 137136520 4294956256 18446744073709551615 136502052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 2970 563 195 640 0 2326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11880

[startup+0.701262 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 3907
/proc/meminfo: memFree=692544/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=12780 CPUtime=0.69
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 810 0 0 0 69 0 0 0 25 0 1 0 179423732 13086720 773 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 3195 773 195 640 0 2551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12780

[startup+1.50234 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=689592/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=13296 CPUtime=1.49
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 956 0 0 0 148 1 0 0 25 0 1 0 179423732 13615104 919 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 3324 919 195 640 0 2680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13296

[startup+3.10151 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=689336/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=13684 CPUtime=3.08
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1047 0 0 0 307 1 0 0 25 0 1 0 179423732 14012416 1010 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 3421 1010 195 640 0 2777 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13684

[startup+6.30183 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=688312/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=14324 CPUtime=6.28
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1190 0 0 0 626 2 0 0 25 0 1 0 179423732 14667776 1153 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 3581 1153 195 640 0 2937 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14324

[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=688056/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=14580 CPUtime=12.69
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1253 0 0 0 1265 4 0 0 25 0 1 0 179423732 14929920 1216 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 3645 1216 195 640 0 3001 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14580

[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=687480/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=15220 CPUtime=25.48
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1420 0 0 0 2539 9 0 0 25 0 1 0 179423732 15585280 1383 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 3805 1383 195 640 0 3161 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15220

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=687096/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=15708 CPUtime=51.08
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1544 0 0 0 5091 17 0 0 25 0 1 0 179423732 16084992 1507 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 3927 1507 195 640 0 3283 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15708

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=686456/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=16332 CPUtime=102.26
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1706 0 0 0 10197 29 0 0 25 0 1 0 179423732 16723968 1669 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4083 1669 195 640 0 3439 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16332

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=686136/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=16716 CPUtime=162.24
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1792 0 0 0 16180 44 0 0 25 0 1 0 179423732 17117184 1755 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4179 1755 195 640 0 3535 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16716

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=685944/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=16844 CPUtime=222.23
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 1838 0 0 0 22164 59 0 0 25 0 1 0 179423732 17248256 1801 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4211 1801 195 640 0 3567 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16844

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=685240/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=17848 CPUtime=282.21
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2088 0 0 0 28150 71 0 0 25 0 1 0 179423732 18276352 2051 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4462 2051 195 640 0 3818 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 17848

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684856/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=17964 CPUtime=342.19
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2105 0 0 0 34137 82 0 0 25 0 1 0 179423732 18395136 2068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4491 2068 195 640 0 3847 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 17964

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684664/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18092 CPUtime=402.18
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2144 0 0 0 40125 93 0 0 25 0 1 0 179423732 18526208 2107 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4523 2107 195 640 0 3879 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 18092

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684536/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18308 CPUtime=462.16
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2192 0 0 0 46112 104 0 0 25 0 1 0 179423732 18747392 2155 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4577 2155 195 640 0 3933 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 18308

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684344/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18488 CPUtime=522.14
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2237 0 0 0 52101 113 0 0 25 0 1 0 179423732 18931712 2200 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4622 2200 195 640 0 3978 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 18488

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 3908
/proc/meminfo: memFree=684344/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18488 CPUtime=582.12
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2237 0 0 0 58087 125 0 0 25 0 1 0 179423732 18931712 2200 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4622 2200 195 640 0 3978 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 18488

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684344/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18484 CPUtime=642.11
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2237 0 0 0 64072 139 0 0 25 0 1 0 179423732 18927616 2200 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4621 2200 195 640 0 3977 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 18484

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684280/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18484 CPUtime=702.09
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2245 0 0 0 70058 151 0 0 25 0 1 0 179423732 18927616 2208 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4621 2208 195 640 0 3977 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 18484

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684152/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18616 CPUtime=762.08
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2282 0 0 0 76048 160 0 0 25 0 1 0 179423732 19062784 2245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4654 2245 195 640 0 4010 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 18616

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684152/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18616 CPUtime=822.05
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2282 0 0 0 82035 170 0 0 25 0 1 0 179423732 19062784 2245 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4654 2245 195 640 0 4010 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 18616

Solver just ended. Dumping a history of the last processes samples

[startup+825.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684152/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18616 CPUtime=825.26
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2282 0 0 0 82355 171 0 0 25 0 1 0 179423732 19062784 2245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4654 2245 195 640 0 4010 0
Current children cumulated CPU time (s) 825.26
Current children cumulated vsize (KiB) 18616

[startup+827.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684152/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18616 CPUtime=826.86
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2282 0 0 0 82515 171 0 0 25 0 1 0 179423732 19062784 2245 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4654 2245 195 640 0 4010 0
Current children cumulated CPU time (s) 826.86
Current children cumulated vsize (KiB) 18616

[startup+827.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684152/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18616 CPUtime=827.65
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2282 0 0 0 82594 171 0 0 25 0 1 0 179423732 19062784 2245 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4654 2245 195 640 0 4010 0
Current children cumulated CPU time (s) 827.65
Current children cumulated vsize (KiB) 18616

[startup+828.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3908
/proc/meminfo: memFree=684152/2055920 swapFree=4192952/4192956
[pid=3907] ppid=3905 vsize=18616 CPUtime=827.85
/proc/3907/stat : 3907 (bsolo) R 3905 3907 3233 0 -1 4194304 2282 0 0 0 82614 171 0 0 25 0 1 0 179423732 19062784 2245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3907/statm: 4654 2245 195 640 0 4010 0
Current children cumulated CPU time (s) 827.85
Current children cumulated vsize (KiB) 18616

Child status: 0
Real time (s): 828.203
CPU time (s): 827.967
CPU user time (s): 826.248
CPU system time (s): 1.71874
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 18616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 826.248
system time used= 1.71874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1701

runsolver used 0.512922 second user time and 1.79173 second system time

The end

Launcher Data 

Begin job on node45 at 2009-06-16 04:11:07
IDJOB=1878793
IDBENCH=1298
IDSOLVER=700
FILE ID=node45/1878793-1245118267
PBS_JOBID= 9363671
Free space on /tmp= 66172 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878793-1245118267/watcher-1878793-1245118267 -o /tmp/evaluation-result-1878793-1245118267/solver-1878793-1245118267 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878793-1245118267.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 75bd0b27f5ff05dc207afe3c3d5552d1
RANDOM SEED=762798035

node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        692960 kB
Buffers:         84660 kB
Cached:        1176192 kB
SwapCached:          4 kB
Active:         163564 kB
Inactive:      1111196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        692960 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          23696 kB
Slab:            74232 kB
Committed_AS:   145932 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66168 MiB
End job on node45 at 2009-06-16 04:24:56