Trace number 1876867

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1SAT-13 1798.01 1804.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
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 benchmark1703.64
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)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

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 1800 MB
0.00/0.00	c Instance file HOME/instance-1876867-1245211883.opb
0.00/0.00	c File size is 50240 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.007 s
0.00/0.01	c Var: 714 Constr: 1380 664/102/614 Lit: 5212 Watch. Lit: 4500
0.00/0.01	c Obj. Vars: 50 (7.0028 % of total variables)
0.09/0.14	c Pre-processing Time: 0.138 s
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    714     1380     5212    3     4500   10651      0      0 0.14
0.09/0.14	c Switching off lower bounding mode.
0.09/0.14	o -1
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    714     1381     5262    3     4503   10685      1      0 0.14
0.09/0.14	o -2
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        1    714     1384     5412    3     4512   10701      4      7 0.14
0.09/0.14	o -3
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        4    714     1389     5681    4     4527   10718      9     28 0.14
0.09/0.14	o -4
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        7    714     1394     5942    4     4544   10735     14     48 0.14
0.09/0.14	o -5
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        9    714     1398     6117    4     4561   10751     18     62 0.14
0.09/0.15	o -6
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c       17    714     1408     6525    4     4592   10768     28    117 0.14
0.09/0.15	o -7
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c       26    714     1419     6931    4     4627   10785     39    176 0.15
0.09/0.15	o -8
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       36    714     1431     7425    5     4666   10801     51    241 0.15
0.09/0.16	o -9
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       80    714     1478     8781    5     4777   10818     98    516 0.15
0.09/0.16	o -10
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      119    714     1519    10216    6     4878   10835    139    739 0.16
0.09/0.17	o -11
87.95/88.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.95/88.10	c      197    714     1600    11797    7     5061   10851    220   1152 0.17
87.95/88.10	c      297    714     1706    15357    9     5284   11937    326   1554 0.19
87.95/88.10	c      547    714     1975    26793   13     5822   13131    595   2298 0.24
87.95/88.10	c     1022    714     2489    52817   21     6873   14445   1109   3078 0.33
87.95/88.10	c     1835    714     3379    97801   28     8686   15890   1999   3563 0.52
87.95/88.10	c     3155    714     4822   173617   36    11640   17480   3442   3560 0.89
87.95/88.10	c     5236    714     7106   295046   41    16303   19229   5726   3301 1.59
87.95/88.10	c     8459    714    10657   478973   44    23454   21152   9277   2712 3.12
87.95/88.10	c    13396    714    16119   768025   47    34721   23268  14739   1934 6.92
87.95/88.10	c    20902    714    24623  1225312   49    51889   25595  23243   1253 16.67
87.95/88.10	c    32263    714    23858  1209515   50    50073   28155  22478   1019 31.63
87.95/88.10	c    49407    714    26961  1372574   50    56389   30971  25581    823 60.01
87.95/88.10	o -12
587.19/588.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
587.19/588.74	c    66702    714    27473  1414807   51    57380   10868  26093    757 88.05
587.19/588.74	c    66802    714     6930   290590   41    15820   11955   5550    746 89.55
587.19/588.74	c    67052    714     7205   303662   42    16388   13151   5825    747 89.68
587.19/588.74	c    67527    714     7728   326803   42    17436   14467   6348    750 89.94
587.19/588.74	c    68340    714     8612   367521   42    19356   15914   7232    756 90.39
587.19/588.74	c    69660    714    10057   438114   43    22282   17506   8677    763 91.21
587.19/588.74	c    71741    714    12355   553442   44    26909   19257  10975    773 92.72
587.19/588.74	c    74964    714    15935   736054   46    34221   21183  14555    784 95.60
587.19/588.74	c    79900    714    21403  1009920   47    45302   23302  20023    781 102.25
587.19/588.74	c    87407    714    17547   799505   45    37282   25633  16167    774 112.79
587.19/588.74	c    98768    714    16681   754301   45    35593   28197  15301    769 128.43
587.19/588.74	c   115912    714    19700   900741   45    41653   31017  18320    760 152.34
587.19/588.74	c   141731    714    29185  1408752   48    61173   34119  27805    743 190.52
587.19/588.74	c   180563    714    29724  1487546   50    61905   37531  28344    701 257.40
587.19/588.74	c   238915    714    20010   978484   48    42380   41285  18630    663 359.95
587.19/588.74	c   326547    714    32841  1733957   52    68402   45414  31461    612 533.29
587.19/588.74	o -13
1797.97/1804.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1804.61	c   354921    714    30709  1509276   49    64274   10885  29329    604 587.23
1797.97/1804.61	c   355021    714     6936   274923   39    15875   11974   5556    601 590.27
1797.97/1804.61	c   355271    714     7206   286662   39    16418   13172   5826    601 590.40
1797.97/1804.61	c   355746    714     7713   308858   40    17432   14490   6333    602 590.65
1797.97/1804.61	c   356559    714     8588   347876   40    19205   15940   7208    603 591.14
1797.97/1804.61	c   357880    714    10010   410021   40    22091   17535   8630    604 591.90
1797.97/1804.61	c   359961    714    12293   514307   41    26715   19289  10913    606 593.34
1797.97/1804.61	c   363184    714    15760   668320   42    33687   21218  14380    609 596.08
1797.97/1804.61	c   368120    714    21245   931084   43    44765   23340  19865    611 601.91
1797.97/1804.61	c   375627    714    17433   774386   44    37557   25675  16053    614 611.39
1797.97/1804.61	c   386989    714    16396   826254   50    35127   28243  15016    615 628.23
1797.97/1804.61	c   404135    714    20989  1075190   51    67623   31068  19609    616 655.34
1797.97/1804.61	c   429954    714    18530   833237   44    39152   34175  17150    567 758.25
1797.97/1804.61	c   468789    714    19785  1014002   51    68834   37593  18405    566 827.57
1797.97/1804.61	c   527142    714    38335  1831486   47    80044   41353  36955    544 968.60
1797.97/1804.61	c   614774    714    21319  1017848   47    44863   45489  19939    538 1141.86
1797.97/1804.61	c   746326    714    38863  1891287   48    80206   50038  37483    514 1449.30
1797.97/1804.61	c Resources Exceeded
1797.97/1804.61	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 -x711 -x712 -x713 -x714 -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/1804.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1804.61	c   55   883530 121871  1053415    43621  2140740  42241    491 1798.00
1797.97/1804.61	c Objective: -13
1797.97/1804.61	s SATISFIABLE
1797.97/1804.61	c Total time: 1798 s

