Trace number 3463548

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 1462.38 1462.34

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.736887
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-3463548-1307175421.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.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c        0    319        7     1562  223      332    3124      1      0 0.00
0.02/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       19     4973  261      666    3124     13    151 0.07
0.09/0.12	o 486
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c       10    319       20     5292  264      983    3124     14     80 0.12
0.09/0.18	o 477
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c       10    319       21     5611  267     1297    3124     15     53 0.19
0.19/0.25	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    336 0.39
0.39/0.47	o 395
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c      160    319      255    71181  279     2951    3124    249    336 0.47
0.49/0.54	o 394
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c      163    319      260    72585  279     3287    3124    254    302 0.54
0.59/0.61	o 393
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c      180    319      289    80770  279     3704    3124    283    294 0.61
0.79/0.83	c      280    319      428   118004  275     4010    3437    422    368 0.76
0.79/0.83	o 385
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c      292    319      443   121837  275     4382    3124    437    349 0.84
0.99/1.09	c      392    319      568   151620  266     4650    3437    562    380 1.03
0.99/1.09	o 375
1.11/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.11/1.15	c      392    319      569   151939  267     4966    3124    563    359 1.09
1.11/1.15	o 374
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c      393    319      571   152463  267     5283    3124    565    341 1.15
1.19/1.29	o 373
5.19/5.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.20	c      492    319      708   188951  266     5906    3124    702    381 1.29
5.19/5.20	c      593    319      860   229270  266     6220    3437    854    410 1.45
5.19/5.20	c      843    319     1225   317439  259     6952    3781   1219    461 1.83
5.19/5.20	c     1318    319     1929   498099  258     8379    4160   1923    560 2.35
5.19/5.20	c     2131    319     3266   857309  262    11281    4577   3260    643 3.31
5.19/5.20	c     3452    319     2862   757990  264     6544    5035   2856    679 5.08
5.19/5.20	o 372
1028.62/1028.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1028.62/1028.61	c     3514    319     2972   787491  264     7077    3124   2966    674 5.21
1028.62/1028.61	c     3614    319     1569   415253  264     4015    3437   1563    675 5.35
1028.62/1028.61	c     3865    319     1955   517917  264     4880    3781   1949    687 5.62
1028.62/1028.61	c     4340    319     3145   856034  272     7352    4160   3139    717 6.05
1028.62/1028.61	c     5153    319     2487   677268  272     5603    4577   2481    729 7.06
1028.62/1028.61	c     6474    319     4289  1115758  260     9888    5035   4283    588 11.00
1028.62/1028.61	c     8555    319     3072   712024  231     6464    5539   3066    484 17.66
1028.62/1028.61	c    11808    319     4322  1006959  232     8963    6093   4316    420 28.10
1028.62/1028.61	c    16744    319     3126   704610  225     6571    6703   3120    363 46.12
1028.62/1028.61	c    24251    319     6702  1517555  226    13724    7374   6696    388 62.42
1028.62/1028.61	c    35619    319     4103   951330  231     8735    8112   4097    433 82.24
1028.62/1028.61	c    52763    319     6715  1663862  247    13796    8924   6709    457 115.29
1028.62/1028.61	c    78586    319     7126  1670737  234    14582    9817   7120    453 173.22
1028.62/1028.61	c   117419    319     6920  1636463  236    14169   10799   6914    430 272.50
1028.62/1028.61	c   175771    319    10617  2482630  233    21553   11879  10611    454 386.80
1028.62/1028.61	c   263403    319    10811  2477518  229    21944   13067  10805    377 697.82
1028.62/1028.61	o 336
1058.72/1058.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1058.72/1058.76	c   335449    319    12698  2825937  222    26043    3124  12692    326 1028.64
1058.72/1058.76	c   335549    319     1851   417393  225     4022    3437   1845    326 1028.92
1058.72/1058.76	c   335801    319     2457   551932  224     5234    3781   2451    326 1029.33
1058.72/1058.76	c   336278    319     1898   441840  232     4131    4160   1892    326 1029.89
1058.72/1058.76	c   337091    319     3612   883427  244     7761    4577   3606    326 1031.05
1058.72/1058.76	c   338411    319     3859   991539  256     8146    5035   3853    327 1033.86
1058.72/1058.76	c   340494    319     4467  1155033  258     9255    5539   4461    328 1037.05
1058.72/1058.76	c   343774    319     3428   858571  250     7264    6093   3422    329 1042.80
1058.72/1058.76	c   348710    319     5713  1424409  249    11788    6703   5707    330 1055.94
1058.72/1058.76	o 334
1155.62/1155.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1155.62/1155.66	c   349967    319     4419  1104568  249     9475    3124   4413    330 1058.79
1155.62/1155.66	c   350072    319     1858   462884  249     4036    3437   1852    330 1058.95
1155.62/1155.66	c   350322    319     2329   582261  250     4997    3781   2323    330 1059.28
1155.62/1155.66	c   350805    319     3075   781961  254     6618    4160   3069    331 1059.75
1155.62/1155.66	c   351621    319     2087   548910  263     4618    4577   2081    331 1060.72
1155.62/1155.66	c   352957    319     4577  1255490  274    11280    5035   4571    332 1062.58
1155.62/1155.66	c   355103    319     4630  1216525  262    12391    5539   4624    332 1068.31
1155.62/1155.66	c   358357    319     2882   647984  224     6084    6093   2876    333 1073.90
1155.62/1155.66	c   363304    319     3054   748994  245     6430    6703   3048    336 1079.09
1155.62/1155.66	c   370810    319     4548  1166208  256     9416    7374   4542    338 1094.58
1155.62/1155.66	c   382172    319     5386  1328055  246    12382    8112   5380    341 1118.15
1155.62/1155.66	o 321
1173.42/1173.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1173.42/1173.44	c   395838    319     4919  1238017  251    10811    3124   4913    342 1155.69
1173.42/1173.44	c   395939    319     1826   464253  254     3998    3437   1820    342 1155.86
1173.42/1173.44	c   396189    319     2441   608100  249     5228    3781   2435    342 1156.24
1173.42/1173.44	c   396664    319     3623   899451  248     7594    4160   3617    342 1156.88
1173.42/1173.44	c   397485    319     2906   715628  246     6151    4577   2900    343 1158.69
1173.42/1173.44	c   398817    319     2818   700328  248     6014    5035   2812    343 1160.51
1173.42/1173.44	c   400898    319     3071   877477  285     6726    5539   3065    344 1162.72
1173.42/1173.44	c   404121    319     3432   879434  256     7313    6093   3426    345 1169.21
1173.42/1173.44	o 316
1260.72/1260.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1260.72/1260.71	c   406286    319     3515   865191  246     7733    3124   3509    346 1173.47
1260.72/1260.71	c   406407    319     1926   486917  252     4223    3437   1920    346 1173.63
1260.72/1260.71	c   406666    319     2697   675664  250     5765    3781   2691    346 1173.87
1260.72/1260.71	c   407155    319     1898   461738  243     4117    4160   1892    346 1174.68
1260.72/1260.71	c   407970    319     3712   900256  242     7970    4577   3706    346 1176.30
1260.72/1260.71	c   409293    319     4490  1077194  239     9926    5035   4484    346 1179.84
1260.72/1260.71	c   411374    319     3279   769610  234     7475    5539   3273    346 1187.23
1260.72/1260.71	c   414606    319     3150   713187  226     6640    6093   3144    345 1199.65
1260.72/1260.71	c   419542    319     5771  1334627  231    11864    6703   5765    344 1218.76
1260.72/1260.71	c   427058    319     5221  1340352  256    12364    7374   5215    343 1241.90
1260.72/1260.71	o 311
1272.52/1272.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1272.52/1272.51	c   433695    319     4569  1161967  254    12037    3124   4563    343 1260.74
1272.52/1272.51	c   433796    319     1860   483335  259     4755    3437   1854    344 1260.93
1272.52/1272.51	c   434057    319     2587   682060  263     6209    3781   2581    344 1261.25
1272.52/1272.51	c   434562    319     1898   502686  264     4115    4160   1892    344 1261.83
1272.52/1272.51	c   435393    319     4157  1107823  266     8702    4577   4151    344 1262.76
1272.52/1272.51	c   436732    319     2296   599536  261     5210    5035   2290    345 1264.50
1272.52/1272.51	c   438817    319     3594   934505  260     7889    5539   3588    346 1268.21
1272.52/1272.51	o 310
1277.73/1277.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1277.73/1277.70	c   440861    319     3032   783990  258     6742    3124   3026    346 1272.55
1277.73/1277.70	c   440961    319     1569   382303  243     3460    3437   1563    346 1272.88
1277.73/1277.70	c   441211    319     2100   503541  239     4520    3781   2094    346 1273.54
1277.73/1277.70	c   441687    319     3171   750074  236     6662    4160   3165    346 1274.49
1277.73/1277.70	c   442500    319     2668   613211  229     5657    4577   2662    346 1276.22
1277.73/1277.70	o 309
1285.43/1285.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1285.43/1285.48	c   442862    319     3503   807537  230     7641    3124   3497    346 1277.74
1285.43/1285.48	c   442963    319     1738   398023  229     3797    3437   1732    346 1277.98
1285.43/1285.48	c   443213    319     2242   512519  228     4807    3781   2236    346 1278.34
1285.43/1285.48	c   443695    319     3179   727954  228     6705    4160   3173    346 1279.79
1285.43/1285.48	c   444508    319     2571   578103  224     5463    4577   2565    346 1281.67
1285.43/1285.48	o 307
1462.33/1462.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1462.33/1462.33	c   445441    319     3754   867902  231     8432    3124   3748    346 1285.52
1462.33/1462.33	c   445562    319     1932   469413  242     4399    3437   1926    346 1285.66
1462.33/1462.33	c   445816    319     2689   675722  251     5918    3781   2683    346 1285.91
1462.33/1462.33	c   446296    319     1899   483910  254     4131    4160   1893    346 1286.58
1462.33/1462.33	c   447109    319     3770   970267  257     7879    4577   3764    347 1287.56
1462.33/1462.33	c   448433    319     4520  1118531  247     9360    5035   4514    347 1289.53
1462.33/1462.33	c   450514    319     4508  1035847  229     9336    5539   4502    348 1291.77
1462.33/1462.33	c   453737    319     5207  1170757  224    10814    6093   5201    349 1297.63
1462.33/1462.33	c   458703    319     5894  1305052  221    12107    6703   5888    351 1305.79
1462.33/1462.33	c   466209    319     4315   944929  218     8949    7374   4309    352 1323.79
1462.33/1462.33	c   477572    319     3889   788658  202     8123    8112   3883    351 1359.17
1462.33/1462.33	c   494719    319     4491   833560  185     9303    8924   4485    351 1407.33
1462.33/1462.34	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 
1462.33/1462.34	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1462.33/1462.34	c  103   517416 237317  3593616     8312  1176901   8306    353 1462.38
1462.33/1462.34	c Objective: 307
1462.33/1462.34	s OPTIMUM FOUND
1462.33/1462.34	c Total time: 1462.38 s

