Trace number 454386

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)-126 1800.15 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
MD5SUM0945390fcac05113ffd57d1199a19e21
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-126
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -126
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 constraint51
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)31640
Sum of products size (including duplicates)63280
Number of different products15820
Sum of products size31640

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454386-1178025504/instance-454386-1178025504.opb
0.00/0.00	c File size is 416926 bytes.
0.09/0.19	c Highest Coefficient sum: 1000
0.09/0.19	c Parsing was ok!!
0.09/0.19	c Total parsing time: 0.194 s
0.19/0.25	c Var: 32640 Constr: 65280 32640/1000/31640 Lit: 253120 Watch. Lit: 189840
0.19/0.25	c Obj. Vars: 1000 (3.06373 % of total variables)
1.29/1.33	c Pre-processing Time: 1.327 s
1.29/1.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.33	c        0   1000    15820    47460    3    31640    5273      0      0 1.33
1.29/1.33	c Switching off LPR mode.
1.29/1.33	o -125	1.335
1.29/1.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.35	c        0   1000    15821    48460    3    31767    6273      1      0 1.34
1.29/1.35	o -126	1.351
1800.03/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.70	c       27   1000    15849    73017    4    31949    6273     29     19 1.35
1800.03/1800.70	c      128   1000    15950   160964   10    32151    6901    130     90 1.41
1800.03/1800.70	c      379   1000    16201   379535   23    32653    7592    381    244 1.55
1800.03/1800.70	c      854   1000    16676   793217   47    33603    8352    856    468 1.82
1800.03/1800.70	c     1667   1000    17489  1501255   85    35229    9188   1669    717 2.32
1800.03/1800.70	c     2988   1000    18810  2651708  140    37871   10107   2990    938 3.19
1800.03/1800.70	c     5070   1000    20892  4464568  213    42035   11118   5072   1034 4.90
1800.03/1800.70	c     8294   1000    24116  7271992  301    48483   12230   8296   1019 8.13
1800.03/1800.70	c    13230   1000    29052 11569259  398    58355   13454  13232    987 13.40
1800.03/1800.70	c    20736   1000    36558 18105347  495    73367   14800  20738    789 26.26
1800.03/1800.70	c    32097   1000    47919 27998939  584    96089   16281  32099    615 52.18
1800.03/1800.70	c    49241   1000    24340  7465657  306    48806   17910   8520    516 95.39
1800.03/1800.70	c    75062   1000    50161 29949449  597   100448   19702  34341    419 178.84
1800.03/1800.70	c   113894   1000    46586 26831979  575    93298   21673  30766    400 284.40
1800.03/1800.70	c   172246   1000    61522 39846700  647   123170   23841  45702    325 528.89
1800.03/1800.70	c   259879   1000    59846 38403243  641   119818   26226  44026    258 1006.11
1800.03/1800.70	c   391432   1000    50348 30113891  598   100822   28849  34528    229 1706.47
1800.03/1800.70	c Caught signal: 15
1800.03/1800.70	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.03/1800.70	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.03/1800.70	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.03/1800.70	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 -x105
1800.03/1800.70	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.03/1800.70	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.03/1800.70	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.03/1800.70	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.03/1800.70	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
1800.03/1800.70	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.03/1800.70	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.03/1800.70	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.03/1800.70	v -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.03/1800.70	v -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315
1800.03/1800.70	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.03/1800.70	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357
1800.03/1800.70	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378
1800.03/1800.70	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.03/1800.70	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.03/1800.70	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.03/1800.70	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.03/1800.70	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.03/1800.70	v -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.03/1800.70	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.03/1800.70	v -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.03/1800.70	v -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567
1800.03/1800.70	v -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.03/1800.70	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.03/1800.70	v -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631
1800.03/1800.70	v -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652
1800.03/1800.70	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1800.03/1800.70	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 x694
1800.03/1800.70	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 -x715
1800.03/1800.70	v -x716 x717 -x718 x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736
1800.03/1800.70	v -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1800.03/1800.70	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1800.03/1800.70	v -x779 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 x798 x799 -x800
1800.03/1800.70	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 x819 -x820 -x821
1800.03/1800.70	v -x822 -x823 -x824 -x825 -x826 x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 x840 -x841 -x842 x843
1800.03/1800.70	v -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864
1800.03/1800.70	v x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 x874 x875 x876 x877 x878 -x879 -x880 -x881 -x882 x883 -x884 x885 -x886
1800.03/1800.70	v -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 x895 -x896 x897 x898 -x899 -x900 x901 -x902 -x903 x904 x905 -x906 -x907 -x908
1800.03/1800.70	v x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 x918 x919 -x920 x921 x922 x923 -x924 x925 -x926 -x927 -x928 -x929 x930
1800.03/1800.70	v x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 x940 -x941 x942 -x943 x944 x945 x946 x947 x948 x949 x950 -x951 -x952 -x953
1800.03/1800.70	v -x954 -x955 -x956 x957 x958 x959 -x960 x961 x962 -x963 x964 x965 -x966 -x967 x968 x969 x970 -x971 x972 x973 -x974 x975 x976
1800.03/1800.70	v -x977 -x978 x979 x980 -x981 x982 -x983 -x984 x985 x986 x987 x988 x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000
1800.03/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.71	c   18   418329  68763   527688    68209 45659709  52389    232 1800.04
1800.03/1800.71	c Objective: -126
1800.03/1800.71	s SATISFIABLE
1800.03/1800.71	c Total time: 1800.04 s

