Trace number 355317

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.16SAT (TO)-2 1800.03 1800.62

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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/355317-1176806402/instance-355317-1176806402.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 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.014 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.16	c Pre-processing Time: 0.156 s
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0    595     1834     5498    2     3909    2770      0      0 0.16
0.09/0.16	o -1	0.158
4.40/4.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.45	c        0    595     1835     5519    3     4276    2812      1      0 0.16
4.40/4.45	c      101    594     1936    54048   27     4506    3094    102    540 0.19
4.40/4.45	c      351    594     2186   167309   76     5013    3404    352   1076 0.33
4.40/4.45	c      826    594     2661   373127  140     5957    3745    827   1369 0.60
4.40/4.45	c     1640    594     3475   769833  221     7586    4120   1641   1640 1.00
4.40/4.45	c     2960    594     4795  1389945  289    10211    4533   2961   1618 1.83
4.40/4.45	c     5041    594     4103  1078884  262     8828    4987   2269   1617 3.12
4.40/4.45	o -2	4.447
1799.90/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.90/1800.60	c     6884    594     5947  1928634  324    12465    2812   4113   1548 4.45
1799.90/1800.60	c     6984    594     3343   679742  203     7228    3094   1509   1545 4.52
1799.90/1800.60	c     7235    594     3594   796548  221     7799    3404   1760   1555 4.65
1799.90/1800.60	c     7711    594     4070  1002191  246     8728    3745   2236   1564 4.93
1799.90/1800.60	c     8524    594     4883  1381017  282    10369    4120   3049   1587 5.37
1799.90/1800.60	c     9845    594     6204  1997586  321    12996    4533   4370   1578 6.24
1799.90/1800.60	c    11926    594     5418  1665733  307    11463    4987   3584   1614 7.39
1799.90/1800.60	c    15150    594     5320  1589272  298    11280    5486   3486   1590 9.52
1799.90/1800.60	c    20086    593     6819  2217968  325    14222    6035   4985   1498 13.40
1799.90/1800.60	c    27592    593     6697  2223570  332    13987    6639   4863   1479 18.65
1799.90/1800.60	c    38957    593     5830  1814200  311    12312    7303   3996   1417 27.48
1799.90/1800.60	c    56101    593     5574  1730951  310    11785    8034   3740   1358 41.31
1799.90/1800.60	c    81920    593     7483  2685048  358    15556    8838   5649   1254 65.32
1799.90/1800.60	c   120752    593    10412  3956072  379    21433    9722   8578   1165 103.58
1799.90/1800.60	c   179105    593     7517  2664787  354    15714   10695   5683   1114 160.71
1799.90/1800.60	c   266737    593    10210  3831885  375    21058   11765   8376   1075 248.04
1799.90/1800.60	c   398289    593    10193  3789741  371    21029   12942   8359    995 400.05
1799.90/1800.60	c   595721    593    14768  5653978  382    30229   14237  12934    947 628.81
1799.90/1800.60	c   891973    593     9102  2945359  323    18899   15661   7268    891 1000.45
1799.90/1800.60	c  1336456    593    16525  6341434  383    33680   17228  14691    846 1579.44
1799.90/1800.60	c Resources Exceeded
1799.90/1800.60	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
1799.90/1800.60	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
1799.90/1800.60	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
1799.90/1800.60	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
1799.90/1800.60	v -x509 x510 -x511 x512 -x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 x523 x524 x525 -x526 -x527 x528 x529 -x530 -x531
1799.90/1800.60	v -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592
1799.90/1800.60	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613
1799.90/1800.60	v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
1799.90/1800.60	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1799.90/1800.60	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1799.90/1800.60	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1799.90/1800.60	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1799.90/1800.60	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1799.90/1800.60	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1799.90/1800.60	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1799.90/1800.60	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1799.90/1800.60	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823
1799.90/1800.60	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1799.90/1800.60	v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865
1799.90/1800.60	v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886
1799.90/1800.60	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107
1799.90/1800.60	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1799.90/1800.60	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.90/1800.60	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1799.90/1800.60	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1799.90/1800.60	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1799.90/1800.60	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1799.90/1800.60	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1799.90/1800.60	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.90/1800.60	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1799.90/1800.60	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1799.90/1800.60	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1799.90/1800.60	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1799.90/1800.60	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1799.90/1800.60	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1799.90/1800.60	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1799.90/1800.60	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1799.90/1800.60	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1799.90/1800.60	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1799.90/1800.60	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x542 -x543 -x544 -x545 -x546
1799.90/1800.60	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1799.90/1800.60	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581
1799.90/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.90/1800.60	c   27  1491855  15219  1541164    15790  6037535  13956    828 1800.01
1799.90/1800.60	c Objective: -2
1799.90/1800.60	s SATISFIABLE
1799.90/1800.60	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-2

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-355317-1176806402 -o ROOT/results/node11/solver-355317-1176806402 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355317-1176806402/instance-355317-1176806402.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.91 0.97 0.99 3/77 27247
/proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=19624 CPUtime=0
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 121689142 20094976 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 4906 335 282 324 0 3956 0

