Trace number 455460

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)-14 1800.03 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb
MD5SUMae2bd1e13f1871c16ad2ebb51fc6f92a
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-29
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455460-1178043875/instance-455460-1178043875.opb
0.00/0.00	c File size is 36113 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.015 s
0.00/0.02	c Var: 2704 Constr: 5310 2604/202/2504 Lit: 18128 Watch. Lit: 15426
0.00/0.02	c Obj. Vars: 100 (3.69822 % of total variables)
0.89/0.98	c Pre-processing Time: 0.979 s
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2704     5310    18128    3    15426   27834      0      0 0.98
0.89/0.98	c Switching off LPR mode.
0.89/0.98	o -1	0.983
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2704     5311    18228    3    15429   27901      1      0 0.98
0.89/0.99	o -2	0.987
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2704     5312    18328    3    15433   28001      2      0 0.99
0.89/0.99	o -3	0.991
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2704     5313    18428    3    15438   28134      3      0 0.99
0.89/0.99	o -4	0.994
0.99/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.00	c        0   2704     5314    18528    3    15444   28301      4      0 0.99
0.99/1.00	o -5	0.998
0.99/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.00	c        0   2704     5315    18628    3    15451   28501      5      0 1.00
0.99/1.00	o -6	1.002
0.99/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.07	c        4   2704     5320    19183    3    15467   28534     10      3 1.00
0.99/1.07	c      104   2704     5420    31552    5    15667   31388    110    100 1.04
0.99/1.07	o -7	1.071
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c      323   2704     5640    61174   10    16114   28568    330    301 1.07
1.89/1.91	c      423   2704     5740    75006   13    16314   31425    430    379 1.11
1.89/1.91	c      673   2704     5990   110249   18    16814   34568    680    560 1.20
1.89/1.91	c     1148   2704     6465   169548   26    17764   38025   1155    875 1.31
1.89/1.91	c     1961   2704     7278   281452   38    19390   41828   1968   1285 1.52
1.89/1.91	o -8	1.908
122.46/122.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.46/122.55	c     3212   2704     8530   483588   56    21902   28601   3220   1682 1.91
122.46/122.55	c     3312   2704     8630   493601   57    22102   31462   3320   1716 1.93
122.46/122.55	c     3562   2704     8880   518646   58    22602   34609   3570   1805 1.97
122.46/122.55	c     4037   2704     9355   566286   60    23552   38070   4045   1962 2.06
122.46/122.55	c     4850   2704    10168   649587   63    25178   41878   4858   2203 2.20
122.46/122.55	c     6170   2704    11488   787931   68    27818   46066   6178   2527 2.44
122.46/122.55	c     8251   2704    13569   999141   73    31980   50673   8259   2915 2.83
122.46/122.55	c    11474   2704    16792  1352933   80    38426   55741  11482   3086 3.72
122.46/122.55	c    16410   2704    21728  1951471   89    48298   61316  16418   2675 6.13
122.46/122.55	c    23916   2704    29234  2918326   99    63310   67448  23924   2058 11.62
122.46/122.55	c    35277   2704    40595  4582154  112    86032   74193  35285   1535 22.97
122.46/122.55	c    52421   2704    57739  7211257  124   120320   81613  52429   1057 49.56
122.46/122.55	c    78240   2704    83558 10933270  130   171958   89775  78248    720 108.58
122.46/122.55	o -9	122.519
203.35/203.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
203.35/203.41	c    83762   2704    89081 11665057  130   183013   28634  83771    683 122.52
203.35/203.41	c    83862   2704    17551  1756375  100    39917   31498  12241    516 162.25
203.35/203.41	c    84112   2704    17801  1787342  100    40417   34648  12491    517 162.55
203.35/203.41	c    84587   2704    18276  1850058  101    41367   38113  12966    518 163.02
203.35/203.41	c    85400   2704    19089  1957526  102    42993   41925  13779    521 163.63
203.35/203.41	c    86720   2704    20409  2131763  104    45633   46118  15099    527 164.40
203.35/203.41	c    88801   2704    22490  2386082  106    49795   50730  17180    533 166.37
203.35/203.41	c    92025   2704    25714  2804968  109    56243   55804  20404    544 169.14
203.35/203.41	c    96961   2704    30650  3428770  111    66115   61385  25340    559 173.19
203.35/203.41	c   104467   2704    38156  4401965  115    81127   67524  32846    575 181.61
203.35/203.41	c   115829   2704    49518  6031645  121   103851   74277  44208    592 195.52
203.35/203.41	o -10	203.355
393.19/393.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
393.19/393.37	c   120432   2704    54122  6654426  122   113069   28201  48812    592 203.36
393.19/393.37	c   120532   2704    17011  1711548  100    38838   31022  11701    571 211.06
393.19/393.37	c   120782   2704    17261  1736824  100    39338   34125  11951    571 211.21
393.19/393.37	c   121257   2704    17736  1789695  100    40288   37538  12426    573 211.51
393.19/393.37	c   122070   2704    18549  1890643  101    41914   41292  13239    575 212.17
393.19/393.37	c   123390   2704    19869  2056333  103    44554   45422  14559    578 213.12
393.19/393.37	c   125471   2704    21950  2320006  105    48716   49965  16640    584 214.60
393.19/393.37	c   128694   2704    25173  2705893  107    55162   54962  19863    593 216.73
393.19/393.37	c   133630   2704    30109  3241851  107    65034   60459  24799    608 219.72
393.19/393.37	c   141136   2704    37615  4072239  108    80046   66505  32305    627 224.97
393.19/393.37	c   152497   2704    48976  5489497  112   102768   73156  43666    650 234.30
393.19/393.37	c   169641   2704    66120  7566672  114   137056   80472  60810    663 255.53
393.19/393.37	c   195460   2704    21022  2375594  113    46860   88520  15712    615 317.68
393.19/393.37	c   234292   2704    59854  7400945  123   124524   97373  54544    641 365.38
393.19/393.37	o -11	393.266
455.27/455.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
455.27/455.49	c   257172   2704    82735 10159315  122   170297   28234  77425    653 393.27
455.27/455.49	c   257272   2704    17460  1477659   84    39737   31058  12150    569 451.49
455.27/455.49	c   257522   2704    17710  1509028   85    40237   34164  12400    570 451.64
455.27/455.49	c   257997   2704    18185  1578183   86    41187   37581  12875    570 451.92
455.27/455.49	c   258810   2704    18998  1677356   88    42813   41340  13688    571 452.49
455.27/455.49	c   260130   2704    20318  1838926   90    45453   45475  15008    573 453.22
455.27/455.49	c   262211   2704    22399  2077845   92    49615   50023  17089    576 454.52
455.27/455.49	o -12	455.376
1116.21/1116.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1116.21/1116.52	c   264635   2704    24824  2347663   94    54477   28268  19514    581 455.38
1116.21/1116.52	c   264735   2704    24924  2359315   94    54677   31095  19614    581 455.47
1116.21/1116.52	c   264985   2704    25174  2387872   94    55177   34205  19864    581 455.64
1116.21/1116.52	c   265460   2704    25649  2442071   95    56127   37626  20339    582 455.93
1116.21/1116.52	c   266273   2704    26462  2545092   96    57753   41389  21152    583 456.37
1116.21/1116.52	c   267593   2704    27782  2691619   96    60393   45528  22472    585 457.11
1116.21/1116.52	c   269674   2704    29863  2935835   98    64555   50081  24553    588 458.44
1116.21/1116.52	c   272897   2704    33086  3277462   99    71001   55090  27776    593 460.14
1116.21/1116.52	c   277833   2704    38022  3837757  100    80873   60600  32712    598 463.98
1116.21/1116.52	c   285339   2704    45528  4739937  104    95885   66661  40218    603 472.82
1116.21/1116.52	c   296700   2704    56889  6091961  107   118607   73328  51579    615 481.86
1116.21/1116.52	c   313844   2704    74033  8267364  111   152895   80661  68723    623 503.24
1116.21/1116.52	c   339663   2704    28756  2820146   98    62330   88728  23446    596 569.19
1116.21/1116.52	c   378495   2704    67588  7457821  110   139994   97601  62278    619 610.75
1116.21/1116.52	c   436847   2704    38099  3629957   95    81016  107362  32789    534 817.46
1116.21/1116.52	c   524479   2704    28464  2814986   98    61746  118099  23154    492 1065.52
1116.21/1116.52	o -13	1116.23
1172.59/1172.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1172.59/1172.92	c   569821   2704    73807  8042951  108   152445   28301  68497    510 1116.24
1172.59/1172.92	c   569921   2704    17393  1531263   88    39605   31132  12083    491 1159.45
1172.59/1172.92	c   570172   2704    17644  1564085   88    40107   34246  12334    491 1159.62
1172.59/1172.92	c   570647   2704    18119  1628549   89    41057   37671  12809    492 1159.85
1172.59/1172.92	c   571460   2704    18932  1713101   90    42683   41439  13622    492 1160.23
1172.59/1172.92	c   572780   2704    20252  1850778   91    45323   45583  14942    493 1160.84
1172.59/1172.92	c   574861   2704    22333  2080100   93    49485   50142  17023    494 1162.23
1172.59/1172.92	c   578084   2704    25556  2433238   95    55931   55157  20246    496 1164.03
1172.59/1172.92	c   583020   2704    30492  2936897   96    65803   60673  25182    499 1166.34
1172.59/1172.92	c   590526   2704    37998  3778354   99    80815   66741  32688    503 1172.11
1172.59/1172.92	o -14	1172.61
1799.93/1800.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.47	c   591081   2704    38554  3844213   99    81941   28334  33244    504 1172.62
1799.93/1800.47	c   591181   2704    16627  1253997   75    38074   31168  11317    501 1178.31
1799.93/1800.47	c   591431   2704    16877  1280315   75    38574   34285  11567    501 1178.42
1799.93/1800.47	c   591906   2704    17352  1330561   76    39524   37714  12042    502 1178.63
1799.93/1800.47	c   592719   2704    18165  1418213   78    41150   41486  12855    502 1178.99
1799.93/1800.47	c   594039   2704    19485  1559056   80    43790   45635  14175    503 1179.49
1799.93/1800.47	c   596120   2704    21566  1771786   82    47952   50199  16256    505 1180.17
1799.93/1800.47	c   599343   2704    24789  2113242   85    54398   55219  19479    507 1181.43
1799.93/1800.47	c   604279   2704    29725  2668940   89    64270   60741  24415    510 1183.67
1799.93/1800.47	c   611785   2704    37231  3448120   92    79282   66816  31921    515 1186.71
1799.93/1800.47	c   623146   2704    48592  4615558   94   102004   73498  43282    522 1192.18
1799.93/1800.47	c   640290   2704    65736  6431500   97   136292   80848  60426    531 1205.34
1799.93/1800.47	c   666109   2704    20408  1760644   86    45636   88933  15098    526 1265.50
1799.93/1800.47	c   704941   2704    59240  6048934  102   123300   97827  53930    544 1294.80
1799.93/1800.47	c   763293   2704    29556  2780475   94    63932  107610  24246    509 1497.52
1799.93/1800.47	c   850925   2704    19458  1730427   88    43736  118372  14148    492 1726.88
1799.93/1800.47	c Resources Exceeded
1799.93/1800.47	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 -x29
1799.93/1800.47	v -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 -x55
1799.93/1800.47	v -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 -x81
1799.93/1800.47	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x176 -x166 -x111 -x173 -x177 -x133
1799.93/1800.47	v -x121 -x150 -x174 -x182 -x112 -x123 -x132 -x149 -x152 -x155 -x167 -x189 -x101 x127 -x161 -x199 x129 -x187 x115 -x106 -x105
1799.93/1800.47	v -x110 -x114 x135 -x171 -x102 -x180 -x184 -x153 -x168 -x147 -x128 x185 -x137 -x141 -x146 -x178 -x194 -x103 -x109 -x200 -x162
1799.93/1800.47	v -x172 -x154 -x138 -x108 -x140 -x179 -x193 -x104 -x136 -x124 -x116 -x186 x190 -x143 -x117 -x134 x169 -x151 -x191 -x145 -x188
1799.93/1800.47	v x118 -x181 -x107 -x175 -x164 -x120 -x142 -x144 -x195 x192 -x159 -x119 -x125 -x126 x130 -x158 x163 x113 -x170 -x197 -x198 -x122
1799.93/1800.47	v x165 -x196 -x156 -x131 -x183 x157 -x160 -x139 -x148
1799.93/1800.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.47	c   99   910919    154   934290    79452  9629497  74142    506 1800.00
1799.93/1800.47	c Objective: -14
1799.93/1800.47	s SATISFIABLE
1799.93/1800.47	c Total time: 1800 s

