Trace number 2670380

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 945.031 945.379

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
MD5SUM947e947c586d02edcb816b66608818b9
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 benchmark2.6116
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-2670380-1276701208.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.
41.58/41.67	c      103    324      599    10043   16     1935    3039    103   5722 0.02
41.58/41.67	c      254    324      750    24428   32     2209    3343    254   6684 0.04
41.58/41.67	c      480    324      976    42121   43     2695    3678    480   6857 0.07
41.58/41.67	c      819    324     1315    68624   52     3337    4046    819   6713 0.12
41.58/41.67	c     1327    324     1823   109459   60     4351    4451   1327   6473 0.20
41.58/41.67	c     2091    324     2587   168057   64     5897    4897   2091   5620 0.37
41.58/41.67	c     3238    324     3734   254276   68     8205    5387   3238   4547 0.71
41.58/41.67	c     4960    324     5456   380453   69    11613    5926   4960   3545 1.40
41.58/41.67	c     7545    324     4985   329103   66    10677    6519   4489   2976 2.54
41.58/41.67	c    11424    324     5512   367289   66    11688    7171   5016   2503 4.56
41.58/41.67	c    17246    324     4083   274011   67     8863    7889   3587   2459 7.01
41.58/41.67	c    25984    324     4782   322903   67    10254    8678   4286   2341 11.10
41.58/41.67	c    39094    324     8873   680783   76    18480    9546   8377   2224 17.58
41.58/41.67	c    58764    324     9027   637024   70    18772   10501   8531   2061 28.51
41.58/41.67	o 253
42.97/43.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.97/43.06	c    84134    324     6814   538599   79    14333    2780   6318   2019 41.65
42.97/43.06	c    84234    313     1987   127542   64     4748    3059   1491   2018 41.74
42.97/43.06	c    84486    313     2239   147501   65     5230    3365   1743   2022 41.77
42.97/43.06	c    84961    313     2714   184841   68     6178    3702   2218   2029 41.86
42.97/43.06	c    85774    313     3527   249232   70     7783    4073   3031   2038 42.07
42.97/43.06	c    87097    313     2535   169581   66     5837    4481   2039   2056 42.35
42.97/43.06	c    89178    313     4616   333276   72     9996    4930   4120   2081 42.85
42.97/43.06	o 57
46.77/46.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.77/46.86	c    90006    313     2963   199452   67     6643    2778   2467   2089 43.07
46.77/46.86	c    90110    291     3067   206901   67     6912    3056   2571   2090 43.10
46.77/46.86	c    90361    291     3318   224091   67     7381    3362   2822   2092 43.18
46.77/46.86	c    90836    291     3793   257453   67     8343    3699   3297   2099 43.27
46.77/46.86	c    91650    291     2492   150868   60     5745    4069   1996   2107 43.48
46.77/46.86	c    92970    291     3812   256365   67     8385    4476   3316   2124 43.76
46.77/46.86	c    95052    291     3552   236475   66     7850    4924   3056   2134 44.52
46.77/46.86	c    98276    291     4209   281784   66     9176    5417   3713   2141 45.88
46.77/46.86	o 43
51.87/51.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.87/51.96	c   100846    291     3869   236845   61     8510    2774   3373   2152 46.85
51.87/51.96	c   100947    291     1988   103337   51     4722    3052   1492   2153 46.87
51.87/51.96	c   101198    291     2239   121915   54     5240    3358   1743   2156 46.92
51.87/51.96	c   101674    291     2715   158087   58     6191    3694   2219   2162 47.02
51.87/51.96	c   102488    291     3529   221003   62     7822    4064   3033   2171 47.20
51.87/51.96	c   103808    291     2699   169701   62     6158    4471   2203   2180 47.61
51.87/51.96	c   105889    291     4780   329488   68    10321    4919   4284   2195 48.23
51.87/51.96	c   109112    291     5439   374822   68    11637    5411   4943   2209 49.39
51.87/51.96	c   114050    291     4759   310417   65    10283    5953   4263   2220 51.37
51.87/51.96	o 3
944.94/945.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
944.94/945.37	c   115669    291     6379   430207   67    13525    2774   5883   2226 51.95
944.94/945.37	c   115769    291     1987   112941   56     4725    3052   1491   2226 52.00
944.94/945.37	c   116022    291     2240   133262   59     5195    3358   1744   2229 52.05
944.94/945.37	c   116498    291     2716   170392   62     6170    3694   2220   2232 52.17
944.94/945.37	c   117312    291     3530   233248   66     7760    4064   3034   2237 52.43
944.94/945.37	c   118633    291     2723   173443   63     6154    4471   2227   2245 52.83
944.94/945.37	c   120714    291     4804   329558   68    10329    4919   4308   2257 53.48
944.94/945.37	c   123938    291     2960   204923   69     6647    5411   2464   2278 54.39
944.94/945.37	c   128875    291     5020   344336   68    10735    5953   4524   2295 56.14
944.94/945.37	c   136381    291     6350   438286   69    13420    6549   5854   2300 59.29
944.94/945.37	c   147742    291     4174   276162   66     9060    7204   3678   2298 64.28
944.94/945.37	c   164886    281     6421   438348   68    13565    7925   5925   2288 72.05
944.94/945.37	c   190705    281     7794   526613   67    16330    8718   7298   2225 85.67
944.94/945.37	c   229539    270     6339   426813   67    13411    9590   5843   2078 110.43
944.94/945.37	c   287892    235     9780   685300   70    20333   10550   9284   1945 147.96
944.94/945.37	c   375524    235     9558   758306   79    19885   11606   9062   1769 212.20
944.94/945.37	c   507076    235     7798   587058   75    16330   12767   7302   1714 295.82
944.94/945.37	c   704509    235    13185  1031625   78    27100   14044  12689   1524 462.22
944.94/945.37	c  1000762    234    11492   782128   68    23747   15449  10996   1448 691.05
944.94/945.37	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 
944.94/945.37	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
944.94/945.37	c   57  1214787   8290  1234172    12450   767649  11954   1285 945.03
944.94/945.37	c Objective: 3
944.94/945.37	s OPTIMUM FOUND
944.94/945.37	c Total time: 945.027 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-2670380-1276701208/watcher-2670380-1276701208 -o /tmp/evaluation-result-2670380-1276701208/solver-2670380-1276701208 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670380-1276701208.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: 0.92 0.99 0.90 3/106 11861
/proc/meminfo: memFree=1838560/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=10924 CPUtime=0
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 45722447 11186176 269 1992294400 134512640 137138936 4289854000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 2731 269 186 642 0 2087 0

