Trace number 2670773

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 146.273 146.339

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
MD5SUM3dcbc29326e863fba53ed8c8a10116ce
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.581911
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 variables147
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 constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)343
Sum of products size (including duplicates)686
Number of different products343
Sum of products size686

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-2670773-1276706057.opb
0.00/0.00	c File size is 25525 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843
0.00/0.00	c Obj. Vars: 7 (1.42857 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    490      708     2982    4     2557    4020      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
7.19/7.24	c      100    490      877    10212   11     2869    4423    169   3448 0.03
7.19/7.24	c      250    490     1123    21393   19     3436    4866    415   3676 0.07
7.19/7.24	c      475    490     1525    39761   26     4373    5353    817   4025 0.12
7.19/7.24	c      814    490     2152    69784   32     5892    5889   1444   3633 0.22
7.19/7.24	c     1323    490     3130   116707   37     8129    6478   2422   3509 0.38
7.19/7.24	c     2087    490     4555   182778   40    11531    7126   3847   3432 0.61
7.19/7.24	c     3233    490     6648   269742   40    16440    7839   5940   3144 1.03
7.19/7.24	c     4954    490     5571   223367   40    13754    8623   4863   3056 1.62
7.19/7.24	c     7539    490     6192   262669   42    15291    9486   5484   2138 3.53
7.19/7.24	c    11419    490     8752   357370   40    21300   10435   8044   1991 5.73
7.19/7.24	o 9
112.33/112.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
112.33/112.41	c    15011    490     9889   411978   41    24288    4034   9181   2074 7.24
112.33/112.41	c    15111    490     2898   105839   36     7459    4438   2190   2054 7.36
112.33/112.41	c    15364    490     3377   127246   37     8588    4882   2669   2072 7.41
112.33/112.41	c    15842    490     4289   163909   38    10733    5371   3581   2101 7.54
112.33/112.41	c    16655    490     5843   224105   38    14383    5909   5135   2127 7.83
112.33/112.41	c    17975    490     5315   187364   35    13004    6500   4607   2105 8.54
112.33/112.41	c    20057    490     5962   239236   40    14587    7151   5254   2092 9.59
112.33/112.41	c    23281    463     4313   194651   45    10441    7867   3605   2029 11.47
112.33/112.41	c    28218    463     4876   193279   39    11990    8654   4168   1991 14.17
112.33/112.41	c    35725    463     5486   233313   42    13674    9520   4778   1948 18.33
112.33/112.41	c    47087    463    10122   410734   40    23953   10473   9414   1786 26.36
112.33/112.41	c    64231    460     8487   403480   47    19772   11521   7779   1721 37.32
112.33/112.41	c    90050    459     7952   335528   42    19556   12674   7244   1567 57.43
112.33/112.41	c   128882    459     8739   380750   43    20390   13942   8031   1320 97.58
112.33/112.41	o 5
125.83/125.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
125.83/125.90	c   142004    458    10741   420312   39    26971    4028  10033   1263 112.36
125.83/125.90	c   142104    458     2890    94284   32     7418    4431   2182   1263 112.51
125.83/125.90	c   142355    458     3254   113316   34     8184    4875   2546   1264 112.58
125.83/125.90	c   142830    458     4103   149465   36    10287    5363   3395   1266 112.73
125.83/125.90	c   143643    449     5467   206367   37    13585    5900   4759   1269 113.16
125.83/125.90	c   144963    449     4428   162046   36    11085    6491   3720   1276 113.60
125.83/125.90	c   147045    449     4606   169578   36    11181    7141   3898   1282 114.67
125.83/125.90	c   150269    449     6690   254234   38    17098    7856   5982   1285 116.92
125.83/125.90	c   155206    449     7325   282198   38    17998    8642   6617   1281 121.11
125.83/125.90	c   162712    446     6551   265187   40    16329    9507   5843   1294 125.73
125.83/125.90	o 3
146.23/146.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.23/146.33	c   163028    446     7140   288274   40    17970    4026   6432   1295 125.84
146.23/146.33	c   163129    446     2933    98815   33     7771    4429   2225   1295 125.90
146.23/146.33	c   163380    438     3399   117138   34     9002    4872   2691   1296 125.97
146.23/146.33	c   163857    427     4321   160238   37    11241    5360   3613   1299 126.13
146.23/146.33	c   164670    427     5758   216383   37    14768    5897   5050   1303 126.38
146.23/146.33	c   165990    427     5037   180055   35    13019    6487   4329   1308 126.87
146.23/146.33	c   168072    427     5459   204548   37    14366    7136   4751   1314 127.90
146.23/146.33	c   171295    427     7708   295385   38    19795    7850   7000   1321 129.62
146.23/146.33	c   176232    427     4817   170002   35    12608    8636   4109   1326 132.90
146.23/146.33	c   183738    426     9002   360814   40    22081    9500   8294   1337 137.32
146.23/146.33	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 -x55 -x56 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 x57 x58 -x59 x60 -x61 x62 -x63 x99 -x100 -x101 -x102 -x103 -x104 -x105 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 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x64 -x65 -x66 -x67 -x68 -x69 -x70 x106 -x107 -x108 -x109 -x110 -x111 -x112 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 -x289 -x290 -x291 -x292 -x293 -x294 x71 x72 -x73 -x74 -x75 -x76 -x77 -x113 -x114 -x115 -x116 -x117 -x118 -x119 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 x78 x79 -x80 -x81 x82 x83 -x84 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x379 x380 -x381 -x382 x383 x384 -x385 x386 x387 -x388 -x389 x390 x391 -x392 x85 -x86 -x87 -x88 -x89 -x90 -x91 x127 -x128 -x129 -x130 x131 x132 -x133 x393 -x394 -x395 -x396 -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 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x92 -x93 x94 -x95 -x96 -x97 -x98 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x442 -x443 x444 -x445 -x446 -x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 -x467 -x468 -x469 x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x141 -x142 -x143 -x144 -x145 -x146 -x147 
146.23/146.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
146.23/146.33	c   44   192668   2762   206466     9940   389982   9232   1317 146.27
146.23/146.33	c Objective: 3
146.23/146.33	s OPTIMUM FOUND
146.23/146.33	c Total time: 146.269 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-2670773-1276706057/watcher-2670773-1276706057 -o /tmp/evaluation-result-2670773-1276706057/solver-2670773-1276706057 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670773-1276706057.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.23 1.04 1.01 3/106 15196
/proc/meminfo: memFree=1733644/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=10820 CPUtime=0
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 314 0 0 0 0 0 0 0 19 0 1 0 46207323 11079680 232 1992294400 134512640 137138936 4293421312 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 2705 232 171 642 0 2054 0

[startup+0.0262561 s]
/proc/loadavg: 1.23 1.04 1.01 3/106 15196
/proc/meminfo: memFree=1733644/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=10924 CPUtime=0.01
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 393 0 0 0 1 0 0 0 19 0 1 0 46207323 11186176 304 1992294400 134512640 137138936 4293421312 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 2731 304 192 642 0 2087 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10924

[startup+0.101269 s]
/proc/loadavg: 1.23 1.04 1.01 3/106 15196
/proc/meminfo: memFree=1733644/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=11308 CPUtime=0.09
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 484 0 0 0 9 0 0 0 19 0 1 0 46207323 11579392 395 1992294400 134512640 137138936 4293421312 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 2827 395 192 642 0 2183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11308

[startup+0.301308 s]
/proc/loadavg: 1.23 1.04 1.01 3/106 15196
/proc/meminfo: memFree=1733644/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=12340 CPUtime=0.29
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 719 0 0 0 29 0 0 0 20 0 1 0 46207323 12636160 630 1992294400 134512640 137138936 4293421312 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 3085 630 192 642 0 2441 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12340

[startup+0.701386 s]
/proc/loadavg: 1.23 1.04 1.01 3/106 15196
/proc/meminfo: memFree=1733644/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=13888 CPUtime=0.69
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 1136 0 0 0 69 0 0 0 20 0 1 0 46207323 14221312 1047 1992294400 134512640 137138936 4293421312 18446744073709551615 134606841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 3472 1047 192 642 0 2828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13888

[startup+1.50154 s]
/proc/loadavg: 1.23 1.04 1.01 2/107 15197
/proc/meminfo: memFree=1729544/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=16740 CPUtime=1.48
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 1850 0 0 0 147 1 0 0 22 0 1 0 46207323 17141760 1761 1992294400 134512640 137138936 4293421312 18446744073709551615 134543077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 4185 1761 192 642 0 3541 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16740

[startup+3.10086 s]
/proc/loadavg: 1.21 1.04 1.01 2/107 15197
/proc/meminfo: memFree=1727560/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=17264 CPUtime=3.09
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 1963 0 0 0 307 2 0 0 25 0 1 0 46207323 17678336 1874 1992294400 134512640 137138936 4293421312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 4316 1874 192 642 0 3672 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17264

[startup+6.30148 s]
/proc/loadavg: 1.21 1.04 1.01 2/107 15197
/proc/meminfo: memFree=1726444/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=18532 CPUtime=6.28
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2276 0 0 0 625 3 0 0 25 0 1 0 46207323 18976768 2187 1992294400 134512640 137138936 4293421312 18446744073709551615 134576342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 4633 2187 192 642 0 3989 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18532

[startup+12.7007 s]
/proc/loadavg: 1.18 1.04 1.01 2/107 15197
/proc/meminfo: memFree=1725700/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=18528 CPUtime=12.68
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2276 0 0 0 1262 6 0 0 25 0 1 0 46207323 18972672 2187 1992294400 134512640 137138936 4293421312 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 4632 2187 192 642 0 3988 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18528

[startup+25.5012 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 15197
/proc/meminfo: memFree=1725700/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=18520 CPUtime=25.48
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2276 0 0 0 2539 9 0 0 25 0 1 0 46207323 18964480 2187 1992294400 134512640 137138936 4293421312 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 4630 2187 192 642 0 3986 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18520

[startup+51.1012 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 15197
/proc/meminfo: memFree=1724460/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=19804 CPUtime=51.06
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2610 0 0 0 5091 15 0 0 25 0 1 0 46207323 20279296 2521 1992294400 134512640 137138936 4293421312 18446744073709551615 134555509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 4951 2521 192 642 0 4307 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 19804

[startup+102.308 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 15199
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20936 CPUtime=102.25
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 10199 26 0 0 25 0 1 0 46207323 21438464 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5234 2791 192 642 0 4590 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 20936

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

[startup+127.901 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 15199
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20912 CPUtime=127.83
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 12752 31 0 0 25 0 1 0 46207323 21413888 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5228 2791 192 642 0 4584 0
Current children cumulated CPU time (s) 127.83
Current children cumulated vsize (KiB) 20912

[startup+134.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 15201
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20888 CPUtime=134.23
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 13390 33 0 0 25 0 1 0 46207323 21389312 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5222 2791 192 642 0 4578 0
Current children cumulated CPU time (s) 134.23
Current children cumulated vsize (KiB) 20888

[startup+140.701 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 15201
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20888 CPUtime=140.63
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 14029 34 0 0 25 0 1 0 46207323 21389312 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5222 2791 192 642 0 4578 0
Current children cumulated CPU time (s) 140.63
Current children cumulated vsize (KiB) 20888

[startup+143.901 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 15201
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20884 CPUtime=143.83
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 14348 35 0 0 25 0 1 0 46207323 21385216 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5221 2791 192 642 0 4577 0
Current children cumulated CPU time (s) 143.83
Current children cumulated vsize (KiB) 20884

[startup+145.501 s]
/proc/loadavg: 1.02 1.02 1.00 3/107 15201
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20884 CPUtime=145.42
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 14507 35 0 0 25 0 1 0 46207323 21385216 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5221 2791 192 642 0 4577 0
Current children cumulated CPU time (s) 145.42
Current children cumulated vsize (KiB) 20884

[startup+145.901 s]
/proc/loadavg: 1.02 1.02 1.00 3/107 15201
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20884 CPUtime=145.82
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 14547 35 0 0 25 0 1 0 46207323 21385216 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5221 2791 192 642 0 4577 0
Current children cumulated CPU time (s) 145.82
Current children cumulated vsize (KiB) 20884

[startup+146.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 15201
/proc/meminfo: memFree=1723344/2059040 swapFree=4136232/4192956
[pid=15196] ppid=15194 vsize=20884 CPUtime=146.23
/proc/15196/stat : 15196 (bsolo_pb10) R 15194 15196 14051 0 -1 4202496 2880 0 0 0 14588 35 0 0 25 0 1 0 46207323 21385216 2791 1992294400 134512640 137138936 4293421312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15196/statm: 5221 2791 192 642 0 4577 0
Current children cumulated CPU time (s) 146.23
Current children cumulated vsize (KiB) 20884

Child status: 0
Real time (s): 146.339
CPU time (s): 146.273
CPU user time (s): 145.913
CPU system time (s): 0.359945
CPU usage (%): 99.9551
Max. virtual memory (cumulated for all children) (KiB): 20936

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

runsolver used 0.223965 second user time and 0.71989 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-16 18:34:17
IDJOB=2670773
IDBENCH=48103
IDSOLVER=1162
FILE ID=node011/2670773-1276706057
PBS_JOBID= 11174123
Free space on /tmp= 62360 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670773-1276706057/watcher-2670773-1276706057 -o /tmp/evaluation-result-2670773-1276706057/solver-2670773-1276706057 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670773-1276706057.opb

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

MD5SUM BENCH= 3dcbc29326e863fba53ed8c8a10116ce
RANDOM SEED=1805329921

node011.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.264
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.52
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.264
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1734668 kB
Buffers:         81792 kB
Cached:         159668 kB
SwapCached:       9968 kB
Active:          85248 kB
Inactive:       169324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1734668 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:            4336 kB
Writeback:           8 kB
AnonPages:       11604 kB
Mapped:           9360 kB
Slab:            48108 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182312 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-2670773-1276706057.opb

Free space on /tmp at the end= 62356 MiB
End job on node011 at 2010-06-16 18:36:44