Trace number 2670615

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 492.29 492.437

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb
MD5SUM9b762ab9d310cdc754a8481e0a3342a1
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 benchmark1.89785
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 variables96
Total number of constraints9
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 constraints9
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)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

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-2670615-1276703557.opb
0.00/0.00	c File size is 18984 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.003 s
0.00/0.00	c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354
0.00/0.00	c Obj. Vars: 8 (2.27273 % of total variables)
0.00/0.01	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    352      525     2200    4     1890    2949      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1.39/1.49	c      101    352      721    11704   16     2388    3244    196   3607 0.03
1.39/1.49	c      253    352     1014    28402   28     3168    3569    489   3892 0.07
1.39/1.49	c      479    352     1453    53984   37     4222    3926    928   3991 0.12
1.39/1.49	c      817    352     2102    92818   44     6006    4319   1577   3782 0.22
1.39/1.49	c     1329    352     3090   147067   47     8513    4751   2565   3544 0.38
1.39/1.49	c     2092    352     4545   219475   48    12310    5227   4020   3223 0.65
1.39/1.49	c     3239    352     3900   183090   46    10118    5750   3375   2744 1.18
1.39/1.49	o 129
179.73/179.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.73/179.88	c     3853    352     5064   244991   48    12811    2965   4539   2589 1.49
179.73/179.88	c     3963    352     2201    98582   44     5476    3262   1676   2571 1.54
179.73/179.88	c     4213    352     2671   129845   48     6625    3589   2146   2618 1.61
179.73/179.88	c     4689    352     3602   177277   49     8928    3948   3077   2644 1.77
179.73/179.88	c     5503    352     3109   137121   44     7912    4343   2584   2565 2.15
179.73/179.88	c     6825    352     3463   151177   43     8855    4778   2938   2427 2.81
179.73/179.88	c     8907    352     5043   238355   47    12566    5256   4518   2261 3.94
179.73/179.88	c    12131    352     3154   139816   44     7863    5782   2629   2092 5.80
179.73/179.88	c    17067    352     6244   338839   54    15089    6361   5719   1999 8.54
179.73/179.88	c    24573    352     3707   201788   54     9681    6998   3182   1847 13.30
179.73/179.88	c    35935    352     6733   367104   54    16597    7698   6208   1860 19.31
179.73/179.88	c    53080    352     6481   307866   47    16493    8468   5956   1740 30.50
179.73/179.88	c    78901    352     6387   329036   51    16163    9315   5862   1461 54.00
179.73/179.88	c   117733    352     6846   321094   46    17443   10247   6321   1339 87.92
179.73/179.88	c   176086    352     6003   311547   51    15074   11272   5478   1239 142.09
179.73/179.88	o 9
191.73/191.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.73/191.86	c   209999    351     6308   386051   61    14832    2965   5783   1167 179.83
191.73/191.86	c   210099    311     2196   117062   53     5494    3262   1671   1167 179.90
191.73/191.86	c   210349    311     2686   144270   53     6865    3589   2161   1168 179.97
191.73/191.86	c   210824    311     3590   191077   53     9236    3948   3065   1170 180.16
191.73/191.86	c   211638    311     2765   127925   46     7324    4343   2240   1172 180.49
191.73/191.86	c   212958    311     2844   145572   51     7320    4778   2319   1176 181.01
191.73/191.86	c   215039    311     4355   240751   55    10896    5256   3830   1181 182.07
191.73/191.86	c   218262    311     5003   243353   48    13551    5782   4478   1184 184.22
191.73/191.86	c   223198    311     5024   245927   48    13211    6361   4499   1188 187.75
191.73/191.86	o 3
492.24/492.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
492.24/492.43	c   228918    311     5601   275675   49    14748    2957   5076   1193 191.80
492.24/492.43	c   229018    280     2179    97349   44     5694    3253   1654   1193 191.87
492.24/492.43	c   229268    280     2634   123854   47     6727    3579   2109   1194 191.95
492.24/492.43	c   229743    280     3458   173456   50     8615    3937   2933   1195 192.18
492.24/492.43	c   230557    280     2675   126252   47     6957    4331   2150   1197 192.59
492.24/492.43	c   231878    280     2770   133758   48     7116    4765   2245   1199 193.25
492.24/492.43	c   233961    280     4105   210909   51    10443    5242   3580   1204 194.25
492.24/492.43	c   237185    280     4638   233117   50    12252    5767   4113   1211 195.71
492.24/492.43	c   242122    280     4523   232321   51    11159    6344   3998   1217 198.85
492.24/492.43	c   249629    280     4501   222122   49    11488    6979   3976   1222 204.11
492.24/492.43	c   260991    280     6460   335437   51    15745    7677   5935   1221 213.69
492.24/492.43	c   278136    280     5428   277973   51    12947    8445   4903   1221 227.63
492.24/492.43	c   303956    280     8987   460860   51    23047    9290   8462   1209 251.25
492.24/492.43	c   342789    280     6667   322795   48    16496   10220   6142   1201 285.19
492.24/492.43	c   401141    280     8719   448240   51    22506   11243   8194   1178 340.44
492.24/492.43	c   488773    279    10578   523697   49    26915   12368  10053   1124 434.82
492.24/492.43	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 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 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 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 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -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 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 
492.24/492.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
492.24/492.43	c   47   531002   4981   545638     7318   300972   6793   1078 492.29
492.24/492.43	c Objective: 3
492.24/492.43	s OPTIMUM FOUND
492.24/492.43	c Total time: 492.288 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-2670615-1276703557/watcher-2670615-1276703557 -o /tmp/evaluation-result-2670615-1276703557/solver-2670615-1276703557 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670615-1276703557.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.99 2/106 16261
/proc/meminfo: memFree=1680184/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=10792 CPUtime=0
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 348 0 0 0 0 0 0 0 19 0 1 0 11647636 11051008 261 1992294400 134512640 137138936 4293944448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 2698 261 184 642 0 2054 0