Verifier Data (download as text)

OK	-126

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-454386-1178025504 -o ROOT/results/node23/solver-454386-1178025504 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454386-1178025504/instance-454386-1178025504.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.99 1.05 1.00 3/77 16289
/proc/meminfo: memFree=1881480/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=12144 CPUtime=0
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 250467532 12435456 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 3036 335 279 324 0 2004 0

[startup+0.0171651 s]
/proc/loadavg: 0.99 1.05 1.00 3/77 16289
/proc/meminfo: memFree=1881480/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=5028 CPUtime=0.01
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 552 0 0 0 1 0 0 0 18 0 1 0 250467532 5148672 522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 1257 523 297 324 0 225 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5028

[startup+0.101181 s]
/proc/loadavg: 0.99 1.05 1.00 3/77 16289
/proc/meminfo: memFree=1881480/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=9672 CPUtime=0.09
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 1745 0 0 0 8 1 0 0 18 0 1 0 250467532 9904128 1715 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 2418 1716 343 324 0 1386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9672

[startup+0.301219 s]
/proc/loadavg: 0.99 1.05 1.00 3/77 16289
/proc/meminfo: memFree=1881480/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=21796 CPUtime=0.29
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 4883 0 0 0 26 3 0 0 19 0 1 0 250467532 22319104 4711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 5449 4711 305 324 0 4519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21796

[startup+0.701296 s]
/proc/loadavg: 0.99 1.05 1.00 3/77 16289
/proc/meminfo: memFree=1881480/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=21796 CPUtime=0.69
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 4883 0 0 0 66 3 0 0 22 0 1 0 250467532 22319104 4711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 5449 4711 305 324 0 4519 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21796

[startup+1.50145 s]
/proc/loadavg: 0.99 1.05 1.00 2/78 16290
/proc/meminfo: memFree=1863488/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=24736 CPUtime=1.49
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 6051 0 0 0 142 7 0 0 25 0 1 0 250467532 25329664 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586918 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 6184 5431 311 324 0 5254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24736

[startup+3.10176 s]
/proc/loadavg: 0.99 1.05 1.00 2/78 16290
/proc/meminfo: memFree=1850176/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=51164 CPUtime=3.09
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 12668 0 0 0 300 9 0 0 25 0 1 0 250467532 52391936 12048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 12791 12048 311 324 0 11861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51164

[startup+6.30138 s]
/proc/loadavg: 0.99 1.05 1.00 2/78 16290
/proc/meminfo: memFree=1802880/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=92984 CPUtime=6.29
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 23124 0 0 0 616 13 0 0 25 0 1 0 250467532 95215616 22504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 23246 22504 311 324 0 22316 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92984

