Trace number 433648

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)-2 1800.09 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb
MD5SUMd0972750cf259b5b6f93d177cc7cfb4a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1307731
Best CPU time to get the best result obtained on this benchmark314.738
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1307731
Optimality of the best value was proved YES
Number of variables901
Total number of constraints2521
Number of constraints which are clauses2520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint840
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305841944493460011
Number of bits of the biggest sum of numbers61
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433648-1177961869/instance-433648-1177961869.opb
0.00/0.00	c File size is 75473 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Highest Coefficient sum: 2.30584e+18
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 901 Constr: 2522 2520/0/2 Lit: 7560 Watch. Lit: 5882
0.00/0.01	c Obj. Vars: 21 (2.33074 % of total variables)
0.09/0.15	c Pre-processing Time: 0.143 s
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0    595     1834     5498    2     3909    2770      0      0 0.14
0.09/0.15	o -1	0.144
4.28/4.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.28/4.31	c        0    595     1835     5519    3     4276    2812      1      0 0.14
4.28/4.31	c      101    594     1936    54048   27     4506    3094    102    590 0.17
4.28/4.31	c      351    594     2186   167309   76     5013    3404    352   1170 0.30
4.28/4.31	c      826    594     2661   373127  140     5957    3745    827   1482 0.56
4.28/4.31	c     1640    594     3475   769833  221     7586    4120   1641   1776 0.92
4.28/4.31	c     2960    594     4795  1389945  289    10211    4533   2961   1709 1.73
4.28/4.31	c     5041    594     4103  1078884  262     8828    4987   2269   1682 3.00
4.28/4.31	o -2	4.301
1800.07/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.70	c     6884    594     5947  1928634  324    12465    2812   4113   1600 4.30
1800.07/1800.70	c     6984    594     3343   679742  203     7228    3094   1509   1597 4.37
1800.07/1800.70	c     7235    594     3594   796548  221     7799    3404   1760   1607 4.50
1800.07/1800.70	c     7711    594     4070  1002191  246     8728    3745   2236   1615 4.77
1800.07/1800.70	c     8524    594     4883  1381017  282    10369    4120   3049   1635 5.21
1800.07/1800.70	c     9845    594     6204  1997586  321    12996    4533   4370   1621 6.07
1800.07/1800.70	c    11926    594     5418  1665733  307    11463    4987   3584   1653 7.21
1800.07/1800.70	c    15150    594     5320  1589272  298    11280    5486   3486   1623 9.33
1800.07/1800.70	c    20086    593     6819  2217968  325    14222    6035   4985   1522 13.19
1800.07/1800.70	c    27592    593     6697  2223570  332    13987    6639   4863   1497 18.42
1800.07/1800.70	c    38957    593     5830  1814200  311    12312    7303   3996   1433 27.18
1800.07/1800.70	c    56101    593     5574  1730951  310    11785    8034   3740   1368 40.99
1800.07/1800.70	c    81920    593     7483  2685048  358    15556    8838   5649   1263 64.85
1800.07/1800.70	c   120752    593    10412  3956072  379    21433    9722   8578   1172 102.97
1800.07/1800.70	c   179105    593     7517  2664787  354    15714   10695   5683   1120 159.88
1800.07/1800.70	c   266737    593    10210  3831885  375    21058   11765   8376   1079 246.98
1800.07/1800.70	c   398289    593    10193  3789741  371    21029   12942   8359    999 398.64
1800.07/1800.70	c   595721    593    14768  5653978  382    30229   14237  12934    950 626.86
1800.07/1800.70	c   891973    593     9102  2945359  323    18899   15661   7268    894 997.69
1800.07/1800.70	c  1336456    593    16525  6341434  383    33680   17228  14691    848 1574.74
1800.07/1800.70	c Caught signal: 15
1800.07/1800.71	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x62 x22 -x63 -x23 -x64 x24 -x65 -x25
1800.07/1800.71	v -x66 x26 -x67 -x27 -x68 -x28 -x69 -x29 -x70 x30 -x71 -x31 -x72 x32 -x73 -x33 -x74 -x34 -x75 -x35 -x76 x36 -x77 -x37 -x78 x38 -x79
1800.07/1800.71	v -x39 -x80 x40 -x81 x41 -x82 -x42 -x83 x43 -x84 x44 -x85 x45 -x86 -x46 -x87 -x47 -x88 x48 -x89 x49 -x90 -x50 -x91 -x51 -x92 -x52
1800.07/1800.71	v -x93 -x53 -x94 -x54 -x95 -x55 -x96 x56 -x97 -x57 -x98 -x58 -x99 -x59 -x100 -x60 -x101 -x61 x502 -x503 x504 -x505 x506 -x507 -x508
1800.07/1800.71	v -x509 x510 -x511 x512 -x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 x523 x524 x525 -x526 -x527 x528 x529 -x530 -x531
1800.07/1800.71	v -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592
1800.07/1800.71	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613
1800.07/1800.71	v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
1800.07/1800.71	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1800.07/1800.71	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1800.07/1800.71	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1800.07/1800.71	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1800.07/1800.71	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1800.07/1800.71	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1800.07/1800.71	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1800.07/1800.71	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1800.07/1800.71	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823
1800.07/1800.71	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1800.07/1800.71	v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865
1800.07/1800.71	v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886
1800.07/1800.71	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107
1800.07/1800.71	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.07/1800.71	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1800.07/1800.71	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1800.07/1800.71	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1800.07/1800.71	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1800.07/1800.71	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1800.07/1800.71	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.07/1800.71	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.07/1800.71	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1800.07/1800.71	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1800.07/1800.71	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.07/1800.71	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.07/1800.71	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1800.07/1800.71	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.07/1800.71	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.07/1800.71	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.07/1800.71	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.07/1800.71	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.07/1800.71	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x542 -x543 -x544 -x545 -x546
1800.07/1800.71	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.07/1800.71	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581
1800.07/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.71	c   27  1494809  15299  1544268    18744  7305200  16910    830 1800.07
1800.07/1800.71	c Objective: -2
1800.07/1800.71	s SATISFIABLE
1800.07/1800.71	c Total time: 1800.07 s