Verifier Data 

OK	-13

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876867-1245211883/watcher-1876867-1245211883 -o /tmp/evaluation-result-1876867-1245211883/solver-1876867-1245211883 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876867-1245211883.opb 

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


[startup+0 s]
/proc/loadavg: 1.36 1.45 1.51 3/72 11994
/proc/meminfo: memFree=889072/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=18440 CPUtime=0
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 188782310 18882560 210 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 4610 211 170 640 0 3953 0

[startup+0.0197829 s]
/proc/loadavg: 1.36 1.45 1.51 3/72 11994
/proc/meminfo: memFree=889072/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=10984 CPUtime=0.01
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 350 0 0 0 1 0 0 0 18 0 1 0 188782310 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 2746 321 189 640 0 2102 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10984

[startup+0.102791 s]
/proc/loadavg: 1.36 1.45 1.51 3/72 11994
/proc/meminfo: memFree=889072/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=10984 CPUtime=0.09
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 188782310 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 2746 321 189 640 0 2102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10984

[startup+0.308815 s]
/proc/loadavg: 1.36 1.45 1.51 3/72 11994
/proc/meminfo: memFree=889072/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=11612 CPUtime=0.29
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 519 0 0 0 29 0 0 0 19 0 1 0 188782310 11890688 490 1992294400 134512640 137136520 4294956256 18446744073709551615 134574453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 2903 490 198 640 0 2259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11612

[startup+0.702887 s]
/proc/loadavg: 1.36 1.45 1.51 3/72 11994
/proc/meminfo: memFree=889072/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=13096 CPUtime=0.69
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 875 0 0 0 69 0 0 0 22 0 1 0 188782310 13410304 846 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 3274 846 198 640 0 2630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13096

