Trace number 2670654

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 ClOPT3 642.417 642.628

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb
MD5SUMffde7c44e1ce67f9a67e822c2db106af
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.44993
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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670654-1276704043.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.
0.89/0.96	c      102    324      598     8737   14     1949    3039    102   6000 0.02
0.89/0.96	c      255    324      751    24825   33     2235    3343    255   6219 0.04
0.89/0.96	c      480    324      976    42700   43     2716    3678    480   6315 0.08
0.89/0.96	c      819    324     1315    70776   53     3361    4046    819   6658 0.12
0.89/0.96	c     1327    324     1823   118677   65     4329    4451   1327   5977 0.22
0.89/0.96	c     2091    324     2587   196922   76     5861    4897   2091   5531 0.38
0.89/0.96	c     3238    324     3734   292136   78     8235    5387   3238   5091 0.64
0.89/0.96	o 171
5.60/5.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.60/5.64	c     4520    324     5017   401874   80    10764    2780   4521   4713 0.96
5.60/5.64	c     4620    313     1987   126484   63     4738    3059   1491   4671 0.99
5.60/5.64	c     4872    313     2239   146319   65     5251    3365   1743   4684 1.04
5.60/5.64	c     5347    313     2714   185777   68     6182    3702   2218   4778 1.12
5.60/5.64	c     6161    313     3528   253817   71     7812    4073   3032   4820 1.28
5.60/5.64	c     7481    313     2560   166770   65     5867    4481   2064   4525 1.65
5.60/5.64	c     9562    313     4641   346956   74    10013    4930   4145   4346 2.20
5.60/5.64	c    12785    313     5242   383286   73    11198    5424   4746   4278 2.99
5.60/5.64	c    17722    313     4586   300397   65     9904    5967   4090   3398 5.21
5.60/5.64	o 57
9.28/9.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.28/9.34	c    19558    313     6423   441414   68    13587    2778   5927   3468 5.64
9.28/9.34	c    19658    302     1987   117899   59     4761    3056   1491   3457 5.68
9.28/9.34	c    19908    302     2237   137572   61     5204    3362   1741   3479 5.72
9.28/9.34	c    20384    302     2713   175198   64     6140    3699   2217   3512 5.80
9.28/9.34	c    21197    302     3526   238224   67     7762    4069   3030   3557 5.96
9.28/9.34	c    22517    302     2566   164094   63     5869    4476   2070   3580 6.29
9.28/9.34	c    24598    302     4647   319061   68    10028    4924   4151   3597 6.84
9.28/9.34	c    27822    291     5221   356424   68    11138    5417   4725   3547 7.84
9.28/9.34	o 37
16.59/16.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.59/16.69	c    32177    291     3943   257473   65     8615    2774   3447   3443 9.34
16.59/16.69	c    32277    291     1987   109171   54     4694    3052   1491   3443 9.37
16.59/16.69	c    32528    291     2238   127142   56     5189    3358   1742   3451 9.42
16.59/16.69	c    33003    291     2713   162500   59     6137    3694   2217   3464 9.53
16.59/16.69	c    33816    291     3526   222464   63     7767    4064   3030   3474 9.73
16.59/16.69	c    35137    291     2705   160017   59     6119    4471   2209   3461 10.15
16.59/16.69	c    37218    291     4786   326140   68    10312    4919   4290   3506 10.61
16.59/16.69	c    40443    291     5375   384242   71    11456    5411   4879   3504 11.54
16.59/16.69	c    45380    291     4686   324039   69    10074    5953   4190   3417 13.28
16.59/16.69	c    52888    291     6020   416098   69    12760    6549   5524   3287 16.09
16.59/16.69	o 25
22.77/22.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.77/22.80	c    54442    291     4001   254480   63     8780    2774   3505   3261 16.69
22.77/22.80	c    54542    280     1987   104335   52     4757    3052   1491   3261 16.72
22.77/22.80	c    54792    280     2237   123220   55     5241    3358   1741   3268 16.76
22.77/22.80	c    55267    280     2712   157783   58     6186    3694   2216   3279 16.85
22.77/22.80	c    56081    280     3526   217816   61     7823    4064   3030   3286 17.07
22.77/22.80	c    57402    280     2597   171605   66     5942    4471   2101   3308 17.35
22.77/22.80	c    59484    280     4679   329834   70    10085    4919   4183   3339 17.81
22.77/22.80	c    62707    280     5312   364387   68    11348    5411   4816   3312 18.93
22.77/22.80	c    67643    280     4597   297164   64     9920    5953   4101   3240 20.87
22.77/22.80	o 17
25.38/25.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.38/25.41	c    73377    280     3912   279557   71     8576    2772   3416   3221 22.78
25.38/25.41	c    73477    280     1987   112262   56     4731    3050   1491   3222 22.80
25.38/25.41	c    73730    280     2240   130983   58     5241    3356   1744   3228 22.84
25.38/25.41	c    74205    280     2715   174486   64     6193    3692   2219   3237 22.92
25.38/25.41	c    75020    280     3530   239579   67     7769    4062   3034   3253 23.06
25.38/25.41	c    76341    280     2677   175566   65     6059    4469   2181   3268 23.36
25.38/25.41	c    78423    280     4759   337756   70    10239    4916   4263   3245 24.16
25.38/25.41	c    81646    280     5395   384258   71    11480    5408   4899   3226 25.30
25.38/25.41	o 3
642.38/642.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
642.38/642.62	c    81994    280     5744   413415   71    12219    2772   5248   3229 25.39
642.38/642.62	c    82095    280     1988   120505   60     4747    3050   1492   3228 25.43
642.38/642.62	c    82345    269     2238   139647   62     5250    3356   1742   3232 25.48
642.38/642.62	c    82820    269     2713   180027   66     6170    3692   2217   3241 25.55
642.38/642.62	c    83634    269     3527   250170   70     7817    4062   3031   3250 25.73
642.38/642.62	c    84954    269     2634   172296   65     6047    4469   2138   3259 26.06
642.38/642.62	c    87035    269     4715   324567   68    10193    4916   4219   3257 26.72
642.38/642.62	c    90259    269     5352   363065   67    11467    5408   4856   3230 27.94
642.38/642.62	c    95197    269     4637   312140   67    10006    5949   4141   3187 29.86
642.38/642.62	c   102704    235     5783   436674   75    12255    6544   5287   3177 32.32
642.38/642.62	c   114065    235     6629   473958   71    13927    7199   6133   3185 35.81
642.38/642.62	c   131210    235     4995   329844   66    10684    7919   4499   3007 43.63
642.38/642.62	c   157029    235     5387   396729   73    11528    8711   4891   2715 57.83
642.38/642.62	c   195861    235     7852   538497   68    16461    9583   7356   2447 80.03
642.38/642.62	c   254216    235     5861   449907   76    12451   10542   5365   2263 112.32
642.38/642.62	c   341849    234     5956   425155   71    12647   11597   5460   2048 166.84
642.38/642.62	c   473402    234    11164   826714   74    23078   12757  10668   1795 263.72
642.38/642.62	c   670834    234     9614   744674   77    19981   14033   9118   1628 411.87
642.38/642.62	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 x23 x24 -x25 -x26 -x27 x28 -x29 x30 -x31 x32 -x33 -x34 -x35 x36 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 
642.38/642.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
642.38/642.62	c   69   925192   9158   950783    11992   725480  11496   1440 642.41
642.38/642.62	c Objective: 3
642.38/642.62	s OPTIMUM FOUND
642.38/642.62	c Total time: 642.414 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-2670654-1276704043/watcher-2670654-1276704043 -o /tmp/evaluation-result-2670654-1276704043/solver-2670654-1276704043 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670654-1276704043.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.97 3/106 17757
/proc/meminfo: memFree=1839608/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=10924 CPUtime=0
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 355 0 0 0 0 0 0 0 18 0 1 0 46008248 11186176 269 1992294400 134512640 137138936 4293613616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 2731 269 186 642 0 2087 0