Verifier Data 

OK	307

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463548-1307175421/watcher-3463548-1307175421 -o /tmp/evaluation-result-3463548-1307175421/solver-3463548-1307175421 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463548-1307175421.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.07 2.03 2.00 2/572 1645
/proc/meminfo: memFree=31679296/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 315 0 0 0 0 0 0 0 25 0 1 0 829140862 19050496 265 33554432000 134512640 137138936 4294239376 18446744073709551615 134866464 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 4651 277 215 642 0 4007 0

[startup+0.0298179 s]
/proc/loadavg: 2.07 2.03 2.00 2/572 1645
/proc/meminfo: memFree=31679296/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=18688 CPUtime=0.02 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 2217 0 0 0 2 0 0 0 25 0 1 0 829140862 19136512 362 33554432000 134512640 137138936 4294239376 18446744073709551615 134750251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 4672 362 280 642 0 4028 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18688

[startup+0.100861 s]
/proc/loadavg: 2.07 2.03 2.00 2/572 1645
/proc/meminfo: memFree=31679296/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=18732 CPUtime=0.09 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 6980 0 0 0 8 1 0 0 25 0 1 0 829140862 19181568 382 33554432000 134512640 137138936 4294239376 18446744073709551615 135782995 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 4826 392 287 642 0 4182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18732