[startup+12.7016 s]
/proc/loadavg: 0.99 1.04 1.00 2/78 16290
/proc/meminfo: memFree=1730496/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=160580 CPUtime=12.69
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 40012 0 0 0 1248 21 0 0 25 0 1 0 250467532 164433920 39392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 40145 39392 311 324 0 39215 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 160580

[startup+25.5011 s]
/proc/loadavg: 0.99 1.04 1.00 2/78 16290
/proc/meminfo: memFree=1643456/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=243956 CPUtime=25.48
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 60862 0 0 0 2518 30 0 0 25 0 1 0 250467532 249810944 60242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 60989 60242 311 324 0 60059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 243956

[startup+51.1011 s]
/proc/loadavg: 0.99 1.04 1.00 2/78 16290
/proc/meminfo: memFree=1517760/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=368984 CPUtime=51.08
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 92135 0 0 0 5066 42 0 0 25 0 1 0 250467532 377839616 91515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 92246 91515 311 324 0 91316 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 368984

[startup+102.306 s]
/proc/loadavg: 0.99 1.03 1.00 2/78 16290
/proc/meminfo: memFree=1324160/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=560016 CPUtime=102.26
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 139928 0 0 0 10163 63 0 0 25 0 1 0 250467532 573456384 139260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 140004 139260 311 324 0 139074 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 560016