[startup+0.026387 s]
/proc/loadavg: 0.92 0.99 0.90 3/106 11861
/proc/meminfo: memFree=1838560/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=11044 CPUtime=0.02
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 394 0 0 0 2 0 0 0 20 0 1 0 45722447 11309056 308 1992294400 134512640 137138936 4289854000 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 2761 308 190 642 0 2117 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044

[startup+0.101402 s]
/proc/loadavg: 0.92 0.99 0.90 3/106 11861
/proc/meminfo: memFree=1838560/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=11552 CPUtime=0.09
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 545 0 0 0 9 0 0 0 20 0 1 0 45722447 11829248 459 1992294400 134512640 137138936 4289854000 18446744073709551615 134573842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 2888 460 190 642 0 2244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11552

[startup+0.301445 s]
/proc/loadavg: 0.92 0.99 0.90 3/106 11861
/proc/meminfo: memFree=1838560/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=12824 CPUtime=0.29
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 844 0 0 0 29 0 0 0 20 0 1 0 45722447 13131776 758 1992294400 134512640 137138936 4289854000 18446744073709551615 136506332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 3206 758 190 642 0 2562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12824

[startup+0.70153 s]
/proc/loadavg: 0.92 0.99 0.90 3/106 11861
/proc/meminfo: memFree=1838560/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=14344 CPUtime=0.69
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 1225 0 0 0 68 1 0 0 20 0 1 0 45722447 14688256 1139 1992294400 134512640 137138936 4289854000 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 3586 1139 190 642 0 2942 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14344

[startup+1.5017 s]
/proc/loadavg: 0.92 0.99 0.90 2/107 11862
/proc/meminfo: memFree=1833964/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=16384 CPUtime=1.49
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 1745 0 0 0 148 1 0 0 23 0 1 0 45722447 16777216 1659 1992294400 134512640 137138936 4289854000 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 4096 1659 190 642 0 3452 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16384

[startup+3.10104 s]
/proc/loadavg: 0.92 0.99 0.90 2/107 11862
/proc/meminfo: memFree=1831608/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=17392 CPUtime=3.09
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 1981 0 0 0 307 2 0 0 25 0 1 0 45722447 17809408 1895 1992294400 134512640 137138936 4289854000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 4348 1895 190 642 0 3704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17392

