Trace number 3737366

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: bsolo 3.1SAT-13 1798 1798.32

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM26861ca996cf8fd2abe5c211e1f47a26
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark214.256
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737366-1338733447.opb
0.00/0.00	c File size is 49946 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 710 Constr: 1372 660/102/610 Lit: 5180 Watch. Lit: 4472
0.00/0.00	c Obj. Vars: 50 (7.04225 % of total variables)
0.00/0.06	c Pre-processing Time: 0.06 s
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0    710     1372     5180    3     4472   10550      0      0 0.06
0.00/0.06	c Switching off lower bounding mode.
0.00/0.06	o -1
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        0    710     1373     5230    3     4475   10583      1      0 0.06
0.00/0.06	o -2
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        1    710     1376     5380    3     4484   10600      4     16 0.06
0.00/0.06	o -3
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        2    710     1379     5542    4     4495   10617      7     32 0.06
0.00/0.06	o -4
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        5    710     1384     5720    4     4512   10633     12     80 0.06
0.00/0.06	o -5
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        7    710     1388     5899    4     4529   10650     16    111 0.06
0.00/0.06	o -6
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        9    710     1392     6074    4     4548   10667     20    142 0.06
0.00/0.06	o -7
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c       11    710     1396     6295    4     4569   10683     24    171 0.06
0.00/0.06	o -8
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c       16    710     1403     6528    4     4598   10700     31    246 0.07
0.00/0.07	o -9
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c       31    710     1420     7111    5     4649   10717     48    469 0.07
0.00/0.07	o -10
4.59/4.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.65	c       38    710     1429     7545    5     4686   10733     57    567 0.07
4.59/4.65	c      139    710     1536    10651    6     4910   11807    164   1853 0.07
4.59/4.65	c      389    710     1801    21188   11     5441   12988    429   3890 0.10
4.59/4.65	c      865    710     2320    46912   20     6479   14287    948   5766 0.15
4.59/4.65	c     1678    710     3207    92284   28     8258   15716   1835   6905 0.24
4.59/4.65	c     2998    710     4653   170648   36    11176   17288   3281   6972 0.43
4.59/4.65	c     5079    710     7001   299098   42    15903   19017   5629   6141 0.83
4.59/4.65	c     8302    710    10583   499129   47    23266   20919   9211   5099 1.63
4.59/4.65	c    13238    710    16123   807631   50    34478   23011  14751   4070 3.25
4.59/4.65	o -11
7.19/7.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.26	c    16381    710    19704  1024384   51    41729   10750  18332   3523 4.65
7.19/7.26	c    16481    710     6856   309454   45    15551   11826   5484   3304 4.99
7.19/7.26	c    16731    710     7115   319484   44    16080   13009   5743   3326 5.03
7.19/7.26	c    17207    710     7616   338975   44    17083   14310   6244   3367 5.11
7.19/7.26	c    18020    710     8492   380329   44    18859   15742   7120   3434 5.25
7.19/7.26	c    19341    710     9921   450940   45    21786   17317   8549   3504 5.52
7.19/7.26	c    21422    710    12218   571525   46    26442   19049  10846   3569 6.00
7.19/7.26	c    24645    710    15779   762780   48    33645   20954  14407   3576 6.89
7.19/7.26	o -12
1586.62/1586.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1586.62/1586.94	c    25925    710    17175   832143   48    36499   10767  15803   3571 7.26
1586.62/1586.94	c    26026    710     6866   277083   40    15609   11844   5494   3497 7.44
1586.62/1586.94	c    26276    710     7137   288842   40    16151   13029   5765   3507 7.49
1586.62/1586.94	c    26751    710     7657   313266   40    17209   14332   6285   3526 7.59
1586.62/1586.94	c    27564    710     8535   354101   41    18965   15766   7163   3548 7.77
1586.62/1586.94	c    28885    710    10022   428289   42    21995   17343   8650   3565 8.10
1586.62/1586.94	c    30966    710    12325   540827   43    26656   19078  10953   3569 8.68
1586.62/1586.94	c    34189    710    15944   725579   45    34059   20986  14572   3499 9.77
1586.62/1586.94	c    39125    710    21437  1012031   47    45200   23085  20065   3392 11.53
1586.62/1586.94	c    46631    710    17756   826984   46    37688   25394  16384   3111 14.99
1586.62/1586.94	c    57994    710    16758   765031   45    35646   27934  15386   2840 20.41
1586.62/1586.94	c    75138    710    20174   965244   47    42681   30728  18802   2652 28.33
1586.62/1586.94	c   100957    710    30855  1507460   48    64165   33801  29483   2491 40.52
1586.62/1586.94	c   139789    710    32197  1710360   53    67031   37182  30825   2280 61.29
1586.62/1586.94	c   198141    710    23629  1121399   47    49477   40901  22257   2129 93.06
1586.62/1586.94	c   285773    710    37754  1892919   50    78358   44992  36382   1947 146.71
1586.62/1586.94	c   417325    710    26420  1370951   51    55623   49492  25048   1754 237.90
1586.62/1586.94	c   614757    710    30532  1574927   51    63501   54442  29160   1600 384.05
1586.62/1586.94	c   911011    710    35103  1834997   52    72738   59887  33731   1453 626.96
1586.62/1586.94	c  1355493    710    22979  1160461   50    48436   65876  21607   1279 1059.49
1586.62/1586.94	o -13
1797.97/1798.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.31	c  1886973    710    48604  2745821   56   100442   10784  47232   1189 1586.67
1797.97/1798.31	c  1887073    710     6896   293413   42    15750   11863   5524   1188 1587.50
1797.97/1798.31	c  1887323    710     7171   305598   42    16313   13050   5799   1188 1587.54
1797.97/1798.31	c  1887800    710     7696   328353   42    17363   14356   6324   1189 1587.62
1797.97/1798.31	c  1888613    710     8568   369599   43    19126   15792   7196   1189 1587.77
1797.97/1798.31	c  1889933    710    10019   438289   43    22080   17372   8647   1190 1588.02
1797.97/1798.31	c  1892014    710    12307   549136   44    26729   19110  10935   1191 1588.50
1797.97/1798.31	c  1895237    710    15851   719115   45    33945   21022  14479   1192 1589.34
1797.97/1798.31	c  1900173    710    21341   990256   46    45023   23125  19969   1194 1590.92
1797.97/1798.31	c  1907679    710    17538   787067   44    37260   25438  16166   1196 1594.00
1797.97/1798.31	c  1919040    710    17035   796706   46    36413   27982  15663   1200 1599.14
1797.97/1798.31	c  1936184    710    20209   924353   45    42448   30781  18837   1205 1606.15
1797.97/1798.31	c  1962003    710    30275  1430992   47    63069   33860  28903   1213 1616.97
1797.97/1798.31	c  2000836    710    30602  1436249   46    63623   37247  29230   1224 1634.03
1797.97/1798.31	c  2059191    710    22024  1000242   45    46266   40972  20652   1236 1664.68
1797.97/1798.31	c  2146823    710    35301  1726594   48    73393   45070  33929   1252 1713.67
1797.97/1798.31	c Resources Exceeded
1797.97/1798.31	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 x36 x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -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 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 x94 -x95 x96 -x97 -x98 -x99 -x100 
1797.97/1798.31	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.31	c   62  2277556 286843  2662899    20813   948069  19441   1266 1798.00
1797.97/1798.31	c Objective: -13
1797.97/1798.31	s SATISFIABLE
1797.97/1798.31	c Total time: 1798 s