[startup+0.300833 s]
/proc/loadavg: 2.07 2.03 2.00 2/572 1645
/proc/meminfo: memFree=31679296/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=19320 CPUtime=0.29 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 20469 0 0 0 26 3 0 0 25 0 1 0 829140862 19783680 419 33554432000 134512640 137138936 4294239376 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 4830 419 287 642 0 4186 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19320

[startup+0.700762 s]
/proc/loadavg: 2.07 2.03 2.00 2/572 1645
/proc/meminfo: memFree=31679296/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=12156 CPUtime=0.69 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 42032 0 0 0 64 5 0 0 25 0 1 0 829140862 12447744 690 33554432000 134512640 137138936 4294239376 18446744073709551615 134545197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 3039 690 287 642 0 2395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12156

[startup+1.50063 s]
/proc/loadavg: 2.07 2.03 2.00 3/573 1646
/proc/meminfo: memFree=31675940/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=13964 CPUtime=1.49 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 83541 0 0 0 137 12 0 0 25 0 1 0 829140862 14299136 1143 33554432000 134512640 137138936 4294239376 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 3491 1143 287 642 0 2847 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13964

[startup+3.10034 s]
/proc/loadavg: 2.06 2.03 2.00 3/573 1646
/proc/meminfo: memFree=31670980/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=21044 CPUtime=3.09 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 132978 0 0 0 289 20 0 0 25 0 1 0 829140862 21549056 2911 33554432000 134512640 137138936 4294239376 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 5261 2911 287 642 0 4617 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21044