[startup+6.30172 s]
/proc/loadavg: 0.93 0.99 0.90 2/107 11862
/proc/meminfo: memFree=1830988/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=18540 CPUtime=6.29
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 2282 0 0 0 626 3 0 0 25 0 1 0 45722447 18984960 2196 1992294400 134512640 137138936 4289854000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 4635 2196 190 642 0 3991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18540

[startup+12.7011 s]
/proc/loadavg: 0.93 0.99 0.90 2/107 11862
/proc/meminfo: memFree=1829500/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=19300 CPUtime=12.69
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 2479 0 0 0 1263 6 0 0 25 0 1 0 45722447 19763200 2393 1992294400 134512640 137138936 4289854000 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 4825 2393 190 642 0 4181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19300

[startup+25.5008 s]
/proc/loadavg: 0.95 0.99 0.91 2/107 11862
/proc/meminfo: memFree=1827144/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=21832 CPUtime=25.49
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 3114 0 0 0 2539 10 0 0 25 0 1 0 45722447 22355968 3028 1992294400 134512640 137138936 4289854000 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 5458 3028 190 642 0 4814 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21832

[startup+51.1012 s]
/proc/loadavg: 0.96 0.99 0.91 2/107 11867
/proc/meminfo: memFree=1824788/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=23808 CPUtime=51.07
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 3592 0 0 0 5088 19 0 0 25 0 1 0 45722447 24379392 3506 1992294400 134512640 137138936 4289854000 18446744073709551615 136511201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 5952 3506 191 642 0 5308 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23808

[startup+102.308 s]
/proc/loadavg: 0.98 0.99 0.91 2/107 11867
/proc/meminfo: memFree=1824788/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=23808 CPUtime=102.26
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 3592 0 0 0 10192 34 0 0 25 0 1 0 45722447 24379392 3506 1992294400 134512640 137138936 4289854000 18446744073709551615 136511116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 5952 3506 191 642 0 5308 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23808

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11869
/proc/meminfo: memFree=1824788/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=23808 CPUtime=162.23
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 3592 0 0 0 16171 52 0 0 25 0 1 0 45722447 24379392 3506 1992294400 134512640 137138936 4289854000 18446744073709551615 134617548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 5952 3506 191 642 0 5308 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 23808

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11871
/proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=25068 CPUtime=222.21
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 3920 0 0 0 22154 67 0 0 25 0 1 0 45722447 25669632 3834 1992294400 134512640 137138936 4289854000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6267 3834 191 642 0 5623 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 25068

