Trace number 3707773

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.2OPT307 1378.3 1378.53

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.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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707773-1338142711.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.004 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.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    319        7     1562  223      332    3124      1      0 0.01
0.00/0.07	o 543
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c       10    319       19     4973  261      666    3124     13    144 0.07
0.08/0.13	o 486
0.08/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.19	c       10    319       20     5292  264      983    3124     14     77 0.13
0.08/0.19	o 477
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c       10    319       21     5611  267     1297    3124     15     52 0.19
0.19/0.26	o 399
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c       23    319       38    10148  267     1643    3124     32     89 0.26
0.39/0.47	c      132    319      191    52227  273     2080    3437    185    339 0.39
0.39/0.47	o 395
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c      160    319      255    71181  279     2951    3124    249    341 0.47
0.49/0.53	o 394
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c      163    319      260    72585  279     3287    3124    254    306 0.53
0.59/0.60	o 393
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c      180    319      289    80770  279     3704    3124    283    298 0.60
0.79/0.82	c      280    319      428   118004  275     4010    3437    422    374 0.75
0.79/0.82	o 385
1.00/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.07	c      292    319      443   121837  275     4382    3124    437    355 0.82
1.00/1.07	c      392    319      568   151620  266     4650    3437    562    388 1.01
1.00/1.07	o 375
1.09/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.13	c      392    319      569   151939  267     4966    3124    563    366 1.07
1.09/1.13	o 374
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c      393    319      571   152463  267     5283    3124    565    348 1.13
1.19/1.26	o 373
4.99/5.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.10	c      492    319      708   188951  266     5906    3124    702    388 1.26
4.99/5.10	c      593    319      860   229270  266     6220    3437    854    419 1.42
4.99/5.10	c      843    319     1225   317439  259     6952    3781   1219    471 1.79
4.99/5.10	c     1318    319     1929   498099  258     8379    4160   1923    574 2.29
4.99/5.10	c     2131    319     3266   857309  262    11281    4577   3260    661 3.22
4.99/5.10	c     3452    319     2862   757990  264     6544    5035   2856    695 4.96
4.99/5.10	o 372
974.03/974.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
974.03/974.22	c     3514    319     2972   787491  264     7077    3124   2966    689 5.10
974.03/974.22	c     3614    319     1569   415253  264     4015    3437   1563    688 5.25
974.03/974.22	c     3865    319     1955   517917  264     4880    3781   1949    697 5.54
974.03/974.22	c     4340    319     3145   856034  272     7352    4160   3139    724 5.99
974.03/974.22	c     5153    319     2487   677268  272     5603    4577   2481    735 7.00
974.03/974.22	c     6474    319     4289  1115758  260     9888    5035   4283    600 10.78
974.03/974.22	c     8555    319     3072   712024  231     6464    5539   3066    494 17.30
974.03/974.22	c    11808    319     4322  1006959  232     8963    6093   4316    429 27.50
974.03/974.22	c    16744    319     3126   704610  225     6571    6703   3120    372 44.96
974.03/974.22	c    24251    319     6702  1517555  226    13724    7374   6696    401 60.44
974.03/974.22	c    35619    319     4103   951330  231     8735    8112   4097    452 78.71
974.03/974.22	c    52763    319     6715  1663862  247    13796    8924   6709    481 109.65
974.03/974.22	c    78586    319     7126  1670737  234    14582    9817   7120    479 163.88
974.03/974.22	c   117419    319     6920  1636463  236    14169   10799   6914    458 255.96
974.03/974.22	c   175771    319    10617  2482630  233    21553   11879  10611    486 361.08
974.03/974.22	c   263403    319    10811  2477518  229    21944   13067  10805    400 657.19
974.03/974.22	o 336
1002.32/1002.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1002.32/1002.56	c   335449    319    12698  2825937  222    26043    3124  12692    344 974.06
1002.32/1002.56	c   335549    319     1851   417393  225     4022    3437   1845    344 974.25
1002.32/1002.56	c   335801    319     2457   551932  224     5234    3781   2451    344 974.66
1002.32/1002.56	c   336278    319     1898   441840  232     4131    4160   1892    344 975.25
1002.32/1002.56	c   337091    319     3612   883427  244     7761    4577   3606    345 976.32
1002.32/1002.56	c   338411    319     3859   991539  256     8146    5035   3853    345 978.89
1002.32/1002.56	c   340494    319     4467  1155033  258     9255    5539   4461    346 981.96
1002.32/1002.56	c   343774    319     3428   858571  250     7264    6093   3422    348 987.39
1002.32/1002.56	c   348710    319     5713  1424409  249    11788    6703   5707    348 999.75
1002.32/1002.56	o 334
1092.71/1092.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1092.71/1092.90	c   349967    319     4419  1104568  249     9475    3124   4413    349 1002.39
1092.71/1092.90	c   350072    319     1858   462884  249     4036    3437   1852    349 1002.54
1092.71/1092.90	c   350322    319     2329   582261  250     4997    3781   2323    349 1002.83
1092.71/1092.90	c   350805    319     3075   781961  254     6618    4160   3069    349 1003.26
1092.71/1092.90	c   351621    319     2087   548910  263     4618    4577   2081    350 1004.13
1092.71/1092.90	c   352957    319     4577  1255490  274    11280    5035   4571    350 1005.93
1092.71/1092.90	c   355103    319     4630  1216525  262    12391    5539   4624    351 1011.17
1092.71/1092.90	c   358357    319     2882   647984  224     6084    6093   2876    352 1016.29
1092.71/1092.90	c   363304    319     3054   748994  245     6430    6703   3048    355 1021.15
1092.71/1092.90	c   370810    319     4548  1166208  256     9416    7374   4542    358 1035.58
1092.71/1092.90	c   382172    319     5386  1328055  246    12382    8112   5380    361 1057.81
1092.71/1092.90	o 321
1109.00/1109.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1109.00/1109.29	c   395838    319     4919  1238017  251    10811    3124   4913    362 1092.72
1109.00/1109.29	c   395939    319     1826   464253  254     3998    3437   1820    362 1092.86
1109.00/1109.29	c   396189    319     2441   608100  249     5228    3781   2435    362 1093.22
1109.00/1109.29	c   396664    319     3623   899451  248     7594    4160   3617    362 1093.80
1109.00/1109.29	c   397485    319     2906   715628  246     6151    4577   2900    362 1095.45
1109.00/1109.29	c   398817    319     2818   700328  248     6014    5035   2812    363 1097.15
1109.00/1109.29	c   400898    319     3071   877477  285     6726    5539   3065    364 1099.24
1109.00/1109.29	c   404121    319     3432   879434  256     7313    6093   3426    365 1105.25
1109.00/1109.29	o 316
1191.10/1191.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1191.10/1191.30	c   406286    319     3515   865191  246     7733    3124   3509    366 1109.10
1191.10/1191.30	c   406407    319     1926   486917  252     4223    3437   1920    366 1109.26
1191.10/1191.30	c   406666    319     2697   675664  250     5765    3781   2691    366 1109.51
1191.10/1191.30	c   407155    319     1898   461738  243     4117    4160   1892    366 1110.31
1191.10/1191.30	c   407970    319     3712   900256  242     7970    4577   3706    366 1111.80
1191.10/1191.30	c   409293    319     4490  1077194  239     9926    5035   4484    367 1115.10
1191.10/1191.30	c   411374    319     3279   769610  234     7475    5539   3273    366 1122.16
1191.10/1191.30	c   414606    319     3150   713187  226     6640    6093   3144    365 1133.86
1191.10/1191.30	c   419542    319     5771  1334627  231    11864    6703   5765    364 1151.90
1191.10/1191.30	c   427058    319     5221  1340352  256    12364    7374   5215    363 1173.69
1191.10/1191.30	o 311
1202.09/1202.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1202.09/1202.34	c   433695    319     4569  1161967  254    12037    3124   4563    364 1191.11
1202.09/1202.34	c   433796    319     1860   483335  259     4755    3437   1854    364 1191.26
1202.09/1202.34	c   434057    319     2587   682060  263     6209    3781   2581    364 1191.56
1202.09/1202.34	c   434562    319     1898   502686  264     4115    4160   1892    364 1192.10
1202.09/1202.34	c   435393    319     4157  1107823  266     8702    4577   4151    364 1192.94
1202.09/1202.34	c   436732    319     2296   599536  261     5210    5035   2290    365 1194.52
1202.09/1202.34	c   438817    319     3594   934505  260     7889    5539   3588    366 1198.04
1202.09/1202.34	o 310
1206.89/1207.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1206.89/1207.15	c   440861    319     3032   783990  258     6742    3124   3026    366 1202.14
1206.89/1207.15	c   440961    319     1569   382303  243     3460    3437   1563    366 1202.46
1206.89/1207.15	c   441211    319     2100   503541  239     4520    3781   2094    366 1203.08
1206.89/1207.15	c   441687    319     3171   750074  236     6662    4160   3165    366 1203.95
1206.89/1207.15	c   442500    319     2668   613211  229     5657    4577   2662    367 1205.54
1206.89/1207.15	o 309
1214.29/1214.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.29/1214.56	c   442862    319     3503   807537  230     7641    3124   3497    366 1206.95
1214.29/1214.56	c   442963    319     1738   398023  229     3797    3437   1732    366 1207.17
1214.29/1214.56	c   443213    319     2242   512519  228     4807    3781   2236    367 1207.53
1214.29/1214.56	c   443695    319     3179   727954  228     6705    4160   3173    367 1208.97
1214.29/1214.56	c   444508    319     2571   578103  224     5463    4577   2565    367 1210.70
1214.29/1214.56	o 307
1378.27/1378.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1378.27/1378.52	c   445441    319     3754   867902  231     8432    3124   3748    366 1214.36
1378.27/1378.52	c   445562    319     1932   469413  242     4399    3437   1926    366 1214.51
1378.27/1378.52	c   445816    319     2689   675722  251     5918    3781   2683    366 1214.76
1378.27/1378.52	c   446296    319     1899   483910  254     4131    4160   1893    367 1215.38
1378.27/1378.52	c   447109    319     3770   970267  257     7879    4577   3764    367 1216.28
1378.27/1378.52	c   448433    319     4520  1118531  247     9360    5035   4514    368 1218.09
1378.27/1378.52	c   450514    319     4508  1035847  229     9336    5539   4502    369 1220.21
1378.27/1378.52	c   453737    319     5207  1170757  224    10814    6093   5201    370 1225.59
1378.27/1378.52	c   458703    319     5894  1305052  221    12107    6703   5888    371 1233.23
1378.27/1378.52	c   466209    319     4315   944929  218     8949    7374   4309    373 1249.83
1378.27/1378.52	c   477572    319     3889   788658  202     8123    8112   3883    372 1283.03
1378.27/1378.52	c   494719    319     4491   833560  185     9303    8924   4485    372 1327.47
1378.27/1378.52	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 
1378.27/1378.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1378.27/1378.52	c  103   517416 237317  3593616     8312  1176901   8306    375 1378.30
1378.27/1378.52	c Objective: 307
1378.27/1378.52	s OPTIMUM FOUND
1378.27/1378.52	c Total time: 1378.3 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-3707773-1338142711/watcher-3707773-1338142711 -o /tmp/evaluation-result-3707773-1338142711/solver-3707773-1338142711 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707773-1338142711.opb 