[startup+6.3007 s]
/proc/loadavg: 2.06 2.03 2.00 3/573 1646
/proc/meminfo: memFree=31658532/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=28180 CPUtime=6.29 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 170663 0 0 0 603 26 0 0 25 0 1 0 829140862 28856320 4659 33554432000 134512640 137138936 4294239376 18446744073709551615 135470590 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 7045 4659 287 642 0 6401 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28180

[startup+12.7005 s]
/proc/loadavg: 2.06 2.02 2.00 3/573 1646
/proc/meminfo: memFree=31655180/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=30100 CPUtime=12.7 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 210256 0 0 0 1233 37 0 0 25 0 1 0 829140862 30822400 5057 33554432000 134512640 137138936 4294239376 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 7525 5057 287 642 0 6881 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 30100

[startup+25.5002 s]
/proc/loadavg: 2.11 2.04 2.00 3/573 1646
/proc/meminfo: memFree=31657172/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=29660 CPUtime=25.49 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 474033 0 0 0 2451 98 0 0 25 0 1 0 829140862 30371840 5059 33554432000 134512640 137138936 4294239376 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 7415 5059 287 642 0 6771 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29660

[startup+51.1007 s]
/proc/loadavg: 2.07 2.03 2.00 3/573 1647
/proc/meminfo: memFree=31653604/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=32708 CPUtime=51.09 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 838596 0 0 0 4927 182 0 0 25 0 1 0 829140862 33492992 5826 33554432000 134512640 137138936 4294239376 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 8177 5826 287 642 0 7533 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32708

