Trace number 433620

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)-1 1800.14 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb
MD5SUM2533454829254b6bcc39aa8d9b25219b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-18535
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -18535
Optimality of the best value was proved NO
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 2305842614989581580
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

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/433620-1177961829/instance-433620-1177961829.opb
0.00/0.00	c File size is 75474 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.10	c Pre-processing Time: 0.103 s
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0    687     2075     6220    2     4300    3202      0      0 0.10
0.09/0.10	o -1	0.104
1800.09/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.70	c        0    687     2076     6241    3     4854    3244      1      0 0.10
1800.09/1800.70	c      100    686     2176    58620   26     5086    3569    101    714 0.14
1800.09/1800.70	c      351    686     2427   188415   77     5537    3926    352   1249 0.28
1800.09/1800.70	c      826    686     2902   435042  149     6512    4319    827   1472 0.56
1800.09/1800.70	c     1640    686     3716   860021  231     8095    4751   1641   1512 1.08
1800.09/1800.70	c     2961    686     5037  1612200  320    10715    5227   2962   1565 1.89
1800.09/1800.70	c     5042    686     7118  2820664  396    14883    5750   5043   1594 3.16
1800.09/1800.70	c     8265    686     6622  2659810  401    13960    6326   4547   1635 5.05
1800.09/1800.70	c    13202    686     7688  3062420  398    16102    6959   5613   1410 9.36
1800.09/1800.70	c    20708    686     6717  2429111  361    14168    7655   4642   1260 16.42
1800.09/1800.70	c    32076    686     9110  3596060  394    19041    8421   7035   1219 26.29
1800.09/1800.70	c    49221    686     6406  2333473  364    13599    9264   4331   1183 41.58
1800.09/1800.70	c    75041    686    10755  4489479  417    22296   10191   8680   1162 64.52
1800.09/1800.70	c   113873    686     8879  3749338  422    18671   11211   6804   1115 102.11
1800.09/1800.70	c   172226    686    10515  4288068  407    21882   12333   8440   1048 164.27
1800.09/1800.70	c   259858    686     8479  3359649  396    17668   13567   6404    987 263.03
1800.09/1800.70	c   391411    686    12423  5389890  433    25678   14924  10348    956 409.36
1800.09/1800.70	c   588843    686    13696  6080346  443    28119   16417  11621    876 672.13
1800.09/1800.70	c   885096    686    14806  6481097  437    30364   18059  12731    795 1112.69
1800.09/1800.70	c Caught signal: 15
1800.09/1800.70	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 -x66
1800.09/1800.70	v -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 -x39 -x80 -x40
1800.09/1800.70	v x81 x41 -x82 -x42 -x83 -x43 -x84 -x44 x85 x45 -x86 -x46 x87 x47 x88 x48 -x89 -x49 x90 x50 x91 x51 -x92 -x52 -x93 -x53 -x94 -x54 -x95
1800.09/1800.70	v -x55 x96 x56 -x97 -x57 -x98 -x58 x99 x59 -x100 -x60 x101 x61 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512
1800.09/1800.70	v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533
1800.09/1800.70	v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1800.09/1800.70	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
1800.09/1800.70	v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636
1800.09/1800.70	v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1800.09/1800.70	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1800.09/1800.70	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
1800.09/1800.70	v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
1800.09/1800.70	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741
1800.09/1800.70	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
1800.09/1800.70	v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783
1800.09/1800.70	v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804
1800.09/1800.70	v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
1800.09/1800.70	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846
1800.09/1800.70	v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867
1800.09/1800.70	v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888
1800.09/1800.70	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109
1800.09/1800.70	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1800.09/1800.70	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151
1800.09/1800.70	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
1800.09/1800.70	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1800.09/1800.70	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
1800.09/1800.70	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
1800.09/1800.70	v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1800.09/1800.70	v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1800.09/1800.70	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1800.09/1800.70	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1800.09/1800.70	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1800.09/1800.70	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1800.09/1800.70	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382
1800.09/1800.70	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1800.09/1800.70	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1800.09/1800.70	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
1800.09/1800.70	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1800.09/1800.70	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1800.09/1800.70	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x542 -x543 -x544 -x545 -x546 -x547 -x548
1800.09/1800.70	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
1800.09/1800.70	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581
1800.09/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.70	c   19  1119106   9559  1171822    13829  7142214  11754    621 1800.11
1800.09/1800.70	c Objective: -1
1800.09/1800.70	s SATISFIABLE
1800.09/1800.70	c Total time: 1800.11 s