Verifier Data (download as text)

OK	-2

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node74/watcher-433648-1177961869 -o ROOT/results/node74/solver-433648-1177961869 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433648-1177961869/instance-433648-1177961869.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.30 0.71 0.82 3/66 5200
/proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=19624 CPUtime=0
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 244101855 20094976 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134539173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 4906 334 280 324 0 3957 0

[startup+0.103398 s]
/proc/loadavg: 0.30 0.71 0.82 3/66 5200
/proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=4468 CPUtime=0.09
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 545 0 0 0 9 0 0 0 18 0 1 0 244101855 4575232 496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5200/statm: 1117 496 303 324 0 187 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4468

[startup+0.201412 s]
/proc/loadavg: 0.30 0.71 0.82 3/66 5200
/proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=5376 CPUtime=0.19
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 760 0 0 0 19 0 0 0 18 0 1 0 244101855 5505024 711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5200/statm: 1344 711 311 324 0 414 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5376

[startup+0.301427 s]
/proc/loadavg: 0.30 0.71 0.82 3/66 5200
/proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=6408 CPUtime=0.29
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 1039 0 0 0 29 0 0 0 19 0 1 0 244101855 6561792 990 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5200/statm: 1602 990 311 324 0 672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6408

[startup+0.701472 s]
/proc/loadavg: 0.30 0.71 0.82 3/66 5200
/proc/meminfo: memFree=1524976/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=10624 CPUtime=0.69
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 2077 0 0 0 68 1 0 0 23 0 1 0 244101855 10878976 2028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5200/statm: 2656 2028 311 324 0 1726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10624

[startup+1.50156 s]
/proc/loadavg: 0.30 0.71 0.82 2/67 5201
/proc/meminfo: memFree=1512104/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=20184 CPUtime=1.49
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 4462 0 0 0 147 2 0 0 25 0 1 0 244101855 20668416 4413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 5046 4413 311 324 0 4116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20184

[startup+3.10174 s]
/proc/loadavg: 0.30 0.71 0.82 2/67 5201
/proc/meminfo: memFree=1501288/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=35372 CPUtime=3.08
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 8265 0 0 0 305 3 0 0 25 0 1 0 244101855 36220928 8216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10188705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 8843 8216 311 324 0 7913 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35372

[startup+6.30111 s]
/proc/loadavg: 0.36 0.72 0.82 2/67 5201
/proc/meminfo: memFree=1493096/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=35372 CPUtime=6.28
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 8265 0 0 0 625 3 0 0 25 0 1 0 244101855 36220928 8216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 8843 8216 311 324 0 7913 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35372

[startup+12.7019 s]
/proc/loadavg: 0.41 0.72 0.82 2/67 5201
/proc/meminfo: memFree=1487864/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=40708 CPUtime=12.69
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 9594 0 0 0 1265 4 0 0 25 0 1 0 244101855 41684992 9545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 10177 9545 311 324 0 9247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40708

[startup+25.5013 s]
/proc/loadavg: 0.54 0.74 0.82 2/67 5201
/proc/meminfo: memFree=1478464/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=50144 CPUtime=25.48
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 11954 0 0 0 2543 5 0 0 25 0 1 0 244101855 51347456 11905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 12536 11905 311 324 0 11606 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50144