[startup+102.322 s]
/proc/loadavg: 2.03 2.03 2.00 3/573 1648
/proc/meminfo: memFree=31644012/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=41024 CPUtime=102.31 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 1082402 0 0 0 9992 239 0 0 25 0 1 0 829140862 42008576 7864 33554432000 134512640 137138936 4294239376 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 10256 7864 287 642 0 9612 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41024

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 1650
/proc/meminfo: memFree=31608768/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=44156 CPUtime=162.29 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 1252663 0 0 0 15947 282 0 0 25 0 1 0 829140862 45215744 8701 33554432000 134512640 137138936 4294239376 18446744073709551615 134828567 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 11039 8701 287 642 0 10395 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44156

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1652
/proc/meminfo: memFree=31573272/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=44864 CPUtime=222.3 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 1476270 0 0 0 21889 341 0 0 25 0 1 0 829140862 45940736 8791 33554432000 134512640 137138936 4294239376 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 11216 8791 287 642 0 10572 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 44864

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1653
/proc/meminfo: memFree=31510736/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=46408 CPUtime=282.3 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 1613751 0 0 0 27851 379 0 0 25 0 1 0 829140862 47521792 9251 33554432000 134512640 137138936 4294239376 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 11602 9251 287 642 0 10958 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 46408

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/573 1655
/proc/meminfo: memFree=31418072/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=47036 CPUtime=342.3 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 2210030 0 0 0 33725 505 0 0 25 0 1 0 829140862 48164864 9408 33554432000 134512640 137138936 4294239376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 11759 9408 287 642 0 11115 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 47036

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/573 1656
/proc/meminfo: memFree=31381456/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=50748 CPUtime=402.3 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 3022003 0 0 0 39546 684 0 0 25 0 1 0 829140862 51965952 10224 33554432000 134512640 137138936 4294239376 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12687 10224 287 642 0 12043 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 50748

