Trace number 355292

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

Verifier Data (download as text)

OK	-1

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-355292-1176799142 -o ROOT/results/node47/solver-355292-1176799142 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355292-1176799142/instance-355292-1176799142.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.92 0.98 0.99 3/77 29595
/proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=19624 CPUtime=0
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 34759599 20094976 337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11368304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 2953 338 283 324 0 2003 0

[startup+0.086648 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29595
/proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=4468 CPUtime=0.08
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 548 0 0 0 8 0 0 0 18 0 1 0 34759599 4575232 497 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 1117 497 305 324 0 186 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4468

[startup+0.10165 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29595
/proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=4612 CPUtime=0.09
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 560 0 0 0 9 0 0 0 18 0 1 0 34759599 4722688 509 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 1153 509 307 324 0 222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301671 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29595
/proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=7012 CPUtime=0.29
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 1198 0 0 0 28 1 0 0 19 0 1 0 34759599 7180288 1147 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 1753 1148 313 324 0 822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7012

[startup+0.701714 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 29595
/proc/meminfo: memFree=1716128/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=11828 CPUtime=0.69
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 2377 0 0 0 68 1 0 0 23 0 1 0 34759599 12111872 2326 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 2957 2326 313 324 0 2026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11828

[startup+1.5018 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1705112/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=20576 CPUtime=1.49
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 4563 0 0 0 146 3 0 0 25 0 1 0 34759599 21069824 4512 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 5144 4512 313 324 0 4213 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20576

[startup+3.10197 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1691480/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=40080 CPUtime=3.09
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 9448 0 0 0 303 6 0 0 25 0 1 0 34759599 41041920 9397 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 10020 9397 313 324 0 9089 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40080

[startup+6.30132 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1667032/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=52500 CPUtime=6.29
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 12549 0 0 0 621 8 0 0 25 0 1 0 34759599 53760000 12498 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 13125 12498 313 324 0 12194 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52500

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1662752/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=57056 CPUtime=12.69
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 13706 0 0 0 1260 9 0 0 25 0 1 0 34759599 58425344 13655 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 14264 13655 313 324 0 13333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57056

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1659744/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=59680 CPUtime=25.48
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 14554 0 0 0 2537 11 0 0 25 0 1 0 34759599 61112320 14315 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 14920 14315 313 324 0 13989 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59680

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1648224/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=71256 CPUtime=51.07
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 19175 0 0 0 5089 18 0 0 25 0 1 0 34759599 72966144 17207 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 17814 17207 313 324 0 16883 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71256

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1637280/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=82296 CPUtime=102.27
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 22115 0 0 0 10201 26 0 0 25 0 1 0 34759599 84271104 19962 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 20574 19962 313 324 0 19643 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82296

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1631264/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=88228 CPUtime=162.25
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 23617 0 0 0 16189 36 0 0 25 0 1 0 34759599 90345472 21446 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 22057 21446 313 324 0 21126 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 88228

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1625376/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=93844 CPUtime=222.23
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 25786 0 0 0 22179 44 0 0 25 0 1 0 34759599 96096256 22856 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10952436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 23461 22856 313 324 0 22530 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93844

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1618720/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=100704 CPUtime=282.21
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 27513 0 0 0 28171 50 0 0 25 0 1 0 34759599 103120896 24553 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 25176 24553 313 324 0 24245 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 100704

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1618272/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=100856 CPUtime=342.2
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 27916 0 0 0 34162 58 0 0 25 0 1 0 34759599 103276544 24609 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 25214 24609 313 324 0 24283 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 100856

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1616800/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=102576 CPUtime=402.18
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 28345 0 0 0 40153 65 0 0 25 0 1 0 34759599 105037824 25036 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 25644 25036 313 324 0 24713 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 102576

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1609888/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=109496 CPUtime=462.17
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 30080 0 0 0 46144 73 0 0 25 0 1 0 34759599 112123904 26768 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 27374 26768 313 324 0 26443 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 109496

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1605536/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=113848 CPUtime=522.15
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 31187 0 0 0 52136 79 0 0 25 0 1 0 34759599 116580352 27849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 28462 27849 313 324 0 27531 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 113848

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1605536/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=113740 CPUtime=582.14
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 31187 0 0 0 58127 87 0 0 25 0 1 0 34759599 116469760 27830 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 28435 27830 313 324 0 27504 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 113740

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1605536/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=113732 CPUtime=642.12
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 31187 0 0 0 64121 91 0 0 25 0 1 0 34759599 116461568 27828 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 28433 27828 313 324 0 27502 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 113732


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1588768/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=130528 CPUtime=822.08
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 36683 0 0 0 82096 112 0 0 25 0 1 0 34759599 133660672 32019 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 32632 32019 313 324 0 31701 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 130528

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1580640/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=138692 CPUtime=882.05
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 38716 0 0 0 88090 115 0 0 25 0 1 0 34759599 142020608 34052 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 34673 34052 313 324 0 33742 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 138692

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29596
/proc/meminfo: memFree=1594528/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=124544 CPUtime=942.04
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 40719 0 0 0 94081 123 0 0 25 0 1 0 34759599 127533056 30531 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 31136 30531 313 324 0 30205 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 124544

[startup+1002.3 s]
/proc/loadavg: 1.13 1.02 1.00 2/78 29596
/proc/meminfo: memFree=1591264/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=129436 CPUtime=1002.02
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 41936 0 0 0 100073 129 0 0 25 0 1 0 34759599 132542464 31748 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 32359 31748 313 324 0 31428 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 129436

[startup+1062.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 29596
/proc/meminfo: memFree=1587488/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=131844 CPUtime=1062.01
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 42568 0 0 0 106065 136 0 0 25 0 1 0 34759599 135008256 32356 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 32961 32356 313 324 0 32030 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 131844

[startup+1122.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 29596
/proc/meminfo: memFree=1591648/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=127724 CPUtime=1122
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 43155 0 0 0 112056 144 0 0 25 0 1 0 34759599 130789376 31319 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 31931 31319 313 324 0 31000 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 127724

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29596
/proc/meminfo: memFree=1588000/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=131332 CPUtime=1181.98
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 44305 0 0 0 118048 150 0 0 25 0 1 0 34759599 134483968 32227 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10952531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 32833 32227 313 324 0 31902 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 131332

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29596
/proc/meminfo: memFree=1582176/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=137192 CPUtime=1241.97
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 45760 0 0 0 124040 157 0 0 25 0 1 0 34759599 140484608 33680 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 34298 33680 313 324 0 33367 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 137192

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29596
/proc/meminfo: memFree=1577376/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=142012 CPUtime=1301.96
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 48440 0 0 0 130031 165 0 0 25 0 1 0 34759599 145420288 34884 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 35503 34884 313 324 0 34572 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 142012

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 29766
/proc/meminfo: memFree=1562520/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=155420 CPUtime=1361.84
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 51803 0 0 0 136015 169 0 0 25 0 1 0 34759599 159150080 38247 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 38855 38247 313 324 0 37924 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 155420

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29794
/proc/meminfo: memFree=1570520/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=148476 CPUtime=1421.81
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 51803 0 0 0 142008 173 0 0 25 0 1 0 34759599 152039424 36514 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 37119 36514 313 324 0 36188 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 148476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29794
/proc/meminfo: memFree=1578328/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=140624 CPUtime=1481.79
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 53260 0 0 0 148002 177 0 0 25 0 1 0 34759599 143998976 34551 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 35156 34551 313 324 0 34225 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 140624

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29794
/proc/meminfo: memFree=1565464/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=153692 CPUtime=1541.77
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 56513 0 0 0 153995 182 0 0 25 0 1 0 34759599 157380608 37804 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 38423 37804 313 324 0 37492 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 1.00 2/78 29794
/proc/meminfo: memFree=1565656/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=153480 CPUtime=1601.76
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 59737 0 0 0 159988 188 0 0 25 0 1 0 34759599 157163520 37753 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 38370 37753 313 324 0 37439 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 153480

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29794
/proc/meminfo: memFree=1567064/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=151896 CPUtime=1661.75
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 59737 0 0 0 165984 191 0 0 25 0 1 0 34759599 155541504 37369 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 37974 37369 313 324 0 37043 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 151896

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29796
/proc/meminfo: memFree=1565720/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=153256 CPUtime=1721.72
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 60063 0 0 0 171979 193 0 0 25 0 1 0 34759599 156934144 37695 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 38314 37695 313 324 0 37383 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 153256

[startup+1782.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 29796
/proc/meminfo: memFree=1565728/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=153508 CPUtime=1781.71
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194304 60130 0 0 0 177974 197 0 0 25 0 1 0 34759599 157192192 37762 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 38377 37762 313 324 0 37446 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 153508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 29796
/proc/meminfo: memFree=1625760/2055920 swapFree=4183744/4192956
[pid=29595] ppid=29593 vsize=0 CPUtime=1800.02
/proc/29595/stat : 29595 (bsolo3.0.16) R 29593 29595 28891 0 -1 4194308 60131 0 0 0 179802 200 0 0 25 0 1 0 34759599 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29595/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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): 1798.02
CPU system time (s): 2.01169
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 155420

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

runsolver used 2.16367 second user time and 4.38733 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue Apr 17 08:39:02 UTC 2007

IDJOB= 355292
IDBENCH= 3007
IDSOLVER= 163
FILE ID= node47/355292-1176799142

PBS_JOBID= 4580874

Free space on /tmp= 66554 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-289612555-max.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355292-1176799142/instance-355292-1176799142.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-355292-1176799142 -o ROOT/results/node47/solver-355292-1176799142 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355292-1176799142/instance-355292-1176799142.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  2533454829254b6bcc39aa8d9b25219b

RANDOM SEED= 969819374

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1716600 kB
Buffers:         35488 kB
Cached:         203132 kB
SwapCached:       3256 kB
Active:          99208 kB
Inactive:       194536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1716600 kB
SwapTotal:     4192956 kB
SwapFree:      4183744 kB
Dirty:            4540 kB
Writeback:           0 kB
Mapped:          69800 kB
Slab:            31068 kB
Committed_AS:  2550656 kB
PageTables:       1776 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= 66554 MiB

End job on node47 on Tue Apr 17 09:09:05 UTC 2007