Trace number 2657477

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 ClSAT25954 1798.08 1798.74

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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657477-1276399050.opb
0.00/0.00	c File size is 202954 bytes.
0.01/0.03	c Highest Coefficient sum: 116904
0.01/0.03	c Parsing was ok!!
0.01/0.03	c Total parsing time: 0.035 s
0.01/0.03	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.01/0.03	c Obj. Vars: 180 (33.3333 % of total variables)
0.01/0.07	c Pre-processing Time: 0.078 s
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c        0    540     4626    21888    4    14136   31514      0      0 0.08
0.01/0.07	c Switching off lower bounding mode.
0.19/0.20	c      102    540     4728    24341    5    15402   34666    102   1200 0.09
0.19/0.20	c      252    540     4878    30893    6    15068   38133    252   2333 0.11
0.19/0.20	c      480    540     5106    44282    8    15284   41947    480   3157 0.15
0.19/0.20	o 30086
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      646    540     5273    60607   11    15570   31874    647   3166 0.20
0.19/0.20	o 29126
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      647    540     5275    60866   11    15691   31874    649   3156 0.20
0.19/0.20	o 28949
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      656    540     5285    61675   11    15918   31874    659   3153 0.21
0.19/0.22	o 28778
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      720    540     5350    66610   12    16223   31874    724   3200 0.23
0.19/0.26	c      823    540     5453    70153   12    16181   35062    827   3318 0.25
0.19/0.26	o 28529
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c      875    540     5506    73912   13    16687   31874    880   3277 0.27
0.49/0.56	c      977    540     5608    82012   14    16474   35062    982   3311 0.29
0.49/0.56	c     1228    540     5859    96700   16    16860   38569   1233   3518 0.35
0.49/0.56	c     1704    540     6335   132985   20    18207   42426   1709   3435 0.50
0.49/0.56	o 28524
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c     1901    540     6533   144084   22    18488   31874   1907   3382 0.56
0.89/0.94	c     2001    540     6633   150206   22    18840   35062   2007   3318 0.60
0.89/0.94	c     2252    540     6884   167989   24    19073   38569   2258   3263 0.69
0.89/0.94	c     2727    540     7359   206042   27    20843   42426   2733   3016 0.90
0.89/0.94	o 28138
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c     2806    540     7439   211047   28    21297   31874   2813   2985 0.94
0.99/1.03	c     2908    540     7541   220270   29    21056   35062   2915   2896 1.00
0.99/1.03	o 28118
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c     2952    540     7586   224487   29    21259   31874   2960   2857 1.03
0.99/1.09	c     3052    540     7686   233138   30    21604   35062   3060   2815 1.08
0.99/1.09	o 26811
2.19/2.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.29	c     3072    540     7707   234458   30    21665   31874   3081   2802 1.10
2.19/2.29	c     3174    540     7809   240590   30    21898   35062   3183   2762 1.15
2.19/2.29	c     3424    540     8059   262829   32    22511   38569   3433   2691 1.27
2.19/2.29	c     3899    540     8534   301381   35    24069   42426   3908   2478 1.57
2.19/2.29	c     4713    540     9348   380037   40    25960   46669   4722   2159 2.18
2.19/2.29	o 26748
51.98/52.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.98/52.08	c     4869    540     9505   389342   40    25479   31874   4879   2120 2.30
51.98/52.08	c     4969    540     9605   393577   40    25650   35062   4979   2103 2.36
51.98/52.08	c     5219    540     9855   408387   41    26214   38569   5229   2049 2.55
51.98/52.08	c     5696    540    10332   445476   43    27075   42426   5706   1915 2.97
51.98/52.08	c     6511    540    11147   509083   45    28781   46669   6521   1677 3.88
51.98/52.08	c     7832    540    12468   663454   53    31801   51336   7842   1443 5.42
51.98/52.08	c     9913    540    14549   851927   58    35998   56470   9923   1185 8.37
51.98/52.08	c    13137    540    17773  1154082   64    42118   62118  13147    917 14.31
51.98/52.08	c    18076    540    22712  1681081   74    51439   68330  18086    672 26.88
51.98/52.08	o 26682
169.63/169.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
169.63/169.71	c    24823    540    29460  2367598   80    66202   31874  24834    476 52.06
169.63/169.71	c    24924    540    29561  2380487   80    66352   35062  24935    474 52.54
169.63/169.71	c    25174    540    29811  2407846   80    66792   38569  25185    469 53.59
169.63/169.71	c    25650    540    30287  2455390   81    67682   42426  25661    458 55.97
169.63/169.71	c    26465    540    31102  2535426   81    69477   46669  26476    445 59.34
169.63/169.71	c    27787    540    32424  2655710   81    71318   51336  27798    419 66.30
169.63/169.71	c    29869    540    34506  2853223   82    75760   56470  29880    388 76.94
169.63/169.71	c    33092    540    37729  3236490   85    82298   62118  33103    349 94.69
169.63/169.71	c    38029    540    42666  3863144   90    91780   68330  38040    301 126.11
169.63/169.71	o 26443
896.95/897.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
896.95/897.33	c    44306    540    48944  4569558   93   104505   31874  44318    261 169.65
896.95/897.33	c    44410    540    18448  1435302   77    42085   35062  13822    260 170.75
896.95/897.33	c    44660    540    18698  1452732   77    42544   38569  14072    260 171.31
896.95/897.33	c    45135    540    19173  1494692   77    43921   42426  14547    261 172.45
896.95/897.33	c    45950    540    19988  1558913   77    45427   46669  15362    263 174.30
896.95/897.33	c    47272    540    21310  1664562   78    48523   51336  16684    265 178.08
896.95/897.33	c    49354    540    23392  1846917   78    52199   56470  18766    268 183.72
896.95/897.33	c    52577    540    26615  2197045   82    58300   62118  21989    269 194.92
896.95/897.33	c    57514    540    31552  2664306   84    68378   68330  26926    267 214.70
896.95/897.33	c    65020    540    39058  3560328   91    83519   75164  34432    259 250.20
896.95/897.33	c    76382    540    50420  4947138   98   105971   82681  45794    238 320.45
896.95/897.33	c    93527    540    67565  6728861   99   140505   90950  62939    177 527.61
896.95/897.33	c   119347    540    93385 10240316  109   192564  100046  88759    141 844.51
896.95/897.33	o 25954
1798.03/1798.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.03/1798.72	c   122511    540    96550 10538087  109   198919   31874  91924    136 897.01
1798.03/1798.72	c   122614    540    20667  1616643   78    47023   35062  16041    135 902.74
1798.03/1798.72	c   122864    540    20917  1640920   78    47778   38569  16291    135 903.47
1798.03/1798.72	c   123341    540    21394  1686382   78    48293   42426  16768    136 904.75
1798.03/1798.72	c   124155    540    22208  1754310   78    49765   46669  17582    136 907.46
1798.03/1798.72	c   125478    540    23531  1884258   80    52600   51336  18905    137 911.54
1798.03/1798.72	c   127560    540    25613  2099580   81    56207   56470  20987    138 918.47
1798.03/1798.72	c   130784    540    28837  2453488   85    62728   62118  24211    140 930.21
1798.03/1798.72	c   135721    540    33774  2960340   87    73278   68330  29148    142 949.73
1798.03/1798.72	c   143228    540    41281  3791055   91    88519   75164  36655    144 989.63
1798.03/1798.72	c   154590    540    52643  5255689   99   111467   82681  48017    144 1066.96
1798.03/1798.72	c   171735    540    69788  6790783   97   144593   90950  65162    133 1291.14
1798.03/1798.72	c   197555    540    22087  1620555   73    48800  100046  17461    116 1701.48
1798.03/1798.72	c Resources Exceeded
1798.03/1798.72	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 
1798.03/1798.72	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.03/1798.72	c   69   213167  53214   387817    37699  3478083  33073    118 1798.06
1798.03/1798.72	c Objective: 25954
1798.03/1798.72	s SATISFIABLE
1798.03/1798.72	c Total time: 1798.06 s