[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/573 1658
/proc/meminfo: memFree=31353024/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=50628 CPUtime=462.3 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4064214 0 0 0 45309 921 0 0 25 0 1 0 829140862 51843072 10273 33554432000 134512640 137138936 4294239376 18446744073709551615 136504614 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12657 10273 287 642 0 12013 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 50628

[startup+522.301 s]
/proc/loadavg: 2.18 2.05 2.01 3/573 1660
/proc/meminfo: memFree=31322616/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=50628 CPUtime=522.31 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4064214 0 0 0 51289 942 0 0 25 0 1 0 829140862 51843072 10273 33554432000 134512640 137138936 4294239376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12657 10273 287 642 0 12013 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 50628

[startup+582.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 1661
/proc/meminfo: memFree=31296924/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=50628 CPUtime=582.3 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4064214 0 0 0 57268 962 0 0 25 0 1 0 829140862 51843072 10273 33554432000 134512640 137138936 4294239376 18446744073709551615 134768880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12657 10273 287 642 0 12013 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 50628

[startup+642.3 s]

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

/proc/meminfo: memFree=31219304/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=52876 CPUtime=822.32 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 81103 1129 0 0 25 0 1 0 829140862 54145024 10889 33554432000 134512640 137138936 4294239376 18446744073709551615 134708334 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 13219 10889 287 642 0 12575 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 52876

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1669
/proc/meminfo: memFree=31195960/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=52876 CPUtime=882.32 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 87078 1154 0 0 25 0 1 0 829140862 54145024 10889 33554432000 134512640 137138936 4294239376 18446744073709551615 135251250 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 13219 10889 287 642 0 12575 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 52876

[startup+942.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/573 1671
/proc/meminfo: memFree=31173104/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=52876 CPUtime=942.32 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 93055 1177 0 0 25 0 1 0 829140862 54145024 10889 33554432000 134512640 137138936 4294239376 18446744073709551615 135782973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 13219 10889 287 642 0 12575 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 52876

[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/573 1672
/proc/meminfo: memFree=31145304/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=52876 CPUtime=1002.32 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 99026 1206 0 0 25 0 1 0 829140862 54145024 10889 33554432000 134512640 137138936 4294239376 18446744073709551615 135408697 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 13219 10889 287 642 0 12575 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 52876

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/573 1674
/proc/meminfo: memFree=31118484/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51760 CPUtime=1062.32 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 105009 1223 0 0 25 0 1 0 829140862 53002240 10610 33554432000 134512640 137138936 4294239376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12940 10610 287 642 0 12296 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 51760

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 1676
/proc/meminfo: memFree=31072564/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51760 CPUtime=1122.32 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 110997 1235 0 0 25 0 1 0 829140862 53002240 10610 33554432000 134512640 137138936 4294239376 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12940 10610 287 642 0 12296 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 51760

[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 1677
/proc/meminfo: memFree=31041624/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1182.33 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 116983 1250 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134924668 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 51440

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 1679
/proc/meminfo: memFree=31015808/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1242.33 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 122961 1272 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134573720 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 51440

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 1680
/proc/meminfo: memFree=30984396/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1302.33 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 128948 1285 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 51440

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 1682
/proc/meminfo: memFree=30960176/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1362.33 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 134933 1300 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 51440

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 1684
/proc/meminfo: memFree=30936580/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1422.35 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 140921 1314 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134544908 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 51440

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

[startup+1433.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 1684
/proc/meminfo: memFree=30932472/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1433.53 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 142036 1317 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134924541 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1433.53
Current children cumulated vsize (KiB) 51440

[startup+1446.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1684
/proc/meminfo: memFree=30927512/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1446.33 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 143314 1319 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1446.33
Current children cumulated vsize (KiB) 51440

[startup+1452.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1684
/proc/meminfo: memFree=30925636/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1452.73 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 143952 1321 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1452.73
Current children cumulated vsize (KiB) 51440

[startup+1459.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1684
/proc/meminfo: memFree=30923156/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1459.13 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 144589 1324 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1459.13
Current children cumulated vsize (KiB) 51440

[startup+1460.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1685
/proc/meminfo: memFree=30921788/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1460.73 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 144749 1324 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1460.73
Current children cumulated vsize (KiB) 51440

[startup+1461.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1685
/proc/meminfo: memFree=30921788/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1461.52 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 144828 1324 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1461.52
Current children cumulated vsize (KiB) 51440

[startup+1461.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1685
/proc/meminfo: memFree=30920920/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1461.95 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 144870 1325 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 135499203 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1461.95
Current children cumulated vsize (KiB) 51440

[startup+1462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1685
/proc/meminfo: memFree=30920920/32950928 swapFree=43925852/67111528
[pid=1645] ppid=1643 vsize=51440 CPUtime=1462.33 cores=0,2,4,6
/proc/1645/stat : 1645 (bsolo) R 1643 1645 32216 0 -1 4202496 4467274 0 0 0 144908 1325 0 0 25 0 1 0 829140862 52674560 10530 33554432000 134512640 137138936 4294239376 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1645/statm: 12860 10530 287 642 0 12216 0
Current children cumulated CPU time (s) 1462.33
Current children cumulated vsize (KiB) 51440

Child status: 0
Real time (s): 1462.34
CPU time (s): 1462.38
CPU user time (s): 1449.12
CPU system time (s): 13.256
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 53540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1449.12
system time used= 13.256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4467274
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= 5
involuntary context switches= 18788

runsolver used 8.5727 second user time and 18.5492 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-04 10:17:01
IDJOB=3463548
IDBENCH=1854
IDSOLVER=1955
FILE ID=node122/3463548-1307175421
RUNJOBID= node122-1307175118-1319
PBS_JOBID= 13508834
Free space on /tmp= 73800 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-3463548-1307175421/watcher-3463548-1307175421 -o /tmp/evaluation-result-3463548-1307175421/solver-3463548-1307175421 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463548-1307175421.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=1304964759

node122.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31679328 kB
Buffers:        322304 kB
Cached:         561228 kB
SwapCached:      16832 kB
Active:         426816 kB
Inactive:       529632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31679328 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:            4164 kB
Writeback:           0 kB
AnonPages:       70784 kB
Mapped:           9956 kB
Slab:           150524 kB
PageTables:      93236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180798412 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73796 MiB
End job on node122 at 2011-06-04 10:41:23