[startup+282.3 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11873
/proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=24968 CPUtime=282.19
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 3920 0 0 0 28133 86 0 0 25 0 1 0 45722447 25567232 3816 1992294400 134512640 137138936 4289854000 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6242 3816 191 642 0 5598 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 24968

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11875
/proc/meminfo: memFree=1822556/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=26344 CPUtime=342.17
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4256 0 0 0 34114 103 0 0 25 0 1 0 45722447 26976256 4151 1992294400 134512640 137138936 4289854000 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6586 4151 191 642 0 5942 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 26344

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11875
/proc/meminfo: memFree=1822432/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=26344 CPUtime=402.14
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4256 0 0 0 40097 117 0 0 25 0 1 0 45722447 26976256 4151 1992294400 134512640 137138936 4289854000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6586 4151 191 642 0 5942 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 26344

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11877
/proc/meminfo: memFree=1822432/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=26344 CPUtime=462.12
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4256 0 0 0 46079 133 0 0 25 0 1 0 45722447 26976256 4151 1992294400 134512640 137138936 4289854000 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6586 4151 191 642 0 5942 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 26344

[startup+522.3 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11879
/proc/meminfo: memFree=1821316/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=27544 CPUtime=522.1
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4549 0 0 0 52062 148 0 0 25 0 1 0 45722447 28205056 4444 1992294400 134512640 137138936 4289854000 18446744073709551615 134542418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6886 4444 191 642 0 6242 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 27544

[startup+582.3 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11881
/proc/meminfo: memFree=1821192/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=27616 CPUtime=582.08
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4565 0 0 0 58044 164 0 0 25 0 1 0 45722447 28278784 4460 1992294400 134512640 137138936 4289854000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6904 4460 191 642 0 6260 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 27616

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11883
/proc/meminfo: memFree=1821068/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=27604 CPUtime=642.06
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4565 0 0 0 64027 179 0 0 25 0 1 0 45722447 28266496 4460 1992294400 134512640 137138936 4289854000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6901 4460 191 642 0 6257 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 27604

[startup+702.302 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11883
/proc/meminfo: memFree=1821068/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=27600 CPUtime=702.04
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4566 0 0 0 70008 196 0 0 25 0 1 0 45722447 28262400 4461 1992294400 134512640 137138936 4289854000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 6900 4461 191 642 0 6256 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 27600

[startup+762.308 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11885
/proc/meminfo: memFree=1819580/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=28968 CPUtime=762.02
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4909 0 0 0 75993 209 0 0 25 0 1 0 45722447 29663232 4804 1992294400 134512640 137138936 4289854000 18446744073709551615 134543222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7242 4804 191 642 0 6598 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 28968

[startup+822.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11887
/proc/meminfo: memFree=1819580/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=28968 CPUtime=821.99
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4918 0 0 0 81977 222 0 0 25 0 1 0 45722447 29663232 4813 1992294400 134512640 137138936 4289854000 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7242 4813 191 642 0 6598 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 28968

[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11889
/proc/meminfo: memFree=1819456/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=29092 CPUtime=881.96
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4939 0 0 0 87962 234 0 0 25 0 1 0 45722447 29790208 4834 1992294400 134512640 137138936 4289854000 18446744073709551615 136505679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7273 4834 191 642 0 6629 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 29092

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11889
/proc/meminfo: memFree=1819456/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=29048 CPUtime=941.95
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4939 0 0 0 93946 249 0 0 25 0 1 0 45722447 29745152 4834 1992294400 134512640 137138936 4289854000 18446744073709551615 134617548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7262 4834 191 642 0 6618 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 29048

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

[startup+943.901 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11891
/proc/meminfo: memFree=1819456/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=29048 CPUtime=943.54
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4939 0 0 0 94105 249 0 0 25 0 1 0 45722447 29745152 4834 1992294400 134512640 137138936 4289854000 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7262 4834 191 642 0 6618 0
Current children cumulated CPU time (s) 943.54
Current children cumulated vsize (KiB) 29048

[startup+944.701 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11891
/proc/meminfo: memFree=1819456/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=29048 CPUtime=944.34
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4939 0 0 0 94185 249 0 0 25 0 1 0 45722447 29745152 4834 1992294400 134512640 137138936 4289854000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7262 4834 191 642 0 6618 0
Current children cumulated CPU time (s) 944.34
Current children cumulated vsize (KiB) 29048

[startup+945.101 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11891
/proc/meminfo: memFree=1819456/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=29048 CPUtime=944.74
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4939 0 0 0 94225 249 0 0 25 0 1 0 45722447 29745152 4834 1992294400 134512640 137138936 4289854000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7262 4834 191 642 0 6618 0
Current children cumulated CPU time (s) 944.74
Current children cumulated vsize (KiB) 29048

[startup+945.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 11891
/proc/meminfo: memFree=1819456/2059040 swapFree=4139724/4192956
[pid=11861] ppid=11859 vsize=29048 CPUtime=944.94
/proc/11861/stat : 11861 (bsolo_pb10) R 11859 11861 11629 0 -1 4202496 4939 0 0 0 94245 249 0 0 25 0 1 0 45722447 29745152 4834 1992294400 134512640 137138936 4289854000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11861/statm: 7262 4834 191 642 0 6618 0
Current children cumulated CPU time (s) 944.94
Current children cumulated vsize (KiB) 29048

Child status: 0
Real time (s): 945.379
CPU time (s): 945.031
CPU user time (s): 942.532
CPU system time (s): 2.49962
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 29092

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

runsolver used 1.69574 second user time and 4.33034 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-16 17:13:28
IDJOB=2670380
IDBENCH=47906
IDSOLVER=1163
FILE ID=node010/2670380-1276701208
PBS_JOBID= 11174124
Free space on /tmp= 62532 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=263-P1=409-P2=29-P3=379-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670380-1276701208/watcher-2670380-1276701208 -o /tmp/evaluation-result-2670380-1276701208/solver-2670380-1276701208 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670380-1276701208.opb

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

MD5SUM BENCH= 947e947c586d02edcb816b66608818b9
RANDOM SEED=2072954206

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841684 kB
Buffers:          9240 kB
Cached:         116496 kB
SwapCached:       5468 kB
Active:          79288 kB
Inactive:        58536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841684 kB
SwapTotal:     4192956 kB
SwapFree:      4139724 kB
Dirty:            3980 kB
Writeback:           0 kB
AnonPages:       10760 kB
Mapped:          12900 kB
Slab:            57748 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183092 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-2670380-1276701208.opb

Free space on /tmp at the end= 62528 MiB
End job on node010 at 2010-06-16 17:29:14