Trace number 2670403

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardOPT3 12.4081 12.4129

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=41-P1=53-P2=67-P3=59-P4=53-P5=61-P6=29-P7=29-P8=17-B.opb
MD5SUMf3f9a9130af59a7746b19fdd52967c7b
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 benchmark0.580911
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 variables144
Total number of constraints17
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 constraints17
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)288
Sum of products size (including duplicates)576
Number of different products288
Sum of products size576

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.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670403-1276702206.opb
0.00/0.00	c File size is 21533 bytes.
0.00/0.00	c Highest Coefficient sum: 8064
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 432 Constr: 601 288/0/313 Lit: 2538 Watch. Lit: 1586
0.00/0.00	c Obj. Vars: 6 (1.38889 % of total variables)
0.00/0.00	c Pre-processing Time: 0.007 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    432      601     2538    4     2172    3443      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
0.69/0.75	c      101    432      794     8270   10     2584    3788    193   5050 0.02
0.69/0.75	c      251    432     1055    21106   20     3139    4167    454   3691 0.07
0.69/0.75	c      477    432     1483    35358   23     4199    4584    882   4500 0.11
0.69/0.75	c      815    432     2103    55230   26     5673    5043   1502   5093 0.16
0.69/0.75	c     1325    432     3045    88185   28     7850    5548   2444   4981 0.27
0.69/0.75	c     2088    432     4480   130031   29    11080    6103   3879   4350 0.48
0.69/0.75	o 9
3.39/3.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.41	c     3198    432     6577   199840   30    15850    3456   5976   4275 0.75
3.39/3.41	c     3300    423     2514    69656   27     6255    3802   1913   4214 0.78
3.39/3.41	c     3551    415     2906    83526   28     7098    4183   2305   4252 0.83
3.39/3.41	c     4027    415     3674   112471   30     8661    4602   3073   4353 0.93
3.39/3.41	c     4842    415     5166   162052   31    12134    5063   4565   4377 1.11
3.39/3.41	c     6162    415     4802   146624   30    12123    5570   4201   4078 1.51
3.39/3.41	c     8243    412     5459   161623   29    13199    6128   4858   3264 2.52
3.39/3.41	o 5
5.09/5.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.10	c    11120    412     4058   134806   33     9905    3452   3457   3258 3.41
5.09/5.10	c    11221    412     2336    68692   29     5852    3798   1735   3261 3.44
5.09/5.10	c    11472    412     2800    85121   30     6955    4178   2199   3293 3.48
5.09/5.10	c    11948    412     3587   109795   30     8770    4596   2986   3300 3.62
5.09/5.10	c    12761    412     5093   163464   32    12302    5056   4492   3337 3.82
5.09/5.10	c    14081    411     4782   144181   30    11814    5562   4181   3290 4.28
5.09/5.10	c    16162    403     5656   171002   30    13749    6119   5055   3288 4.92
5.09/5.10	o 3
12.39/12.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.39/12.41	c    16928    403     3715   104883   28     9267    3449   3114   3315 5.11
12.39/12.41	c    17029    386     3903   110943   28     9714    3794   3302   3320 5.13
12.39/12.41	c    17280    386     4372   128455   29    10835    4174   3771   3330 5.19
12.39/12.41	c    17755    386     3075    85734   27     7956    4592   2474   3348 5.30
12.39/12.41	c    18569    386     4460   129060   28    11208    5052   3859   3321 5.59
12.39/12.41	c    19889    386     4163   123467   29    10105    5558   3562   3312 6.00
12.39/12.41	c    21970    385     4936   146796   29    11761    6114   4335   3304 6.65
12.39/12.41	c    25193    384     4172   121405   29    10234    6726   3571   3199 7.87
12.39/12.41	c    30130    383     5964   179706   30    14268    7399   5363   3074 9.80
12.39/12.41	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 -x33 x34 x35 x36 x37 -x38 -x39 x40 -x41 -x42 x43 x44 x45 x46 -x47 -x48 x49 x50 -x51 -x52 x53 -x54 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 x55 -x56 -x57 -x58 -x59 -x60 -x97 x98 -x99 -x100 -x101 -x102 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x61 -x62 x63 -x64 -x65 -x66 -x103 -x104 -x105 -x106 -x107 -x108 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 x67 -x68 -x69 -x70 -x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x73 -x74 -x75 x76 -x77 -x78 -x115 -x116 -x117 -x118 -x119 -x120 x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 x310 -x311 -x312 x313 -x314 -x315 x316 -x317 -x318 x319 -x320 -x321 x322 -x323 -x324 x79 -x80 -x81 -x82 -x83 -x84 -x121 -x122 -x123 x124 -x125 -x126 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x85 -x86 -x87 x88 -x89 -x90 -x127 -x128 -x129 -x130 -x131 -x132 x361 -x362 -x363 x364 -x365 -x366 x367 -x368 -x369 x370 -x371 -x372 x373 -x374 -x375 x376 -x377 -x378 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x91 x92 x93 -x94 -x95 -x96 -x133 x134 -x135 -x136 -x137 -x138 x397 x398 x399 -x400 -x401 -x402 x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x139 x140 -x141 -x142 -x143 -x144 
12.39/12.41	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
12.39/12.41	c   29    35441    794    41156     7477   217250   6876   2856 12.41
12.39/12.41	c Objective: 3
12.39/12.41	s OPTIMUM FOUND
12.39/12.41	c Total time: 12.407 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-2670403-1276702206/watcher-2670403-1276702206 -o /tmp/evaluation-result-2670403-1276702206/solver-2670403-1276702206 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670403-1276702206.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 1.01 0.95 3/105 17286
/proc/meminfo: memFree=1677916/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=10924 CPUtime=0
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 368 0 0 0 0 0 0 0 25 0 1 0 11514134 11186176 280 1992294400 134512640 137138936 4287650768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 2731 280 185 642 0 2087 0

