Trace number 3731132

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
PB09: bsolo 3.1OPT307 410.366 410.438

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark0.305953
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
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 constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731132-1338687731.opb
0.00/0.00	c File size is 16026 bytes.
0.00/0.00	c Highest Coefficient sum: 1.02726e+06
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 319 Constr: 6 0/0/6 Lit: 1243 Watch. Lit: 16
0.00/0.00	c Obj. Vars: 319 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    319        6     1243  207       16    2486      0      0 0.00
0.00/0.00	c Initial Lower Bound: 291
0.00/0.00	c Initial Path Cost: 0
0.00/0.00	o 604
0.05/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.06	c        0    319        7     1562  223      332    3124      1      0 0.01
0.05/0.06	o 543
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c       10    319       21     5561  264      768    3124     15    158 0.06
0.09/0.12	o 486
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c       10    319       22     5880  267     1085    3124     16     84 0.12
0.09/0.17	o 477
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       10    319       23     6199  269     1399    3124     17     56 0.18
0.19/0.24	o 399
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c       23    319       38    10225  269     1779    3124     32     95 0.24
0.39/0.43	c      132    319      174    47786  274     3285    3437    168    366 0.36
0.39/0.43	o 395
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c      160    319      236    66128  280     4152    3124    230    366 0.44
0.39/0.49	o 394
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c      163    319      241    67535  280     4538    3124    235    329 0.49
0.49/0.56	o 393
0.68/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.76	c      180    319      263    73719  280     5078    3124    257    319 0.56
0.68/0.76	c      280    319      385   105865  274     5361    3437    379    402 0.69
0.68/0.76	o 385
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c      292    319      401   109986  274     5745    3124    395    382 0.76
0.89/0.99	c      392    319      517   137104  265     6003    3437    511    416 0.94
0.89/0.99	o 375
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c      392    319      518   137423  265     6319    3124    512    392 1.00
1.00/1.05	o 374
1.09/1.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.17	c      393    319      520   137947  265     6636    3124    514    373 1.05
1.09/1.17	o 373
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c      492    319      641   170488  265     7359    3124    635    418 1.18
1.39/1.47	c      592    319      782   207938  265     7745    3437    776    449 1.32
1.39/1.47	o 333
5.19/5.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.28	c      733    319      950   251406  264     8434    3124    944    496 1.48
5.19/5.28	c      834    319     1079   284455  263     8844    3437   1073    507 1.64
5.19/5.28	c     1084    319     1533   416132  271    10950    3781   1527    563 1.92
5.19/5.28	c     1594    319     3041   831512  273    13964    4160   3035    641 2.48
5.19/5.28	c     2408    319     2592   693134  267     5913    4577   2586    681 3.54
5.19/5.28	c     3730    319     4373  1157941  264    10623    5035   4367    732 5.09
5.19/5.28	o 309
33.38/33.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.38/33.40	c     3865    319     4592  1216067  264    11480    3124   4586    731 5.29
33.38/33.40	c     3974    319     1867   492960  264     5120    3437   1861    730 5.44
33.38/33.40	c     4224    319     2570   694580  270     6734    3781   2564    735 5.74
33.38/33.40	c     4709    319     3620   983963  271     9304    4160   3614    739 6.37
33.38/33.40	c     5525    319     2710   738488  272     6548    4577   2704    723 7.64
33.38/33.40	c     6850    319     3190   847807  265     6884    5035   3184    721 9.50
33.38/33.40	c     8934    319     3828   948940  247     8077    5539   3822    616 14.50
33.38/33.40	c    12195    319     2777   667359  240     6105    6093   2771    577 21.11
33.38/33.40	c    17156    319     5955  1515855  254    13176    6703   5949    561 30.55
33.38/33.40	o 308
191.05/191.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.05/191.17	c    18610    319     4071   995780  244     9047    3124   4065    557 33.40
191.05/191.17	c    18779    319     2071   499573  241     4494    3437   2065    559 33.57
191.05/191.17	c    19057    319     2853   685567  240     6058    3781   2847    562 33.86
191.05/191.17	c    19532    319     3654   863423  236     8122    4160   3648    546 35.77
191.05/191.17	c    20347    319     2867   645735  225     6516    4577   2861    546 37.22
191.05/191.17	c    21667    319     3435   664169  193     7190    5035   3429    550 39.36
191.05/191.17	c    23771    319     3951   839556  212     8254    5539   3945    540 43.94
191.05/191.17	c    27049    319     2777   621927  223     5873    6093   2771    539 50.14
191.05/191.17	c    31987    319     3963   834858  210     8245    6703   3957    516 61.97
191.05/191.17	c    39523    319     5776  1341035  232    12786    7374   5770    532 74.27
191.05/191.17	c    50936    319     4688  1002321  213    10121    8112   4682    485 104.99
191.05/191.17	c    68121    319     6841  1395259  203    14449    8924   6835    447 152.37
191.05/191.17	o 307
410.31/410.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
410.31/410.43	c    83054    319     8636  1777265  205    18416    3124   8630    434 191.14
410.31/410.43	c    83156    319     1867   401986  215     4201    3437   1861    434 191.30
410.31/410.43	c    83406    319     2478   533919  215     5426    3781   2472    435 191.54
410.31/410.43	c    83882    319     3622   752944  207     7714    4160   3616    436 192.07
410.31/410.43	c    84698    319     3074   601562  195     6468    4577   3068    438 193.01
410.31/410.43	c    86024    319     2408   468534  194     5135    5035   2402    436 197.26
410.31/410.43	c    88109    319     4959  1021488  205    10238    5539   4953    440 199.85
410.31/410.43	c    91356    319     5180   972012  187    10680    6093   5174    446 204.65
410.31/410.43	c    96307    319     3225   652550  202     6786    6703   3219    448 214.68
410.31/410.43	c   103814    319     5403  1052485  194    11126    7374   5397    448 231.51
410.31/410.43	c   115218    319     5483  1145694  208    11333    8112   5477    440 261.64
410.31/410.43	c   132384    319     4063   759224  186     8447    8924   4057    440 300.35
410.31/410.43	c   158254    319     8257  1400569  169    16836    9817   8251    421 375.80
410.31/410.43	v -x111 x222 -x254 -x265 -x276 -x287 -x298 -x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x189 -x200 -x211 -x223 -x234 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x246 
410.31/410.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
410.31/410.43	c   56   169998  48275  1154727     9440  1376666   9434    414 410.36
410.31/410.43	c Objective: 307
410.31/410.43	s OPTIMUM FOUND
410.31/410.43	c Total time: 410.364 s

