Trace number 2670599

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 11.6282 11.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=29-P1=59-P2=11-P3=29-P4=29-P5=11-P6=41-P7=53-B.opb
MD5SUMaffad7ab158260414bbe6adaa71155fb
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.51492
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 variables126
Total number of constraints15
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 constraints15
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)252
Sum of products size (including duplicates)504
Number of different products252
Sum of products size504

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-2670599-1276703315.opb
0.00/0.00	c File size is 18837 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: 378 Constr: 526 252/0/274 Lit: 2220 Watch. Lit: 1388
0.00/0.00	c Obj. Vars: 6 (1.5873 % 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    378      526     2220    4     1900    3011      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
1.59/1.62	c      100    378      712     7580   10     2287    3313    186   4761 0.02
1.59/1.62	c      253    378      990    21787   22     2885    3645    464   5163 0.05
1.59/1.62	c      479    378     1392    37893   27     3760    4010    866   4887 0.10
1.59/1.62	c      820    378     2038    58821   28     5193    4412   1512   5189 0.16
1.59/1.62	c     1328    378     2997    92260   30     7487    4854   2471   5049 0.26
1.59/1.62	c     2092    378     4461   142806   32    10791    5340   3935   4537 0.46
1.59/1.62	c     3239    378     3760   130738   34     9054    5875   3234   4069 0.80
1.59/1.62	c     4960    378     4002   125113   31     9389    6463   3476   3693 1.34
1.59/1.62	o 47
2.09/2.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.11	c     6199    378     6339   207958   32    14747    3024   5813   3810 1.63
2.09/2.11	c     6300    378     2228    64839   29     5502    3327   1702   3779 1.67
2.09/2.11	c     6551    378     2711    84138   31     6593    3660   2185   3813 1.72
2.09/2.11	c     7026    377     3588   109464   30     8580    4027   3062   3879 1.81
2.09/2.11	c     7839    377     2679    89371   33     6608    4430   2153   3783 2.07
2.09/2.11	o 43
3.49/3.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.59	c     8049    377     3069   106608   34     7518    3023   2543   3807 2.11
3.49/3.59	c     8150    377     3251   113482   34     7926    3326   2725   3819 2.13
3.49/3.59	c     8400    377     3692   128719   34     8928    3659   3166   3826 2.19
3.49/3.59	c     8875    377     2418    73202   30     6168    4025   1892   3813 2.33
3.49/3.59	c     9688    377     3882   122892   31     9703    4428   3356   3714 2.61
3.49/3.59	c    11008    377     3889   111437   28     9535    4871   3363   3418 3.22
3.49/3.59	o 9
5.09/5.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.11	c    11885    374     5382   158522   29    12947    3023   4856   3305 3.60
5.09/5.11	c    11985    366     2219    58217   26     5580    3326   1693   3292 3.64
5.09/5.11	c    12235    366     2687    73085   27     6764    3659   2161   3313 3.69
5.09/5.11	c    12711    366     3547   102863   29     8813    4025   3021   3338 3.81
5.09/5.11	c    13524    366     2844    86398   30     6975    4428   2318   3353 4.03
5.09/5.11	c    14844    358     2776    78733   28     6893    4871   2250   3335 4.45
5.09/5.11	o 7
5.40/5.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.40/5.46	c    16891    358     3810   114546   30     9032    3019   3284   3300 5.12
5.40/5.46	c    16993    358     2239    62743   28     5501    3321   1713   3300 5.15
5.40/5.46	c    17243    350     2707    79337   29     6595    3654   2181   3318 5.20
5.40/5.46	c    17719    350     3615   112251   31     8721    4020   3089   3338 5.31
5.40/5.46	o 3
11.59/11.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.59/11.62	c    18327    349     2546    72762   28     6338    3017   2020   3352 5.47
11.59/11.62	c    18427    332     2712    78873   29     6632    3319   2186   3357 5.49
11.59/11.62	c    18680    332     3088    92499   29     7470    3651   2562   3365 5.55
11.59/11.62	c    19155    332     3972   123373   31     9508    4017   3446   3383 5.66
11.59/11.62	c    19968    332     3191    92638   29     8047    4419   2665   3375 5.92
11.59/11.62	c    21290    332     3144    88480   28     7694    4861   2618   3333 6.39
11.59/11.62	c    23372    331     4070   119154   29     9706    5348   3544   3302 7.08
11.59/11.62	c    26595    331     4231   126408   29    10241    5883   3705   3139 8.47
11.59/11.62	c    31532    329     3592   102864   28     8608    6472   3066   2910 10.83
11.59/11.62	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 x127 x128 -x129 -x130 -x131 -x132 x133 x134 -x135 -x136 -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 x49 -x50 x51 x52 -x53 -x54 -x85 x86 -x87 -x88 -x89 -x90 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 x55 -x56 -x57 -x58 -x59 -x60 x91 -x92 -x93 -x94 -x95 -x96 x199 -x200 -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 x61 -x62 x63 x64 -x65 -x66 -x97 -x98 -x99 -x100 -x101 -x102 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 -x265 -x266 -x267 -x268 -x269 -x270 x67 -x68 -x69 -x70 -x71 -x72 x103 -x104 -x105 -x106 -x107 -x108 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x73 -x74 -x75 x76 -x77 -x78 -x109 -x110 -x111 -x112 -x113 -x114 x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x79 -x80 -x81 -x82 x83 -x84 x115 -x116 -x117 -x118 -x119 -x120 x343 -x344 -x345 -x346 x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x121 -x122 -x123 -x124 -x125 -x126 
11.59/11.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
11.59/11.63	c   38    32869    744    38666     5768   169890   5242   2827 11.63
11.59/11.63	c Objective: 3
11.59/11.63	s OPTIMUM FOUND
11.59/11.63	c Total time: 11.626 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-2670599-1276703315/watcher-2670599-1276703315 -o /tmp/evaluation-result-2670599-1276703315/solver-2670599-1276703315 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670599-1276703315.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.94 3/106 11630
/proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=10924 CPUtime=0
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 45932824 11186176 272 1992294400 134512640 137138936 4291829632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 2731 272 185 642 0 2087 0

[startup+0.0354559 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 11630
/proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=11040 CPUtime=0.03
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 398 0 0 0 3 0 0 0 20 0 1 0 45932824 11304960 312 1992294400 134512640 137138936 4291829632 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 2760 313 192 642 0 2116 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11040

[startup+0.100462 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 11630
/proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=11432 CPUtime=0.09
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 499 0 0 0 9 0 0 0 20 0 1 0 45932824 11706368 413 1992294400 134512640 137138936 4291829632 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 2858 413 192 642 0 2214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11432

[startup+0.30048 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 11630
/proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=12468 CPUtime=0.29
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 771 0 0 0 29 0 0 0 20 0 1 0 45932824 12767232 685 1992294400 134512640 137138936 4291829632 18446744073709551615 134578895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3117 685 192 642 0 2473 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12468

[startup+0.700517 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 11630
/proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14152 CPUtime=0.69
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1188 0 0 0 68 1 0 0 20 0 1 0 45932824 14491648 1102 1992294400 134512640 137138936 4291829632 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3538 1102 192 642 0 2894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14152

[startup+1.50059 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1861276/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=1.49
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 148 1 0 0 23 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14408

[startup+3.10074 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1860780/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=3.09
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 308 1 0 0 25 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14408

[startup+6.30204 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1860780/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=6.29
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 626 3 0 0 25 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14408

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

[startup+9.50134 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1860780/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=9.49
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 945 4 0 0 25 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 14408

[startup+10.3014 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1860780/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=10.29
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 1025 4 0 0 25 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 14408

[startup+11.1015 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1860656/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=11.09
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 1105 4 0 0 25 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 14408

[startup+11.5015 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1860656/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=11.49
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 1145 4 0 0 25 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 14408

[startup+11.6015 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 11631
/proc/meminfo: memFree=1860656/2059040 swapFree=4135932/4192956
[pid=11630] ppid=11628 vsize=14408 CPUtime=11.59
/proc/11630/stat : 11630 (bsolo_pb10) R 11628 11630 11227 0 -1 4202496 1249 0 0 0 1155 4 0 0 25 0 1 0 45932824 14753792 1163 1992294400 134512640 137138936 4291829632 18446744073709551615 136500280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11630/statm: 3602 1163 192 642 0 2958 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 14408

Child status: 0
Real time (s): 11.63
CPU time (s): 11.6282
CPU user time (s): 11.5832
CPU system time (s): 0.044993
CPU usage (%): 99.9852
Max. virtual memory (cumulated for all children) (KiB): 14408

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

runsolver used 0.022996 second user time and 0.05999 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-16 17:48:35
IDJOB=2670599
IDBENCH=48016
IDSOLVER=1162
FILE ID=node015/2670599-1276703315
PBS_JOBID= 11174119
Free space on /tmp= 62584 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=29-P1=59-P2=11-P3=29-P4=29-P5=11-P6=41-P7=53-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670599-1276703315/watcher-2670599-1276703315 -o /tmp/evaluation-result-2670599-1276703315/solver-2670599-1276703315 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670599-1276703315.opb

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

MD5SUM BENCH= affad7ab158260414bbe6adaa71155fb
RANDOM SEED=1383645147

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1865408 kB
Buffers:         13232 kB
Cached:         100572 kB
SwapCached:      10760 kB
Active:          77640 kB
Inactive:        50280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1865408 kB
SwapTotal:     4192956 kB
SwapFree:      4135932 kB
Dirty:            4224 kB
Writeback:           0 kB
AnonPages:       12568 kB
Mapped:           9432 kB
Slab:            43936 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182344 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-2670599-1276703315.opb

Free space on /tmp at the end= 62580 MiB
End job on node015 at 2010-06-16 17:48:47