Verifier Data 

OK	25954

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21606
/proc/meminfo: memFree=1792740/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=11128 CPUtime=0
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 341 0 0 0 0 0 0 0 23 0 1 0 15506389 11395072 259 1992294400 134512640 137138936 4292497312 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 2782 259 177 642 0 2088 0

[startup+0.017219 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21606
/proc/meminfo: memFree=1792740/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=11264 CPUtime=0.01
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 393 0 0 0 1 0 0 0 23 0 1 0 15506389 11534336 311 1992294400 134512640 137138936 4292497312 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 2816 311 188 642 0 2122 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11264

[startup+0.101233 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21606
/proc/meminfo: memFree=1792740/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=11880 CPUtime=0.09
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 703 0 0 0 9 0 0 0 23 0 1 0 15506389 12165120 544 1992294400 134512640 137138936 4292497312 18446744073709551615 136297747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 2970 544 190 642 0 2326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11880

[startup+0.301268 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21606
/proc/meminfo: memFree=1792740/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=12632 CPUtime=0.29
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 869 0 0 0 28 1 0 0 23 0 1 0 15506389 12935168 710 1992294400 134512640 137138936 4292497312 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 3158 710 191 642 0 2514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12632

[startup+0.701336 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21606
/proc/meminfo: memFree=1792740/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=13908 CPUtime=0.69
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 1182 0 0 0 68 1 0 0 25 0 1 0 15506389 14241792 1023 1992294400 134512640 137138936 4292497312 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 3477 1023 191 642 0 2833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13908

[startup+1.50147 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 21607
/proc/meminfo: memFree=1788516/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=15584 CPUtime=1.49
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 1628 0 0 0 147 2 0 0 25 0 1 0 15506389 15958016 1469 1992294400 134512640 137138936 4292497312 18446744073709551615 136504038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 3896 1469 191 642 0 3252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15584

[startup+3.10075 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 21607
/proc/meminfo: memFree=1786036/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=17872 CPUtime=3.09
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 2193 0 0 0 306 3 0 0 25 0 1 0 15506389 18300928 2034 1992294400 134512640 137138936 4292497312 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 4468 2034 191 642 0 3824 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17872

[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 21607
/proc/meminfo: memFree=1781944/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=21404 CPUtime=6.29
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 3085 0 0 0 625 4 0 0 25 0 1 0 15506389 21917696 2926 1992294400 134512640 137138936 4292497312 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 5351 2926 191 642 0 4707 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21404

[startup+12.7004 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 21607
/proc/meminfo: memFree=1776364/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=26752 CPUtime=12.69
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 4391 0 0 0 1262 7 0 0 25 0 1 0 15506389 27394048 4232 1992294400 134512640 137138936 4292497312 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 6688 4232 191 642 0 6044 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26752

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 21607
/proc/meminfo: memFree=1768676/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=34188 CPUtime=25.48
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 6253 0 0 0 2537 11 0 0 25 0 1 0 15506389 35008512 6094 1992294400 134512640 137138936 4292497312 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 8547 6094 191 642 0 7903 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34188

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 21609
/proc/meminfo: memFree=1758632/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=44096 CPUtime=51.07
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 8738 0 0 0 5088 19 0 0 25 0 1 0 15506389 45154304 8579 1992294400 134512640 137138936 4292497312 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 11024 8579 191 642 0 10380 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44096

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 21609
/proc/meminfo: memFree=1744000/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=58636 CPUtime=102.26
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 12374 0 0 0 10197 29 0 0 25 0 1 0 15506389 60043264 12215 1992294400 134512640 137138936 4292497312 18446744073709551615 134542430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 14659 12215 191 642 0 14015 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58636

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21611
/proc/meminfo: memFree=1729244/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=73200 CPUtime=162.24
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 16032 0 0 0 16186 38 0 0 25 0 1 0 15506389 74956800 15873 1992294400 134512640 137138936 4292497312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 18300 15873 191 642 0 17656 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73200

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21613
/proc/meminfo: memFree=1727508/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=74720 CPUtime=222.21
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 16428 0 0 0 22175 46 0 0 25 0 1 0 15506389 76513280 16225 1992294400 134512640 137138936 4292497312 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 18680 16225 191 642 0 18036 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 74720

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21615
/proc/meminfo: memFree=1727508/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=74720 CPUtime=282.18
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 16428 0 0 0 28168 50 0 0 25 0 1 0 15506389 76513280 16225 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 18680 16225 191 642 0 18036 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 74720

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21617
/proc/meminfo: memFree=1720316/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=82128 CPUtime=342.17
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 18290 0 0 0 34161 56 0 0 25 0 1 0 15506389 84099072 18087 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 20532 18087 191 642 0 19888 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 82128

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21617
/proc/meminfo: memFree=1712876/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=89540 CPUtime=402.15
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 20149 0 0 0 40154 61 0 0 25 0 1 0 15506389 91688960 19946 1992294400 134512640 137138936 4292497312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 22385 19946 191 642 0 21741 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 89540

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21619
/proc/meminfo: memFree=1705932/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=96424 CPUtime=462.12
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 21872 0 0 0 46147 65 0 0 25 0 1 0 15506389 98738176 21669 1992294400 134512640 137138936 4292497312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 24106 21669 191 642 0 23462 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 96424

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21621
/proc/meminfo: memFree=1698740/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=103700 CPUtime=522.1
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 23676 0 0 0 52140 70 0 0 25 0 1 0 15506389 106188800 23473 1992294400 134512640 137138936 4292497312 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 25925 23473 191 642 0 25281 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 103700

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21623
/proc/meminfo: memFree=1688572/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=113624 CPUtime=582.08
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 26169 0 0 0 58132 76 0 0 25 0 1 0 15506389 116350976 25966 1992294400 134512640 137138936 4292497312 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 28406 25966 191 642 0 27762 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 113624

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21625
/proc/meminfo: memFree=1678280/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=123808 CPUtime=642.06
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 28726 0 0 0 64124 82 0 0 25 0 1 0 15506389 126779392 28523 1992294400 134512640 137138936 4292497312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 30952 28523 191 642 0 30308 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 123808

[startup+702.302 s]

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

/proc/meminfo: memFree=1645296/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1061.91
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 106074 117 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 156092

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21637
/proc/meminfo: memFree=1645296/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1121.88
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 112069 119 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 156092

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21639
/proc/meminfo: memFree=1645296/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1181.85
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 118063 122 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 156092

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21641
/proc/meminfo: memFree=1645172/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1241.84
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 124059 125 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 156092

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21641
/proc/meminfo: memFree=1645048/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1301.82
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 130056 126 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 156092

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21643
/proc/meminfo: memFree=1645048/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1361.79
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 136052 127 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 156092

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21645
/proc/meminfo: memFree=1645048/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1421.77
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 142048 129 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 156092

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21647
/proc/meminfo: memFree=1645048/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1481.74
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 148043 131 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 156092

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21649
/proc/meminfo: memFree=1645048/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1541.72
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 154039 133 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 156092

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21649
/proc/meminfo: memFree=1645048/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1601.7
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 160035 135 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 156092

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21651
/proc/meminfo: memFree=1645048/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156092 CPUtime=1661.68
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36869 0 0 0 166031 137 0 0 25 0 1 0 15506389 159838208 36576 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39023 36576 191 642 0 38379 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 156092

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21653
/proc/meminfo: memFree=1644924/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1721.66
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 172026 140 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 156488

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21655
/proc/meminfo: memFree=1644800/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1781.63
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 178020 143 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 156488

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21655
/proc/meminfo: memFree=1644800/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1791.24
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 178980 144 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 156488

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21655
/proc/meminfo: memFree=1644800/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1794.44
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 179300 144 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 156488

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21655
/proc/meminfo: memFree=1644800/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1796.03
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 179459 144 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (KiB) 156488

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21655
/proc/meminfo: memFree=1644800/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1796.83
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 179539 144 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 156488

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21655
/proc/meminfo: memFree=1644800/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1797.63
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 179619 144 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 156488

[startup+1798.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21655
/proc/meminfo: memFree=1644800/2059040 swapFree=4165864/4192956
[pid=21606] ppid=21604 vsize=156488 CPUtime=1798.03
/proc/21606/stat : 21606 (bsolo_pb10) R 21604 21606 15035 0 -1 4202496 36958 0 0 0 179659 144 0 0 25 0 1 0 15506389 160243712 36665 1992294400 134512640 137138936 4292497312 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21606/statm: 39122 36665 191 642 0 38478 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 156488

Child status: 0
Real time (s): 1798.74
CPU time (s): 1798.08
CPU user time (s): 1796.62
CPU system time (s): 1.46278
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 156488

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

runsolver used 2.85157 second user time and 8.60769 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-13 05:17:30
IDJOB=2657477
IDBENCH=2010
IDSOLVER=1163
FILE ID=node014/2657477-1276399050
PBS_JOBID= 11173259
Free space on /tmp= 62464 MiB

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

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=1699638086

node014.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.258
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.51
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.258
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1793268 kB
Buffers:         18552 kB
Cached:         136128 kB
SwapCached:       1640 kB
Active:         104896 kB
Inactive:        84224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793268 kB
SwapTotal:     4192956 kB
SwapFree:      4165864 kB
Dirty:            4112 kB
Writeback:           0 kB
AnonPages:       32824 kB
Mapped:          15048 kB
Slab:            54896 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182508 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= 62460 MiB
End job on node014 at 2010-06-13 05:47:29