running on 4 cores: 0,2,4,6

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 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=18608 CPUtime=0 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 280395149 19054592 243 33554432000 134512640 137138936 4293824496 4293822024 136621744 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4652 243 186 642 0 4008 0

[startup+0.085711 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=19104 CPUtime=0.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 5677 0 0 0 7 0 0 0 20 0 1 0 280395149 19562496 387 33554432000 134512640 137138936 4293824496 4293822392 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4827 392 287 642 0 4183 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19104

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=19308 CPUtime=0.08 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 6711 0 0 0 8 0 0 0 20 0 1 0 280395149 19771392 392 33554432000 134512640 137138936 4293824496 4293822152 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4827 392 287 642 0 4183 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19308

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=19324 CPUtime=0.29 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 20396 0 0 0 26 3 0 0 20 0 1 0 280395149 19787776 417 33554432000 134512640 137138936 4293824496 4293822216 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4707 404 287 642 0 4063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19324

[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=12228 CPUtime=0.69 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 42343 0 0 0 62 7 0 0 20 0 1 0 280395149 12521472 706 33554432000 134512640 137138936 4293824496 4293823424 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 3057 706 287 642 0 2413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12228

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14162
/proc/meminfo: memFree=29579480/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=14144 CPUtime=1.49 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 84954 0 0 0 137 12 0 0 20 0 1 0 280395149 14483456 1186 33554432000 134512640 137138936 4293824496 4293822384 134750862 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 3628 1194 287 642 0 2984 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14144

[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14162
/proc/meminfo: memFree=29575140/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=21528 CPUtime=3.09 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 135496 0 0 0 288 21 0 0 20 0 1 0 280395149 22044672 3030 33554432000 134512640 137138936 4293824496 4293822840 134599706 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 5382 3030 287 642 0 4738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21528

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29962536/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=28184 CPUtime=6.29 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 170664 0 0 0 600 29 0 0 20 0 1 0 280395149 28860416 4659 33554432000 134512640 137138936 4293824496 4293822704 135251088 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 7046 4659 287 642 0 6402 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28184

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29954120/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=29632 CPUtime=12.68 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 213722 0 0 0 1225 43 0 0 20 0 1 0 280395149 30343168 5052 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 7408 5052 287 642 0 6764 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29632

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29937828/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=29664 CPUtime=25.48 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 489790 0 0 0 2419 129 0 0 20 0 1 0 280395149 30375936 5059 33554432000 134512640 137138936 4293824496 4293822480 135783878 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 7544 5065 287 642 0 6900 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29664

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29894916/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=32712 CPUtime=51.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 862884 0 0 0 4867 240 0 0 20 0 1 0 280395149 33497088 5826 33554432000 134512640 137138936 4293824496 4293820152 134601095 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 8178 5826 287 642 0 7534 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32712

[startup+102.306 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 14203
/proc/meminfo: memFree=29848716/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=41164 CPUtime=102.27 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1108259 0 0 0 9909 318 0 0 20 0 1 0 280395149 42151936 7868 33554432000 134512640 137138936 4293824496 4293821880 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 10213 7865 287 642 0 9569 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41164

[startup+162.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/177 14203
/proc/meminfo: memFree=29748852/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=44160 CPUtime=162.25 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1252674 0 0 0 15858 367 0 0 20 0 1 0 280395149 45219840 8701 33554432000 134512640 137138936 4293824496 4293823392 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11040 8701 287 642 0 10396 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 44160

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/177 14204
/proc/meminfo: memFree=29718004/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=44708 CPUtime=222.25 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1552534 0 0 0 21758 467 0 0 20 0 1 0 280395149 45780992 8790 33554432000 134512640 137138936 4293824496 4293822480 135783682 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11177 8790 287 642 0 10533 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 44708

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 14204
/proc/meminfo: memFree=29715620/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=46808 CPUtime=282.23 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1764979 0 0 0 27693 530 0 0 20 0 1 0 280395149 47931392 9355 33554432000 134512640 137138936 4293824496 4293823392 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11702 9355 287 642 0 11058 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 46808

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 14204
/proc/meminfo: memFree=29687228/32873648 swapFree=7372/7372
[pid=14161] ppid=14159 vsize=47028 CPUtime=342.23 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 2429945 0 0 0 33507 716 0 0 20 0 1 0 280395149 48156672 9408 33554432000 134512640 137138936 4293824496 4293823076 136502635 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11757 9408 287 642 0 11113 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 47028

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14204
/proc/meminfo: memFree=29683760/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50484 CPUtime=402.21 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 3646584 0 0 0 39170 1051 0 0 20 0 1 0 280395149 51695616 10271 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12621 10271 287 642 0 11977 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50484

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14204
/proc/meminfo: memFree=29683232/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50632 CPUtime=462.21 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064230 0 0 0 45027 1194 0 0 20 0 1 0 280395149 51847168 10273 33554432000 134512640 137138936 4293824496 4293822640 134909619 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12658 10273 287 642 0 12014 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 50632

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14205
/proc/meminfo: memFree=29683980/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50632 CPUtime=522.2 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064230 0 0 0 50997 1223 0 0 20 0 1 0 280395149 51847168 10273 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12658 10273 287 642 0 12014 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 50632

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14205
/proc/meminfo: memFree=29683980/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50440 CPUtime=582.18 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064230 0 0 0 56964 1254 0 0 20 0 1 0 280395149 51650560 10272 33554432000 134512640 137138936 4293824496 4293822432 135250978 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12610 10272 287 642 0 11966 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 50440

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=29655680/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50596 CPUtime=642.18 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064289 0 0 0 62951 1267 0 0 20 0 1 0 280395149 51810304 10276 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12649 10276 287 642 0 12005 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 50596

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 14208
/proc/meminfo: memFree=29652828/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=53072 CPUtime=702.17 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467290 0 0 0 68814 1403 0 0 20 0 1 0 280395149 54345728 10920 33554432000 134512640 137138936 4293824496 4293822384 134750313 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13268 10920 287 642 0 12624 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 53072

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14208
/proc/meminfo: memFree=29653080/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=762.17 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467290 0 0 0 74781 1436 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 52880

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14209
/proc/meminfo: memFree=29630016/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=822.15 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467290 0 0 0 80747 1468 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293822160 135388353 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 52880

[startup+882.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 14209
/proc/meminfo: memFree=29629496/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=882.14 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 86717 1497 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293823424 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 52880

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 14209
/proc/meminfo: memFree=29629808/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=942.13 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 92687 1526 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293822080 135381829 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 52880

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 14209
/proc/meminfo: memFree=29616168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52660 CPUtime=1002.12 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 98659 1553 0 0 20 0 1 0 280395149 53923840 10834 33554432000 134512640 137138936 4293824496 4293823424 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13165 10834 287 642 0 12521 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 52660

[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/177 14209
/proc/meminfo: memFree=29562372/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51764 CPUtime=1062.12 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 104642 1570 0 0 20 0 1 0 280395149 53006336 10610 33554432000 134512640 137138936 4293824496 4293823248 134575873 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12941 10610 287 642 0 12297 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 51764

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 14210
/proc/meminfo: memFree=29558088/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1122.1 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 110621 1589 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822432 135251804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 51444

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 14210
/proc/meminfo: memFree=29558532/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1182.09 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 116593 1616 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823392 134542463 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 51444

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 14210
/proc/meminfo: memFree=29558408/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1242.08 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 122573 1635 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293819756 136521046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 51444

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14213
/proc/meminfo: memFree=29558044/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1302.08 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 128555 1653 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 51444

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 14213
/proc/meminfo: memFree=29516128/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1362.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 134534 1673 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 51444

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

[startup+1369.51 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 14213
/proc/meminfo: memFree=29516184/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1369.27 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 135252 1675 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822480 135783682 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1369.27
Current children cumulated vsize (KiB) 51444

[startup+1372.7 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 14213
/proc/meminfo: memFree=29516044/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1372.47 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 135570 1677 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822920 134606997 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1372.47
Current children cumulated vsize (KiB) 51444

[startup+1375.9 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1375.66 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 135887 1679 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822912 134924016 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1375.66
Current children cumulated vsize (KiB) 51444

[startup+1377.5 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1377.26 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 136047 1679 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823024 134602864 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1377.26
Current children cumulated vsize (KiB) 51444

[startup+1378.31 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1378.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 136127 1680 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823616 134633796 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1378.07
Current children cumulated vsize (KiB) 51444

[startup+1378.5 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1378.27 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 136147 1680 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822640 134909751 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1378.27
Current children cumulated vsize (KiB) 51444

Child status: 0
Real time (s): 1378.53
CPU time (s): 1378.3
CPU user time (s): 1361.5
CPU system time (s): 16.8014
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 53388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1361.5
system time used= 16.8014
maximum resident set size= 43692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4467291
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= 24
involuntary context switches= 1528

runsolver used 2.15767 second user time and 5.36718 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-27 20:18:31
IDJOB=3707773
IDBENCH=1854
IDSOLVER=2286
FILE ID=node149/3707773-1338142711
RUNJOBID= node149-1338139112-13888
PBS_JOBID= 14624479
Free space on /tmp= 71704 MiB

SOLVER NAME= bsolo 3.2
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707773-1338142711/watcher-3707773-1338142711 -o /tmp/evaluation-result-3707773-1338142711/solver-3707773-1338142711 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707773-1338142711.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=1397833606

node149.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.145
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.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29581744 kB
Buffers:          372780 kB
Cached:          1695312 kB
SwapCached:         2452 kB
Active:          1209332 kB
Inactive:        1263968 kB
Active(anon):     396600 kB
Inactive(anon):     9340 kB
Active(file):     812732 kB
Inactive(file):  1254628 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104876 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:        406836 kB
Mapped:            14996 kB
Shmem:                96 kB
Slab:             679440 kB
SReclaimable:     123896 kB
SUnreclaim:       555544 kB
KernelStack:        1472 kB
PageTables:         4404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     524328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node149 at 2012-05-27 20:41:29