Trace number 2670337

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 966.695 966.949

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb
MD5SUMc4226b2f0998740abfed6a5c474083dd
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.874866
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 variables81
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

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-2670337-1276700714.opb
0.00/0.00	c File size is 17961 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
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: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.006 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
8.19/8.21	c      100    324      684    12123   17     2274    3039    188   2941 0.03
8.19/8.21	c      251    324      971    29040   29     3043    3343    475   3585 0.07
8.19/8.21	c      477    324     1403    56846   40     4112    3678    907   3586 0.13
8.19/8.21	c      815    324     2044   106869   52     5602    4046   1548   3438 0.24
8.19/8.21	c     1324    324     3010   169080   56     8025    4451   2514   3029 0.44
8.19/8.21	c     2090    324     4480   256082   57    11955    4897   3984   2635 0.79
8.19/8.21	c     3237    324     4136   230052   55    10969    5387   3640   2394 1.35
8.19/8.21	c     4958    324     4730   274139   57    12506    5926   4234   2162 2.29
8.19/8.21	c     7543    324     3608   212461   58     8908    6519   3112   1864 4.04
8.19/8.21	c    11422    324     4413   266719   60    11258    7171   3917   1758 6.50
8.19/8.21	o 265
26.88/26.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.88/26.96	c    14307    324     6040   406646   67    15354    2781   5544   1741 8.21
26.88/26.96	c    14408    324     2086   125490   60     5351    3060   1590   1739 8.28
26.88/26.96	c    14658    324     2580   155639   60     6737    3367   2084   1752 8.36
26.88/26.96	c    15134    324     3467   216323   62     8931    3704   2971   1768 8.56
26.88/26.96	c    15947    324     3095   185819   60     7773    4075   2599   1779 8.96
26.88/26.96	c    17268    324     3484   208036   59     8710    4483   2988   1771 9.75
26.88/26.96	c    19349    324     2775   160418   57     6876    4932   2279   1753 11.03
26.88/26.96	c    22573    324     3787   224553   59     9486    5426   3291   1731 13.04
26.88/26.96	c    27510    324     4865   291623   59    12100    5969   4369   1688 16.29
26.88/26.96	c    35017    324     3851   223950   58     9787    6566   3355   1682 20.82
26.88/26.96	o 53
27.29/27.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.29/27.35	c    43768    324     3780   227619   60     9527    2806   3284   1621 26.99
27.29/27.35	c    43869    313     2087   119504   57     5421    3087   1591   1623 27.03
27.29/27.35	c    44119    313     2573   151748   58     6655    3396   2077   1626 27.12
27.29/27.35	c    44594    313     3459   207303   59     9055    3736   2963   1633 27.30
27.29/27.35	o 5
29.88/29.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.88/29.95	c    44704    313     3669   218693   59     9683    2804   3173   1635 27.34
29.88/29.95	c    44805    303     2097   115575   55     5606    3085   1601   1636 27.38
29.88/29.95	c    45056    283     2588   147681   57     6976    3394   2092   1640 27.46
29.88/29.95	c    45531    273     3480   198208   56     9329    3734   2984   1645 27.67
29.88/29.95	c    46344    273     3053   170765   55     8062    4108   2557   1652 28.05
29.88/29.95	c    47664    273     3423   203994   59     8837    4519   2927   1662 28.67
29.88/29.95	c    49745    273     2762   154361   55     7251    4971   2266   1664 29.88
29.88/29.95	o 3
966.64/966.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
966.64/966.94	c    49947    258     3132   175826   56     8321    2802   2636   1667 29.95
966.64/966.94	c    50049    235     3327   187167   56     8865    3083   2831   1669 29.98
966.64/966.94	c    50300    235     2044   105741   51     5489    3392   1548   1672 30.08
966.64/966.94	c    50776    235     2966   167541   56     7801    3732   2470   1678 30.25
966.64/966.94	c    51589    235     2474   132405   53     6417    4106   1978   1682 30.66
966.64/966.94	c    52909    235     2787   153917   55     7209    4517   2291   1688 31.34
966.64/966.94	c    54990    235     4259   275115   64    11112    4969   3763   1702 32.31
966.64/966.94	c    58213    235     5043   307179   60    13227    5466   4547   1718 33.87
966.64/966.94	c    63149    235     5904   352892   59    15325    6013   5408   1698 37.17
966.64/966.94	c    70656    235     4543   264478   58    11749    6615   4047   1678 42.11
966.64/966.94	c    82018    235     5609   326799   58    14570    7277   5113   1638 50.05
966.64/966.94	c    99163    235     7546   506321   67    19700    8005   7050   1586 62.52
966.64/966.94	c   124985    235     6513   420090   64    17357    8806   6017   1538 81.24
966.64/966.94	c   163818    235     6728   396416   58    18079    9687   6232   1477 110.85
966.64/966.94	c   222172    235     6806   426681   62    18006   10656   6310   1369 162.24
966.64/966.94	c   309805    235     7475   475741   63    19363   11722   6979   1245 248.69
966.64/966.94	c   441358    235    11922   745194   62    31122   12895  11426   1125 392.14
966.64/966.94	c   638792    234    11336   733130   64    29823   14185  10840   1030 619.80
966.64/966.94	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 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -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 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 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 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -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 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 
966.64/966.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
966.64/966.94	c   49   889059   7124   908167    12835   752948  12339    919 966.69
966.64/966.94	c Objective: 3
966.64/966.94	s OPTIMUM FOUND
966.64/966.94	c Total time: 966.692 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-2670337-1276700714/watcher-2670337-1276700714 -o /tmp/evaluation-result-2670337-1276700714/solver-2670337-1276700714 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670337-1276700714.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.01 0.90 3/105 18340
/proc/meminfo: memFree=1728944/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=10924 CPUtime=0
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 363 0 0 0 0 0 0 0 25 0 1 0 11364900 11186176 276 1992294400 134512640 137138936 4294340784 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 2731 276 192 642 0 2087 0