Verifier Data (download as text)

OK	-1

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node27/watcher-433620-1177961829 -o ROOT/results/node27/solver-433620-1177961829 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433620-1177961829/instance-433620-1177961829.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.72 0.93 0.92 3/65 25825
/proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=19624 CPUtime=0
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 208878879 20094976 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 4906 333 280 324 0 3957 0

[startup+0.0790359 s]
/proc/loadavg: 0.72 0.93 0.92 3/65 25825
/proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=4468 CPUtime=0.07
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 544 0 0 0 7 0 0 0 18 0 1 0 208878879 4575232 495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 1117 495 303 324 0 187 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4468

[startup+0.101038 s]
/proc/loadavg: 0.72 0.93 0.92 3/65 25825
/proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=4612 CPUtime=0.09
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 556 0 0 0 9 0 0 0 18 0 1 0 208878879 4722688 507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 1153 507 305 324 0 223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301058 s]
/proc/loadavg: 0.72 0.93 0.92 3/65 25825
/proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=7012 CPUtime=0.29
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 1188 0 0 0 29 0 0 0 19 0 1 0 208878879 7180288 1139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 1753 1139 311 324 0 823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7012

[startup+0.701098 s]
/proc/loadavg: 0.72 0.93 0.92 3/65 25825
/proc/meminfo: memFree=1726736/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=11696 CPUtime=0.68
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 2363 0 0 0 68 0 0 0 22 0 1 0 208878879 11976704 2314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 2924 2314 311 324 0 1994 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11696

[startup+1.50118 s]
/proc/loadavg: 0.72 0.93 0.92 2/66 25826
/proc/meminfo: memFree=1715656/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=20452 CPUtime=1.49
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 4530 0 0 0 147 2 0 0 25 0 1 0 208878879 20942848 4481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 5113 4481 311 324 0 4183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20452

[startup+3.10134 s]
/proc/loadavg: 0.72 0.93 0.92 2/66 25826
/proc/meminfo: memFree=1701960/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=40080 CPUtime=3.09
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 9448 0 0 0 305 4 0 0 25 0 1 0 208878879 41041920 9399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 10020 9399 311 324 0 9090 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40080

[startup+6.30167 s]
/proc/loadavg: 0.74 0.94 0.92 2/66 25826
/proc/meminfo: memFree=1677512/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=52500 CPUtime=6.29
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 12545 0 0 0 623 6 0 0 25 0 1 0 208878879 53760000 12496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 13125 12496 311 324 0 12195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52500

[startup+12.7013 s]
/proc/loadavg: 0.76 0.94 0.92 2/66 25826
/proc/meminfo: memFree=1673032/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=57056 CPUtime=12.69
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 13702 0 0 0 1262 7 0 0 25 0 1 0 208878879 58425344 13653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 14264 13653 311 324 0 13334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57056

[startup+25.5016 s]
/proc/loadavg: 0.81 0.94 0.92 2/66 25826
/proc/meminfo: memFree=1670480/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=59680 CPUtime=25.48
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 14550 0 0 0 2541 7 0 0 25 0 1 0 208878879 61112320 14313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 14920 14313 311 324 0 13990 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59680

[startup+51.1012 s]
/proc/loadavg: 0.88 0.94 0.92 2/66 25826
/proc/meminfo: memFree=1659088/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=71256 CPUtime=51.07
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 19171 0 0 0 5099 8 0 0 25 0 1 0 208878879 72966144 17205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 17814 17205 311 324 0 16884 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71256

