Trace number 454476

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)-125 1800.21 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_3.opb
MD5SUMd487c80c335f688d99ca29b5d7c254e0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-125
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -125
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31622
Sum of products size (including duplicates)63244
Number of different products15811
Sum of products size31622

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/454476-1178026751/instance-454476-1178026751.opb
0.00/0.00	c File size is 416706 bytes.
0.09/0.20	c Highest Coefficient sum: 1000
0.09/0.20	c Parsing was ok!!
0.09/0.20	c Total parsing time: 0.195 s
0.19/0.25	c Var: 32622 Constr: 65244 32622/1000/31622 Lit: 252976 Watch. Lit: 189732
0.19/0.25	c Obj. Vars: 1000 (3.06542 % of total variables)
1.29/1.33	c Pre-processing Time: 1.333 s
1.29/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.34	c        0   1000    15811    47433    3    31622    5270      0      0 1.33
1.29/1.34	c Switching off LPR mode.
1.29/1.34	o -125	1.341
1800.08/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.60	c        0   1000    15812    48433    3    31749    6270      1      0 1.34
1800.08/1800.60	c      100   1000    15912   135672    8    31949    6898    101     71 1.40
1800.08/1800.60	c      351   1000    16163   354615   21    32451    7588    352    228 1.53
1800.08/1800.60	c      827   1000    16639   769577   46    33403    8347    828    455 1.81
1800.08/1800.60	c     1640   1000    17452  1478572   84    35029    9182   1641    703 2.33
1800.08/1800.60	c     2961   1000    18773  2630338  140    37671   10101   2962    943 3.14
1800.08/1800.60	c     5042   1000    20854  4444004  213    41833   11112   5043   1097 4.60
1800.08/1800.60	c     8265   1000    24077  7253584  301    48279   12224   8266   1076 7.68
1800.08/1800.60	c    13201   1000    29013 11556960  398    58151   13447  13202   1035 12.75
1800.08/1800.60	c    20707   1000    36519 18100986  495    73163   14792  20708    959 21.58
1800.08/1800.60	c    32068   1000    47880 28003571  584    95885   16272  32069    697 45.99
1800.08/1800.60	c    49212   1000    24327  7467698  306    48779   17900   8516    550 89.42
1800.08/1800.60	c    75031   1000    50146 29986702  597   100417   19691  34335    536 139.85
1800.08/1800.60	c   113863   1000    46572 26863223  576    93269   21661  30761    418 271.83
1800.08/1800.60	c   172215   1000    61530 39904726  648   123185   23828  45719    296 580.28
1800.08/1800.60	c   259847   1000    59869 38461160  642   119863   26211  44058    274 946.79
1800.08/1800.60	c   391402   1000    50499 30280131  599   101123   28833  34688    239 1634.64
1800.08/1800.60	c Caught signal: 15
1800.08/1800.60	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.08/1800.60	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.08/1800.60	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.08/1800.60	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.08/1800.60	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.08/1800.60	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.08/1800.60	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.08/1800.60	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.08/1800.60	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.08/1800.60	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.08/1800.60	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.08/1800.60	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.08/1800.60	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.08/1800.60	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.08/1800.60	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335
1800.08/1800.60	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.08/1800.60	v -x357 x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.08/1800.60	v -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.08/1800.60	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419
1800.08/1800.60	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 x440
1800.08/1800.60	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.08/1800.60	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.08/1800.60	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.08/1800.60	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.08/1800.60	v x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 x542 -x543 -x544 -x545
1800.08/1800.60	v -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.08/1800.60	v x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.08/1800.60	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.08/1800.60	v -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.08/1800.60	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.08/1800.60	v -x651 x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671
1800.08/1800.60	v -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692
1800.08/1800.60	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.08/1800.60	v -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 x729 x730 -x731 -x732 -x733 -x734
1800.08/1800.60	v -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.08/1800.60	v -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 x776
1800.08/1800.60	v x777 x778 -x779 -x780 -x781 x782 x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.08/1800.60	v -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.08/1800.60	v -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 x839 x840 -x841
1800.08/1800.60	v -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862
1800.08/1800.60	v -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 -x875 x876 -x877 -x878 -x879 x880 -x881 -x882 -x883
1800.08/1800.60	v -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 x893 -x894 -x895 -x896 x897 -x898 -x899 x900 -x901 -x902 x903 -x904 -x905
1800.08/1800.60	v -x906 -x907 x908 x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 x922 -x923 x924 -x925 x926 x927
1800.08/1800.60	v x928 -x929 -x930 -x931 x932 -x933 -x934 x935 -x936 x937 -x938 -x939 -x940 -x941 x942 x943 x944 x945 x946 x947 x948 -x949 -x950
1800.08/1800.60	v x951 -x952 -x953 x954 x955 x956 x957 -x958 -x959 x960 x961 -x962 x963 -x964 -x965 x966 x967 x968 x969 x970 -x971 x972 x973 x974
1800.08/1800.60	v x975 -x976 -x977 -x978 x979 x980 x981 -x982 x983 x984 x985 -x986 x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998
1800.08/1800.60	v x999 x1000
1800.08/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.61	c   17   440872  68266   544034    50418 30213628  34607    244 1800.09
1800.08/1800.61	c Objective: -125
1800.08/1800.61	s SATISFIABLE
1800.08/1800.61	c Total time: 1800.09 s