Verifier Data (download as text)

OK	-14

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node34/watcher-455460-1178043875 -o ROOT/results/node34/solver-455460-1178043875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455460-1178043875/instance-455460-1178043875.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.85 0.97 0.98 3/77 24557
/proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=11772 CPUtime=0
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 252302918 12054528 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 2943 345 291 324 0 2003 0

[startup+0.0885 s]
/proc/loadavg: 0.85 0.97 0.98 3/77 24557
/proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=5308 CPUtime=0.08
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 8 0 0 0 18 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 1327 702 306 324 0 396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5308

[startup+0.101502 s]
/proc/loadavg: 0.85 0.97 0.98 3/77 24557
/proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=5308 CPUtime=0.09
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 9 0 0 0 18 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 1327 702 306 324 0 396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5308

[startup+0.301516 s]
/proc/loadavg: 0.85 0.97 0.98 3/77 24557
/proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=5308 CPUtime=0.29
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 29 0 0 0 19 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 1327 702 306 324 0 396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5308

[startup+0.701548 s]
/proc/loadavg: 0.85 0.97 0.98 3/77 24557
/proc/meminfo: memFree=1850096/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=5308 CPUtime=0.69
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 742 0 0 0 69 0 0 0 23 0 1 0 252302918 5435392 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 1327 702 306 324 0 396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5308