[startup+51.1013 s]
/proc/loadavg: 0.70 0.75 0.82 2/67 5201
/proc/meminfo: memFree=1469952/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=54480 CPUtime=51.08
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 14406 0 0 0 5101 7 0 0 25 0 1 0 244101855 55787520 13013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 13620 13013 311 324 0 12690 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54480

[startup+102.301 s]
/proc/loadavg: 0.87 0.79 0.83 2/67 5201
/proc/meminfo: memFree=1467392/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=61264 CPUtime=102.26
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 17478 0 0 0 10217 9 0 0 25 0 1 0 244101855 62734336 14694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 15316 14694 311 324 0 14386 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 61264

[startup+162.301 s]
/proc/loadavg: 0.95 0.83 0.83 2/67 5201
/proc/meminfo: memFree=1459072/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=69536 CPUtime=162.24
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 21175 0 0 0 16212 12 0 0 25 0 1 0 244101855 71204864 16767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 17384 16767 311 324 0 16454 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69536

[startup+222.305 s]
/proc/loadavg: 0.98 0.85 0.84 2/67 5203
/proc/meminfo: memFree=1453824/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=74544 CPUtime=222.22
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 22458 0 0 0 22210 12 0 0 25 0 1 0 244101855 76333056 18029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 18636 18029 311 324 0 17706 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74544

[startup+282.301 s]
/proc/loadavg: 0.99 0.88 0.85 2/67 5203
/proc/meminfo: memFree=1449024/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=79300 CPUtime=282.2
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 23925 0 0 0 28207 13 0 0 25 0 1 0 244101855 81203200 19218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 19825 19218 311 324 0 18895 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 79300

[startup+342.302 s]
/proc/loadavg: 0.99 0.90 0.85 2/67 5203
/proc/meminfo: memFree=1448576/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=79588 CPUtime=342.19
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 24378 0 0 0 34205 14 0 0 25 0 1 0 244101855 81498112 19290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 19897 19290 311 324 0 18967 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 79588

[startup+402.302 s]
/proc/loadavg: 0.99 0.91 0.86 2/67 5203
/proc/meminfo: memFree=1448576/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=79840 CPUtime=402.17
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 24521 0 0 0 40203 14 0 0 25 0 1 0 244101855 81756160 19338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10186812 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 19960 19338 311 324 0 19030 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 79840

[startup+462.302 s]
/proc/loadavg: 0.99 0.93 0.86 2/67 5203
/proc/meminfo: memFree=1443008/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=85128 CPUtime=462.15
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 26835 0 0 0 46199 16 0 0 25 0 1 0 244101855 87171072 20675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 21282 20675 311 324 0 20352 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 85128

[startup+522.302 s]
/proc/loadavg: 0.99 0.94 0.87 2/67 5203
/proc/meminfo: memFree=1443008/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=85104 CPUtime=522.13
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 26918 0 0 0 52197 16 0 0 25 0 1 0 244101855 87146496 20669 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 21276 20669 311 324 0 20346 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 85104

[startup+582.302 s]
/proc/loadavg: 0.99 0.95 0.87 2/67 5203
/proc/meminfo: memFree=1443008/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=85068 CPUtime=582.11
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 26982 0 0 0 58195 16 0 0 25 0 1 0 244101855 87109632 20660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 21267 20660 311 324 0 20337 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 85068

[startup+642.302 s]
/proc/loadavg: 0.99 0.95 0.88 2/67 5203
/proc/meminfo: memFree=1439872/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=88232 CPUtime=642.1
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 27812 0 0 0 64193 17 0 0 25 0 1 0 244101855 90349568 21451 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521801 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 22058 21451 311 324 0 21128 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 88232


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.90 2/67 5203
/proc/meminfo: memFree=1436160/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=92088 CPUtime=822.04
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 29624 0 0 0 82185 19 0 0 25 0 1 0 244101855 94298112 22406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 23022 22406 311 324 0 22092 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 92088

