Trace number 455166

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)-14 1800.11 1800.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
MD5SUM4ec3492215da9d1ca4e43111c42870de
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.02
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)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

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/455166-1178038477/instance-455166-1178038477.opb
0.00/0.00	c File size is 35915 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: 2688 Constr: 5278 2588/202/2488 Lit: 18016 Watch. Lit: 15330
0.00/0.02	c Obj. Vars: 100 (3.72024 % of total variables)
0.89/0.98	c Pre-processing Time: 0.984 s
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2688     5278    18016    3    15330   27594      0      0 0.98
0.89/0.98	c Switching off LPR mode.
0.89/0.99	o -1	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   2688     5279    18116    3    15333   27661      1      0 0.99
0.89/0.99	o -2	0.989
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2688     5280    18216    3    15337   27761      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   2688     5281    18316    3    15342   27894      3      0 0.99
0.89/0.99	o -4	0.993
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2688     5282    18416    3    15348   28061      4      0 0.99
0.89/0.99	o -5	0.994
0.89/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/1.00	c        0   2688     5283    18516    3    15355   28261      5      0 0.99
0.89/1.00	o -6	0.996
1.00/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.00	c        0   2688     5284    18616    3    15363   28494      6      0 1.00
1.00/1.00	o -7	0.998
1.00/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.00	c        0   2688     5285    18716    3    15372   28761      7      0 1.00
1.00/1.00	o -8	1.001
1.09/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.11	c        1   2688     5287    18949    3    15384   28794      9      0 1.00
1.09/1.11	c      101   2688     5387    32315    5    15584   31674    109     98 1.03
1.09/1.11	c      351   2688     5637    62292   11    16084   34842    359    320 1.10
1.09/1.11	o -9	1.107
178.15/178.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
178.15/178.21	c      392   2688     5679    67931   11    16177   28828    401    353 1.11
178.15/178.21	c      492   2688     5779    80188   13    16377   31711    501    425 1.16
178.15/178.21	c      742   2688     6029   112767   18    16877   34883    751    589 1.26
178.15/178.21	c     1217   2688     6504   176151   27    17827   38372   1226    840 1.45
178.15/178.21	c     2030   2688     7317   285575   39    19453   42210   2039   1194 1.70
178.15/178.21	c     3350   2688     8637   471113   54    22093   46432   3359   1629 2.06
178.15/178.21	c     5431   2688    10718   708764   66    26255   51076   5440   1982 2.74
178.15/178.21	c     8654   2688    13941  1144895   82    32701   56184   8663   2060 4.20
178.15/178.21	c    13590   2688    18877  1774160   93    42573   61803  13599   1959 6.93
178.15/178.21	c    21096   2688    26383  2816378  106    57585   67984  21105   1564 13.48
178.15/178.21	c    32457   2688    37744  4319110  114    80307   74783  32466   1287 25.21
178.15/178.21	c    49601   2688    54888  6593819  120   114595   82262  49610    930 53.30
178.15/178.21	c    75420   2688    80707 10234341  126   166233   90489  75429    719 104.78
178.15/178.21	o -10	178.17
205.34/205.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.34/205.43	c    98304   2688    22755  2820694  123    50303   27961  17477    551 178.17
205.34/205.43	c    98404   2688    22855  2832776  123    50503   30758  17577    551 178.49
205.34/205.43	c    98654   2688    23105  2863770  123    51003   33834  17827    550 179.13
205.34/205.43	c    99129   2688    23580  2920963  123    51953   37218  18302    550 180.11
205.34/205.43	c    99942   2688    24393  3021312  123    53579   40940  19115    551 181.32
205.34/205.43	c   101262   2688    25713  3183063  123    56219   45035  20435    553 183.09
205.34/205.43	c   103343   2688    27794  3410317  122    60381   49539  22516    558 184.92
205.34/205.43	c   106566   2688    31017  3801246  122    66827   54493  25739    560 190.04
205.34/205.43	c   111502   2688    35953  4480882  124    76699   59943  30675    561 198.59
205.34/205.43	o -11	205.375
234.53/234.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
234.53/234.65	c   115059   2688    39511  4994074  126    83826   27994  34233    560 205.38
234.53/234.65	c   115159   2688    16569  1542830   93    37923   30794  11291    553 208.15
234.53/234.65	c   115409   2688    16819  1571019   93    38423   33874  11541    553 208.34
234.53/234.65	c   115884   2688    17294  1623951   93    39373   37262  12016    555 208.77
234.53/234.65	c   116697   2688    18107  1723293   95    40999   40989  12829    556 209.57
234.53/234.65	c   118017   2688    19427  1909862   98    43639   45088  14149    559 210.94
234.53/234.65	c   120098   2688    21508  2194004  102    47801   49597  16230    563 212.99
234.53/234.65	c   123321   2688    24731  2567557  103    54247   54557  19453    573 215.02
234.53/234.65	c   128257   2688    29667  3182903  107    64119   60013  24389    582 220.06
234.53/234.65	c   135763   2688    37173  4080019  109    79131   66015  31895    595 228.09
234.53/234.65	o -12	234.59
251.43/251.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
251.43/251.54	c   141404   2688    42815  4787306  111    90427   28028  37537    602 234.59
251.43/251.54	c   141504   2688    16685  1416088   84    38156   30831  11407    596 237.10
251.43/251.54	c   141754   2688    16935  1444404   85    38656   33915  11657    597 237.24
251.43/251.54	c   142229   2688    17410  1500807   86    39606   37307  12132    598 237.58
251.43/251.54	c   143042   2688    18223  1597828   87    41232   41038  12945    600 238.06
251.43/251.54	c   144362   2688    19543  1749978   89    43872   45142  14265    604 238.76
251.43/251.54	c   146443   2688    21624  1997631   92    48034   49657  16346    610 239.78
251.43/251.54	c   149666   2688    24847  2378448   95    54480   54623  19569    618 241.97
251.43/251.54	c   154602   2688    29783  2963518   99    64352   60086  24505    630 245.12
251.43/251.54	c   162108   2688    37289  3852695  103    79364   66095  32011    646 250.91
251.43/251.54	o -13	251.479
272.72/272.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
272.72/272.85	c   162713   2688    37895  3939101  103    80589   28061  32617    647 251.48
272.72/272.85	c   162813   2688    16561  1368554   82    37909   30868  11283    643 253.07
272.72/272.85	c   163063   2688    16811  1396164   83    38409   33955  11533    643 253.21
272.72/272.85	c   163538   2688    17286  1450963   83    39359   37351  12008    645 253.48
272.72/272.85	c   164351   2688    18099  1541695   85    40985   41087  12821    647 253.85
272.72/272.85	c   165671   2688    19419  1686920   86    43625   45196  14141    651 254.33
272.72/272.85	c   167752   2688    21500  1929691   89    47787   49716  16222    656 255.40
272.72/272.85	c   170975   2688    24723  2298423   92    54233   54688  19445    665 256.94
272.72/272.85	c   175911   2688    29659  2885840   97    64105   60157  24381    677 259.74
272.72/272.85	c   183417   2688    37165  3789558  101    79117   66173  31887    690 265.55
272.72/272.85	o -14	272.778
1800.06/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.60	c   191901   2688    45650  4746432  103    96101   28094  40372    703 272.78
1800.06/1800.60	c   192001   2688    16820  1358249   80    38428   30904  11542    694 276.32
1800.06/1800.60	c   192251   2688    17070  1392808   81    38928   33995  11792    695 276.49
1800.06/1800.60	c   192726   2688    17545  1458109   83    39878   37395  12267    696 276.72
1800.06/1800.60	c   193539   2688    18358  1542164   84    41504   41135  13080    698 277.00
1800.06/1800.60	c   194859   2688    19678  1678316   85    44144   45249  14400    702 277.48
1800.06/1800.60	c   196940   2688    21759  1913477   87    48306   49774  16481    707 278.47
1800.06/1800.60	c   200163   2688    24982  2287848   91    54752   54752  19704    714 280.32
1800.06/1800.60	c   205099   2688    29918  2854401   95    64624   60228  24640    724 283.05
1800.06/1800.60	c   212605   2688    37424  3640180   97    79636   66251  32146    738 287.90
1800.06/1800.60	c   223966   2688    48785  4840993   99   102358   72877  43507    757 295.78
1800.06/1800.60	c   241110   2688    65929  6774764  102   136646   80165  60651    772 312.03
1800.06/1800.61	c   266929   2688    21050  2088510   99    46888   88182  15772    607 439.74
1800.06/1800.61	c   305761   2688    59882  7155273  119   124552   97001  54604    629 485.86
1800.06/1800.61	c   364113   2688    31148  3469643  111    67084  106702  25870    487 746.29
1800.06/1800.61	c   451745   2688    21974  2318855  105    48736  117373  16696    452 998.65
1800.06/1800.61	c   583297   2688    46102  5405953  117    96992  129111  40824    442 1317.50
1800.06/1800.61	c Caught signal: 15
1800.06/1800.61	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
1800.06/1800.61	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
1800.06/1800.61	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 -x82
1800.06/1800.61	v -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x147 -x186 -x169 -x141 x126 -x173 -x177
1800.06/1800.61	v -x102 -x165 -x159 -x123 -x133 -x170 x101 x125 -x194 -x140 -x103 x142 x176 -x196 -x116 -x114 x118 -x150 -x155 x160 -x180 -x197
1800.06/1800.61	v -x143 x139 -x174 -x148 -x138 x199 -x108 -x132 -x145 -x175 -x115 -x137 -x107 -x162 -x179 -x191 -x112 x119 -x128 -x188 -x193
1800.06/1800.61	v -x198 -x104 -x195 x149 -x189 -x182 -x153 -x183 -x106 -x109 -x131 -x151 -x105 -x200 -x190 -x187 -x110 -x172 -x136 -x168 -x178
1800.06/1800.61	v -x134 -x124 -x120 -x184 -x117 -x127 -x185 x154 -x167 -x192 -x111 -x129 -x181 -x146 -x157 -x130 -x122 -x161 -x152 -x135 -x144
1800.06/1800.61	v -x156 -x113 -x171 -x121 x163 -x158 -x164 x166
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c   79   688648    160   712665    32506  3413614  27228    382 1800.06
1800.06/1800.61	c Objective: -14
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	c Total time: 1800.06 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/node27/watcher-455166-1178038477 -o ROOT/results/node27/solver-455166-1178038477 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455166-1178038477/instance-455166-1178038477.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.00 0.99 3/65 644
/proc/meminfo: memFree=1858528/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=11772 CPUtime=0
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 216543587 12054528 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 990 345 289 324 0 51 0