[startup+102.305 s]
/proc/loadavg: 0.94 0.95 0.92 2/66 25826
/proc/meminfo: memFree=1648016/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=82296 CPUtime=102.26
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 22111 0 0 0 10216 10 0 0 25 0 1 0 208878879 84271104 19960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 20574 19960 311 324 0 19644 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 82296

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.92 2/66 25826
/proc/meminfo: memFree=1642064/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=88228 CPUtime=162.24
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 23613 0 0 0 16213 11 0 0 25 0 1 0 208878879 90345472 21444 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 22057 21444 311 324 0 21127 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88228

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.92 2/66 25826
/proc/meminfo: memFree=1636176/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=93844 CPUtime=222.23
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 25782 0 0 0 22210 13 0 0 25 0 1 0 208878879 96096256 22854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 23461 22854 311 324 0 22531 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93844

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1629584/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=100704 CPUtime=282.21
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 27509 0 0 0 28207 14 0 0 25 0 1 0 208878879 103120896 24551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 25176 24551 311 324 0 24246 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 100704

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1629136/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=100856 CPUtime=342.19
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 27912 0 0 0 34205 14 0 0 25 0 1 0 208878879 103276544 24607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 25214 24607 311 324 0 24284 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 100856

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1627600/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=102576 CPUtime=402.18
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 28341 0 0 0 40203 15 0 0 25 0 1 0 208878879 105037824 25034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 25644 25034 311 324 0 24714 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 102576

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1620624/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=109496 CPUtime=462.16
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 30076 0 0 0 46200 16 0 0 25 0 1 0 208878879 112123904 26766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 27374 26766 311 324 0 26444 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 109496

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1616272/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=113848 CPUtime=522.14
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 31183 0 0 0 52197 17 0 0 25 0 1 0 208878879 116580352 27847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 28462 27847 311 324 0 27532 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 113848

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1616272/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=113740 CPUtime=582.12
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 31183 0 0 0 58195 17 0 0 25 0 1 0 208878879 116469760 27828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 28435 27828 311 324 0 27505 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 113740

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1616336/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=113732 CPUtime=642.12
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 31183 0 0 0 64194 18 0 0 25 0 1 0 208878879 116461568 27826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 28433 27826 311 324 0 27503 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 113732


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1601360/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=128592 CPUtime=882.04
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 38712 0 0 0 88182 22 0 0 25 0 1 0 208878879 131678208 31541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 32148 31541 311 324 0 31218 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 128592

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/66 25826
/proc/meminfo: memFree=1605456/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=124544 CPUtime=942.03
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 40715 0 0 0 94180 23 0 0 25 0 1 0 208878879 127533056 30529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 31136 30529 311 324 0 30206 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 124544

[startup+1002.3 s]
/proc/loadavg: 1.06 0.99 0.93 2/66 25826
/proc/meminfo: memFree=1600784/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=129436 CPUtime=1002.01
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 41932 0 0 0 100177 24 0 0 25 0 1 0 208878879 132542464 31746 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 32359 31746 311 324 0 31429 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 129436

[startup+1062.3 s]
/proc/loadavg: 1.08 1.00 0.93 2/66 25826
/proc/meminfo: memFree=1598224/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=131844 CPUtime=1061.99
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 42564 0 0 0 106175 24 0 0 25 0 1 0 208878879 135008256 32354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 32961 32354 311 324 0 32031 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 131844

[startup+1122.3 s]
/proc/loadavg: 1.09 1.01 0.94 2/66 25826
/proc/meminfo: memFree=1602448/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=127728 CPUtime=1121.97
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 43152 0 0 0 112172 25 0 0 25 0 1 0 208878879 130793472 31318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 31932 31318 311 324 0 31002 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 127728

[startup+1182.3 s]
/proc/loadavg: 1.08 1.03 0.94 2/66 25826
/proc/meminfo: memFree=1598800/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=131332 CPUtime=1181.96
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 44301 0 0 0 118170 26 0 0 25 0 1 0 208878879 134483968 32225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 32833 32225 311 324 0 31903 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 131332