Verifier Data 

OK	-13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2054
/proc/meminfo: memFree=28220152/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=10840 CPUtime=0 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 339470709 11100160 250 33554432000 134512640 137136520 4289681008 4289679400 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 2710 250 178 641 0 2053 0

[startup+0.00669592 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2054
/proc/meminfo: memFree=28220152/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=10976 CPUtime=0 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 314 0 0 0 0 0 0 0 20 0 1 0 339470709 11239424 267 33554432000 134512640 137136520 4289681008 4289679776 134520635 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 2731 255 169 641 0 2087 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10976

[startup+0.100129 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2054
/proc/meminfo: memFree=28220152/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=11316 CPUtime=0.09 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 447 0 0 0 9 0 0 0 20 0 1 0 339470709 11587584 387 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 2829 387 197 641 0 2185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11316

[startup+0.300108 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2054
/proc/meminfo: memFree=28220152/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=12804 CPUtime=0.29 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 814 0 0 0 29 0 0 0 20 0 1 0 339470709 13111296 754 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 3201 754 198 641 0 2557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12804

[startup+0.700101 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2054
/proc/meminfo: memFree=28220152/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=14920 CPUtime=0.68 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 1348 0 0 0 68 0 0 0 20 0 1 0 339470709 15278080 1288 33554432000 134512640 137136520 4289681008 4289679288 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 3730 1288 198 641 0 3086 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14920

[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2055
/proc/meminfo: memFree=28214796/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=18028 CPUtime=1.49 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 2129 0 0 0 148 1 0 0 20 0 1 0 339470709 18460672 2069 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 4507 2069 198 641 0 3863 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18028

[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2055
/proc/meminfo: memFree=28210580/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=22656 CPUtime=3.08 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 3280 0 0 0 307 1 0 0 20 0 1 0 339470709 23199744 3220 33554432000 134512640 137136520 4289681008 4289679528 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 5664 3220 198 641 0 5020 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22656

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2055
/proc/meminfo: memFree=28203932/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=26292 CPUtime=6.28 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 4207 0 0 0 626 2 0 0 20 0 1 0 339470709 26923008 4147 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 6573 4147 198 641 0 5929 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26292

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2055
/proc/meminfo: memFree=28203140/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=28560 CPUtime=12.68 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 4776 0 0 0 1264 4 0 0 20 0 1 0 339470709 29245440 4716 33554432000 134512640 137136520 4289681008 4289678624 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 7140 4716 198 641 0 6496 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28560

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2055
/proc/meminfo: memFree=28197728/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=32920 CPUtime=25.48 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 5854 0 0 0 2542 6 0 0 20 0 1 0 339470709 33710080 5790 33554432000 134512640 137136520 4289681008 4289679528 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2054/statm: 8230 5790 198 641 0 7586 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32920

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2055
/proc/meminfo: memFree=28193176/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=37572 CPUtime=51.06 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 7066 0 0 0 5094 12 0 0 20 0 1 0 339470709 38473728 6962 33554432000 134512640 137136520 4289681008 4289679936 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 9393 6962 198 641 0 8749 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 37572

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2056
/proc/meminfo: memFree=28188352/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=41968 CPUtime=102.25 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 8187 0 0 0 10204 21 0 0 20 0 1 0 339470709 42975232 8042 33554432000 134512640 137136520 4289681008 4289679936 134544597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 10492 8042 198 641 0 9848 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 41968

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 2057
/proc/meminfo: memFree=28184136/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=46700 CPUtime=162.24 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 9476 0 0 0 16194 30 0 0 20 0 1 0 339470709 47820800 9245 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 11675 9245 198 641 0 11031 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 46700

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2057
/proc/meminfo: memFree=28181528/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=49240 CPUtime=222.23 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 10093 0 0 0 22186 37 0 0 20 0 1 0 339470709 50421760 9860 33554432000 134512640 137136520 4289681008 4289679936 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 12310 9860 198 641 0 11666 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49240

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2057
/proc/meminfo: memFree=28179300/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=51612 CPUtime=282.22 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 10736 0 0 0 28176 46 0 0 20 0 1 0 339470709 52850688 10453 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 12903 10453 198 641 0 12259 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 51612

[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2057
/proc/meminfo: memFree=28175856/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=52988 CPUtime=342.2 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 11081 0 0 0 34169 51 0 0 20 0 1 0 339470709 54259712 10797 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 13247 10797 198 641 0 12603 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 52988

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 2111
/proc/meminfo: memFree=28108776/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=53336 CPUtime=402.19 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 11169 0 0 0 40163 56 0 0 20 0 1 0 339470709 54616064 10884 33554432000 134512640 137136520 4289681008 4289679936 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 13334 10884 198 641 0 12690 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 53336

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2111
/proc/meminfo: memFree=28046008/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=55900 CPUtime=462.19 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 11864 0 0 0 46155 64 0 0 20 0 1 0 339470709 57241600 11525 33554432000 134512640 137136520 4289681008 4289679936 134543939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 13975 11525 198 641 0 13331 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 55900

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2111
/proc/meminfo: memFree=28001920/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=56844 CPUtime=522.18 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 12102 0 0 0 52148 70 0 0 20 0 1 0 339470709 58208256 11761 33554432000 134512640 137136520 4289681008 4289679764 136500521 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 14211 11761 198 641 0 13567 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 56844

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2111
/proc/meminfo: memFree=27964104/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=57140 CPUtime=582.17 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 12176 0 0 0 58140 77 0 0 20 0 1 0 339470709 58511360 11835 33554432000 134512640 137136520 4289681008 4289680048 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 14285 11835 198 641 0 13641 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 57140

[startup+642.3 s]

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

/proc/meminfo: memFree=27745064/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=64532 CPUtime=1062.09 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 14088 0 0 0 106088 121 0 0 20 0 1 0 339470709 66080768 13683 33554432000 134512640 137136520 4289681008 4289679936 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 16133 13683 198 641 0 15489 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 64532

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2116
/proc/meminfo: memFree=27729688/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=64556 CPUtime=1122.08 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 14094 0 0 0 112081 127 0 0 20 0 1 0 339470709 66105344 13689 33554432000 134512640 137136520 4289681008 4289679936 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 16139 13689 198 641 0 15495 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 64556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2116
/proc/meminfo: memFree=27711836/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=65084 CPUtime=1182.07 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 14322 0 0 0 118074 133 0 0 20 0 1 0 339470709 66646016 13852 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 16271 13852 198 641 0 15627 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 65084

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2116
/proc/meminfo: memFree=27694724/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=66664 CPUtime=1242.06 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 14686 0 0 0 124068 138 0 0 20 0 1 0 339470709 68263936 14216 33554432000 134512640 137136520 4289681008 4289679720 136502055 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 16666 14216 198 641 0 16022 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 66664

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2117
/proc/meminfo: memFree=27681660/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=66664 CPUtime=1302.07 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 14686 0 0 0 130062 145 0 0 20 0 1 0 339470709 68263936 14216 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 16666 14216 198 641 0 16022 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 66664

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2118
/proc/meminfo: memFree=27663944/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=66664 CPUtime=1362.05 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 14686 0 0 0 136056 149 0 0 20 0 1 0 339470709 68263936 14216 33554432000 134512640 137136520 4289681008 4289679936 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 16666 14216 198 641 0 16022 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 66664

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2118
/proc/meminfo: memFree=27646832/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68968 CPUtime=1422.04 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15263 0 0 0 142050 154 0 0 20 0 1 0 339470709 70623232 14792 33554432000 134512640 137136520 4289681008 4289680048 134540856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17242 14792 198 641 0 16598 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 68968

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2118
/proc/meminfo: memFree=27632200/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68968 CPUtime=1482.03 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15263 0 0 0 148043 160 0 0 20 0 1 0 339470709 70623232 14792 33554432000 134512640 137136520 4289681008 4289679936 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17242 14792 198 641 0 16598 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 68968

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2118
/proc/meminfo: memFree=27623644/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68500 CPUtime=1542.01 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15263 0 0 0 154036 165 0 0 20 0 1 0 339470709 70144000 14707 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17125 14707 198 641 0 16481 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 68500

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2122
/proc/meminfo: memFree=27623028/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1602.01 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15296 0 0 0 160027 174 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289679936 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 68760

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2122
/proc/meminfo: memFree=27623036/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1662 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15296 0 0 0 166016 184 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289680048 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 68760

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2122
/proc/meminfo: memFree=27622936/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1721.99 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15296 0 0 0 172006 193 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 68760

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2122
/proc/meminfo: memFree=27621872/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1781.98 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15297 0 0 0 177997 201 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289679936 134544604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 68760

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2122
/proc/meminfo: memFree=27622244/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1791.59 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15297 0 0 0 178956 203 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 68760

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2122
/proc/meminfo: memFree=27622308/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1794.78 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15297 0 0 0 179275 203 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 68760

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2122
/proc/meminfo: memFree=27622308/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1796.38 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15297 0 0 0 179435 203 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 68760

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2122
/proc/meminfo: memFree=27622308/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1797.17 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15297 0 0 0 179514 203 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289680124 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 68760

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2122
/proc/meminfo: memFree=27622308/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1797.57 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15297 0 0 0 179554 203 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289679896 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 68760

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2122
/proc/meminfo: memFree=27622308/32873648 swapFree=6864/6864
[pid=2054] ppid=2052 vsize=68760 CPUtime=1797.97 cores=1,3,5,7
/proc/2054/stat : 2054 (bsolo) R 2052 2054 31961 0 -1 4202496 15297 0 0 0 179594 203 0 0 20 0 1 0 339470709 70410240 14740 33554432000 134512640 137136520 4289681008 4289679936 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 17190 14740 198 641 0 16546 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 68760

Child status: 0
Real time (s): 1798.32
CPU time (s): 1798
CPU user time (s): 1795.96
CPU system time (s): 2.03869
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 68968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.96
system time used= 2.03869
maximum resident set size= 59168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15299
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= 28
involuntary context switches= 1964

runsolver used 2.6216 second user time and 7.19391 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 16:24:07
IDJOB=3737366
IDBENCH=48227
IDSOLVER=2320
FILE ID=node120/3737366-1338733447
RUNJOBID= node120-1338713480-31978
PBS_JOBID= 14636735
Free space on /tmp= 70772 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737366-1338733447/watcher-3737366-1338733447 -o /tmp/evaluation-result-3737366-1338733447/solver-3737366-1338733447 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3737366-1338733447.opb

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=1540075151

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28221044 kB
Buffers:          567596 kB
Cached:          3120504 kB
SwapCached:         1580 kB
Active:          1737836 kB
Inactive:        1983528 kB
Active(anon):      25376 kB
Inactive(anon):     9224 kB
Active(file):    1712460 kB
Inactive(file):  1974304 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:              3688 kB
Writeback:             0 kB
AnonPages:         37404 kB
Mapped:            11624 kB
Shmem:                32 kB
Slab:             794596 kB
SReclaimable:     238780 kB
SUnreclaim:       555816 kB
KernelStack:        1448 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     154940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737366-1338733447.opb

Free space on /tmp at the end= 70768 MiB
End job on node120 at 2012-06-03 16:54:06