[startup+0.106286 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 17757
/proc/meminfo: memFree=1839608/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=11688 CPUtime=0.1
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 554 0 0 0 10 0 0 0 21 0 1 0 46008248 11968512 468 1992294400 134512640 137138936 4293613616 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 2922 469 190 642 0 2278 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11688

[startup+0.201296 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 17757
/proc/meminfo: memFree=1839608/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=12324 CPUtime=0.19
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 727 0 0 0 19 0 0 0 21 0 1 0 46008248 12619776 641 1992294400 134512640 137138936 4293613616 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 3081 641 190 642 0 2437 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12324

[startup+0.301305 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 17757
/proc/meminfo: memFree=1839608/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=13088 CPUtime=0.29
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 920 0 0 0 29 0 0 0 21 0 1 0 46008248 13402112 834 1992294400 134512640 137138936 4293613616 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 3272 834 190 642 0 2628 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13088

[startup+0.700347 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 17757
/proc/meminfo: memFree=1839608/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=15124 CPUtime=0.69
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 1421 0 0 0 68 1 0 0 22 0 1 0 46008248 15486976 1335 1992294400 134512640 137138936 4293613616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 3781 1335 190 642 0 3137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15124

[startup+1.50043 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 17758
/proc/meminfo: memFree=1834020/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=16508 CPUtime=1.49
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 1759 0 0 0 148 1 0 0 25 0 1 0 46008248 16904192 1673 1992294400 134512640 137138936 4293613616 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 4127 1673 191 642 0 3483 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16508

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 17758
/proc/meminfo: memFree=1833896/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=16768 CPUtime=3.09
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 1849 0 0 0 307 2 0 0 25 0 1 0 46008248 17170432 1763 1992294400 134512640 137138936 4293613616 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 4192 1763 191 642 0 3548 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16768

[startup+6.30092 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 17758
/proc/meminfo: memFree=1833028/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=17152 CPUtime=6.29
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 1935 0 0 0 625 4 0 0 25 0 1 0 46008248 17563648 1849 1992294400 134512640 137138936 4293613616 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 4288 1849 191 642 0 3644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17152

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 17758
/proc/meminfo: memFree=1833028/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=17152 CPUtime=12.69
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 1935 0 0 0 1262 7 0 0 25 0 1 0 46008248 17563648 1849 1992294400 134512640 137138936 4293613616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 4288 1849 191 642 0 3644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17152

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 17767
/proc/meminfo: memFree=1831416/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=18164 CPUtime=25.47
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 2186 0 0 0 2533 14 0 0 25 0 1 0 46008248 18599936 2100 1992294400 134512640 137138936 4293613616 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 4541 2100 191 642 0 3897 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18164

[startup+51.1015 s]
/proc/loadavg: 1.07 1.02 0.98 2/107 17769
/proc/meminfo: memFree=1829432/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=20752 CPUtime=51.06
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 2839 0 0 0 5082 24 0 0 25 0 1 0 46008248 21250048 2753 1992294400 134512640 137138936 4293613616 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 5188 2753 191 642 0 4544 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 20752

[startup+102.302 s]
/proc/loadavg: 1.10 1.03 0.98 2/107 17769
/proc/meminfo: memFree=1827448/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=22600 CPUtime=102.25
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 3309 0 0 0 10186 39 0 0 25 0 1 0 46008248 23142400 3223 1992294400 134512640 137138936 4293613616 18446744073709551615 134544903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 5650 3223 191 642 0 5006 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22600

[startup+162.302 s]
/proc/loadavg: 1.10 1.04 0.99 2/107 17771
/proc/meminfo: memFree=1826952/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=23040 CPUtime=162.22
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 3417 0 0 0 16165 57 0 0 25 0 1 0 46008248 23592960 3331 1992294400 134512640 137138936 4293613616 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 5760 3331 191 642 0 5116 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 23040

[startup+222.309 s]
/proc/loadavg: 1.10 1.04 0.99 2/107 17773
/proc/meminfo: memFree=1824844/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=25060 CPUtime=222.2
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 3921 0 0 0 22148 72 0 0 25 0 1 0 46008248 25661440 3835 1992294400 134512640 137138936 4293613616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6265 3835 191 642 0 5621 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 25060

[startup+282.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 17775
/proc/meminfo: memFree=1823852/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=26156 CPUtime=282.19
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4179 0 0 0 28130 89 0 0 25 0 1 0 46008248 26783744 4093 1992294400 134512640 137138936 4293613616 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6539 4093 191 642 0 5895 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 26156

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 17777
/proc/meminfo: memFree=1823852/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=26144 CPUtime=342.17
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4179 0 0 0 34112 105 0 0 25 0 1 0 46008248 26771456 4093 1992294400 134512640 137138936 4293613616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6536 4093 191 642 0 5892 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 26144

[startup+402.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 17777
/proc/meminfo: memFree=1823852/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=26112 CPUtime=402.15
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4179 0 0 0 40095 120 0 0 25 0 1 0 46008248 26738688 4093 1992294400 134512640 137138936 4293613616 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6528 4093 191 642 0 5884 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 26112

[startup+462.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 17779
/proc/meminfo: memFree=1822240/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=27668 CPUtime=462.13
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4559 0 0 0 46078 135 0 0 25 0 1 0 46008248 28332032 4473 1992294400 134512640 137138936 4293613616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6917 4473 191 642 0 6273 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 27668

[startup+522.302 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 17781
/proc/meminfo: memFree=1822240/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=27628 CPUtime=522.12
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4559 0 0 0 52061 151 0 0 25 0 1 0 46008248 28291072 4473 1992294400 134512640 137138936 4293613616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6907 4473 191 642 0 6263 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 27628

[startup+582.302 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 17783
/proc/meminfo: memFree=1821868/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=27952 CPUtime=582.1
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4630 0 0 0 58045 165 0 0 25 0 1 0 46008248 28622848 4544 1992294400 134512640 137138936 4293613616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6988 4544 191 642 0 6344 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 27952

[startup+642.301 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 17785
/proc/meminfo: memFree=1821868/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=27804 CPUtime=642.08
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4630 0 0 0 64027 181 0 0 25 0 1 0 46008248 28471296 4525 1992294400 134512640 137138936 4293613616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6951 4525 191 642 0 6307 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 27804

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

[startup+642.401 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 17785
/proc/meminfo: memFree=1821868/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=27804 CPUtime=642.18
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4630 0 0 0 64037 181 0 0 25 0 1 0 46008248 28471296 4525 1992294400 134512640 137138936 4293613616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6951 4525 191 642 0 6307 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 27804

[startup+642.601 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 17785
/proc/meminfo: memFree=1821868/2059040 swapFree=4135688/4192956
[pid=17757] ppid=17755 vsize=27804 CPUtime=642.38
/proc/17757/stat : 17757 (bsolo_pb10) R 17755 17757 17370 0 -1 4202496 4630 0 0 0 64056 182 0 0 25 0 1 0 46008248 28471296 4525 1992294400 134512640 137138936 4293613616 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17757/statm: 6951 4525 191 642 0 6307 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 27804

Child status: 0
Real time (s): 642.628
CPU time (s): 642.417
CPU user time (s): 640.595
CPU system time (s): 1.82272
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 27952

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

runsolver used 1.03284 second user time and 3.07153 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-16 18:00:43
IDJOB=2670654
IDBENCH=48043
IDSOLVER=1163
FILE ID=node002/2670654-1276704043
PBS_JOBID= 11174131
Free space on /tmp= 62572 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670654-1276704043/watcher-2670654-1276704043 -o /tmp/evaluation-result-2670654-1276704043/solver-2670654-1276704043 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670654-1276704043.opb

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

MD5SUM BENCH= ffde7c44e1ce67f9a67e822c2db106af
RANDOM SEED=2061008470

node002.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.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1840632 kB
Buffers:         11236 kB
Cached:         118076 kB
SwapCached:      10520 kB
Active:          85244 kB
Inactive:        57144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1840632 kB
SwapTotal:     4192956 kB
SwapFree:      4135688 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:       11612 kB
Mapped:           9388 kB
Slab:            54184 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180964 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-2670654-1276704043.opb

Free space on /tmp at the end= 62568 MiB
End job on node002 at 2010-06-16 18:11:26