Trace number 1877994

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clOPT3 58.5001 58.5196

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb
MD5SUM814b8e94cfd87905bb7ea3866973cde4
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2.07968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables72
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)192
Sum of products size (including duplicates)384
Number of different products192
Sum of products size384

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-1877994-1245187442.opb
0.00/0.00	c File size is 14173 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016
0.00/0.00	c Obj. Vars: 8 (3.0303 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    264      394     1648    4     1416    2207      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1.29/1.32	c      101    264      495     7890   15     1567    2428    101   7214 0.01
1.29/1.32	c      252    264      646    17458   27     1865    2671    252   9333 0.03
1.29/1.32	c      479    264      873    31708   36     2312    2939    479   9392 0.05
1.29/1.32	c      817    264     1211    52128   43     2964    3233    817   8784 0.09
1.29/1.32	c     1325    264     1719    82971   48     3970    3557   1325   8030 0.17
1.29/1.32	c     2088    264     2482   129176   52     5501    3913   2088   6735 0.31
1.29/1.32	c     3236    264     3630   198521   54     7793    4305   3236   5627 0.57
1.29/1.32	c     4957    264     3137   166488   53     6785    4736   2743   5027 0.99
1.29/1.32	o 33
1.59/1.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.69	c     7011    264     2763   158634   57     6080    2223   2369   5279 1.33
1.59/1.69	c     7114    254     1610    83412   51     3825    2446   1216   5289 1.34
1.59/1.69	c     7365    254     1861    98621   52     4331    2691   1467   5368 1.37
1.59/1.69	c     7842    254     2338   126200   53     5283    2961   1944   5453 1.44
1.59/1.69	c     8657    244     3153   177439   56     6882    3258   2759   5574 1.55
1.59/1.69	o 5
1.99/2.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.04	c     9371    244     2026    99139   48     4656    2219   1632   5515 1.70
1.99/2.04	c     9472    235     2127   105744   49     4879    2441   1733   5513 1.72
1.99/2.04	c     9722    225     2377   120312   50     5366    2686   1983   5523 1.76
1.99/2.04	c    10197    225     2852   148290   51     6322    2955   2458   5505 1.85
1.99/2.04	c    11011    214     2106   102838   48     4787    3251   1712   5442 2.02
1.99/2.04	o 3
58.47/58.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.47/58.51	c    11120    214     2216   109363   49     5020    2213   1822   5437 2.04
58.47/58.51	c    11222    193     2318   116354   50     5234    2435   1924   5447 2.06
58.47/58.51	c    11473    193     2569   135386   52     5766    2679   2175   5463 2.10
58.47/58.51	c    11949    193     3045   165944   54     6701    2947   2651   5431 2.20
58.47/58.51	c    12762    193     2243   118461   52     5090    3242   1849   5387 2.37
58.47/58.51	c    14082    193     3563   197428   55     7684    3567   3169   5364 2.62
58.47/58.51	c    16163    193     3738   196010   52     8043    3924   3344   5126 3.15
58.47/58.51	c    19387    193     2705   143998   53     5997    4317   2311   5061 3.83
58.47/58.51	c    24324    193     2965   178775   60     6528    4749   2571   4806 5.06
58.47/58.51	c    31831    193     2925   151551   51     6433    5224   2531   4686 6.79
58.47/58.51	c    43193    193     3013   169736   56     6627    5747   2619   4270 10.12
58.47/58.51	c    60338    193     4915   291810   59    10406    6322   4521   3697 16.32
58.47/58.51	c    86157    192     4067   231963   57     8661    6955   3673   3533 24.38
58.47/58.51	c   124989    192     6744   422169   62    14094    7651   6350   2984 41.88
58.47/58.51	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 -x15 x16 x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 x25 x26 -x27 x28 -x29 x30 x31 -x32 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 
58.47/58.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
58.47/58.51	c   32   160132   1216   165630     6267   302062   5873   2737 58.50
58.47/58.51	c Objective: 3
58.47/58.51	s OPTIMUM FOUND
58.47/58.51	c Total time: 58.497 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877994-1245187442/watcher-1877994-1245187442 -o /tmp/evaluation-result-1877994-1245187442/solver-1877994-1245187442 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877994-1245187442.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: 1.00 1.00 0.93 3/65 28119
/proc/meminfo: memFree=1833520/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=10708 CPUtime=0
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 277 0 0 0 0 0 0 0 20 0 1 0 98166023 10964992 257 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 2677 259 191 640 0 2033 0

[startup+0.0869999 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 28119
/proc/meminfo: memFree=1833520/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=11352 CPUtime=0.08
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 451 0 0 0 8 0 0 0 20 0 1 0 98166023 11624448 431 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 2838 431 196 640 0 2194 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11352

[startup+0.102001 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 28119
/proc/meminfo: memFree=1833520/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=11480 CPUtime=0.09
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 472 0 0 0 9 0 0 0 20 0 1 0 98166023 11755520 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 2870 452 196 640 0 2226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11480

[startup+0.302026 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 28119
/proc/meminfo: memFree=1833520/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=12508 CPUtime=0.29
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 737 0 0 0 29 0 0 0 22 0 1 0 98166023 12808192 717 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 3127 717 196 640 0 2483 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12508

[startup+0.701077 s]
/proc/loadavg: 1.00 1.00 0.93 3/65 28119
/proc/meminfo: memFree=1833520/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=14052 CPUtime=0.69
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 1129 0 0 0 69 0 0 0 25 0 1 0 98166023 14389248 1109 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 3513 1109 196 640 0 2869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14052

[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1829352/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=15208 CPUtime=1.49
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 1394 0 0 0 148 1 0 0 25 0 1 0 98166023 15572992 1374 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 3802 1374 197 640 0 3158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15208

[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1828648/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=15208 CPUtime=3.09
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 1394 0 0 0 307 2 0 0 25 0 1 0 98166023 15572992 1374 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 3802 1374 197 640 0 3158 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15208

[startup+6.30178 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1828464/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=15328 CPUtime=6.29
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 1437 0 0 0 625 4 0 0 25 0 1 0 98166023 15695872 1417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 3832 1417 197 640 0 3188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15328

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1826928/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=16740 CPUtime=12.69
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 1780 0 0 0 1264 5 0 0 25 0 1 0 98166023 17141760 1760 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4185 1760 197 640 0 3541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16740

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1826864/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=17256 CPUtime=25.48
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 1902 0 0 0 2539 9 0 0 25 0 1 0 98166023 17670144 1882 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4314 1882 197 640 0 3670 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17256

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1825392/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=18280 CPUtime=51.07
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 2172 0 0 0 5093 14 0 0 25 0 1 0 98166023 18718720 2152 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4570 2152 197 640 0 3926 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18280

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

[startup+54.3018 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1825392/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=18280 CPUtime=54.27
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 2172 0 0 0 5412 15 0 0 25 0 1 0 98166023 18718720 2152 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4570 2152 197 640 0 3926 0
Current children cumulated CPU time (s) 54.27
Current children cumulated vsize (KiB) 18280

[startup+55.902 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1825392/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=18280 CPUtime=55.87
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 2172 0 0 0 5572 15 0 0 25 0 1 0 98166023 18718720 2152 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4570 2152 197 640 0 3926 0
Current children cumulated CPU time (s) 55.87
Current children cumulated vsize (KiB) 18280

[startup+57.5012 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1825392/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=18280 CPUtime=57.47
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 2172 0 0 0 5731 16 0 0 25 0 1 0 98166023 18718720 2152 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4570 2152 197 640 0 3926 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 18280

[startup+58.3053 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1825392/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=18280 CPUtime=58.27
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 2172 0 0 0 5811 16 0 0 25 0 1 0 98166023 18718720 2152 1992294400 134512640 137136520 4294956256 18446744073709551615 136294900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4570 2152 197 640 0 3926 0
Current children cumulated CPU time (s) 58.27
Current children cumulated vsize (KiB) 18280

[startup+58.5013 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 28120
/proc/meminfo: memFree=1825392/2055920 swapFree=4192812/4192956
[pid=28119] ppid=28117 vsize=18280 CPUtime=58.47
/proc/28119/stat : 28119 (bsolo) R 28117 28119 26968 0 -1 4194304 2172 0 0 0 5831 16 0 0 25 0 1 0 98166023 18718720 2152 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28119/statm: 4570 2152 197 640 0 3926 0
Current children cumulated CPU time (s) 58.47
Current children cumulated vsize (KiB) 18280

Child status: 0
Real time (s): 58.5196
CPU time (s): 58.5001
CPU user time (s): 58.3301
CPU system time (s): 0.169974
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 18280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.3301
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2174
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= 82

runsolver used 0.06499 second user time and 0.156976 second system time

The end

Launcher Data 

Begin job on node92 at 2009-06-16 23:24:02
IDJOB=1877994
IDBENCH=47974
IDSOLVER=700
FILE ID=node92/1877994-1245187442
PBS_JOBID= 9368275
Free space on /tmp= 66472 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877994-1245187442/watcher-1877994-1245187442 -o /tmp/evaluation-result-1877994-1245187442/solver-1877994-1245187442 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1877994-1245187442.opb

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

MD5SUM BENCH= 814b8e94cfd87905bb7ea3866973cde4
RANDOM SEED=385173757

node92.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.233
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.233
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1834000 kB
Buffers:         17780 kB
Cached:         140180 kB
SwapCached:        140 kB
Active:          52056 kB
Inactive:       119920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834000 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3940 kB
Writeback:           0 kB
Mapped:          23636 kB
Slab:            35808 kB
Committed_AS:    72504 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877994-1245187442.opb

Free space on /tmp at the end= 66468 MiB
End job on node92 at 2009-06-16 23:25:01