[startup+0.0766189 s]
/proc/loadavg: 0.99 1.01 0.95 3/105 17286
/proc/meminfo: memFree=1677916/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=11184 CPUtime=0.07
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 450 0 0 0 7 0 0 0 25 0 1 0 11514134 11452416 362 1992294400 134512640 137138936 4287650768 18446744073709551615 136502003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 2796 362 192 642 0 2152 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11184

[startup+0.10062 s]
/proc/loadavg: 0.99 1.01 0.95 3/105 17286
/proc/meminfo: memFree=1677916/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=11312 CPUtime=0.09
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 487 0 0 0 9 0 0 0 25 0 1 0 11514134 11583488 399 1992294400 134512640 137138936 4287650768 18446744073709551615 134543462 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 2828 399 192 642 0 2184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11312

[startup+0.300642 s]
/proc/loadavg: 0.99 1.01 0.95 3/105 17286
/proc/meminfo: memFree=1677916/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=12348 CPUtime=0.29
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 745 0 0 0 29 0 0 0 25 0 1 0 11514134 12644352 657 1992294400 134512640 137138936 4287650768 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3087 657 192 642 0 2443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12348

[startup+0.700687 s]
/proc/loadavg: 0.99 1.01 0.95 3/105 17286
/proc/meminfo: memFree=1677916/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=13904 CPUtime=0.69
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1117 0 0 0 68 1 0 0 25 0 1 0 11514134 14237696 1029 1992294400 134512640 137138936 4287650768 18446744073709551615 134599815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3476 1029 192 642 0 2832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13904

[startup+1.50078 s]
/proc/loadavg: 0.99 1.01 0.95 2/106 17287
/proc/meminfo: memFree=1674684/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14160 CPUtime=1.49
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1186 0 0 0 148 1 0 0 25 0 1 0 11514134 14499840 1098 1992294400 134512640 137138936 4287650768 18446744073709551615 134573015 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3540 1098 192 642 0 2896 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14160

[startup+3.10096 s]
/proc/loadavg: 0.99 1.01 0.95 2/106 17289
/proc/meminfo: memFree=1674312/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14536 CPUtime=3.08
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1271 0 0 0 307 1 0 0 25 0 1 0 11514134 14884864 1183 1992294400 134512640 137138936 4287650768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3634 1183 192 642 0 2990 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14536

