Trace number 3737047

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-26 1798 1798.28

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
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-26
Best CPU time to get the best result obtained on this benchmark2.6406
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

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-3737047-1338730573.opb
0.00/0.00	c File size is 49758 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.003 s
0.00/0.00	c Var: 730 Constr: 1460 730/100/630 Lit: 6300 Watch. Lit: 4410
0.00/0.00	c Obj. Vars: 100 (13.6986 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    100      630     1890    3     1260     209      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o -22
0.01/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.04	c        0    100      631     1990    3     1284     976      1      0 0.01
0.01/0.04	c      100    100      731     9444   12     1484    1074    101   7142 0.01
0.01/0.04	c      350    100      981    28086   28     1984    1182    351   9210 0.04
0.01/0.04	o -23
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c      384    100     1016    30728   30     2077    1009    386   9365 0.04
0.19/0.27	c      485    100     1117    38182   34     2279    1110    487   9509 0.05
0.19/0.27	c      736    100     1368    56589   41     2781    1222    738   9813 0.07
0.19/0.27	c     1211    100     1845    91518   49     3735    1345   1215   9611 0.13
0.19/0.27	c     2025    100     1304    50765   38     2631    1480    674   8333 0.24
0.19/0.27	o -24
6.09/6.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.14	c     2254    100     1534    67713   44     3115    1043    904   8410 0.27
6.09/6.14	c     2354    100     1634    74961   45     3315    1148   1004   8467 0.28
6.09/6.14	c     2604    100     1884    93030   49     3815    1263   1254   8594 0.30
6.09/6.14	c     3079    100     2360   127407   53     4767    1390   1730   8529 0.36
6.09/6.14	c     3893    100     1773    84385   47     3570    1530   1143   8300 0.47
6.09/6.14	c     5213    100     1637    74459   45     3298    1684   1007   8235 0.63
6.09/6.14	c     7295    100     2179   112870   51     4382    1853   1549   8007 0.91
6.09/6.14	c    10518    100     2153   110366   51     4330    2039   1523   7518 1.40
6.09/6.14	c    15454    100     1964    97259   49     3952    2243   1334   7111 2.17
6.09/6.14	c    22960    100     2202   114464   51     4428    2468   1572   6845 3.35
6.09/6.14	c    34321    100     1976    96925   49     3976    2715   1346   6442 5.33
6.09/6.14	o -25
359.33/359.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
359.33/359.41	c    39489    100     3038   174632   57     6125    1076   2408   6430 6.14
359.33/359.41	c    39589    100     1269    47461   37     2563    1184    639   6432 6.16
359.33/359.41	c    39839    100     1519    65295   42     3063    1303    889   6448 6.18
359.33/359.41	c    40315    100     1995    99271   49     4015    1434   1365   6470 6.23
359.33/359.41	c    41128    100     1391    55667   40     2807    1578    761   6486 6.34
359.33/359.41	c    42449    100     2714   149993   55     5453    1736   2084   6549 6.48
359.33/359.41	c    44530    100     1652    73747   44     3329    1910   1022   6564 6.78
359.33/359.41	c    47753    100     1586    69448   43     3197    2102    956   6535 7.31
359.33/359.41	c    52689    100     3027   171912   56     6079    2313   2397   6547 8.05
359.33/359.41	c    60195    100     3110   176013   56     6245    2545   2480   6473 9.30
359.33/359.41	c    71557    100     2656   145087   54     5337    2800   2026   6401 11.18
359.33/359.41	c    88701    100     3055   173396   56     6135    3081   2425   6137 14.45
359.33/359.41	c   114521    100     4278   260320   60     8604    3390   3648   5857 19.55
359.33/359.41	c   153354    100     2539   133995   52     5103    3730   1909   5699 26.91
359.33/359.41	c   211706    100     4674   285047   60     9396    4104   4044   5457 38.79
359.33/359.41	c   299338    100     4696   289423   61     9417    4515   4066   5163 57.97
359.33/359.41	c   430890    100     3817   226516   59     7703    4967   3187   4948 87.08
359.33/359.41	c   628322    100     4848   299269   61     9721    5464   4218   4702 133.61
359.33/359.41	c   924574    100     3995   238833   59     8015    6011   3365   4467 206.94
359.33/359.41	c  1369057    100     6188   394660   63    12401    6613   5558   4233 323.42
359.33/359.41	o -26
1797.92/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.27	c  1508519    100     6052   386425   63    12155    1109   5422   4197 359.36
1797.92/1798.27	c  1508619    100     1286    47964   37     2598    1220    656   4197 359.38
1797.92/1798.27	c  1508869    100     1536    65543   42     3098    1343    906   4198 359.40
1797.92/1798.27	c  1509344    100     2011    99001   49     4048    1478   1381   4198 359.46
1797.92/1798.27	c  1510157    100     1389    54876   39     2804    1626    759   4200 359.55
1797.92/1798.27	c  1511477    100     2713   147606   54     5452    1789   2083   4201 359.71
1797.92/1798.27	c  1513559    100     1614    70475   43     3254    1968    984   4204 359.97
1797.92/1798.27	c  1516784    100     3162   179111   56     6350    2165   2532   4208 360.44
1797.92/1798.27	c  1521720    100     2778   150740   54     5606    2382   2148   4212 361.27
1797.92/1798.27	c  1529226    100     2745   149203   54     5516    2621   2115   4220 362.35
1797.92/1798.27	c  1540587    100     2075   102146   49     4176    2884   1445   4230 364.13
1797.92/1798.27	c  1557732    100     2125   105366   49     4276    3173   1495   4245 366.89
1797.92/1798.27	c  1583551    100     2900   160001   55     5826    3491   2270   4261 371.57
1797.92/1798.27	c  1622383    100     2751   148748   54     5528    3841   2121   4284 378.64
1797.92/1798.27	c  1680736    100     3725   215182   57     7476    4226   3095   4312 389.72
1797.92/1798.27	c  1768369    100     4605   277063   60     9260    4649   3975   4334 408.00
1797.92/1798.27	c  1899921    100     3806   222651   58     7638    5114   3176   4358 435.90
1797.92/1798.27	c  2097353    100     3518   201055   57     7062    5626   2888   4361 480.92
1797.92/1798.27	c  2393605    100     6124   382574   62    12274    6189   5494   4331 552.64
1797.92/1798.27	c  2838088     99     5396   327780   60    10841    6808   4766   4303 659.53
1797.92/1798.27	c  3504915     99     6668   416619   62    13361    7489   6038   4244 825.74
1797.92/1798.27	c  4505261     99     8326   527952   63    16701    8238   7696   4088 1101.99
1797.92/1798.27	c  6005883     97     8113   483075   59    16295    9062   7483   3970 1512.60
1797.92/1798.27	c Resources Exceeded
1797.92/1798.27	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 -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 -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 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 
1797.92/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.27	c   62  6969285 409515  7446432     9138   565684   8508   3876 1798.00
1797.92/1798.27	c Objective: -26
1797.92/1798.27	s SATISFIABLE
1797.92/1798.27	c Total time: 1798 s

Verifier Data 

OK	-26

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-3737047-1338730573/watcher-3737047-1338730573 -o /tmp/evaluation-result-3737047-1338730573/solver-3737047-1338730573 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737047-1338730573.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 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=11060 CPUtime=0 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 339182738 11325440 329 33554432000 134512640 137136520 4293912192 4293902092 134557104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 2765 329 191 641 0 2121 0

[startup+0.016911 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=11180 CPUtime=0.01 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 409 0 0 0 1 0 0 0 20 0 1 0 339182738 11448320 349 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 2795 349 197 641 0 2151 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11180

[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=11900 CPUtime=0.09 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 603 0 0 0 9 0 0 0 20 0 1 0 339182738 12185600 543 33554432000 134512640 137136520 4293912192 4293910472 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 2975 543 197 641 0 2331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11900

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=12988 CPUtime=0.29 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 881 0 0 0 29 0 0 0 20 0 1 0 339182738 13299712 821 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3247 821 197 641 0 2603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12988

[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=13236 CPUtime=0.69 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 927 0 0 0 69 0 0 0 20 0 1 0 339182738 13553664 867 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3309 867 197 641 0 2665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13236

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26165876/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=13484 CPUtime=1.49 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1010 0 0 0 149 0 0 0 20 0 1 0 339182738 13807616 950 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3371 950 198 641 0 2727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13484

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26164852/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=13968 CPUtime=3.09 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1111 0 0 0 308 1 0 0 20 0 1 0 339182738 14303232 1051 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3492 1051 198 641 0 2848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13968

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26163124/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=14456 CPUtime=6.29 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1231 0 0 0 627 2 0 0 20 0 1 0 339182738 14802944 1171 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3614 1171 198 641 0 2970 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14456

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26161188/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=14444 CPUtime=12.69 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1282 0 0 0 1264 5 0 0 20 0 1 0 339182738 14790656 1182 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3611 1182 198 641 0 2967 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14444

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26157624/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=15044 CPUtime=25.49 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1436 0 0 0 2540 9 0 0 20 0 1 0 339182738 15405056 1336 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3761 1336 198 641 0 3117 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15044

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26149564/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=15788 CPUtime=51.08 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1621 0 0 0 5093 15 0 0 20 0 1 0 339182738 16166912 1521 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3947 1521 198 641 0 3303 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15788

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26131212/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=16724 CPUtime=102.28 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1841 0 0 0 10200 28 0 0 20 0 1 0 339182738 17125376 1741 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4181 1741 198 641 0 3537 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 16724

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2645
/proc/meminfo: memFree=26115340/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=17200 CPUtime=162.27 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1969 0 0 0 16185 42 0 0 20 0 1 0 339182738 17612800 1869 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4300 1869 198 641 0 3656 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 17200

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2645
/proc/meminfo: memFree=26102692/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=17808 CPUtime=222.26 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2111 0 0 0 22168 58 0 0 20 0 1 0 339182738 18235392 2011 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4452 2011 198 641 0 3808 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 17808

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 2648
/proc/meminfo: memFree=26089912/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=17760 CPUtime=282.25 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2111 0 0 0 28152 73 0 0 20 0 1 0 339182738 18186240 2011 33554432000 134512640 137136520 4293912192 4293910872 136502004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4440 2011 198 641 0 3796 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 17760

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2698
/proc/meminfo: memFree=27253244/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18372 CPUtime=342.24 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 34137 87 0 0 20 0 1 0 339182738 18812928 2163 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4593 2163 198 641 0 3949 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 18372

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2698
/proc/meminfo: memFree=27251460/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=402.23 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 40118 105 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 18004

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2699
/proc/meminfo: memFree=27249908/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=462.22 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 46100 122 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 18004

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2699
/proc/meminfo: memFree=27249660/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=522.2 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 52084 136 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 18004

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2699
/proc/meminfo: memFree=27249660/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=582.2 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 58071 149 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 18004

[startup+642.3 s]

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

/proc/meminfo: memFree=27246564/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1122.11 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2707 0 0 0 111930 281 0 0 20 0 1 0 339182738 20275200 2519 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2519 198 641 0 4306 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 19800

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246936/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1182.11 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 117916 295 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 19800

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246812/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1242.1 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 123900 310 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 19800

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246564/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1302.1 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 129884 326 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 19800

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246936/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1362.09 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 135870 339 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911088 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 19800

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2706
/proc/meminfo: memFree=27246812/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19792 CPUtime=1422.08 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 141857 351 0 0 20 0 1 0 339182738 20267008 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4948 2528 198 641 0 4304 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 19792

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 2709
/proc/meminfo: memFree=27246680/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19752 CPUtime=1482.06 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 147843 363 0 0 20 0 1 0 339182738 20226048 2519 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4938 2519 198 641 0 4294 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 19752

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 2732
/proc/meminfo: memFree=27245996/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20428 CPUtime=1542.05 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2878 0 0 0 153831 374 0 0 20 0 1 0 339182738 20918272 2668 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5107 2668 198 641 0 4463 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 20428

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2732
/proc/meminfo: memFree=27246500/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20420 CPUtime=1602.04 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2880 0 0 0 159816 388 0 0 20 0 1 0 339182738 20910080 2670 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5105 2670 198 641 0 4461 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 20420

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2732
/proc/meminfo: memFree=27246376/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20412 CPUtime=1662.03 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 165803 400 0 0 20 0 1 0 339182738 20901888 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5103 2676 198 641 0 4459 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 20412

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27246500/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1722.03 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 171790 413 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293910904 136502216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 20396

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1782.01 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 177775 426 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 20396

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 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1791.62 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 178735 427 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 20396

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1794.82 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179054 428 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 20396

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1796.42 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179213 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911028 136502079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (KiB) 20396

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.22 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179293 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 20396

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.62 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179333 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 20396

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.82 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179353 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 20396

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.92 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179363 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 20396

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.71
CPU system time (s): 4.29335
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 20432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 4.29335
maximum resident set size= 10708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2888
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= 6
involuntary context switches= 1875

runsolver used 2.70959 second user time and 7.11792 second system time

The end

Launcher Data 

Begin job on node136 at 2012-06-03 15:36:13
IDJOB=3737047
IDBENCH=48169
IDSOLVER=2320
FILE ID=node136/3737047-1338730573
RUNJOBID= node136-1338714359-814
PBS_JOBID= 14636754
Free space on /tmp= 69812 MiB

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

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

MD5SUM BENCH= 597624b9879736416e28e0a242fe0005
RANDOM SEED=1592356919

node136.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		: 2667.247
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	: 5334.49
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		: 2667.247
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		: 2667.247
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.94
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		: 2667.247
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.90
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		: 2667.247
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.90
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		: 2667.247
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.90
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		: 2667.247
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		: 2667.247
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:       32873844 kB
MemFree:        26168984 kB
Buffers:         1258076 kB
Cached:          3427724 kB
SwapCached:        20316 kB
Active:          3779840 kB
Inactive:        2031516 kB
Active(anon):    1097688 kB
Inactive(anon):    22308 kB
Active(file):    2682152 kB
Inactive(file):  2009208 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083208 kB
Dirty:              3604 kB
Writeback:            28 kB
AnonPages:       1105708 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             752340 kB
SReclaimable:     193296 kB
SUnreclaim:       559044 kB
KernelStack:        1472 kB
PageTables:         6176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1228592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1056768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737047-1338730573.opb

Free space on /tmp at the end= 69812 MiB
End job on node136 at 2012-06-03 16:06:11