[startup+0.076753 s]
/proc/loadavg: 1.00 1.01 0.90 3/105 18340
/proc/meminfo: memFree=1728944/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=11312 CPUtime=0.07
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 463 0 0 0 7 0 0 0 25 0 1 0 11364900 11583488 376 1992294400 134512640 137138936 4294340784 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 2828 376 192 642 0 2184 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11312

[startup+0.101755 s]
/proc/loadavg: 1.00 1.01 0.90 3/105 18340
/proc/meminfo: memFree=1728944/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=11440 CPUtime=0.09
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 502 0 0 0 9 0 0 0 25 0 1 0 11364900 11714560 415 1992294400 134512640 137138936 4294340784 18446744073709551615 134576423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 2860 415 192 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.301777 s]
/proc/loadavg: 1.00 1.01 0.90 3/105 18340
/proc/meminfo: memFree=1728944/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=12608 CPUtime=0.29
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 815 0 0 0 29 0 0 0 25 0 1 0 11364900 12910592 728 1992294400 134512640 137138936 4294340784 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 3152 728 192 642 0 2508 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12608

[startup+0.701821 s]
/proc/loadavg: 1.00 1.01 0.90 3/105 18340
/proc/meminfo: memFree=1728944/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=14152 CPUtime=0.69
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 1200 0 0 0 69 0 0 0 25 0 1 0 11364900 14491648 1113 1992294400 134512640 137138936 4294340784 18446744073709551615 136521055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 3538 1113 192 642 0 2894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14152

[startup+1.50191 s]
/proc/loadavg: 1.00 1.01 0.90 2/106 18341
/proc/meminfo: memFree=1724348/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=15584 CPUtime=1.49
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 1539 0 0 0 148 1 0 0 25 0 1 0 11364900 15958016 1452 1992294400 134512640 137138936 4294340784 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 3896 1452 192 642 0 3252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15584

[startup+3.10109 s]
/proc/loadavg: 1.00 1.01 0.90 2/106 18341
/proc/meminfo: memFree=1723604/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=16484 CPUtime=3.09
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 1783 0 0 0 308 1 0 0 25 0 1 0 11364900 16879616 1696 1992294400 134512640 137138936 4294340784 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 4121 1696 192 642 0 3477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16484

[startup+6.30144 s]
/proc/loadavg: 1.00 1.01 0.90 2/106 18341
/proc/meminfo: memFree=1722116/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=17248 CPUtime=6.29
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 1949 0 0 0 626 3 0 0 25 0 1 0 11364900 17661952 1862 1992294400 134512640 137138936 4294340784 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 4312 1862 192 642 0 3668 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17248