[startup+1.50161 s]
/proc/loadavg: 0.85 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1848232/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=8768 CPUtime=1.49
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 1672 0 0 0 147 2 0 0 25 0 1 0 252302918 8978432 1585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 2192 1586 313 324 0 1261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8768

[startup+3.10175 s]
/proc/loadavg: 0.86 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1840552/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=20260 CPUtime=3.09
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 4523 0 0 0 305 4 0 0 25 0 1 0 252302918 20746240 4436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 5065 4437 313 324 0 4134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20260

[startup+6.30199 s]
/proc/loadavg: 0.86 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1823976/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=32228 CPUtime=6.29
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 7534 0 0 0 622 7 0 0 25 0 1 0 252302918 33001472 7447 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 8057 7447 313 324 0 7126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32228

[startup+12.7015 s]
/proc/loadavg: 0.88 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1808056/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=46940 CPUtime=12.68
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 11195 0 0 0 1257 11 0 0 25 0 1 0 252302918 48066560 11108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 11735 11108 313 324 0 10804 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46940

[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1782008/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=72072 CPUtime=25.48
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 17496 0 0 0 2532 16 0 0 25 0 1 0 252302918 73801728 17409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 18018 17409 313 324 0 17087 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72072

[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1750136/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=104172 CPUtime=51.07
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 25521 0 0 0 5080 27 0 0 25 0 1 0 252302918 106672128 25434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 26043 25434 313 324 0 25112 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104172

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1705720/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=147964 CPUtime=102.27
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 36454 0 0 0 10183 44 0 0 25 0 1 0 252302918 151515136 36367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 36991 36367 313 324 0 36060 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 147964

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162924 CPUtime=162.25
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40267 0 0 0 16174 51 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40731 40098 313 324 0 39800 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 162924

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162924 CPUtime=222.23
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 22166 57 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40731 40098 313 324 0 39800 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 162924

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162924 CPUtime=282.22
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 28157 65 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40731 40098 313 324 0 39800 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 162924

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162924 CPUtime=342.2
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 34149 71 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40731 40098 313 324 0 39800 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 162924

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690488/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162924 CPUtime=402.19
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 40142 77 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40731 40098 313 324 0 39800 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 162924

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162924 CPUtime=462.17
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 46137 80 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40731 40098 313 324 0 39800 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 162924

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162924 CPUtime=522.16
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 52128 88 0 0 25 0 1 0 252302918 166834176 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40731 40098 313 324 0 39800 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 162924

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162916 CPUtime=582.15
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 58124 91 0 0 25 0 1 0 252302918 166825984 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40729 40098 313 324 0 39798 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 162916

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24558
/proc/meminfo: memFree=1690552/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=162916 CPUtime=642.13
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 40315 0 0 0 64116 97 0 0 25 0 1 0 252302918 166825984 40098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 40729 40098 313 324 0 39798 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 162916


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


[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24560
/proc/meminfo: memFree=1673016/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180092 CPUtime=1181.99
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 118063 136 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45023 44403 313 324 0 44092 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 180092

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24560
/proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180092 CPUtime=1241.97
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 124054 143 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45023 44403 313 324 0 44092 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 180092

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24560
/proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180092 CPUtime=1301.95
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 130046 149 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45023 44403 313 324 0 44092 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 180092

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24560
/proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180092 CPUtime=1361.94
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 136039 155 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45023 44403 313 324 0 44092 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 180092

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 24560
/proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180092 CPUtime=1421.92
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 142036 156 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45023 44403 313 324 0 44092 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 180092

[startup+1482.3 s]
/proc/loadavg: 1.09 1.00 0.99 2/78 24560
/proc/meminfo: memFree=1673016/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180092 CPUtime=1481.91
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 148034 157 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45023 44403 313 324 0 44092 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 180092

[startup+1542.3 s]
/proc/loadavg: 1.03 1.00 0.99 2/78 24560
/proc/meminfo: memFree=1673016/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180092 CPUtime=1541.89
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 154026 163 0 0 25 0 1 0 252302918 184414208 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45023 44403 313 324 0 44092 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 180092

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 24560
/proc/meminfo: memFree=1672952/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=180072 CPUtime=1601.87
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 44893 0 0 0 160018 169 0 0 25 0 1 0 252302918 184393728 44403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 45018 44403 313 324 0 44087 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 180072

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 24560
/proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=184584 CPUtime=1661.86
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 46115 0 0 0 166011 175 0 0 25 0 1 0 252302918 189014016 45517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 46146 45517 313 324 0 45215 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 184584

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 24560
/proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=184584 CPUtime=1721.84
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 46115 0 0 0 172009 175 0 0 25 0 1 0 252302918 189014016 45517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 46146 45517 313 324 0 45215 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 184584

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 24560
/proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=184584 CPUtime=1781.83
/proc/24557/stat : 24557 (bsolo3.0.16) R 24555 24557 22931 0 -1 4194304 46115 0 0 0 177999 184 0 0 25 0 1 0 252302918 189014016 45517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24557/statm: 46146 45517 313 324 0 45215 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 184584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 24560
/proc/meminfo: memFree=1668280/2055920 swapFree=4158948/4192956
[pid=24557] ppid=24555 vsize=0 CPUtime=1800.03
/proc/24557/stat : 24557 (bsolo3.0.16) D 24555 24557 22931 0 -1 4194308 46116 0 0 0 179814 189 0 0 25 0 1 0 252302918 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/24557/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 0

# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.03 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1800.03 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 1/77 24560
/proc/meminfo: memFree=1849408/2055920 swapFree=4158948/4192956
[pid=24557] ppid=-1 vsize=0 CPUtime=0
/proc/24557/stat : -- couldn't open stat file --/proc/24557/statm: 1339 240 199 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 1/77 24560
/proc/meminfo: memFree=1849408/2055920 swapFree=4158948/4192956
[pid=24557] ppid=-1 vsize=0 CPUtime=0
/proc/24557/stat : -- couldn't open stat file --/proc/24557/statm: 1339 240 199 169 0 50 0
Current children cumulated CPU time (s) 0
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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 1/77 24560
/proc/meminfo: memFree=1849408/2055920 swapFree=4158948/4192956
[pid=24557] ppid=-1 vsize=0 CPUtime=0
/proc/24557/stat : -- couldn't open stat file --/proc/24557/statm: 1339 240 199 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24557 and gives
#  childrusage.ru_utime.tv_sec=1798
#  childrusage.ru_utime.tv_usec=141640
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=894711
# CPU time returned by wait4() is 1800.04
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.03
#  lost CPU user time (s): 1798.14
#  lost CPU system time (s): 1.89

Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.14
CPU system time (s): 1.89
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 185016

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

runsolver used 1.44178 second user time and 3.80342 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Tue May  1 18:24:35 UTC 2007

IDJOB= 455460
IDBENCH= 48265
IDSOLVER= 163
FILE ID= node34/455460-1178043875

PBS_JOBID= 4728413

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455460-1178043875/instance-455460-1178043875.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-455460-1178043875 -o ROOT/results/node34/solver-455460-1178043875 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455460-1178043875/instance-455460-1178043875.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  ae2bd1e13f1871c16ad2ebb51fc6f92a

RANDOM SEED= 212006502

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1850632 kB
Buffers:         51444 kB
Cached:          65800 kB
SwapCached:       3048 kB
Active:          64932 kB
Inactive:        76924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850632 kB
SwapTotal:     4192956 kB
SwapFree:      4158948 kB
Dirty:            6804 kB
Writeback:           0 kB
Mapped:          30844 kB
Slab:            48740 kB
Committed_AS:  4352184 kB
PageTables:       1980 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 node34 on Tue May  1 18:54:35 UTC 2007