[startup+1242.3 s]
/proc/loadavg: 1.03 1.02 0.94 2/66 25826
/proc/meminfo: memFree=1592976/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=137192 CPUtime=1241.94
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 45756 0 0 0 124167 27 0 0 25 0 1 0 208878879 140484608 33678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 34298 33678 311 324 0 33368 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 137192

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 0.94 2/66 25826
/proc/meminfo: memFree=1588112/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=142012 CPUtime=1301.93
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 48436 0 0 0 130164 29 0 0 25 0 1 0 208878879 145420288 34882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1584244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 35503 34882 311 324 0 34573 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 142012

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.94 2/66 25826
/proc/meminfo: memFree=1574608/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=155420 CPUtime=1361.91
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 51799 0 0 0 136160 31 0 0 25 0 1 0 208878879 159150080 38245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 38855 38245 311 324 0 37925 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 155420

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 25826
/proc/meminfo: memFree=1581328/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=148476 CPUtime=1421.89
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 51799 0 0 0 142158 31 0 0 25 0 1 0 208878879 152039424 36512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 37119 36512 311 324 0 36189 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 148476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/72 26002
/proc/meminfo: memFree=1587992/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=140624 CPUtime=1481.78
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 53256 0 0 0 148146 32 0 0 25 0 1 0 208878879 143998976 34549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 35156 34549 311 324 0 34226 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 140624

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26024
/proc/meminfo: memFree=1576208/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=153692 CPUtime=1541.77
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 56509 0 0 0 154143 34 0 0 25 0 1 0 208878879 157380608 37802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 38423 37802 311 324 0 37493 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 153692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26024
/proc/meminfo: memFree=1576336/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=153480 CPUtime=1601.74
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 59733 0 0 0 160138 36 0 0 25 0 1 0 208878879 157163520 37751 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 38370 37751 311 324 0 37440 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 153480

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26024
/proc/meminfo: memFree=1577680/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=151896 CPUtime=1661.73
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 59733 0 0 0 166136 37 0 0 25 0 1 0 208878879 155541504 37367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 37974 37367 311 324 0 37044 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 151896

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26024
/proc/meminfo: memFree=1576656/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=153256 CPUtime=1721.71
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60065 0 0 0 172134 37 0 0 25 0 1 0 208878879 156934144 37699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 38314 37699 311 324 0 37384 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 153256

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26024
/proc/meminfo: memFree=1576400/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=153508 CPUtime=1781.69
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60126 0 0 0 178132 37 0 0 25 0 1 0 208878879 157192192 37760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 38377 37760 311 324 0 37447 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 153508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26024
/proc/meminfo: memFree=1576400/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=153276 CPUtime=1800.09
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60126 0 0 0 179972 37 0 0 25 0 1 0 208878879 156954624 37712 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 38319 37712 311 324 0 37389 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 153276

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26024
/proc/meminfo: memFree=1576400/2055920 swapFree=4182924/4192956
[pid=25825] ppid=25823 vsize=153276 CPUtime=1800.09
/proc/25825/stat : 25825 (bsolo3.0.17) R 25823 25825 24542 0 -1 4194304 60126 0 0 0 179972 37 0 0 25 0 1 0 208878879 156954624 37712 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25825/statm: 38319 37712 311 324 0 37389 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 153276

Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.14
CPU user time (s): 1799.73
CPU system time (s): 0.405938
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 155420

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

runsolver used 1.40579 second user time and 3.57046 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 30 19:37:10 UTC 2007

IDJOB= 433620
IDBENCH= 3007
IDSOLVER= 199
FILE ID= node27/433620-1177961829

PBS_JOBID= 4727695

Free space on /tmp= 66558 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-289612555-max.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433620-1177961829/instance-433620-1177961829.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-433620-1177961829 -o ROOT/results/node27/solver-433620-1177961829 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433620-1177961829/instance-433620-1177961829.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  2533454829254b6bcc39aa8d9b25219b

RANDOM SEED= 517881250

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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	: 5931.00
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:       1727208 kB
Buffers:         33168 kB
Cached:         215384 kB
SwapCached:       4068 kB
Active:          79944 kB
Inactive:       180044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727208 kB
SwapTotal:     4192956 kB
SwapFree:      4182924 kB
Dirty:            6824 kB
Writeback:           0 kB
Mapped:          17272 kB
Slab:            54832 kB
Committed_AS:  2314584 kB
PageTables:       1416 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= 66558 MiB

End job on node27 on Mon Apr 30 20:07:13 UTC 2007