Trace number 431332

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.16SAT9 1800.01 1800.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
MD5SUM0f650891245dab338bc3d2f3a3dc10c7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.235963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
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 constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

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/431332-1178004880/instance-431332-1178004880.opb
0.00/0.00	c File size is 10107 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963
0.00/0.00	c Obj. Vars: 9 (1.19048 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    756     1156     4842    4     4165    6471      0      0 0.01
0.00/0.01	c Switching off LPR mode.
189.15/189.25	c      102    756     1258    11892    9     4300    7119    102   4434 0.02
189.15/189.25	c      252    756     1408    24238   17     4457    7831    252   7000 0.04
189.15/189.25	c      477    756     1633    44248   27     4893    8615    477   7119 0.07
189.15/189.25	c      815    756     1971    72493   36     5569    9477    815   7342 0.11
189.15/189.25	c     1323    756     2479   111917   45     6550   10425   1323   7603 0.17
189.15/189.25	c     2087    756     3243   168154   51     8101   11468   2087   6754 0.31
189.15/189.25	c     3234    756     4390   253192   57    10383   12615   3234   5604 0.58
189.15/189.25	c     4957    756     6113   398693   65    13856   13877   4957   5908 0.84
189.15/189.25	c     7541    756     8697   605893   69    19069   15265   7541   4356 1.73
189.15/189.25	c    11424    756    12580   932742   74    26825   16792  11424   4028 2.84
189.15/189.25	c    17247    756     9881   699199   70    21401   18472   8725   2645 6.52
189.15/189.25	c    25985    756    18619  1363301   73    38874   20320  17463   1844 14.09
189.15/189.25	c    39096    756    11317   772227   68    24260   22353  10161   1405 27.82
189.15/189.25	c    58767    756    19060  1486138   77    39840   24589  17904   1337 43.95
189.15/189.25	c    88278    756    21164  1483948   70    43886   27048  20008   1202 73.43
189.15/189.25	c   132548    756    17088  1178881   68    35760   29753  15932    969 136.68
189.15/189.25	o 433	189.203
666.23/666.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
666.23/666.41	c   187570    756    14654  1338071   91    30922    6489  13498    991 189.20
666.23/666.41	c   187670    756     4502   298948   66    10572    7138   3346    991 189.36
666.23/666.41	c   187920    756     4752   321136   67    11084    7852   3596    992 189.41
666.23/666.41	c   188396    756     5228   363346   69    12211    8638   4072    994 189.47
666.23/666.41	c   189211    756     6043   432184   71    13705    9502   4887    997 189.65
666.23/666.41	c   190532    756     7364   542594   73    16342   10453   6208   1003 189.79
666.23/666.41	c   192613    756     9445   704358   74    20565   11499   8289   1012 190.18
666.23/666.41	c   195837    756     6907   453341   65    15424   12649   5751   1023 191.40
666.23/666.41	c   200774    756    11844   834760   70    25328   13914  10688   1032 194.43
666.23/666.41	c   208280    756    12322   851437   69    26287   15306  11166   1030 202.11
666.23/666.41	c   219642    756    15954  1306121   81    33667   16837  14798   1050 209.15
666.23/666.41	c   236787    756    15823  1180818   74    33344   18521  14667   1083 218.60
666.23/666.41	c   262607    756    13435   891092   66    28511   20374  12279   1076 243.85
666.23/666.41	c   301440    756    21464  1515913   70    44573   22412  20308   1042 289.14
666.23/666.41	c   359792    756    20211  1613186   79    42018   24654  19055   1054 341.15
666.23/666.41	c   447424    756    25227  2043739   81    52075   27120  24071   1048 426.55
666.23/666.41	c   578976    756    23915  1721351   71    49513   29833  22759   1010 573.13
666.23/666.41	o 19	666.254
1262.89/1263.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1262.89/1263.20	c   680919    756    13976  1110408   79    29603    6489  12820   1022 666.25
1262.89/1263.20	c   681019    745     4502   293025   65    10769    7138   3346   1021 666.38
1262.89/1263.20	c   681269    745     4752   315680   66    11254    7852   3596   1022 666.41
1262.89/1263.20	c   681744    745     5227   354808   67    12143    8638   4071   1022 666.47
1262.89/1263.20	c   682559    745     6042   419352   69    13768    9502   4886   1023 666.60
1262.89/1263.20	c   683880    745     7363   523935   71    16422   10453   6207   1025 666.97
1262.89/1263.20	c   685961    745     9444   686102   72    20573   11499   8288   1027 667.65
1262.89/1263.20	c   689184    745     6908   448352   64    15511   12649   5752   1029 669.46
1262.89/1263.20	c   694121    724    11845   843592   71    25424   13914  10689   1032 672.20
1262.89/1263.20	c   701628    724    12283   863674   70    26261   15306  11127   1032 679.50
1262.89/1263.20	c   712989    724    15865  1108311   69    33398   16837  14709   1033 689.57
1262.89/1263.20	c   730134    724    15946  1098140   68    33573   18521  14790   1036 704.68
1262.89/1263.20	c   755953    724    13690   939592   68    29060   20374  12534   1033 731.61
1262.89/1263.20	c   794786    724    11347   900015   79    24288   22412  10191   1029 772.07
1262.89/1263.20	c   853139    712    20595  1458215   70    42799   24654  19439   1021 834.80
1262.89/1263.20	c   940771    712    22962  1695420   73    47529   27120  21806    993 947.00
1262.89/1263.20	c  1072323    712    23120  1631928   70    47743   29833  21964    959 1118.04
1262.89/1263.20	o 17	1262.9
1377.55/1377.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1377.55/1377.92	c  1196455    712    14141  1057810   74    29961    6481  12985    947 1262.90
1377.55/1377.92	c  1196558    712     4506   270514   60    10681    7130   3350    947 1263.04
1377.55/1377.92	c  1196809    712     4757   290225   61    11198    7844   3601    947 1263.06
1377.55/1377.92	c  1197285    712     5233   329073   62    12148    8629   4077    947 1263.14
1377.55/1377.92	c  1198098    712     6046   400590   66    13826    9492   4890    948 1263.26
1377.55/1377.92	c  1199418    712     7366   524275   71    16456   10442   6210    949 1263.63
1377.55/1377.92	c  1201500    712     9448   651292   68    20693   11487   8292    950 1263.90
1377.55/1377.92	c  1204724    712    12672   888564   70    27128   12636  11516    952 1264.69
1377.55/1377.92	c  1209660    712    11061   755482   68    23875   13900   9905    955 1266.23
1377.55/1377.92	c  1217167    712    11449   785091   68    24623   15291  10293    958 1269.51
1377.55/1377.92	c  1228528    712    15049  1029784   68    31728   16821  13893    961 1278.21
1377.55/1377.92	c  1245672    712    14506  1149124   79    30605   18504  13350    966 1288.87
1377.55/1377.92	c  1271492    712    11020   843051   76    23703   20355   9864    969 1311.89
1377.55/1377.92	c  1310324    712    18125  1346889   74    37870   22391  16969    977 1340.45
1377.55/1377.92	o 9	1377.59
1799.95/1800.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.54	c  1358915    712    19272  1783560   92    40212    6481  18116    986 1377.59
1799.95/1800.54	c  1359016    701     4504   403058   89    10690    7130   3348    986 1377.87
1799.95/1800.54	c  1359267    701     4755   426886   89    11186    7844   3599    986 1377.90
1799.95/1800.54	c  1359744    701     5232   471101   90    12222    8629   4076    986 1377.99
1799.95/1800.54	c  1360558    701     6046   541164   89    13848    9492   4890    987 1378.12
1799.95/1800.54	c  1361878    701     7366   658795   89    16419   10442   6210    988 1378.31
1799.95/1800.54	c  1363959    701     9447   843546   89    20664   11487   8291    989 1378.75
1799.95/1800.54	c  1367182    701    12670  1104455   87    27066   12636  11514    990 1380.24
1799.95/1800.54	c  1372118    701    11142   836662   75    24022   13900   9986    991 1383.70
1799.95/1800.54	c  1379624    701    11253   860329   76    24127   15291  10097    994 1387.18
1799.95/1800.54	c  1390986    701    14532  1072236   73    30759   16821  13376    998 1392.44
1799.95/1800.54	c  1408132    701    14536  1066665   73    30628   18504  13380   1001 1405.57
1799.95/1800.54	c  1433952    701    12100   897186   74    25758   20355  10944   1001 1431.76
1799.95/1800.54	c  1472784    701    18918  1625378   85    39497   22391  17762   1002 1469.76
1799.95/1800.54	c  1531136    701    18506  1402338   75    38731   24631  17350    997 1534.41
1799.95/1800.54	c  1618768    701    23663  1897763   80    48998   27095  22507    982 1647.20
1799.95/1800.54	c Resources Exceeded
1799.95/1800.54	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 -x30 -x31
1799.95/1800.54	v -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 x42 x43 x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58 -x59
1799.95/1800.54	v -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x127 -x128 x129 -x130
1799.95/1800.54	v -x131 -x132 -x133 -x134 -x135 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1799.95/1800.54	v x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 x100 -x101 -x102 -x103 -x104 -x105
1799.95/1800.54	v -x106 -x107 -x108 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117
1799.95/1800.54	v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x172 -x173 -x174
1799.95/1800.54	v -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189
1799.95/1800.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.54	c   80  1721667  10602  1773979    28468  2196129  27312    956 1800.00
1799.95/1800.54	c Objective: 9
1799.95/1800.54	s SATISFIABLE
1799.95/1800.54	c Total time: 1800 s

Verifier Data (download as text)

OK	9

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-431332-1178004880 -o ROOT/results/node51/solver-431332-1178004880 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431332-1178004880/instance-431332-1178004880.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.94 1.02 1.00 3/64 3500
/proc/meminfo: memFree=1811016/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=11748 CPUtime=0
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 155333133 12029952 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 2937 346 291 324 0 2003 0

[startup+0.099089 s]
/proc/loadavg: 0.94 1.02 1.00 3/64 3500
/proc/meminfo: memFree=1811016/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=5108 CPUtime=0.09
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 687 0 0 0 9 0 0 0 18 0 1 0 155333133 5230592 653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 1277 653 312 324 0 346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5108

[startup+0.101089 s]
/proc/loadavg: 0.94 1.02 1.00 3/64 3500
/proc/meminfo: memFree=1811016/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=5108 CPUtime=0.09
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 691 0 0 0 9 0 0 0 18 0 1 0 155333133 5230592 657 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 1277 657 312 324 0 346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5108

[startup+0.301107 s]
/proc/loadavg: 0.94 1.02 1.00 3/64 3500
/proc/meminfo: memFree=1811016/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=6536 CPUtime=0.29
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 1051 0 0 0 29 0 0 0 19 0 1 0 155333133 6692864 1017 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 1634 1017 312 324 0 703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6536

[startup+0.701143 s]
/proc/loadavg: 0.94 1.02 1.00 3/64 3500
/proc/meminfo: memFree=1811016/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=8480 CPUtime=0.69
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 1541 0 0 0 68 1 0 0 22 0 1 0 155333133 8683520 1507 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 2120 1507 312 324 0 1189 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8480

[startup+1.50122 s]
/proc/loadavg: 0.94 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1804160/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=12232 CPUtime=1.49
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 2459 0 0 0 147 2 0 0 25 0 1 0 155333133 12525568 2425 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 3058 2425 312 324 0 2127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12232

[startup+3.10136 s]
/proc/loadavg: 0.94 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1801216/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=18016 CPUtime=3.09
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 3909 0 0 0 306 3 0 0 25 0 1 0 155333133 18448384 3875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 4504 3875 312 324 0 3573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18016

[startup+6.30164 s]
/proc/loadavg: 0.94 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1792584/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=23436 CPUtime=6.29
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 5271 0 0 0 625 4 0 0 25 0 1 0 155333133 23998464 5237 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 5859 5237 312 324 0 4928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23436

[startup+12.7012 s]
/proc/loadavg: 0.95 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1791248/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=23436 CPUtime=12.68
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 5271 0 0 0 1264 4 0 0 25 0 1 0 155333133 23998464 5237 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 5859 5237 312 324 0 4928 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23436

[startup+25.5014 s]
/proc/loadavg: 0.96 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1787920/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=26804 CPUtime=25.49
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 6117 0 0 0 2542 7 0 0 25 0 1 0 155333133 27447296 6083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 6701 6083 312 324 0 5770 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26804

[startup+51.1017 s]
/proc/loadavg: 0.97 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1782800/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=32456 CPUtime=51.08
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 7528 0 0 0 5097 11 0 0 25 0 1 0 155333133 33234944 7494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 8114 7494 312 324 0 7183 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32456

[startup+102.304 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 3501
/proc/meminfo: memFree=1781072/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=33668 CPUtime=102.27
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 7838 0 0 0 10211 16 0 0 25 0 1 0 155333133 34476032 7804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 8417 7804 312 324 0 7486 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33668

[startup+162.302 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1776464/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=38236 CPUtime=162.25
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 8986 0 0 0 16199 26 0 0 25 0 1 0 155333133 39153664 8951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 9559 8951 312 324 0 8628 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38236

[startup+222.301 s]
/proc/loadavg: 1.16 1.06 1.01 2/65 3501
/proc/meminfo: memFree=1771984/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=42604 CPUtime=222.23
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 10089 0 0 0 22187 36 0 0 25 0 1 0 155333133 43626496 10046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 10651 10046 313 324 0 9720 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42604

[startup+282.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 3501
/proc/meminfo: memFree=1771992/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=42604 CPUtime=282.22
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 10089 0 0 0 28178 44 0 0 25 0 1 0 155333133 43626496 10046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 10651 10046 313 324 0 9720 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 42604

[startup+342.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 3501
/proc/meminfo: memFree=1771928/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=42604 CPUtime=342.21
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 10089 0 0 0 34168 53 0 0 25 0 1 0 155333133 43626496 10046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 10651 10046 313 324 0 9720 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 42604

[startup+402.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 3501
/proc/meminfo: memFree=1771864/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=42604 CPUtime=402.19
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 10089 0 0 0 40158 61 0 0 25 0 1 0 155333133 43626496 10046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 10651 10046 313 324 0 9720 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 42604

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1771864/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=42604 CPUtime=462.18
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 10089 0 0 0 46148 70 0 0 25 0 1 0 155333133 43626496 10046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 10651 10046 313 324 0 9720 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 42604

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3501
/proc/meminfo: memFree=1771928/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=42604 CPUtime=522.16
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 10089 0 0 0 52140 76 0 0 25 0 1 0 155333133 43626496 10046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 10651 10046 313 324 0 9720 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 42604

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3501
/proc/meminfo: memFree=1771864/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=42604 CPUtime=582.15
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 10089 0 0 0 58133 82 0 0 25 0 1 0 155333133 43626496 10046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 10651 10046 313 324 0 9720 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 42604

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1762584/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=51908 CPUtime=642.14
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12405 0 0 0 64122 92 0 0 25 0 1 0 155333133 53153792 12362 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 12977 12362 313 324 0 12046 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 51908


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

/proc/meminfo: memFree=1761944/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1062.03
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 106055 148 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 52388

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761880/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1122.02
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 112048 154 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 52388

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761880/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1182
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 118041 159 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3059492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 52388

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761880/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1241.99
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 124032 167 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 52388

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761880/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1301.98
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 130021 177 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 52388

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761816/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1361.96
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 136012 184 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 52388

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761816/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1421.95
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 142002 193 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 52388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761816/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1481.93
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 147993 200 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 52388

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3501
/proc/meminfo: memFree=1761816/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1541.92
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 153985 207 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 52388

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 3617
/proc/meminfo: memFree=1760480/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1601.84
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 159969 215 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 52388

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761360/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1661.78
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 165955 223 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 52388

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761424/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1721.77
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 171947 230 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 52388

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761424/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1781.76
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 177941 235 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 52388

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761488/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1791.36
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 178900 236 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 52388

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761488/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1794.55
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 179219 236 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 52388

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761488/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1797.75
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 179539 236 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 52388

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761488/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1799.35
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 179699 236 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 52388

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761488/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1799.75
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 179739 236 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 52388

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3699
/proc/meminfo: memFree=1761488/2055920 swapFree=4183264/4192956
[pid=3500] ppid=3498 vsize=52388 CPUtime=1799.95
/proc/3500/stat : 3500 (bsolo3.0.16) R 3498 3500 3199 0 -1 4194304 12554 0 0 0 179759 236 0 0 25 0 1 0 155333133 53645312 12491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3500/statm: 13097 12491 313 324 0 12166 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 52388

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.01
CPU user time (s): 1797.63
CPU system time (s): 2.37764
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 52476

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

runsolver used 1.47378 second user time and 3.50047 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue May  1 07:34:40 UTC 2007

IDJOB= 431332
IDBENCH= 48044
IDSOLVER= 163
FILE ID= node51/431332-1178004880

PBS_JOBID= 4728269

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431332-1178004880/instance-431332-1178004880.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-431332-1178004880 -o ROOT/results/node51/solver-431332-1178004880 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431332-1178004880/instance-431332-1178004880.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0f650891245dab338bc3d2f3a3dc10c7

RANDOM SEED= 568330074

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1811488 kB
Buffers:         24920 kB
Cached:         146628 kB
SwapCached:       3552 kB
Active:          50088 kB
Inactive:       131080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811488 kB
SwapTotal:     4192956 kB
SwapFree:      4183264 kB
Dirty:            6732 kB
Writeback:           0 kB
Mapped:          15488 kB
Slab:            49288 kB
Committed_AS:  4450216 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node51 on Tue May  1 08:04:41 UTC 2007