[startup+162.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 16290
/proc/meminfo: memFree=1324160/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=560016 CPUtime=162.23
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 139928 0 0 0 16159 64 0 0 25 0 1 0 250467532 573456384 139260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 140004 139260 311 324 0 139074 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 560016

[startup+222.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 16290
/proc/meminfo: memFree=1286336/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=597596 CPUtime=222.21
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 149380 0 0 0 22153 68 0 0 25 0 1 0 250467532 611938304 148660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 149399 148660 311 324 0 148469 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 597596

[startup+282.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 16290
/proc/meminfo: memFree=1286272/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=597596 CPUtime=282.19
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 149380 0 0 0 28150 69 0 0 25 0 1 0 250467532 611938304 148660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 149399 148660 311 324 0 148469 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 597596

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1264384/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=619656 CPUtime=342.16
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 154942 0 0 0 34144 72 0 0 25 0 1 0 250467532 634527744 154169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 154914 154169 311 324 0 153984 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 619656

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1264128/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=619656 CPUtime=402.14
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 154942 0 0 0 40141 73 0 0 25 0 1 0 250467532 634527744 154169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 154914 154169 311 324 0 153984 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 619656

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1264064/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=619656 CPUtime=462.12
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 154942 0 0 0 46139 73 0 0 25 0 1 0 250467532 634527744 154169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 154914 154169 311 324 0 153984 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 619656

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1264064/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=619656 CPUtime=522.1
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 154942 0 0 0 52136 74 0 0 25 0 1 0 250467532 634527744 154169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 154914 154169 311 324 0 153984 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 619656

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1239552/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=643936 CPUtime=582.07
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 161083 0 0 0 58129 78 0 0 25 0 1 0 250467532 659390464 160254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 160984 160254 311 324 0 160054 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 643936

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1239488/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=643936 CPUtime=642.06
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 161083 0 0 0 64127 79 0 0 25 0 1 0 250467532 659390464 160254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 160984 160254 311 324 0 160054 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 643936


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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1238976/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=644196 CPUtime=881.97
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 161200 0 0 0 88116 81 0 0 25 0 1 0 250467532 659656704 160315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 161049 160315 311 324 0 160119 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 644196

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1238912/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=644196 CPUtime=941.94
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 161200 0 0 0 94113 81 0 0 25 0 1 0 250467532 659656704 160315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550972 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 161049 160315 311 324 0 160119 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 644196

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1238784/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=644196 CPUtime=1001.92
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 161200 0 0 0 100110 82 0 0 25 0 1 0 250467532 659656704 160315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 161049 160315 311 324 0 160119 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 644196

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1212416/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670448 CPUtime=1061.9
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 106105 85 0 0 25 0 1 0 250467532 686538752 166873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167612 166873 311 324 0 166682 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 670448

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1212416/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670448 CPUtime=1121.88
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 112102 86 0 0 25 0 1 0 250467532 686538752 166873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167612 166873 311 324 0 166682 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 670448

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1212352/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670448 CPUtime=1181.85
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 118099 86 0 0 25 0 1 0 250467532 686538752 166873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167612 166873 311 324 0 166682 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 670448

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1212224/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670448 CPUtime=1241.83
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 124096 87 0 0 25 0 1 0 250467532 686538752 166873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167612 166873 311 324 0 166682 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 670448

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16290
/proc/meminfo: memFree=1212160/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670448 CPUtime=1301.81
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 130094 87 0 0 25 0 1 0 250467532 686538752 166873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167612 166873 311 324 0 166682 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 670448

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1220536/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=661704 CPUtime=1361.78
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 136090 88 0 0 25 0 1 0 250467532 677584896 164697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 165426 164697 311 324 0 164496 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 661704

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1220544/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=661704 CPUtime=1421.77
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 142088 89 0 0 25 0 1 0 250467532 677584896 164697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2928372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 165426 164697 311 324 0 164496 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 661704

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1220544/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=661704 CPUtime=1481.74
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 148085 89 0 0 25 0 1 0 250467532 677584896 164697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 165426 164697 311 324 0 164496 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 661704

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1220544/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=661704 CPUtime=1541.72
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 167816 0 0 0 154082 90 0 0 25 0 1 0 250467532 677584896 164697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 165426 164697 311 324 0 164496 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 661704

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1212032/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670228 CPUtime=1601.69
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 169984 0 0 0 160078 91 0 0 25 0 1 0 250467532 686313472 166807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167557 166807 311 324 0 166627 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 670228

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1212032/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670228 CPUtime=1661.68
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 169984 0 0 0 166076 92 0 0 25 0 1 0 250467532 686313472 166807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167557 166807 311 324 0 166627 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 670228

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1212032/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670228 CPUtime=1721.65
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 169984 0 0 0 172073 92 0 0 25 0 1 0 250467532 686313472 166807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167557 166807 311 324 0 166627 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 670228

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1211968/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=670228 CPUtime=1781.63
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 169984 0 0 0 178070 93 0 0 25 0 1 0 250467532 686313472 166807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 167557 166807 311 324 0 166627 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 670228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1182912/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=699104 CPUtime=1800.03
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194304 177263 0 0 0 179907 96 0 0 25 0 1 0 250467532 715882496 174026 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 174776 174026 311 324 0 173846 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 699104

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16292
/proc/meminfo: memFree=1182912/2055920 swapFree=4169104/4192956
[pid=16289] ppid=16287 vsize=0 CPUtime=1800.13
/proc/16289/stat : 16289 (bsolo3.0.17) R 16287 16289 15387 0 -1 4194308 177267 0 0 0 179907 106 0 0 25 0 1 0 250467532 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/16289/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.15
CPU user time (s): 1799.07
CPU system time (s): 1.07784
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 699104

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

runsolver used 1.40779 second user time and 3.81742 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue May  1 13:18:24 UTC 2007

IDJOB= 454386
IDBENCH= 48193
IDSOLVER= 199
FILE ID= node23/454386-1178025504

PBS_JOBID= 4728371

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_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454386-1178025504/instance-454386-1178025504.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-454386-1178025504 -o ROOT/results/node23/solver-454386-1178025504 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454386-1178025504/instance-454386-1178025504.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0945390fcac05113ffd57d1199a19e21

RANDOM SEED= 756990064

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1881952 kB
Buffers:         20700 kB
Cached:          70680 kB
SwapCached:       2392 kB
Active:          75588 kB
Inactive:        41216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1881952 kB
SwapTotal:     4192956 kB
SwapFree:      4169104 kB
Dirty:            7008 kB
Writeback:           0 kB
Mapped:          32692 kB
Slab:            42736 kB
Committed_AS:  4012044 kB
PageTables:       1800 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 node23 on Tue May  1 13:48:27 UTC 2007