Verifier Data 

OK	307

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731132-1338687731/watcher-3731132-1338687731 -o /tmp/evaluation-result-3731132-1338687731/solver-3731132-1338687731 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731132-1338687731.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31563
/proc/meminfo: memFree=30578220/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=19244 CPUtime=0 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 334900053 19705856 373 33554432000 134512640 137136520 4287480768 4287478456 135443262 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 4811 373 280 641 0 4167 0

[startup+0.060616 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31563
/proc/meminfo: memFree=30578220/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=18704 CPUtime=0.05 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 4600 0 0 0 4 1 0 0 20 0 1 0 334900053 19152896 377 33554432000 134512640 137136520 4287480768 4287479884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 4676 377 292 641 0 4032 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18704

[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31563
/proc/meminfo: memFree=30578220/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=19112 CPUtime=0.09 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 7569 0 0 0 8 1 0 0 20 0 1 0 334900053 19570688 397 33554432000 134512640 137136520 4287480768 4287478664 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 4811 399 293 641 0 4167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19112

[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31563
/proc/meminfo: memFree=30578220/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=18840 CPUtime=0.29 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 22164 0 0 0 26 3 0 0 20 0 1 0 334900053 19292160 410 33554432000 134512640 137136520 4287480768 4287479884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 4710 410 293 641 0 4066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18840

[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31563
/proc/meminfo: memFree=30578220/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=12348 CPUtime=0.68 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 45207 0 0 0 62 6 0 0 20 0 1 0 334900053 12644352 744 33554432000 134512640 137136520 4287480768 4287479884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 3140 744 293 641 0 2496 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12348

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31564
/proc/meminfo: memFree=30575740/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=14808 CPUtime=1.49 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 90771 0 0 0 135 14 0 0 20 0 1 0 334900053 15163392 1248 33554432000 134512640 137136520 4287480768 4287478528 135449394 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 3702 1248 293 641 0 3058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14808

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31564
/proc/meminfo: memFree=30570276/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=26968 CPUtime=3.09 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 143671 0 0 0 283 26 0 0 20 0 1 0 334900053 27615232 4289 33554432000 134512640 137136520 4287480768 4287478560 134732448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 6742 4289 293 641 0 6098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26968

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31564
/proc/meminfo: memFree=30561224/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=27140 CPUtime=6.29 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 182304 0 0 0 589 40 0 0 20 0 1 0 334900053 27791360 4438 33554432000 134512640 137136520 4287480768 4287475288 134598645 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 6785 4438 293 641 0 6141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27140

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31564
/proc/meminfo: memFree=30558528/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=29500 CPUtime=12.69 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 256085 0 0 0 1208 61 0 0 20 0 1 0 334900053 30208000 5026 33554432000 134512640 137136520 4287480768 4287479392 134554358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 7375 5026 293 641 0 6731 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29500

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31565
/proc/meminfo: memFree=30556668/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=31632 CPUtime=25.49 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 318717 0 0 0 2470 79 0 0 20 0 1 0 334900053 32391168 5571 33554432000 134512640 137136520 4287480768 4287479696 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 7908 5571 293 641 0 7264 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31632

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31573
/proc/meminfo: memFree=31348340/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=33992 CPUtime=51.09 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 333034 0 0 0 5020 89 0 0 20 0 1 0 334900053 34807808 6154 33554432000 134512640 137136520 4287480768 4287479296 134858911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 8498 6154 293 641 0 7854 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33992

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31335828/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=35568 CPUtime=102.27 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 485863 0 0 0 10083 144 0 0 20 0 1 0 334900053 36421632 6556 33554432000 134512640 137136520 4287480768 4287479664 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 8892 6556 293 641 0 8248 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 35568

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31220360/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=36612 CPUtime=162.25 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1079508 0 0 0 15899 326 0 0 20 0 1 0 334900053 37490688 6807 33554432000 134512640 137136520 4287480768 4287476272 134600663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9153 6807 293 641 0 8509 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36612

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31201048/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=222.24 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308972 0 0 0 21811 413 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287478560 134730242 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 37200

[startup+282.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 31614
/proc/meminfo: memFree=31201356/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=282.24 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 27791 433 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479524 136499629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37200

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.01 4/177 31615
/proc/meminfo: memFree=31201356/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=342.23 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 33766 457 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287478560 134730274 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37200

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=402.21 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 39740 481 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479300 134551157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 37200

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

[startup+403.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=403.02 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 39820 482 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 403.02
Current children cumulated vsize (KiB) 37200

[startup+406.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=406.22 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 40138 484 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 406.22
Current children cumulated vsize (KiB) 37200

[startup+407.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=407.82 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 40297 485 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 407.82
Current children cumulated vsize (KiB) 37200

[startup+409.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=409.42 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 40457 485 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479696 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 409.42
Current children cumulated vsize (KiB) 37200

[startup+409.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=409.81 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 40496 485 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479884 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 409.81
Current children cumulated vsize (KiB) 37200

[startup+410.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=410.22 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 40537 485 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287479696 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 410.22
Current children cumulated vsize (KiB) 37200

[startup+410.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31563] ppid=31561 vsize=37200 CPUtime=410.31 cores=1,3,5,7
/proc/31563/stat : 31563 (bsolo) R 31561 31563 29538 0 -1 4202496 1308973 0 0 0 40546 485 0 0 20 0 1 0 334900053 38092800 6954 33554432000 134512640 137136520 4287480768 4287478560 134732437 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31563/statm: 9300 6954 293 641 0 8656 0
Current children cumulated CPU time (s) 410.31
Current children cumulated vsize (KiB) 37200

Child status: 0
Real time (s): 410.438
CPU time (s): 410.366
CPU user time (s): 405.505
CPU system time (s): 4.86026
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 37632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.505
system time used= 4.86026
maximum resident set size= 27864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1308975
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= 13
involuntary context switches= 422

runsolver used 1.2828 second user time and 3.11153 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-03 03:42:11
IDJOB=3731132
IDBENCH=1854
IDSOLVER=2320
FILE ID=node111/3731132-1338687731
RUNJOBID= node111-1338678630-29558
PBS_JOBID= 14636702
Free space on /tmp= 67360 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731132-1338687731/watcher-3731132-1338687731 -o /tmp/evaluation-result-3731132-1338687731/solver-3731132-1338687731 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731132-1338687731.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=1308558473

node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30578392 kB
Buffers:          168172 kB
Cached:           521384 kB
SwapCached:         1404 kB
Active:          1003300 kB
Inactive:         503512 kB
Active(anon):     818236 kB
Inactive(anon):     1276 kB
Active(file):     185064 kB
Inactive(file):   502236 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100152 kB
Dirty:              3892 kB
Writeback:             0 kB
AnonPages:        831444 kB
Mapped:             9616 kB
Shmem:                 0 kB
Slab:             645248 kB
SReclaimable:      87596 kB
SUnreclaim:       557652 kB
KernelStack:        1472 kB
PageTables:         5396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     960464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    811008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731132-1338687731.opb

Free space on /tmp at the end= 67388 MiB
End job on node111 at 2012-06-03 03:49:01