[startup+0.01349 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27247
/proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=4268 CPUtime=0
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 436 0 0 0 0 0 0 0 18 0 1 0 121689142 4370432 404 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 1067 404 294 324 0 117 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4268

[startup+0.1015 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27247
/proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=4468 CPUtime=0.09
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 549 0 0 0 9 0 0 0 18 0 1 0 121689142 4575232 498 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 1117 498 305 324 0 186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4468

[startup+0.301523 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27247
/proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=6280 CPUtime=0.29
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 994 0 0 0 29 0 0 0 19 0 1 0 121689142 6430720 943 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 1570 943 313 324 0 639 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6280

[startup+0.70157 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 27247
/proc/meminfo: memFree=1780920/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=10112 CPUtime=0.69
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 1953 0 0 0 68 1 0 0 22 0 1 0 121689142 10354688 1902 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 2528 1902 313 324 0 1597 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10112

[startup+1.50166 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1770224/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=19540 CPUtime=1.49
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 4323 0 0 0 147 2 0 0 25 0 1 0 121689142 20008960 4272 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 4885 4272 313 324 0 3954 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19540

[startup+3.10285 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1759152/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=35372 CPUtime=3.09
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 8269 0 0 0 305 4 0 0 25 0 1 0 121689142 36220928 8218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134585091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 8843 8218 313 324 0 7912 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35372

[startup+6.30123 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1749040/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=35372 CPUtime=6.29
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 8269 0 0 0 624 5 0 0 25 0 1 0 121689142 36220928 8218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 8843 8218 313 324 0 7912 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35372

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1743664/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=40708 CPUtime=12.69
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 9598 0 0 0 1262 7 0 0 25 0 1 0 121689142 41684992 9547 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 10177 9547 313 324 0 9246 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40708

[startup+25.5015 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1734192/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=50144 CPUtime=25.49
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 11958 0 0 0 2540 9 0 0 25 0 1 0 121689142 51347456 11907 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 12536 11907 313 324 0 11605 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50144

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1725552/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=58732 CPUtime=51.07
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 14410 0 0 0 5095 12 0 0 25 0 1 0 121689142 60141568 14055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 14683 14055 313 324 0 13752 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58732

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1722992/2055920 swapFree=4124456/4192956
[pid=27247] ppid=27245 vsize=61264 CPUtime=102.26
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 17482 0 0 0 10206 20 0 0 25 0 1 0 121689142 62734336 14696 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 15316 14696 313 324 0 14385 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 61264

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27248
/proc/meminfo: memFree=1714672/2055920 swapFree=4124512/4192956
[pid=27247] ppid=27245 vsize=69536 CPUtime=162.24
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 21179 0 0 0 16194 30 0 0 25 0 1 0 121689142 71204864 16769 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 17384 16769 313 324 0 16453 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69536

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1709360/2055920 swapFree=4124512/4192956
[pid=27247] ppid=27245 vsize=74544 CPUtime=222.22
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 22462 0 0 0 22183 39 0 0 25 0 1 0 121689142 76333056 18031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 18636 18031 313 324 0 17705 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74544

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1704624/2055920 swapFree=4124512/4192956
[pid=27247] ppid=27245 vsize=79300 CPUtime=282.21
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 23929 0 0 0 28172 49 0 0 25 0 1 0 121689142 81203200 19220 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 19825 19220 313 324 0 18894 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79300

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1704304/2055920 swapFree=4124572/4192956
[pid=27247] ppid=27245 vsize=79588 CPUtime=342.19
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 24382 0 0 0 34164 55 0 0 25 0 1 0 121689142 81498112 19292 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 19897 19292 313 324 0 18966 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 79588

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1704240/2055920 swapFree=4124572/4192956
[pid=27247] ppid=27245 vsize=79840 CPUtime=402.17
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 24525 0 0 0 40154 63 0 0 25 0 1 0 121689142 81756160 19340 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 19960 19340 313 324 0 19029 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 79840

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1698736/2055920 swapFree=4124636/4192956
[pid=27247] ppid=27245 vsize=85128 CPUtime=462.15
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 26839 0 0 0 46144 71 0 0 25 0 1 0 121689142 87171072 20677 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 21282 20677 313 324 0 20351 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 85128

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1698736/2055920 swapFree=4124636/4192956
[pid=27247] ppid=27245 vsize=85104 CPUtime=522.14
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 26922 0 0 0 52136 78 0 0 25 0 1 0 121689142 87146496 20671 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 21276 20671 313 324 0 20345 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 85104

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1698736/2055920 swapFree=4124692/4192956
[pid=27247] ppid=27245 vsize=85068 CPUtime=582.12
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 26986 0 0 0 58128 84 0 0 25 0 1 0 121689142 87109632 20662 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 21267 20662 313 324 0 20336 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 85068

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1695536/2055920 swapFree=4124692/4192956
[pid=27247] ppid=27245 vsize=88380 CPUtime=642.12
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 27816 0 0 0 64121 91 0 0 25 0 1 0 121689142 90501120 21489 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 22095 21489 313 324 0 21164 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 88380


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1691824/2055920 swapFree=4124756/4192956
[pid=27247] ppid=27245 vsize=92088 CPUtime=822.06
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 29628 0 0 0 82095 111 0 0 25 0 1 0 121689142 94298112 22408 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 23022 22408 313 324 0 22091 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 92088

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1691952/2055920 swapFree=4124756/4192956
[pid=27247] ppid=27245 vsize=91684 CPUtime=882.05
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 29674 0 0 0 88086 119 0 0 25 0 1 0 121689142 93884416 22316 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8412916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 22921 22316 313 324 0 21990 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 91684

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1682928/2055920 swapFree=4124812/4192956
[pid=27247] ppid=27245 vsize=100880 CPUtime=942.02
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 31967 0 0 0 94076 126 0 0 25 0 1 0 121689142 103301120 24607 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25220 24607 313 324 0 24289 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 100880

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1691248/2055920 swapFree=4124812/4192956
[pid=27247] ppid=27245 vsize=92296 CPUtime=1002.01
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 34141 0 0 0 100066 135 0 0 25 0 1 0 121689142 94511104 22469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 23074 22469 313 324 0 22143 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 92296

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1682288/2055920 swapFree=4124872/4192956
[pid=27247] ppid=27245 vsize=101464 CPUtime=1061.99
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36417 0 0 0 106056 143 0 0 25 0 1 0 121689142 103899136 24745 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25366 24745 313 324 0 24435 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 101464

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1682800/2055920 swapFree=4124872/4192956
[pid=27247] ppid=27245 vsize=100704 CPUtime=1121.98
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 112049 149 0 0 25 0 1 0 121689142 103120896 24571 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25176 24571 313 324 0 24245 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 100704

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1682800/2055920 swapFree=4124872/4192956
[pid=27247] ppid=27245 vsize=100692 CPUtime=1181.96
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 118040 156 0 0 25 0 1 0 121689142 103108608 24568 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25173 24568 313 324 0 24242 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 100692

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 27250
/proc/meminfo: memFree=1682864/2055920 swapFree=4124932/4192956
[pid=27247] ppid=27245 vsize=100688 CPUtime=1241.94
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 124032 162 0 0 25 0 1 0 121689142 103104512 24567 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25172 24567 313 324 0 24241 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 100688

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 27420
/proc/meminfo: memFree=1681648/2055920 swapFree=4124932/4192956
[pid=27247] ppid=27245 vsize=100688 CPUtime=1301.85
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 130014 171 0 0 25 0 1 0 121689142 103104512 24567 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25172 24567 313 324 0 24241 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 100688

[startup+1362.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1682928/2055920 swapFree=4124932/4192956
[pid=27247] ppid=27245 vsize=100464 CPUtime=1361.82
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 136004 178 0 0 25 0 1 0 121689142 102875136 24511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25116 24511 313 324 0 24185 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 100464

[startup+1422.31 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1682992/2055920 swapFree=4124992/4192956
[pid=27247] ppid=27245 vsize=100456 CPUtime=1421.8
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36638 0 0 0 141996 184 0 0 25 0 1 0 121689142 102866944 24509 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25114 24509 313 324 0 24183 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 100456

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1681904/2055920 swapFree=4124992/4192956
[pid=27247] ppid=27245 vsize=101572 CPUtime=1481.78
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 36932 0 0 0 147987 191 0 0 25 0 1 0 121689142 104009728 24782 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25393 24782 313 324 0 24462 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 101572

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1681264/2055920 swapFree=4125048/4192956
[pid=27247] ppid=27245 vsize=102228 CPUtime=1541.76
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 37397 0 0 0 153979 197 0 0 25 0 1 0 121689142 104681472 24942 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 25557 24942 313 324 0 24626 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 102228

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1677616/2055920 swapFree=4125048/4192956
[pid=27247] ppid=27245 vsize=105852 CPUtime=1601.75
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 38754 0 0 0 159971 204 0 0 25 0 1 0 121689142 108392448 25844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 26463 25844 313 324 0 25532 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 105852

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1676336/2055920 swapFree=4125048/4192956
[pid=27247] ppid=27245 vsize=107012 CPUtime=1661.73
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 39758 0 0 0 165962 211 0 0 25 0 1 0 121689142 109580288 26141 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 26753 26141 313 324 0 25822 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 107012

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1675760/2055920 swapFree=4125104/4192956
[pid=27247] ppid=27245 vsize=107332 CPUtime=1721.72
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 40246 0 0 0 171953 219 0 0 25 0 1 0 121689142 109907968 26228 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 26833 26228 313 324 0 25902 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 107332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1675760/2055920 swapFree=4125104/4192956
[pid=27247] ppid=27245 vsize=107320 CPUtime=1781.71
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194304 40246 0 0 0 177945 226 0 0 25 0 1 0 121689142 109895680 26225 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 26830 26225 313 324 0 25899 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 107320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27448
/proc/meminfo: memFree=1682352/2055920 swapFree=4125104/4192956
[pid=27247] ppid=27245 vsize=0 CPUtime=1800
/proc/27247/stat : 27247 (bsolo3.0.16) R 27245 27247 26485 0 -1 4194308 40247 0 0 0 179772 228 0 0 25 0 1 0 121689142 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27247/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1797.73
CPU system time (s): 2.29865
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 108944

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

runsolver used 2.25266 second user time and 4.18736 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue Apr 17 10:40:02 UTC 2007

IDJOB= 355317
IDBENCH= 3035
IDSOLVER= 163
FILE ID= node11/355317-1176806402

PBS_JOBID= 4586226

Free space on /tmp= 66334 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/355317-1176806402/instance-355317-1176806402.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-355317-1176806402 -o ROOT/results/node11/solver-355317-1176806402 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355317-1176806402/instance-355317-1176806402.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d0972750cf259b5b6f93d177cc7cfb4a

RANDOM SEED= 56676505

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1781392 kB
Buffers:         32044 kB
Cached:         145920 kB
SwapCached:      35012 kB
Active:         135188 kB
Inactive:        95944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781392 kB
SwapTotal:     4192956 kB
SwapFree:      4124456 kB
Dirty:            4480 kB
Writeback:           0 kB
Mapped:          41680 kB
Slab:            28848 kB
Committed_AS:  6145740 kB
PageTables:       1852 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66334 MiB

End job on node11 on Tue Apr 17 11:10:05 UTC 2007