[startup+6.30132 s]
/proc/loadavg: 1.07 1.03 0.95 2/106 17289
/proc/meminfo: memFree=1673816/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14664 CPUtime=6.29
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1319 0 0 0 626 3 0 0 25 0 1 0 11514134 15015936 1231 1992294400 134512640 137138936 4287650768 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3666 1231 192 642 0 3022 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14664

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

[startup+9.50068 s]
/proc/loadavg: 1.07 1.03 0.95 2/106 17289
/proc/meminfo: memFree=1673824/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14664 CPUtime=9.49
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1321 0 0 0 945 4 0 0 25 0 1 0 11514134 15015936 1233 1992294400 134512640 137138936 4287650768 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3666 1233 192 642 0 3022 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 14664

[startup+11.1009 s]
/proc/loadavg: 1.07 1.03 0.95 2/106 17289
/proc/meminfo: memFree=1673576/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14920 CPUtime=11.08
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1390 0 0 0 1104 4 0 0 25 0 1 0 11514134 15278080 1302 1992294400 134512640 137138936 4287650768 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3730 1302 192 642 0 3086 0
Current children cumulated CPU time (s) 11.08
Current children cumulated vsize (KiB) 14920

[startup+11.901 s]
/proc/loadavg: 1.07 1.03 0.95 2/106 17289
/proc/meminfo: memFree=1673576/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14920 CPUtime=11.89
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1390 0 0 0 1184 5 0 0 25 0 1 0 11514134 15278080 1302 1992294400 134512640 137138936 4287650768 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3730 1302 192 642 0 3086 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 14920

[startup+12.301 s]
/proc/loadavg: 1.07 1.03 0.95 2/106 17289
/proc/meminfo: memFree=1673576/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14920 CPUtime=12.29
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1390 0 0 0 1224 5 0 0 25 0 1 0 11514134 15278080 1302 1992294400 134512640 137138936 4287650768 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3730 1302 192 642 0 3086 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 14920

[startup+12.401 s]
/proc/loadavg: 1.07 1.03 0.95 2/106 17289
/proc/meminfo: memFree=1673576/2059040 swapFree=4192956/4192956
[pid=17286] ppid=17284 vsize=14920 CPUtime=12.39
/proc/17286/stat : 17286 (bsolo_pb10) R 17284 17286 17025 0 -1 4202496 1390 0 0 0 1234 5 0 0 25 0 1 0 11514134 15278080 1302 1992294400 134512640 137138936 4287650768 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17286/statm: 3730 1302 192 642 0 3086 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 14920

Child status: 0
Real time (s): 12.4129
CPU time (s): 12.4081
CPU user time (s): 12.3521
CPU system time (s): 0.055991
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 14920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3521
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1391
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= 1
involuntary context switches= 160

runsolver used 0.022996 second user time and 0.066989 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-16 17:30:06
IDJOB=2670403
IDBENCH=47918
IDSOLVER=1162
FILE ID=node088/2670403-1276702206
PBS_JOBID= 11174078
Free space on /tmp= 62564 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=67-P3=59-P4=53-P5=61-P6=29-P7=29-P8=17-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670403-1276702206/watcher-2670403-1276702206 -o /tmp/evaluation-result-2670403-1276702206/solver-2670403-1276702206 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670403-1276702206.opb

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

MD5SUM BENCH= f3f9a9130af59a7746b19fdd52967c7b
RANDOM SEED=1587206296

node088.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.217
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1678948 kB
Buffers:         90320 kB
Cached:         149908 kB
SwapCached:          0 kB
Active:          99240 kB
Inactive:       200960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1678948 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3864 kB
Writeback:           0 kB
AnonPages:       59884 kB
Mapped:          15596 kB
Slab:            58236 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182260 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670403-1276702206.opb

Free space on /tmp at the end= 62560 MiB
End job on node088 at 2010-06-16 17:30:18