[startup+1.5086 s]
/proc/loadavg: 1.36 1.45 1.51 3/73 11995
/proc/meminfo: memFree=885416/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=15216 CPUtime=1.5
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 1408 0 0 0 149 1 0 0 25 0 1 0 188782310 15581184 1379 1992294400 134512640 137136520 4294956256 18446744073709551615 136293435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 3804 1379 198 640 0 3160 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15216

[startup+3.10109 s]
/proc/loadavg: 1.36 1.45 1.51 2/73 11995
/proc/meminfo: memFree=882792/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=18100 CPUtime=3.08
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 2144 0 0 0 307 1 0 0 25 0 1 0 188782310 18534400 2115 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 4525 2115 198 640 0 3881 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18100

[startup+6.30141 s]
/proc/loadavg: 1.33 1.44 1.51 4/73 11995
/proc/meminfo: memFree=878312/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=21848 CPUtime=6.28
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 3065 0 0 0 625 3 0 0 25 0 1 0 188782310 22372352 3036 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 5462 3036 198 640 0 4818 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21848

[startup+12.7051 s]
/proc/loadavg: 1.31 1.43 1.51 2/73 11995
/proc/meminfo: memFree=872760/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=26864 CPUtime=12.68
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 4324 0 0 0 1262 6 0 0 25 0 1 0 188782310 27508736 4295 1992294400 134512640 137136520 4294956256 18446744073709551615 135982497 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 6716 4295 198 640 0 6072 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26864

[startup+25.5013 s]
/proc/loadavg: 1.31 1.43 1.50 4/73 11995
/proc/meminfo: memFree=867192/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=31924 CPUtime=25.48
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 5602 0 0 0 2539 9 0 0 25 0 1 0 188782310 32690176 5573 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 7981 5573 198 640 0 7337 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31924

[startup+51.1039 s]
/proc/loadavg: 1.58 1.48 1.52 4/73 11995
/proc/meminfo: memFree=865016/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=34144 CPUtime=51.07
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 6161 0 0 0 5094 13 0 0 25 0 1 0 188782310 34963456 6132 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 8536 6132 198 640 0 7892 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34144

[startup+102.307 s]
/proc/loadavg: 1.62 1.50 1.52 4/73 11995
/proc/meminfo: memFree=862520/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=36620 CPUtime=102.24
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 6783 0 0 0 10202 22 0 0 25 0 1 0 188782310 37498880 6754 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 9155 6754 198 640 0 8511 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 36620

[startup+162.302 s]
/proc/loadavg: 1.53 1.50 1.52 2/73 11995
/proc/meminfo: memFree=862584/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=36620 CPUtime=162
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 6783 0 0 0 16163 37 0 0 25 0 1 0 188782310 37498880 6754 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 9155 6754 198 640 0 8511 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 36620

[startup+222.301 s]
/proc/loadavg: 1.72 1.54 1.53 2/73 11995
/proc/meminfo: memFree=861560/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=37604 CPUtime=221.4
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 7047 0 0 0 22089 51 0 0 25 0 1 0 188782310 38506496 6980 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 9401 6980 198 640 0 8757 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 37604

[startup+282.302 s]
/proc/loadavg: 1.86 1.61 1.56 2/73 11995
/proc/meminfo: memFree=858424/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=40656 CPUtime=281.38
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 7854 0 0 0 28080 58 0 0 25 0 1 0 188782310 41631744 7749 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 10164 7749 198 640 0 9520 0
Current children cumulated CPU time (s) 281.38
Current children cumulated vsize (KiB) 40656

[startup+342.302 s]
/proc/loadavg: 1.87 1.67 1.58 2/73 11995
/proc/meminfo: memFree=858360/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=40872 CPUtime=341.33
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 7891 0 0 0 34065 68 0 0 25 0 1 0 188782310 41852928 7786 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 10218 7786 198 640 0 9574 0
Current children cumulated CPU time (s) 341.33
Current children cumulated vsize (KiB) 40872

[startup+402.303 s]
/proc/loadavg: 1.43 1.58 1.55 3/73 11995
/proc/meminfo: memFree=855224/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=43800 CPUtime=401.32
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 8683 0 0 0 40057 75 0 0 25 0 1 0 188782310 44851200 8537 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 10950 8537 198 640 0 10306 0
Current children cumulated CPU time (s) 401.32
Current children cumulated vsize (KiB) 43800