[startup+12.7011 s]
/proc/loadavg: 1.00 1.01 0.91 2/106 18343
/proc/meminfo: memFree=1721008/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=18416 CPUtime=12.68
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 2253 0 0 0 1264 4 0 0 25 0 1 0 11364900 18857984 2166 1992294400 134512640 137138936 4294340784 18446744073709551615 134542843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 4604 2166 192 642 0 3960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18416

[startup+25.5016 s]
/proc/loadavg: 1.00 1.01 0.91 2/106 18343
/proc/meminfo: memFree=1721008/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=18416 CPUtime=25.48
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 2253 0 0 0 2542 6 0 0 25 0 1 0 11364900 18857984 2166 1992294400 134512640 137138936 4294340784 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 4604 2166 192 642 0 3960 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18416

[startup+51.1014 s]
/proc/loadavg: 1.00 1.01 0.91 2/106 18343
/proc/meminfo: memFree=1721008/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=18412 CPUtime=51.08
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 2253 0 0 0 5095 13 0 0 25 0 1 0 11364900 18853888 2166 1992294400 134512640 137138936 4294340784 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 4603 2166 192 642 0 3959 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18412

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18345
/proc/meminfo: memFree=1719396/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=20068 CPUtime=102.28
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 2665 0 0 0 10204 24 0 0 25 0 1 0 11364900 20549632 2578 1992294400 134512640 137138936 4294340784 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 5017 2578 192 642 0 4373 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20068

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18347
/proc/meminfo: memFree=1717908/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=21420 CPUtime=162.25
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 2998 0 0 0 16187 38 0 0 25 0 1 0 11364900 21934080 2911 1992294400 134512640 137138936 4294340784 18446744073709551615 134573856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 5355 2911 192 642 0 4711 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21420

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18347
/proc/meminfo: memFree=1717536/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=21760 CPUtime=222.23
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3085 0 0 0 22174 49 0 0 25 0 1 0 11364900 22282240 2998 1992294400 134512640 137138936 4294340784 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 5440 2998 192 642 0 4796 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21760

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18349
/proc/meminfo: memFree=1715924/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=23376 CPUtime=282.22
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3488 0 0 0 28161 61 0 0 25 0 1 0 11364900 23937024 3401 1992294400 134512640 137138936 4294340784 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 5844 3401 192 642 0 5200 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23376

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18351
/proc/meminfo: memFree=1715800/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=23364 CPUtime=342.2
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3492 0 0 0 34147 73 0 0 25 0 1 0 11364900 23924736 3405 1992294400 134512640 137138936 4294340784 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 5841 3405 192 642 0 5197 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23364

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18353
/proc/meminfo: memFree=1715800/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=23584 CPUtime=402.18
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3550 0 0 0 40134 84 0 0 25 0 1 0 11364900 24150016 3463 1992294400 134512640 137138936 4294340784 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 5896 3463 192 642 0 5252 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 23584

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18355
/proc/meminfo: memFree=1715056/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=24220 CPUtime=462.17
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3701 0 0 0 46121 96 0 0 25 0 1 0 11364900 24801280 3614 1992294400 134512640 137138936 4294340784 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6055 3614 192 642 0 5411 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 24220

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18355
/proc/meminfo: memFree=1714560/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=24692 CPUtime=522.16
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3817 0 0 0 52107 109 0 0 25 0 1 0 11364900 25284608 3730 1992294400 134512640 137138936 4294340784 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6173 3730 192 642 0 5529 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 24692

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18357
/proc/meminfo: memFree=1714312/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=24808 CPUtime=582.14
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3849 0 0 0 58094 120 0 0 25 0 1 0 11364900 25403392 3762 1992294400 134512640 137138936 4294340784 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6202 3762 192 642 0 5558 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 24808

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18359
/proc/meminfo: memFree=1714064/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25028 CPUtime=642.13
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 3903 0 0 0 64082 131 0 0 25 0 1 0 11364900 25628672 3816 1992294400 134512640 137138936 4294340784 18446744073709551615 136506076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6257 3816 192 642 0 5613 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 25028

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18361
/proc/meminfo: memFree=1713444/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25480 CPUtime=702.11
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 70069 142 0 0 25 0 1 0 11364900 26091520 3928 1992294400 134512640 137138936 4294340784 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6370 3928 192 642 0 5726 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 25480

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18363
/proc/meminfo: memFree=1713320/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25476 CPUtime=762.1
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 76059 151 0 0 25 0 1 0 11364900 26087424 3928 1992294400 134512640 137138936 4294340784 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6369 3928 192 642 0 5725 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 25476

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18363
/proc/meminfo: memFree=1713320/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25436 CPUtime=822.08
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 82046 162 0 0 25 0 1 0 11364900 26046464 3928 1992294400 134512640 137138936 4294340784 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6359 3928 192 642 0 5715 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 25436

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18365
/proc/meminfo: memFree=1713320/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25432 CPUtime=882.06
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 88033 173 0 0 25 0 1 0 11364900 26042368 3928 1992294400 134512640 137138936 4294340784 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6358 3928 192 642 0 5714 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 25432

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25420 CPUtime=942.05
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 94021 184 0 0 25 0 1 0 11364900 26030080 3928 1992294400 134512640 137138936 4294340784 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6355 3928 192 642 0 5711 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 25420

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

