Trace number 2656552

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT24973 1798.04 1798.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24973
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656552-1276399036.opb
0.00/0.00	c File size is 202954 bytes.
0.00/0.03	c Highest Coefficient sum: 116904
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.034 s
0.00/0.03	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.03	c Obj. Vars: 180 (33.3333 % of total variables)
0.00/0.07	c Pre-processing Time: 0.077 s
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    540     4626    21888    4    14136   31514      0      0 0.08
0.00/0.07	c Switching off lower bounding mode.
0.09/0.11	c      101    540     4758    25004    5    15373   34666    132   1134 0.09
0.09/0.11	o 33369
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      187    540     4872    31404    6    15634   31874    246   1684 0.11
0.09/0.13	o 30147
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      239    540     4931    34620    7    15790   31874    305   1867 0.13
0.09/0.14	o 29532
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c      283    540     4982    37634    7    16084   31874    356   1938 0.15
0.49/0.53	c      383    540     5097    44041    8    16131   35062    471   2116 0.18
0.49/0.53	c      635    540     5400    65282   12    16452   38569    774   2405 0.26
0.49/0.53	c     1110    540     6037   120564   19    18164   42426   1411   2151 0.52
0.49/0.53	o 29424
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c     1139    540     6083   122368   20    18384   31874   1457   2153 0.53
0.49/0.55	o 29042
0.49/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.60	c     1166    540     6119   125019   20    18475   31874   1493   2104 0.55
0.49/0.60	o 28808
2.79/2.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.80	c     1231    540     6199   131294   21    18590   31874   1573   2058 0.60
2.79/2.80	c     1332    540     6318   136956   21    18341   35062   1692   2058 0.65
2.79/2.80	c     1583    540     6628   154301   23    19670   38569   2002   1991 0.80
2.79/2.80	c     2058    540     7244   207975   28    21150   42426   2618   1730 1.19
2.79/2.80	c     2871    540     8257   287355   34    23113   46669   3631   1517 1.89
2.79/2.80	o 28760
3.20/3.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.21	c     3552    540     9150   383703   41    25152   31874   4524   1266 2.80
3.20/3.21	c     3653    540     9273   391742   42    25387   35062   4647   1260 2.90
3.20/3.21	c     3903    540     9596   418336   43    25812   38569   4970   1221 3.20
3.20/3.21	o 28699
4.99/5.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.06	c     3928    540     9632   419703   43    26000   31874   5006   1221 3.22
4.99/5.06	c     4028    540     9756   429336   44    26417   35062   5130   1210 3.33
4.99/5.06	c     4280    540    10057   449057   44    27042   38569   5431   1202 3.56
4.99/5.06	c     4755    540    10677   496976   46    28794   42426   6051   1122 4.24
4.99/5.06	o 28295
6.09/6.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.10	c     5279    540    11385   564893   49    30056   31874   6759   1043 5.06
6.09/6.10	c     5382    540    11525   577677   50    30099   35062   6899   1034 5.20
6.09/6.10	c     5633    540    11829   597901   50    30277   38569   7203   1019 5.53
6.09/6.10	o 28292
6.99/7.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.03	c     6048    540    12382   640511   51    32508   31874   7756    990 6.11
6.99/7.03	c     6152    540    12517   649739   51    32749   35062   7891    985 6.24
6.99/7.03	c     6403    540    12838   671280   52    33214   38569   8212    982 6.52
6.99/7.03	o 27701
7.19/7.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.21	c     6821    540    13405   720883   53    34536   31874   8779    970 7.03
7.19/7.21	c     6921    540    13536   725348   53    34775   35062   8910    965 7.17
7.19/7.21	o 27184
7.28/7.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.35	c     6953    540    13579   727051   53    35331   31874   8953    964 7.21
7.28/7.35	c     7055    540    13714   731622   53    35779   35062   9088    967 7.29
7.28/7.35	o 26452
51.68/51.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.68/51.77	c     7119    540    13809   733756   53    35852   31874   9183    968 7.35
51.68/51.77	c     7221    540    13940   739801   53    36242   35062   9314    956 7.55
51.68/51.77	c     7471    540    14261   762713   53    37738   38569   9635    936 7.98
51.68/51.77	c     7946    540    14871   811556   54    38270   42426  10245    885 8.98
51.68/51.77	c     8759    540    16018   943176   58    40654   46669  11392    778 11.25
51.68/51.77	c    10080    540    17851  1076417   60    43942   51336  13225    665 15.14
51.68/51.77	c    12161    540    20637  1352511   65    50623   56470  16011    573 21.20
51.68/51.77	c    15384    540    24939  1785464   71    59801   62118  20313    446 34.46
51.68/51.77	o 26362
268.08/268.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
268.08/268.26	c    18476    540    29245  2313682   79    68893   31874  24619    357 51.75
268.08/268.26	c    18577    540    29395  2323680   79    69122   35062  24769    355 52.21
268.08/268.26	c    18827    540    29732  2354076   79    70486   38569  25106    351 53.56
268.08/268.26	c    19303    540    30346  2410202   79    71887   42426  25720    343 56.24
268.08/268.26	c    20118    540    31453  2530297   80    74290   46669  26827    326 61.62
268.08/268.26	c    21438    540    33247  2712720   81    77797   51336  28621    309 69.17
268.08/268.26	c    23519    540    36122  3032258   83    83977   56470  31496    279 84.05
268.08/268.26	c    26742    540    40594  3497022   86    93981   62118  35968    252 106.07
268.08/268.26	c    31679    540    47487  4293779   90   108806   68330  42861    209 151.43
268.08/268.26	c    39185    540    58180  5489258   94   131885   75164  53554    176 221.56
268.08/268.26	o 26303
350.45/350.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
350.45/350.61	c    43016    540    63509  6127103   96   143561   31874  58883    160 268.15
350.45/350.61	c    43118    540    20693  1655676   80    48807   35062  16067    159 270.31
350.45/350.61	c    43368    540    21026  1676677   79    49441   38569  16400    160 271.05
350.45/350.61	c    43844    540    21660  1739510   80    50619   42426  17034    160 272.95
350.45/350.61	c    44660    540    22728  1853207   81    53537   46669  18102    161 276.27
350.45/350.61	c    45980    540    24461  2031116   83    56805   51336  19835    163 281.43
350.45/350.61	c    48063    540    27292  2336094   85    62523   56470  22666    165 290.06
350.45/350.61	c    51291    540    31729  2769789   87    72486   62118  27103    167 306.95
350.45/350.61	c    56228    540    38548  3537014   91    87357   68330  33922    165 339.98
350.45/350.61	o 25918
834.05/834.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
834.05/834.49	c    57727    540    40656  3823661   94    92086   31874  36030    164 350.47
834.05/834.49	c    57828    540    20713  1620219   78    48897   35062  16087    164 351.24
834.05/834.49	c    58079    540    21058  1633163   77    49529   38569  16432    165 351.82
834.05/834.49	c    58554    540    21665  1684272   77    50803   42426  17039    165 353.50
834.05/834.49	c    59369    540    22757  1797367   78    53280   46669  18131    166 356.41
834.05/834.49	c    60689    540    24541  1982456   80    56819   51336  19915    167 362.10
834.05/834.49	c    62772    540    27412  2293467   83    62443   56470  22786    168 371.84
834.05/834.49	c    65995    540    31795  2784656   87    72521   62118  27169    169 388.79
834.05/834.49	c    70932    540    38578  3553076   92    86951   68330  33952    170 416.18
834.05/834.49	c    78438    540    48886  4714373   96   108271   75164  44260    166 470.26
834.05/834.49	c    89799    540    65121  6379529   97   142881   82681  60495    157 570.85
834.05/834.49	c   106943    540    28923  2833204   97    66216   90950  24297    128 830.65
834.05/834.49	o 24973
1797.95/1798.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.75	c   107543    540    29743  2919563   98    68150   31874  25117    128 834.16
1797.95/1798.75	c   107643    540    29885  2933776   98    68406   35062  25259    128 834.76
1797.95/1798.75	c   107894    540    30240  2962013   97    68928   38569  25614    129 836.32
1797.95/1798.75	c   108370    540    30914  3021240   97    70351   42426  26288    129 839.27
1797.95/1798.75	c   109183    540    31997  3116853   97    72040   46669  27371    129 843.25
1797.95/1798.75	c   110503    540    33794  3279580   97    75845   51336  29168    129 850.56
1797.95/1798.75	c   112584    540    36660  3589906   97    82593   56470  32034    130 863.68
1797.95/1798.75	c   115807    540    41122  4050081   98    92037   62118  36496    130 889.04
1797.95/1798.75	c   120744    540    48120  4862267  101   106847   68330  43494    129 931.22
1797.95/1798.75	c   128250    540    58918  6007339  101   129909   75164  54292    128 999.91
1797.95/1798.75	c   139613    540    74692  8041504  107   163363   82681  70066    124 1120.77
1797.95/1798.75	c   156757    540    36883  3286703   89    83091   90950  32257    119 1311.66
1797.95/1798.75	c   182577    540    74934  7822166  104   163035  100046  70308    116 1566.50
1797.95/1798.75	c Resources Exceeded
1797.95/1798.75	v -x361 -x362 x363 x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 x398 -x399 x400 x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 -x429 -x430 x431 -x432 x433 -x434 x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 x537 x538 -x539 -x540 -x2 x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 -x147 -x183 x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 x184 -x220 -x256 -x292 -x328 x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 x258 -x294 -x330 -x7 -x43 -x79 -x115 -x151 -x187 -x223 -x259 x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 -x225 x261 -x297 -x333 x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 -x299 x335 -x12 -x48 -x84 x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 x157 -x193 -x229 -x265 -x301 -x337 -x14 -x50 x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 x342 -x19 -x55 -x91 -x127 -x163 -x199 -x235 -x271 -x307 x343 -x20 -x56 -x92 -x128 x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 -x276 x312 -x348 -x25 -x61 -x97 x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 x315 -x351 -x28 -x64 -x100 -x136 -x172 -x208 -x244 x280 -x316 -x352 -x30 -x66 -x102 -x138 x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 x212 -x248 -x284 -x320 -x356 x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 x250 -x286 -x322 -x358 -x35 x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 -x359 -x8 x44 x80 -x116 x152 x188 x224 -x260 -x296 -x332 x15 -x51 -x87 x123 -x159 -x195 x231 x267 x303 -x339 x22 x58 -x94 -x130 -x166 x202 x238 x274 -x310 -x346 x29 x65 x101 -x137 -x173 x209 -x245 -x281 -x317 x353 -x36 -x72 -x108 x144 x180 -x216 -x252 x288 x324 x360 -x1 -x37 x73 x109 x145 -x181 -x217 -x253 x289 x325 
1797.95/1798.75	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.75	c   83   197901  51286   372422    96862 10605243  92236    110 1798.03
1797.95/1798.75	c Objective: 24973
1797.95/1798.75	s SATISFIABLE
1797.95/1798.75	c Total time: 1798.03 s