[startup+462.309 s]
/proc/loadavg: 1.46 1.56 1.54 2/73 11995
/proc/meminfo: memFree=854712/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=44512 CPUtime=461.31
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 8842 0 0 0 46047 84 0 0 25 0 1 0 188782310 45580288 8696 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 11128 8696 198 640 0 10484 0
Current children cumulated CPU time (s) 461.31
Current children cumulated vsize (KiB) 44512

[startup+522.303 s]
/proc/loadavg: 1.66 1.61 1.56 2/73 11995
/proc/meminfo: memFree=854584/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=44676 CPUtime=521.28
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 8883 0 0 0 52039 89 0 0 25 0 1 0 188782310 45748224 8737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 11169 8737 198 640 0 10525 0
Current children cumulated CPU time (s) 521.28
Current children cumulated vsize (KiB) 44676

[startup+582.302 s]
/proc/loadavg: 1.72 1.63 1.56 2/73 11995
/proc/meminfo: memFree=851512/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=47600 CPUtime=580.83
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 9671 0 0 0 57979 104 0 0 25 0 1 0 188782310 48742400 9480 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 11900 9480 198 640 0 11256 0
Current children cumulated CPU time (s) 580.83
Current children cumulated vsize (KiB) 47600

[startup+642.302 s]
/proc/loadavg: 1.90 1.71 1.59 2/73 11995
/proc/meminfo: memFree=851384/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=47760 CPUtime=640.67
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 9699 0 0 0 63951 116 0 0 25 0 1 0 188782310 48906240 9508 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 11940 9508 198 640 0 11296 0
Current children cumulated CPU time (s) 640.67
Current children cumulated vsize (KiB) 47760

[startup+702.303 s]

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

/proc/meminfo: memFree=851384/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=47760 CPUtime=1178.55
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 9699 0 0 0 117652 203 0 0 25 0 1 0 188782310 48906240 9508 1992294400 134512640 137136520 4294956256 18446744073709551615 134543912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 11940 9508 198 640 0 11296 0
Current children cumulated CPU time (s) 1178.55
Current children cumulated vsize (KiB) 47760

[startup+1242.3 s]
/proc/loadavg: 1.52 1.68 1.63 2/73 11995
/proc/meminfo: memFree=851384/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=47760 CPUtime=1238.46
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 9699 0 0 0 123635 211 0 0 25 0 1 0 188782310 48906240 9508 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 11940 9508 198 640 0 11296 0
Current children cumulated CPU time (s) 1238.46
Current children cumulated vsize (KiB) 47760

[startup+1302.3 s]
/proc/loadavg: 1.46 1.63 1.61 4/73 11995
/proc/meminfo: memFree=847352/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51588 CPUtime=1297.78
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10723 0 0 0 129550 228 0 0 25 0 1 0 188782310 52826112 10486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12897 10486 198 640 0 12253 0
Current children cumulated CPU time (s) 1297.78
Current children cumulated vsize (KiB) 51588

[startup+1362.3 s]
/proc/loadavg: 1.28 1.55 1.59 2/73 11995
/proc/meminfo: memFree=847288/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51848 CPUtime=1357.74
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10767 0 0 0 135541 233 0 0 25 0 1 0 188782310 53092352 10530 1992294400 134512640 137136520 4294956256 18446744073709551615 136501958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12962 10530 198 640 0 12318 0
Current children cumulated CPU time (s) 1357.74
Current children cumulated vsize (KiB) 51848

[startup+1422.31 s]
/proc/loadavg: 1.37 1.52 1.58 2/73 11995
/proc/meminfo: memFree=847288/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51848 CPUtime=1417.72
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10767 0 0 0 141533 239 0 0 25 0 1 0 188782310 53092352 10530 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12962 10530 198 640 0 12318 0
Current children cumulated CPU time (s) 1417.72
Current children cumulated vsize (KiB) 51848

[startup+1482.3 s]
/proc/loadavg: 1.46 1.52 1.57 2/73 11995
/proc/meminfo: memFree=847224/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1477.68
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10771 0 0 0 147523 245 0 0 25 0 1 0 188782310 53108736 10534 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10534 198 640 0 12322 0
Current children cumulated CPU time (s) 1477.68
Current children cumulated vsize (KiB) 51864