Verifier Data (download as text)

OK	-125

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-454476-1178026751 -o ROOT/results/node51/solver-454476-1178026751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454476-1178026751/instance-454476-1178026751.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/64 23081
/proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=12144 CPUtime=0
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 157520293 12435456 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 3036 333 279 324 0 2004 0

[startup+0.0974541 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23081
/proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=9400 CPUtime=0.08
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 1676 0 0 0 8 0 0 0 18 0 1 0 157520293 9625600 1646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 2350 1647 340 324 0 1318 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9400

[startup+0.101454 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23081
/proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=9536 CPUtime=0.09
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 1731 0 0 0 9 0 0 0 18 0 1 0 157520293 9764864 1701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 2384 1702 342 324 0 1352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9536

[startup+0.301472 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23081
/proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=21792 CPUtime=0.29
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 4881 0 0 0 28 1 0 0 19 0 1 0 157520293 22315008 4709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 5448 4709 305 324 0 4518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21792

[startup+0.701509 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23081
/proc/meminfo: memFree=1803032/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=21792 CPUtime=0.69
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 4881 0 0 0 68 1 0 0 22 0 1 0 157520293 22315008 4709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 5448 4709 305 324 0 4518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21792

[startup+1.50158 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1785040/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=24728 CPUtime=1.49
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 6069 0 0 0 144 5 0 0 25 0 1 0 157520293 25321472 5449 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586918 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 6182 5449 311 324 0 5252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24728

[startup+3.10172 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1772112/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=51452 CPUtime=3.09
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 12735 0 0 0 301 8 0 0 25 0 1 0 157520293 52686848 12115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586922 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 12863 12115 311 324 0 11933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51452

[startup+6.30201 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1719440/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=97640 CPUtime=6.29
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 24274 0 0 0 617 12 0 0 25 0 1 0 157520293 99983360 23654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 24410 23654 311 324 0 23480 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97640

[startup+12.7026 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1647504/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=164724 CPUtime=12.69
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 41067 0 0 0 1251 18 0 0 25 0 1 0 157520293 168677376 40447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 41181 40447 311 324 0 40251 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 164724

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1520976/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=288144 CPUtime=25.49
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 71911 0 0 0 2519 30 0 0 25 0 1 0 157520293 295059456 71291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 72036 71291 311 324 0 71106 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 288144

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1390032/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=420180 CPUtime=51.08
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 104909 0 0 0 5062 46 0 0 25 0 1 0 157520293 430264320 104289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 105045 104289 311 324 0 104115 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 420180

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1245520/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=560156 CPUtime=102.27
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 139963 0 0 0 10167 60 0 0 25 0 1 0 157520293 573599744 139295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 140039 139295 311 324 0 139109 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 560156

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1245520/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=560156 CPUtime=162.25
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 139963 0 0 0 16165 60 0 0 25 0 1 0 157520293 573599744 139295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 140039 139295 311 324 0 139109 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 560156

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1207376/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=598212 CPUtime=222.24
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 149534 0 0 0 22159 65 0 0 25 0 1 0 157520293 612569088 148814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3059457 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 149553 148814 311 324 0 148623 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 598212

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1207376/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=598212 CPUtime=282.23
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 149534 0 0 0 28158 65 0 0 25 0 1 0 157520293 612569088 148814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 149553 148814 311 324 0 148623 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 598212

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1207376/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=598212 CPUtime=342.21
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 149534 0 0 0 34156 65 0 0 25 0 1 0 157520293 612569088 148814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 149553 148814 311 324 0 148623 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 598212

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=620056 CPUtime=402.19
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 40151 68 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 155014 154275 311 324 0 154084 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 620056

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23082
/proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=620056 CPUtime=462.18
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 46149 69 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 155014 154275 311 324 0 154084 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 620056

[startup+522.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=620056 CPUtime=522.17
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 52148 69 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 155014 154275 311 324 0 154084 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 620056

[startup+582.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 23082
/proc/meminfo: memFree=1185424/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=620056 CPUtime=582.15
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 155048 0 0 0 58146 69 0 0 25 0 1 0 157520293 634937344 154275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3051252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 155014 154275 311 324 0 154084 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 620056

[startup+642.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 23082
/proc/meminfo: memFree=1161424/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=643984 CPUtime=642.14
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 161085 0 0 0 64143 71 0 0 25 0 1 0 157520293 659439616 160256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 160996 160256 311 324 0 160066 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 643984


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 23082
/proc/meminfo: memFree=1161360/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=643984 CPUtime=882.08
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 161147 0 0 0 88136 72 0 0 25 0 1 0 157520293 659439616 160262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 160996 160262 311 324 0 160066 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 643984

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1161488/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=643984 CPUtime=942.06
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 161147 0 0 0 94134 72 0 0 25 0 1 0 157520293 659439616 160262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 160996 160262 311 324 0 160066 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 643984

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1134928/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=670460 CPUtime=1002.05
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 100130 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 167615 166875 311 324 0 166685 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 670460

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1134928/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=670460 CPUtime=1062.04
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 106129 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552407 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 167615 166875 311 324 0 166685 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 670460

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1134992/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=670460 CPUtime=1122.02
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 112127 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 167615 166875 311 324 0 166685 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 670460

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1134992/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=670460 CPUtime=1182
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167818 0 0 0 118125 75 0 0 25 0 1 0 157520293 686551040 166875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 167615 166875 311 324 0 166685 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 670460

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1264400/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=540976 CPUtime=1241.99
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167876 0 0 0 124120 79 0 0 25 0 1 0 157520293 553959424 134515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 135244 134515 311 324 0 134314 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 540976

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23082
/proc/meminfo: memFree=1298704/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=506656 CPUtime=1301.98
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167876 0 0 0 130118 80 0 0 25 0 1 0 157520293 518815744 125935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 126664 125935 311 324 0 125734 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 506656

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 23260
/proc/meminfo: memFree=1297560/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=506656 CPUtime=1361.89
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 167876 0 0 0 136108 81 0 0 25 0 1 0 157520293 518815744 125935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 126664 125935 311 324 0 125734 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 506656

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1284944/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=520672 CPUtime=1421.87
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 171353 0 0 0 142104 83 0 0 25 0 1 0 157520293 533168128 129412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 130168 129412 311 324 0 129238 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 520672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1194384/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=611640 CPUtime=1481.85
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 194112 0 0 0 148091 94 0 0 25 0 1 0 157520293 626319360 152171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 152910 152171 311 324 0 151980 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 611640

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1134864/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=670400 CPUtime=1541.84
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 208849 0 0 0 154081 103 0 0 25 0 1 0 157520293 686489600 166850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 167600 166850 311 324 0 166670 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 670400

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1134864/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=670400 CPUtime=1601.83
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 208849 0 0 0 160080 103 0 0 25 0 1 0 157520293 686489600 166850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 167600 166850 311 324 0 166670 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 670400

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1134864/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=670400 CPUtime=1661.81
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 208849 0 0 0 166078 103 0 0 25 0 1 0 157520293 686489600 166850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 167600 166850 311 324 0 166670 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 670400

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=699324 CPUtime=1721.79
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 216140 0 0 0 172073 106 0 0 25 0 1 0 157520293 716107776 174081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 174831 174081 311 324 0 173901 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 699324

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=699324 CPUtime=1781.78
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 216140 0 0 0 178072 106 0 0 25 0 1 0 157520293 716107776 174081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 174831 174081 311 324 0 173901 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 699324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=699324 CPUtime=1800.08
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194304 216140 0 0 0 179902 106 0 0 25 0 1 0 157520293 716107776 174081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 174831 174081 311 324 0 173901 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 699324

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23280
/proc/meminfo: memFree=1105872/2055920 swapFree=4183264/4192956
[pid=23081] ppid=23079 vsize=0 CPUtime=1800.18
/proc/23081/stat : 23081 (bsolo3.0.17) R 23079 23081 22038 0 -1 4194308 216144 0 0 0 179902 116 0 0 25 0 1 0 157520293 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/23081/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.21
CPU user time (s): 1799.03
CPU system time (s): 1.17782
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 699324

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

runsolver used 1.42578 second user time and 3.55146 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue May  1 13:39:12 UTC 2007

IDJOB= 454476
IDBENCH= 48199
IDSOLVER= 199
FILE ID= node51/454476-1178026751

PBS_JOBID= 4728367

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454476-1178026751/instance-454476-1178026751.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-454476-1178026751 -o ROOT/results/node51/solver-454476-1178026751 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454476-1178026751/instance-454476-1178026751.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d487c80c335f688d99ca29b5d7c254e0

RANDOM SEED= 295207097

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1803440 kB
Buffers:         34248 kB
Cached:         144916 kB
SwapCached:       3552 kB
Active:          67180 kB
Inactive:       122112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803440 kB
SwapTotal:     4192956 kB
SwapFree:      4183264 kB
Dirty:            7080 kB
Writeback:           0 kB
Mapped:          15908 kB
Slab:            49192 kB
Committed_AS:  5439488 kB
PageTables:       1412 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 node51 on Tue May  1 14:09:14 UTC 2007