Verifier Data 

OK	24973

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656552-1276399036/watcher-2656552-1276399036 -o /tmp/evaluation-result-2656552-1276399036/solver-2656552-1276399036 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656552-1276399036.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21484
/proc/meminfo: memFree=1762804/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=10996 CPUtime=0
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 335 0 0 0 0 0 0 0 22 0 1 0 15505224 11259904 253 1992294400 134512640 137138936 4293341264 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 2749 253 175 642 0 2055 0

[startup+0.0971201 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21484
/proc/meminfo: memFree=1762804/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=11880 CPUtime=0.09
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 706 0 0 0 9 0 0 0 22 0 1 0 15505224 12165120 547 1992294400 134512640 137138936 4293341264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 2970 547 192 642 0 2326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11880

[startup+0.10112 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21484
/proc/meminfo: memFree=1762804/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=11880 CPUtime=0.09
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 706 0 0 0 9 0 0 0 22 0 1 0 15505224 12165120 547 1992294400 134512640 137138936 4293341264 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 2970 547 192 642 0 2326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11880

[startup+0.300163 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21484
/proc/meminfo: memFree=1762804/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=12508 CPUtime=0.29
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 848 0 0 0 28 1 0 0 22 0 1 0 15505224 12808192 689 1992294400 134512640 137138936 4293341264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 3127 689 192 642 0 2483 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12508

[startup+0.701248 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21484
/proc/meminfo: memFree=1762804/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=13528 CPUtime=0.69
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 1091 0 0 0 68 1 0 0 23 0 1 0 15505224 13852672 932 1992294400 134512640 137138936 4293341264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 3382 932 192 642 0 2738 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13528

[startup+1.50042 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21485
/proc/meminfo: memFree=1759200/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=15016 CPUtime=1.49
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 1465 0 0 0 147 2 0 0 25 0 1 0 15505224 15376384 1306 1992294400 134512640 137138936 4293341264 18446744073709551615 136511153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 3754 1306 192 642 0 3110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15016

[startup+3.10076 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21485
/proc/meminfo: memFree=1757092/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=17300 CPUtime=3.09
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 2034 0 0 0 306 3 0 0 25 0 1 0 15505224 17715200 1875 1992294400 134512640 137138936 4293341264 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 4325 1875 192 642 0 3681 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17300

[startup+6.30044 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21485
/proc/meminfo: memFree=1753000/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=20700 CPUtime=6.29
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 2908 0 0 0 624 5 0 0 25 0 1 0 15505224 21196800 2749 1992294400 134512640 137138936 4293341264 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 5175 2749 192 642 0 4531 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20700

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21485
/proc/meminfo: memFree=1747420/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=25624 CPUtime=12.69
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 4131 0 0 0 1261 8 0 0 25 0 1 0 15505224 26238976 3972 1992294400 134512640 137138936 4293341264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 6406 3972 192 642 0 5762 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25624

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21485
/proc/meminfo: memFree=1740352/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=32460 CPUtime=25.48
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 5850 0 0 0 2537 11 0 0 25 0 1 0 15505224 33239040 5691 1992294400 134512640 137138936 4293341264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 8115 5691 192 642 0 7471 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32460

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21485
/proc/meminfo: memFree=1729440/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=43532 CPUtime=51.07
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 8614 0 0 0 5091 16 0 0 25 0 1 0 15505224 44576768 8455 1992294400 134512640 137138936 4293341264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 10883 8455 192 642 0 10239 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43532

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21487
/proc/meminfo: memFree=1713072/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=59436 CPUtime=102.26
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 12587 0 0 0 10201 25 0 0 25 0 1 0 15505224 60862464 12428 1992294400 134512640 137138936 4293341264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 14859 12428 192 642 0 14215 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 59436

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21489
/proc/meminfo: memFree=1698564/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=74052 CPUtime=162.22
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 16226 0 0 0 16191 31 0 0 25 0 1 0 15505224 75829248 16067 1992294400 134512640 137138936 4293341264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 18513 16067 192 642 0 17869 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 74052

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21491
/proc/meminfo: memFree=1684552/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=87800 CPUtime=222.2
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 19685 0 0 0 22182 38 0 0 25 0 1 0 15505224 89907200 19526 1992294400 134512640 137138936 4293341264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 21950 19526 192 642 0 21306 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 87800

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21493
/proc/meminfo: memFree=1675624/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=96484 CPUtime=282.18
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 21909 0 0 0 28173 45 0 0 25 0 1 0 15505224 98799616 21692 1992294400 134512640 137138936 4293341264 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 24121 21692 192 642 0 23477 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 96484

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21493
/proc/meminfo: memFree=1675500/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=96484 CPUtime=342.16
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 21909 0 0 0 34165 51 0 0 25 0 1 0 15505224 98799616 21692 1992294400 134512640 137138936 4293341264 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 24121 21692 192 642 0 23477 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 96484

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21495
/proc/meminfo: memFree=1675376/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=96720 CPUtime=402.12
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 21942 0 0 0 40155 57 0 0 25 0 1 0 15505224 99041280 21725 1992294400 134512640 137138936 4293341264 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 24180 21725 192 642 0 23536 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 96720

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21497
/proc/meminfo: memFree=1675376/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=96720 CPUtime=462.11
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 21942 0 0 0 46148 63 0 0 25 0 1 0 15505224 99041280 21725 1992294400 134512640 137138936 4293341264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 24180 21725 192 642 0 23536 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 96720

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21499
/proc/meminfo: memFree=1675252/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=96720 CPUtime=522.08
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 21942 0 0 0 52141 67 0 0 25 0 1 0 15505224 99041280 21725 1992294400 134512640 137138936 4293341264 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 24180 21725 192 642 0 23536 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 96720

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21501
/proc/meminfo: memFree=1670788/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=101480 CPUtime=582.06
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 23163 0 0 0 58134 72 0 0 25 0 1 0 15505224 103915520 22946 1992294400 134512640 137138936 4293341264 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 25370 22946 192 642 0 24726 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 101480

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21501
/proc/meminfo: memFree=1660496/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=111536 CPUtime=642.04
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 25672 0 0 0 64127 77 0 0 25 0 1 0 15505224 114212864 25455 1992294400 134512640 137138936 4293341264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 27884 25455 192 642 0 27240 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 111536

[startup+702.301 s]

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

/proc/meminfo: memFree=1632968/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=138392 CPUtime=1061.86
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 32457 0 0 0 106082 104 0 0 25 0 1 0 15505224 141713408 32159 1992294400 134512640 137138936 4293341264 18446744073709551615 134542944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 34598 32159 192 642 0 33954 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 138392

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21515
/proc/meminfo: memFree=1632844/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=138392 CPUtime=1121.84
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 32457 0 0 0 112077 107 0 0 25 0 1 0 15505224 141713408 32159 1992294400 134512640 137138936 4293341264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 34598 32159 192 642 0 33954 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 138392

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21517
/proc/meminfo: memFree=1632720/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=138392 CPUtime=1181.81
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 32457 0 0 0 118072 109 0 0 25 0 1 0 15505224 141713408 32159 1992294400 134512640 137138936 4293341264 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 34598 32159 192 642 0 33954 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 138392

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21517
/proc/meminfo: memFree=1632596/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=138392 CPUtime=1241.79
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 32457 0 0 0 124068 111 0 0 25 0 1 0 15505224 141713408 32159 1992294400 134512640 137138936 4293341264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 34598 32159 192 642 0 33954 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 138392

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21519
/proc/meminfo: memFree=1630612/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=140872 CPUtime=1301.77
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 33061 0 0 0 130062 115 0 0 25 0 1 0 15505224 144252928 32763 1992294400 134512640 137138936 4293341264 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 35218 32763 192 642 0 34574 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 140872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21521
/proc/meminfo: memFree=1630612/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=140872 CPUtime=1361.74
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 33061 0 0 0 136055 119 0 0 25 0 1 0 15505224 144252928 32763 1992294400 134512640 137138936 4293341264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 35218 32763 192 642 0 34574 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 140872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21523
/proc/meminfo: memFree=1630612/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=140872 CPUtime=1421.72
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 33061 0 0 0 142050 122 0 0 25 0 1 0 15505224 144252928 32763 1992294400 134512640 137138936 4293341264 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 35218 32763 192 642 0 34574 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 140872

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21525
/proc/meminfo: memFree=1630612/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=140872 CPUtime=1481.69
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 33061 0 0 0 148042 127 0 0 25 0 1 0 15505224 144252928 32763 1992294400 134512640 137138936 4293341264 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 35218 32763 192 642 0 34574 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 140872

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21525
/proc/meminfo: memFree=1630488/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=140872 CPUtime=1541.66
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 33061 0 0 0 154037 129 0 0 25 0 1 0 15505224 144252928 32763 1992294400 134512640 137138936 4293341264 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 35218 32763 192 642 0 34574 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 140872

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21527
/proc/meminfo: memFree=1630488/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=140872 CPUtime=1601.64
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 33061 0 0 0 160033 131 0 0 25 0 1 0 15505224 144252928 32763 1992294400 134512640 137138936 4293341264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 35218 32763 192 642 0 34574 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 140872

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21529
/proc/meminfo: memFree=1630488/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=140872 CPUtime=1661.61
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 33061 0 0 0 166028 133 0 0 25 0 1 0 15505224 144252928 32763 1992294400 134512640 137138936 4293341264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 35218 32763 192 642 0 34574 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 140872

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21531
/proc/meminfo: memFree=1625652/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=145896 CPUtime=1721.59
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 34319 0 0 0 172022 137 0 0 25 0 1 0 15505224 149397504 34021 1992294400 134512640 137138936 4293341264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 36474 34021 192 642 0 35830 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 145896

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=1616352/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=154896 CPUtime=1781.56
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 36571 0 0 0 178015 141 0 0 25 0 1 0 15505224 158613504 36273 1992294400 134512640 137138936 4293341264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 38724 36273 192 642 0 38080 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 154896

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=1614864/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=156352 CPUtime=1791.17
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 36941 0 0 0 178975 142 0 0 25 0 1 0 15505224 160104448 36643 1992294400 134512640 137138936 4293341264 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 39088 36643 192 642 0 38444 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 156352

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=1614244/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=156880 CPUtime=1794.37
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 37076 0 0 0 179295 142 0 0 25 0 1 0 15505224 160645120 36778 1992294400 134512640 137138936 4293341264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 39220 36778 192 642 0 38576 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 156880

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=1614120/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=157144 CPUtime=1795.96
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 37131 0 0 0 179454 142 0 0 25 0 1 0 15505224 160915456 36833 1992294400 134512640 137138936 4293341264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 39286 36833 192 642 0 38642 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 157144

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=1613996/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=157276 CPUtime=1796.76
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 37163 0 0 0 179534 142 0 0 25 0 1 0 15505224 161050624 36865 1992294400 134512640 137138936 4293341264 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 39319 36865 192 642 0 38675 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 157276

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=1613996/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=157408 CPUtime=1797.56
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 37201 0 0 0 179614 142 0 0 25 0 1 0 15505224 161185792 36903 1992294400 134512640 137138936 4293341264 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 39352 36903 192 642 0 38708 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 157408

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=1613748/2059040 swapFree=4187004/4192956
[pid=21484] ppid=21482 vsize=157408 CPUtime=1797.95
/proc/21484/stat : 21484 (bsolo_pb10) R 21482 21484 15586 0 -1 4202496 37217 0 0 0 179653 142 0 0 25 0 1 0 15505224 161185792 36919 1992294400 134512640 137138936 4293341264 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21484/statm: 39352 36919 192 642 0 38708 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 157408

Child status: 0
Real time (s): 1798.77
CPU time (s): 1798.04
CPU user time (s): 1796.6
CPU system time (s): 1.44578
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 157408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.6
system time used= 1.44578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 4795

runsolver used 2.90256 second user time and 8.5557 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-13 05:17:16
IDJOB=2656552
IDBENCH=2010
IDSOLVER=1162
FILE ID=node010/2656552-1276399036
PBS_JOBID= 11173268
Free space on /tmp= 62500 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656552-1276399036/watcher-2656552-1276399036 -o /tmp/evaluation-result-2656552-1276399036/solver-2656552-1276399036 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656552-1276399036.opb

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=1822504494

node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1763332 kB
Buffers:         26584 kB
Cached:         149820 kB
SwapCached:        168 kB
Active:         116564 kB
Inactive:       113344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1763332 kB
SwapTotal:     4192956 kB
SwapFree:      4187004 kB
Dirty:            4124 kB
Writeback:           0 kB
AnonPages:       53432 kB
Mapped:          15408 kB
Slab:            44160 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62496 MiB
End job on node010 at 2010-06-13 05:47:15