[startup+882.305 s]
/proc/loadavg: 0.99 0.97 0.90 2/67 5203
/proc/meminfo: memFree=1436352/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=91684 CPUtime=882.03
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 29670 0 0 0 88184 19 0 0 25 0 1 0 244101855 93884416 22314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 22921 22314 311 324 0 21991 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 91684

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1424576/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=105440 CPUtime=942.01
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 33091 0 0 0 94180 21 0 0 25 0 1 0 244101855 107970560 25733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 26360 25733 311 324 0 25430 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 105440

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1435648/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=92296 CPUtime=1001.99
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 34137 0 0 0 100176 23 0 0 25 0 1 0 244101855 94511104 22467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 23074 22467 311 324 0 22144 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 92296

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1425856/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=102348 CPUtime=1061.97
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 106173 24 0 0 25 0 1 0 244101855 104804352 24964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25587 24964 311 324 0 24657 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 102348

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1427264/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=100704 CPUtime=1121.95
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 112171 24 0 0 25 0 1 0 244101855 103120896 24569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25176 24569 311 324 0 24246 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 100704

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1427264/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=100692 CPUtime=1181.93
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 118169 24 0 0 25 0 1 0 244101855 103108608 24566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572684 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25173 24566 311 324 0 24243 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 100692

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1427264/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=100688 CPUtime=1241.91
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 124167 24 0 0 25 0 1 0 244101855 103104512 24565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190480 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25172 24565 311 324 0 24242 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 100688

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1427328/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=100688 CPUtime=1301.91
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 130166 25 0 0 25 0 1 0 244101855 103104512 24565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25172 24565 311 324 0 24242 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 100688

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5203
/proc/meminfo: memFree=1427392/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=100456 CPUtime=1361.89
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 136164 25 0 0 25 0 1 0 244101855 102866944 24507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25114 24507 311 324 0 24184 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 100456

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/73 5367
/proc/meminfo: memFree=1426248/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=100456 CPUtime=1421.79
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36634 0 0 0 142152 27 0 0 25 0 1 0 244101855 102866944 24507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25114 24507 311 324 0 24184 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 100456

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5401
/proc/meminfo: memFree=1426304/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=101572 CPUtime=1481.75
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 36928 0 0 0 148148 27 0 0 25 0 1 0 244101855 104009728 24780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25393 24780 311 324 0 24463 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 101572

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5401
/proc/meminfo: memFree=1427392/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=100368 CPUtime=1541.74
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 37393 0 0 0 154146 28 0 0 25 0 1 0 244101855 102776832 24485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 25092 24485 311 324 0 24162 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 100368

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5401
/proc/meminfo: memFree=1422080/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=105852 CPUtime=1601.72
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 38750 0 0 0 160143 29 0 0 25 0 1 0 244101855 108392448 25842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 26463 25842 311 324 0 25533 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 105852

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5401
/proc/meminfo: memFree=1419968/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=107932 CPUtime=1661.7
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 39977 0 0 0 166140 30 0 0 25 0 1 0 244101855 110522368 26362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 26983 26362 311 324 0 26053 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 107932

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5401
/proc/meminfo: memFree=1420416/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=107332 CPUtime=1721.68
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 40242 0 0 0 172138 30 0 0 25 0 1 0 244101855 109907968 26226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 26833 26226 311 324 0 25903 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 107332

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5401
/proc/meminfo: memFree=1420480/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=107288 CPUtime=1781.66
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 40242 0 0 0 178136 30 0 0 25 0 1 0 244101855 109862912 26215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 26822 26215 311 324 0 25892 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 107288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 5401
/proc/meminfo: memFree=1420480/2055920 swapFree=4183036/4192956
[pid=5200] ppid=5198 vsize=107288 CPUtime=1800.07
/proc/5200/stat : 5200 (bsolo3.0.17) R 5198 5200 2764 0 -1 4194304 40242 0 0 0 179977 30 0 0 25 0 1 0 244101855 109862912 26215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5200/statm: 26822 26215 311 324 0 25892 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 107288

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.09
CPU user time (s): 1799.77
CPU system time (s): 0.320951
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 108944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.320951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40246
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= 12
involuntary context switches= 3187

runsolver used 1.59376 second user time and 3.38549 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Mon Apr 30 19:37:50 UTC 2007

IDJOB= 433648
IDBENCH= 3035
IDSOLVER= 199
FILE ID= node74/433648-1177961869

PBS_JOBID= 4727682

Free space on /tmp= 103239 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433648-1177961869/instance-433648-1177961869.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-433648-1177961869 -o ROOT/results/node74/solver-433648-1177961869 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433648-1177961869/instance-433648-1177961869.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d0972750cf259b5b6f93d177cc7cfb4a

RANDOM SEED= 368020650

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.213
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.213
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:       1525448 kB
Buffers:          9336 kB
Cached:         446120 kB
SwapCached:       2864 kB
Active:          29724 kB
Inactive:       435592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1525448 kB
SwapTotal:     4192956 kB
SwapFree:      4183036 kB
Dirty:            6796 kB
Writeback:           0 kB
Mapped:          15960 kB
Slab:            51024 kB
Committed_AS:  4134120 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103239 MiB

End job on node74 on Mon Apr 30 20:07:54 UTC 2007