[startup+1542.3 s]
/proc/loadavg: 1.38 1.48 1.55 2/73 11995
/proc/meminfo: memFree=847224/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1537.18
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 153459 259 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1537.18
Current children cumulated vsize (KiB) 51864

[startup+1602.3 s]
/proc/loadavg: 1.38 1.47 1.54 4/73 11995
/proc/meminfo: memFree=847224/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1596.87
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 159418 269 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1596.87
Current children cumulated vsize (KiB) 51864

[startup+1662.3 s]
/proc/loadavg: 1.73 1.53 1.55 3/73 11995
/proc/meminfo: memFree=847224/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1656.36
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 165354 282 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1656.36
Current children cumulated vsize (KiB) 51864

[startup+1722.3 s]
/proc/loadavg: 1.48 1.50 1.54 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1716.12
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 171317 295 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1716.12
Current children cumulated vsize (KiB) 51864

[startup+1782.3 s]
/proc/loadavg: 1.53 1.51 1.54 3/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1775.68
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 177262 306 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1775.68
Current children cumulated vsize (KiB) 51864

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

[startup+1791.91 s]
/proc/loadavg: 1.59 1.52 1.54 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1785.28
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 178221 307 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1785.28
Current children cumulated vsize (KiB) 51864

[startup+1798.3 s]
/proc/loadavg: 1.55 1.51 1.54 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1791.68
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 178860 308 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 51864

[startup+1801.5 s]
/proc/loadavg: 1.50 1.51 1.54 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1794.88
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 179179 309 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1794.88
Current children cumulated vsize (KiB) 51864

[startup+1803.11 s]
/proc/loadavg: 1.50 1.51 1.54 4/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1796.49
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 179340 309 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 51864

[startup+1803.9 s]
/proc/loadavg: 1.62 1.53 1.55 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1797.28
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 179419 309 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1797.28
Current children cumulated vsize (KiB) 51864

[startup+1804.3 s]
/proc/loadavg: 1.62 1.53 1.55 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1797.68
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 179459 309 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 51864

[startup+1804.5 s]
/proc/loadavg: 1.62 1.53 1.55 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1797.87
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 179478 309 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 51864

[startup+1804.6 s]
/proc/loadavg: 1.62 1.53 1.55 2/73 11995
/proc/meminfo: memFree=847160/2055920 swapFree=4182184/4192956
[pid=11994] ppid=11992 vsize=51864 CPUtime=1797.97
/proc/11994/stat : 11994 (bsolo) R 11992 11994 11788 0 -1 4194304 10773 0 0 0 179488 309 0 0 25 0 1 0 188782310 53108736 10536 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11994/statm: 12966 10536 198 640 0 12322 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 51864

Child status: 0
Real time (s): 1804.63
CPU time (s): 1798.01
CPU user time (s): 1794.9
CPU system time (s): 3.10453
CPU usage (%): 99.6333
Max. virtual memory (cumulated for all children) (KiB): 51864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.9
system time used= 3.10453
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10775
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= 3
involuntary context switches= 22613

runsolver used 2.16667 second user time and 5.74113 second system time

The end

Launcher Data 

Begin job on node70 at 2009-06-17 06:11:23
IDJOB=1876867
IDBENCH=48277
IDSOLVER=699
FILE ID=node70/1876867-1245211883
PBS_JOBID= 9368375
Free space on /tmp= 66400 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876867-1245211883/watcher-1876867-1245211883 -o /tmp/evaluation-result-1876867-1245211883/solver-1876867-1245211883 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1876867-1245211883.opb

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=2017733637

node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        889560 kB
Buffers:         78068 kB
Cached:         976708 kB
SwapCached:       5888 kB
Active:         171468 kB
Inactive:       909680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        889560 kB
SwapTotal:     4192956 kB
SwapFree:      4182184 kB
Dirty:            3980 kB
Writeback:           0 kB
Mapped:          32940 kB
Slab:            70292 kB
Committed_AS:   598792 kB
PageTables:       2048 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876867-1245211883.opb

Free space on /tmp at the end= 66396 MiB
End job on node70 at 2009-06-17 06:41:28