[startup+0.0613641 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 16261
/proc/meminfo: memFree=1680184/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=11180 CPUtime=0.05
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 445 0 0 0 5 0 0 0 19 0 1 0 11647636 11448320 358 1992294400 134512640 137138936 4293944448 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 2795 358 192 642 0 2151 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11180

[startup+0.101367 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 16261
/proc/meminfo: memFree=1680184/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=11440 CPUtime=0.09
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 514 0 0 0 9 0 0 0 19 0 1 0 11647636 11714560 427 1992294400 134512640 137138936 4293944448 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 2860 427 192 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.301386 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 16261
/proc/meminfo: memFree=1680184/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=12604 CPUtime=0.29
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 812 0 0 0 29 0 0 0 20 0 1 0 11647636 12906496 725 1992294400 134512640 137138936 4293944448 18446744073709551615 134576121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 3151 725 192 642 0 2507 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12604

[startup+0.701422 s]
/proc/loadavg: 1.00 1.00 0.99 2/106 16261
/proc/meminfo: memFree=1680184/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=14276 CPUtime=0.69
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 1230 0 0 0 69 0 0 0 20 0 1 0 11647636 14618624 1143 1992294400 134512640 137138936 4293944448 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 3569 1143 192 642 0 2925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14276

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16262
/proc/meminfo: memFree=1675836/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=15308 CPUtime=1.49
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 1479 0 0 0 148 1 0 0 22 0 1 0 11647636 15675392 1392 1992294400 134512640 137138936 4293944448 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 3827 1392 192 642 0 3183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15308

[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16262
/proc/meminfo: memFree=1675588/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=15308 CPUtime=3.09
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 1479 0 0 0 308 1 0 0 25 0 1 0 11647636 15675392 1392 1992294400 134512640 137138936 4293944448 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 3827 1392 192 642 0 3183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15308

[startup+6.30094 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16262
/proc/meminfo: memFree=1675464/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=15308 CPUtime=6.29
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 1479 0 0 0 627 2 0 0 25 0 1 0 11647636 15675392 1392 1992294400 134512640 137138936 4293944448 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 3827 1392 192 642 0 3183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15308

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16264
/proc/meminfo: memFree=1673852/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=16740 CPUtime=12.69
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 1837 0 0 0 1266 3 0 0 25 0 1 0 11647636 17141760 1750 1992294400 134512640 137138936 4293944448 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 4185 1750 192 642 0 3541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16740

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16264
/proc/meminfo: memFree=1672860/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=17768 CPUtime=25.48
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 2101 0 0 0 2542 6 0 0 25 0 1 0 11647636 18194432 2014 1992294400 134512640 137138936 4293944448 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 4442 2014 192 642 0 3798 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17768

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16264
/proc/meminfo: memFree=1672116/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=18632 CPUtime=51.08
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 2299 0 0 0 5098 10 0 0 25 0 1 0 11647636 19079168 2212 1992294400 134512640 137138936 4293944448 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 4658 2212 192 642 0 4014 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18632

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16266
/proc/meminfo: memFree=1669636/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=20932 CPUtime=102.26
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 2874 0 0 0 10204 22 0 0 25 0 1 0 11647636 21434368 2787 1992294400 134512640 137138936 4293944448 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5233 2787 192 642 0 4589 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20932

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16268
/proc/meminfo: memFree=1668272/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22220 CPUtime=162.24
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3200 0 0 0 16190 34 0 0 25 0 1 0 11647636 22753280 3113 1992294400 134512640 137138936 4293944448 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5555 3113 192 642 0 4911 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22220

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16268
/proc/meminfo: memFree=1668272/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22216 CPUtime=222.22
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3200 0 0 0 22172 50 0 0 25 0 1 0 11647636 22749184 3113 1992294400 134512640 137138936 4293944448 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5554 3113 192 642 0 4910 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22216

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16270
/proc/meminfo: memFree=1668272/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22208 CPUtime=282.21
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3200 0 0 0 28158 63 0 0 25 0 1 0 11647636 22740992 3113 1992294400 134512640 137138936 4293944448 18446744073709551615 134577143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5552 3113 192 642 0 4908 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 22208

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16272
/proc/meminfo: memFree=1668148/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22196 CPUtime=342.18
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3200 0 0 0 34141 77 0 0 25 0 1 0 11647636 22728704 3113 1992294400 134512640 137138936 4293944448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5549 3113 192 642 0 4905 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 22196

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16274
/proc/meminfo: memFree=1668148/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22196 CPUtime=402.17
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3200 0 0 0 40126 91 0 0 25 0 1 0 11647636 22728704 3113 1992294400 134512640 137138936 4293944448 18446744073709551615 134603296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5549 3113 192 642 0 4905 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22196

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=462.15
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 46112 103 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 22200

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

[startup+473.501 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=473.35
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 47229 106 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 473.35
Current children cumulated vsize (KiB) 22200

[startup+479.901 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=479.74
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 47867 107 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 479.74
Current children cumulated vsize (KiB) 22200

[startup+486.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=486.15
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 48506 109 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 486.15
Current children cumulated vsize (KiB) 22200

[startup+489.509 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=489.35
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 48826 109 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 489.35
Current children cumulated vsize (KiB) 22200

[startup+491.102 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=490.95
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 48985 110 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 490.95
Current children cumulated vsize (KiB) 22200

[startup+491.902 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=491.75
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 49065 110 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 491.75
Current children cumulated vsize (KiB) 22200

[startup+492.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=492.14
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 49104 110 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134618857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 492.14
Current children cumulated vsize (KiB) 22200

[startup+492.401 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 16276
/proc/meminfo: memFree=1668024/2059040 swapFree=4187148/4192956
[pid=16261] ppid=16259 vsize=22200 CPUtime=492.24
/proc/16261/stat : 16261 (bsolo_pb10) R 16259 16261 15619 0 -1 4202496 3201 0 0 0 49114 110 0 0 25 0 1 0 11647636 22732800 3114 1992294400 134512640 137138936 4293944448 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16261/statm: 5550 3114 192 642 0 4906 0
Current children cumulated CPU time (s) 492.24
Current children cumulated vsize (KiB) 22200

Child status: 0
Real time (s): 492.437
CPU time (s): 492.29
CPU user time (s): 491.182
CPU system time (s): 1.10783
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 22220

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

runsolver used 0.751885 second user time and 2.38964 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-16 17:52:37
IDJOB=2670615
IDBENCH=48024
IDSOLVER=1162
FILE ID=node048/2670615-1276703557
PBS_JOBID= 11174096
Free space on /tmp= 62456 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670615-1276703557/watcher-2670615-1276703557 -o /tmp/evaluation-result-2670615-1276703557/solver-2670615-1276703557 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670615-1276703557.opb

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

MD5SUM BENCH= 9b762ab9d310cdc754a8481e0a3342a1
RANDOM SEED=1858871494

node048.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.212
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.42
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.212
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1681332 kB
Buffers:        112480 kB
Cached:         144084 kB
SwapCached:        280 kB
Active:         103400 kB
Inactive:       207056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1681332 kB
SwapTotal:     4192956 kB
SwapFree:      4187148 kB
Dirty:            4128 kB
Writeback:           0 kB
AnonPages:       53632 kB
Mapped:          15360 kB
Slab:            45460 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181480 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-2670615-1276703557.opb

Free space on /tmp at the end= 62452 MiB
End job on node048 at 2010-06-16 18:00:50