[startup+0.056258 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 644
/proc/meminfo: memFree=1858528/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=5304 CPUtime=0.05
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 737 0 0 0 5 0 0 0 18 0 1 0 216543587 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5304

[startup+0.102261 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 644
/proc/meminfo: memFree=1858528/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=5304 CPUtime=0.09
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 737 0 0 0 9 0 0 0 18 0 1 0 216543587 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5304

[startup+0.302282 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 644
/proc/meminfo: memFree=1858528/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=5304 CPUtime=0.29
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 737 0 0 0 29 0 0 0 19 0 1 0 216543587 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5304

[startup+0.701321 s]
/proc/loadavg: 0.99 1.00 0.99 3/65 644
/proc/meminfo: memFree=1858528/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=5304 CPUtime=0.69
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 737 0 0 0 69 0 0 0 22 0 1 0 216543587 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1908456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5304

[startup+1.5014 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1856600/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=7852 CPUtime=1.49
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 1418 0 0 0 148 1 0 0 25 0 1 0 216543587 8040448 1333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 1963 1333 311 324 0 1033 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7852

[startup+3.10156 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1850136/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=16244 CPUtime=3.09
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 3515 0 0 0 307 2 0 0 25 0 1 0 216543587 16633856 3430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 4061 3430 311 324 0 3131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16244

[startup+6.30189 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1837912/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=27976 CPUtime=6.29
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 6458 0 0 0 625 4 0 0 25 0 1 0 216543587 28647424 6373 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 6994 6373 311 324 0 6064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27976

[startup+12.7015 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1821856/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=41516 CPUtime=12.69
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 9842 0 0 0 1263 6 0 0 25 0 1 0 216543587 42512384 9757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 10379 9757 311 324 0 9449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41516

[startup+25.5018 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1798368/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=64084 CPUtime=25.48
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 15491 0 0 0 2539 9 0 0 25 0 1 0 216543587 65622016 15406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 16021 15406 311 324 0 15091 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64084

[startup+51.1014 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1770016/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=92460 CPUtime=51.08
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 22583 0 0 0 5092 16 0 0 25 0 1 0 216543587 94679040 22498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 23115 22498 311 324 0 22185 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92460

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1720992/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=141088 CPUtime=102.27
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 34740 0 0 0 10199 28 0 0 25 0 1 0 216543587 144474112 34655 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 35272 34655 311 324 0 34342 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 141088

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 645
/proc/meminfo: memFree=1682208/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179492 CPUtime=162.25
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44417 0 0 0 16186 39 0 0 25 0 1 0 216543587 183799808 44241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44873 44241 311 324 0 43943 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 179492

[startup+222.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 645
/proc/meminfo: memFree=1682208/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179492 CPUtime=222.23
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44417 0 0 0 22184 39 0 0 25 0 1 0 216543587 183799808 44241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44873 44241 311 324 0 43943 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 179492

[startup+282.302 s]
/proc/loadavg: 1.09 1.03 1.00 2/66 645
/proc/meminfo: memFree=1682272/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179492 CPUtime=282.22
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44417 0 0 0 28183 39 0 0 25 0 1 0 216543587 183799808 44241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44873 44241 311 324 0 43943 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 179492

[startup+342.303 s]
/proc/loadavg: 1.09 1.04 1.00 2/66 645
/proc/meminfo: memFree=1682336/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179492 CPUtime=342.2
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44417 0 0 0 34181 39 0 0 25 0 1 0 216543587 183799808 44241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44873 44241 311 324 0 43943 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 179492

[startup+402.303 s]
/proc/loadavg: 1.15 1.06 1.01 2/72 753
/proc/meminfo: memFree=1681048/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179492 CPUtime=402.14
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44417 0 0 0 40174 40 0 0 25 0 1 0 216543587 183799808 44241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44873 44241 311 324 0 43943 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 179492

[startup+462.303 s]
/proc/loadavg: 1.11 1.06 1.01 2/66 843
/proc/meminfo: memFree=1681952/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179480 CPUtime=462.08
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44417 0 0 0 46168 40 0 0 25 0 1 0 216543587 183787520 44241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44870 44241 311 324 0 43940 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 179480

[startup+522.303 s]
/proc/loadavg: 1.04 1.05 1.00 2/66 843
/proc/meminfo: memFree=1682016/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179480 CPUtime=522.07
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44417 0 0 0 52167 40 0 0 25 0 1 0 216543587 183787520 44241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44870 44241 311 324 0 43940 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 179480

[startup+582.303 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 843
/proc/meminfo: memFree=1682080/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179492 CPUtime=582.06
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44420 0 0 0 58165 41 0 0 25 0 1 0 216543587 183799808 44244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44873 44244 311 324 0 43943 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 179492

[startup+642.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 843
/proc/meminfo: memFree=1681696/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179764 CPUtime=642.05
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44591 0 0 0 64164 41 0 0 25 0 1 0 216543587 184078336 44317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44941 44317 311 324 0 44011 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 179764


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 843
/proc/meminfo: memFree=1681888/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179764 CPUtime=821.99
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44591 0 0 0 82158 41 0 0 25 0 1 0 216543587 184078336 44317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44941 44317 311 324 0 44011 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 179764

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1681888/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=179764 CPUtime=881.98
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 44591 0 0 0 88156 42 0 0 25 0 1 0 216543587 184078336 44317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 44941 44317 311 324 0 44011 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 179764

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1656800/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=204624 CPUtime=941.97
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 50910 0 0 0 94149 48 0 0 25 0 1 0 216543587 209534976 50529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 51156 50529 311 324 0 50226 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 204624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1656800/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=204624 CPUtime=1001.95
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 50910 0 0 0 100147 48 0 0 25 0 1 0 216543587 209534976 50529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 51156 50529 311 324 0 50226 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 204624

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1656864/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=204624 CPUtime=1061.93
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 50910 0 0 0 106145 48 0 0 25 0 1 0 216543587 209534976 50529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1908366 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 51156 50529 311 324 0 50226 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 204624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1656928/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=204624 CPUtime=1121.92
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 50910 0 0 0 112144 48 0 0 25 0 1 0 216543587 209534976 50529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 51156 50529 311 324 0 50226 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 204624

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1656928/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=204640 CPUtime=1181.9
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 50914 0 0 0 118142 48 0 0 25 0 1 0 216543587 209551360 50533 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 51160 50533 311 324 0 50230 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 204640

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1645472/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=215864 CPUtime=1241.88
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 53845 0 0 0 124137 51 0 0 25 0 1 0 216543587 221044736 53346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 53966 53346 311 324 0 53036 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 215864

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1645472/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=215864 CPUtime=1301.87
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 53845 0 0 0 130136 51 0 0 25 0 1 0 216543587 221044736 53346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900895 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 53966 53346 311 324 0 53036 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 215864

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1645472/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=215864 CPUtime=1361.85
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 53845 0 0 0 136134 51 0 0 25 0 1 0 216543587 221044736 53346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 53966 53346 311 324 0 53036 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 215864

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1645536/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=215864 CPUtime=1421.84
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 53845 0 0 0 142133 51 0 0 25 0 1 0 216543587 221044736 53346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 53966 53346 311 324 0 53036 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 215864

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1642592/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=219324 CPUtime=1481.83
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 54697 0 0 0 148130 53 0 0 25 0 1 0 216543587 224587776 54198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 54831 54198 311 324 0 53901 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 219324

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1624288/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=237236 CPUtime=1541.82
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 59181 0 0 0 154124 58 0 0 25 0 1 0 216543587 242929664 58682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 59309 58682 311 324 0 58379 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 237236

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1611232/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=250020 CPUtime=1601.8
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 62511 0 0 0 160118 62 0 0 25 0 1 0 216543587 256020480 61883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 62505 61883 311 324 0 61575 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 250020

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1611232/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=250020 CPUtime=1661.78
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 62511 0 0 0 166116 62 0 0 25 0 1 0 216543587 256020480 61883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 62505 61883 311 324 0 61575 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 250020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1611232/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=250020 CPUtime=1721.77
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 62511 0 0 0 172115 62 0 0 25 0 1 0 216543587 256020480 61883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 62505 61883 311 324 0 61575 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 250020

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1611296/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=250020 CPUtime=1781.75
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 62511 0 0 0 178113 62 0 0 25 0 1 0 216543587 256020480 61883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 62505 61883 311 324 0 61575 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 250020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 843
/proc/meminfo: memFree=1611296/2055920 swapFree=4182956/4192956
[pid=644] ppid=642 vsize=250020 CPUtime=1800.06
/proc/644/stat : 644 (bsolo3.0.17) R 642 644 32352 0 -1 4194304 62511 0 0 0 179944 62 0 0 25 0 1 0 216543587 256020480 61883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900260 0 0 4096 16384 0 0 0 17 1 0 0
/proc/644/statm: 62505 61883 311 324 0 61575 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 250020

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

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

Child status: 15
Real time (s): 1800.65
CPU time (s): 1800.11
CPU user time (s): 1799.44
CPU system time (s): 0.665898
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 250536

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

runsolver used 1.51577 second user time and 3.46247 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Tue May  1 16:54:37 UTC 2007

IDJOB= 455166
IDBENCH= 48245
IDSOLVER= 199
FILE ID= node27/455166-1178038477

PBS_JOBID= 4728393

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/bsg/normalized-bsg_100_10_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455166-1178038477/instance-455166-1178038477.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-455166-1178038477 -o ROOT/results/node27/solver-455166-1178038477 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455166-1178038477/instance-455166-1178038477.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  4ec3492215da9d1ca4e43111c42870de

RANDOM SEED= 621701159

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1858936 kB
Buffers:         66272 kB
Cached:          61404 kB
SwapCached:       3632 kB
Active:          99928 kB
Inactive:        41496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858936 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            6608 kB
Writeback:           0 kB
Mapped:          18056 kB
Slab:            41628 kB
Committed_AS:  4943548 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node27 on Tue May  1 17:24:40 UTC 2007