[startup+947.108 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25420 CPUtime=946.85
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 94500 185 0 0 25 0 1 0 11364900 26030080 3928 1992294400 134512640 137138936 4294340784 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6355 3928 192 642 0 5711 0
Current children cumulated CPU time (s) 946.85
Current children cumulated vsize (KiB) 25420

[startup+959.9 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25160 CPUtime=959.63
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 95777 186 0 0 25 0 1 0 11364900 25763840 3866 1992294400 134512640 137138936 4294340784 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6290 3866 192 642 0 5646 0
Current children cumulated CPU time (s) 959.63
Current children cumulated vsize (KiB) 25160

[startup+963.101 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25160 CPUtime=962.84
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 96097 187 0 0 25 0 1 0 11364900 25763840 3866 1992294400 134512640 137138936 4294340784 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6290 3866 192 642 0 5646 0
Current children cumulated CPU time (s) 962.84
Current children cumulated vsize (KiB) 25160

[startup+964.709 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25160 CPUtime=964.44
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 96257 187 0 0 25 0 1 0 11364900 25763840 3866 1992294400 134512640 137138936 4294340784 18446744073709551615 134575643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6290 3866 192 642 0 5646 0
Current children cumulated CPU time (s) 964.44
Current children cumulated vsize (KiB) 25160

[startup+966.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25160 CPUtime=966.03
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 96416 187 0 0 25 0 1 0 11364900 25763840 3866 1992294400 134512640 137138936 4294340784 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6290 3866 192 642 0 5646 0
Current children cumulated CPU time (s) 966.03
Current children cumulated vsize (KiB) 25160

[startup+966.701 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25160 CPUtime=966.43
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 96456 187 0 0 25 0 1 0 11364900 25763840 3866 1992294400 134512640 137138936 4294340784 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6290 3866 192 642 0 5646 0
Current children cumulated CPU time (s) 966.43
Current children cumulated vsize (KiB) 25160

[startup+966.909 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18367
/proc/meminfo: memFree=1713196/2059040 swapFree=4164960/4192956
[pid=18340] ppid=18338 vsize=25160 CPUtime=966.64
/proc/18340/stat : 18340 (bsolo_pb10) R 18338 18340 18007 0 -1 4202496 4015 0 0 0 96477 187 0 0 25 0 1 0 11364900 25763840 3866 1992294400 134512640 137138936 4294340784 18446744073709551615 134600501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18340/statm: 6290 3866 192 642 0 5646 0
Current children cumulated CPU time (s) 966.64
Current children cumulated vsize (KiB) 25160

Child status: 0
Real time (s): 966.949
CPU time (s): 966.695
CPU user time (s): 964.812
CPU system time (s): 1.88271
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 25480

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

runsolver used 1.60575 second user time and 4.55931 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-16 17:05:14
IDJOB=2670337
IDBENCH=47885
IDSOLVER=1162
FILE ID=node087/2670337-1276700714
PBS_JOBID= 11174079
Free space on /tmp= 62556 MiB

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

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

MD5SUM BENCH= c4226b2f0998740abfed6a5c474083dd
RANDOM SEED=137856446

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1729720 kB
Buffers:         81400 kB
Cached:         136876 kB
SwapCached:       1016 kB
Active:          98240 kB
Inactive:       153028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1729720 kB
SwapTotal:     4192956 kB
SwapFree:      4164960 kB
Dirty:            4280 kB
Writeback:           4 kB
AnonPages:       31940 kB
Mapped:          14704 kB
Slab:            56352 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180512 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-2670337-1276700714.opb

Free space on /tmp at the end= 62552 MiB
End job on node087 at 2010-06-16 17:21:21