Trace number 453001

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.17OPT3 1263.16 1263.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
MD5SUM9b7cb599a49db47c0ffbf25416bcef37
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.224965
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 variables216
Total number of constraints19
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 constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

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/453001-1178009123/instance-453001-1178009123.opb
0.00/0.00	c File size is 10539 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
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: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.00	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    792     1180     4960    4     4260    6656      0      0 0.01
0.00/0.01	c Switching off LPR mode.
20.29/20.31	c      101    792     1281    11121    8     4378    7322    101   4809 0.02
20.29/20.31	c      251    792     1431    20165   14     4678    8055    251   7606 0.03
20.29/20.31	c      476    792     1656    32622   19     5118    8861    476   9333 0.05
20.29/20.31	c      815    792     1995    55600   27     5798    9748    815  10187 0.08
20.29/20.31	c     1324    792     2504    88697   35     6688   10723   1324  10343 0.13
20.29/20.31	c     2087    792     3267   140604   43     8276   11796   2087  10131 0.21
20.29/20.31	c     3234    792     4414   218222   49    10551   12976   3234   9568 0.34
20.29/20.31	c     4955    792     6135   336606   54    13980   14274   4955   9402 0.53
20.29/20.31	c     7539    792     8719   500388   57    19249   15702   7539   6630 1.14
20.29/20.31	c    11419    792    12599   750969   59    26955   17273  11419   5775 1.98
20.29/20.31	c    17242    792    18422  1125053   61    38620   19001  17242   2974 5.80
20.29/20.31	c    25980    792    17426  1072666   61    36585   20902  16246   2568 10.12
20.29/20.31	c    39091    792    19860  1201208   60    41512   22993  18680   2016 19.38
20.29/20.31	o 65	20.302
302.60/302.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
302.60/302.76	c    44517    792    12947   777925   60    27583    6672  11767   2192 20.30
302.60/302.76	c    44618    792     4618   241323   52    11026    7340   3438   2186 20.41
302.60/302.76	c    44868    792     4868   258623   53    11363    8075   3688   2187 20.51
302.60/302.76	c    45343    792     5343   292670   54    12424    8883   4163   2205 20.56
302.60/302.76	c    46157    792     6157   352871   57    14025    9772   4977   2233 20.66
302.60/302.76	c    47478    792     7478   441418   59    16671   10750   6298   2280 20.82
302.60/302.76	c    49560    792     9560   582035   60    20778   11826   8380   2344 21.14
302.60/302.76	c    52784    792    12784   776203   60    27203   13009  11604   2415 21.85
302.60/302.76	c    57720    792    10878   633039   58    23411   14310   9698   2536 22.76
302.60/302.76	c    65226    782    10580   581880   54    22949   15742   9400   2504 26.04
302.60/302.76	c    76588    782    14018   738890   52    29817   17317  12838   2154 35.56
302.60/302.76	c    93733    779    13334   811768   60    28311   19049  12154   2008 46.66
302.60/302.76	c   119552    779    19243  1229453   63    40181   20954  18063   1929 61.97
302.60/302.76	c   158385    779    13440   864104   64    28535   23050  12260   1574 100.62
302.60/302.76	c   216738    779    21043  1315380   62    43807   25356  19863   1391 155.75
302.60/302.76	c   304370    776    20193  1315980   65    42214   27892  19013   1275 238.67
302.60/302.76	o 17	302.667
894.82/895.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
894.82/895.12	c   352622    776    17724  1172933   66    37162    6670  16544   1165 302.67
894.82/895.12	c   352722    776     4621   248651   53    11082    7338   3441   1164 302.86
894.82/895.12	c   352973    776     4872   266130   54    11454    8072   3692   1165 302.89
894.82/895.12	c   353448    776     5347   299538   56    12339    8880   4167   1166 302.94
894.82/895.12	c   354261    776     6160   358193   58    14135    9769   4980   1168 303.09
894.82/895.12	c   355583    776     7482   446475   59    16751   10746   6302   1172 303.31
894.82/895.12	c   357665    776     9564   583636   61    20899   11821   8384   1176 303.97
894.82/895.12	c   360890    776    12789   802100   62    27269   13004  11609   1184 304.55
894.82/895.12	c   365827    776    10731   664510   61    23153   14305   9551   1194 306.17
894.82/895.12	c   373334    776    11004   659292   59    23683   15736   9824   1202 310.54
894.82/895.12	c   384696    766    14113   908026   64    29892   17310  12933   1213 317.05
894.82/895.12	c   401840    756    13334   808197   60    28343   19042  12154   1219 329.40
894.82/895.12	c   427660    756    19927  1142036   57    41548   20947  18747   1199 356.65
894.82/895.12	c   466493    753    15102   908386   60    31908   23042  13922   1179 395.59
894.82/895.12	c   524845    753    12711   801967   63    27175   25347  11531   1164 450.61
894.82/895.12	c   612477    752    12041   753011   62    25762   27882  10861   1117 548.30
894.82/895.12	c   744029    752    23313  1495239   64    48416   30671  22133   1025 725.30
894.82/895.12	o 9	894.857
966.83/967.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
966.83/967.26	c   875868    752    16744  1027047   61    35181    6666  15564    978 894.86
966.83/967.26	c   875969    752     4625   224607   48    10934    7333   3445    978 895.15
966.83/967.26	c   876220    752     4876   239966   49    11447    8067   3696    978 895.18
966.83/967.26	c   876698    752     5354   271624   50    12444    8874   4174    979 895.24
966.83/967.26	c   877511    752     6167   325333   52    14068    9762   4987    980 895.38
966.83/967.26	c   878831    752     7487   411934   55    16729   10739   6307    981 895.60
966.83/967.26	c   880913    752     9569   549785   57    20894   11813   8389    983 896.12
966.83/967.26	c   884136    752    12792   766180   59    27262   12995  11612    984 897.71
966.83/967.26	c   889072    752    11123   659717   59    23995   14295   9943    985 901.85
966.83/967.26	c   896579    752    10728   646533   60    23229   15725   9548    989 905.67
966.83/967.26	c   907940    742    13826   832351   60    29326   17298  12646    994 912.76
966.83/967.26	c   925085    742    12942   801675   61    27548   19028  11762    999 925.63
966.83/967.26	c   950904    742    18529  1061178   57    38751   20931  17349   1001 949.47
966.83/967.26	o 5	966.903
1047.98/1048.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1047.98/1048.44	c   968877    739    14830   916844   61    31351    6664  13650   1002 966.90
1047.98/1048.44	c   968978    729     4627   223820   48    11020    7331   3447   1001 967.09
1047.98/1048.44	c   969228    729     4877   240523   49    11494    8065   3697   1002 967.11
1047.98/1048.44	c   969704    729     5353   271043   50    12538    8872   4173   1002 967.17
1047.98/1048.44	c   970518    729     6167   325752   52    14125    9760   4987   1003 967.29
1047.98/1048.44	c   971839    729     7488   415755   55    16714   10737   6308   1004 967.55
1047.98/1048.44	c   973921    729     9570   554825   57    20895   11811   8390   1005 968.32
1047.98/1048.44	c   977144    729    12793   773676   60    27357   12993  11613   1008 969.31
1047.98/1048.44	c   982081    729    11080   656183   59    23889   14293   9900   1011 971.36
1047.98/1048.44	c   989589    729    11082   662087   59    23895   15723   9902   1015 974.22
1047.98/1048.44	c  1000950    729    14305   866671   60    30385   17296  13125   1019 981.70
1047.98/1048.44	c  1018095    729    13445   821466   61    28638   19026  12265   1022 995.36
1047.98/1048.44	c  1043914    729    19389  1145839   59    40522   20929  18209   1027 1015.87
1047.98/1048.44	o 3	1048.03
1263.11/1263.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1263.11/1263.62	c  1074417    729    17541  1098530   62    36851    6662  16361   1025 1048.03
1263.11/1263.62	c  1074518    708     4628   228370   49    11073    7329   3448   1025 1048.29
1263.11/1263.62	c  1074769    708     4879   245933   50    11476    8062   3699   1025 1048.33
1263.11/1263.62	c  1075245    708     5355   279997   52    12378    8869   4175   1025 1048.37
1263.11/1263.62	c  1076059    708     6169   330383   53    14090    9756   4989   1026 1048.49
1263.11/1263.62	c  1077379    708     7489   421389   56    16758   10732   6309   1027 1048.77
1263.11/1263.62	c  1079461    708     9571   554386   57    20908   11806   8391   1028 1049.28
1263.11/1263.62	c  1082684    708    12794   766491   59    27293   12987  11614   1030 1050.60
1263.11/1263.62	c  1087620    708    10922   615921   56    23623   14286   9742   1033 1052.58
1263.11/1263.62	c  1095127    708    11003   642641   58    23715   15715   9823   1037 1055.38
1263.11/1263.62	c  1106488    707    14337   873657   60    30369   17287  13157   1041 1062.16
1263.11/1263.62	c  1123632    707    13939   799564   57    29535   19016  12759   1039 1080.54
1263.11/1263.62	c  1149452    707    19760  1126923   57    41251   20918  18580   1043 1101.46
1263.11/1263.62	c  1188284    705    15590   939771   60    32932   23010  14410   1041 1141.46
1263.11/1263.62	c  1246636    704    12250   696918   56    26262   25312  11070   1034 1205.41
1263.11/1263.62	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
1263.11/1263.62	v -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 -x56 x57 -x58
1263.11/1263.62	v -x59 x60 x61 x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 x86
1263.11/1263.62	v -x87 -x88 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x153 -x154 x155 x156 -x157
1263.11/1263.62	v -x158 -x159 -x160 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 x105 x106 -x107
1263.11/1263.62	v -x108 -x109 -x110 -x111 -x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1263.11/1263.62	v -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189
1263.11/1263.62	v -x190 -x191 -x192 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 -x138
1263.11/1263.62	v x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215
1263.11/1263.62	v -x216
1263.11/1263.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1263.11/1263.62	c   87  1283606  11410  1339529    20786  1063371  19606   1016 1263.15
1263.11/1263.62	c Objective: 3
1263.11/1263.62	s OPTIMUM FOUND
1263.11/1263.62	c Total time: 1263.15 s

Verifier Data (download as text)

OK	3

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-453001-1178009123 -o ROOT/results/node19/solver-453001-1178009123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453001-1178009123/instance-453001-1178009123.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.91 0.95 0.97 3/77 17674
/proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=11748 CPUtime=0
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 248829716 12029952 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 984 345 289 324 0 51 0

[startup+0.0580531 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 17674
/proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=4724 CPUtime=0.05
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 596 0 0 0 5 0 0 0 18 0 1 0 248829716 4837376 563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 1181 563 310 324 0 251 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4724

[startup+0.101057 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 17674
/proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=5240 CPUtime=0.09
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 248829716 5365760 677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 1310 677 310 324 0 380 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5240

[startup+0.301077 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 17674
/proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=7056 CPUtime=0.29
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 1158 0 0 0 29 0 0 0 19 0 1 0 248829716 7225344 1125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 1764 1125 310 324 0 834 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7056

[startup+0.701121 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 17674
/proc/meminfo: memFree=1810696/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=10032 CPUtime=0.68
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 1924 0 0 0 68 0 0 0 23 0 1 0 248829716 10272768 1891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 2508 1891 310 324 0 1578 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10032

[startup+1.50121 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 17675
/proc/meminfo: memFree=1803136/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=12356 CPUtime=1.48
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 2490 0 0 0 147 1 0 0 25 0 1 0 248829716 12652544 2457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 3089 2457 310 324 0 2159 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12356

[startup+3.10138 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 17675
/proc/meminfo: memFree=1798848/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=17248 CPUtime=3.09
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 3728 0 0 0 307 2 0 0 25 0 1 0 248829716 17661952 3695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 4312 3696 310 324 0 3382 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17248

[startup+6.30173 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 17675
/proc/meminfo: memFree=1793792/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=20856 CPUtime=6.29
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 4623 0 0 0 627 2 0 0 25 0 1 0 248829716 21356544 4590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 5214 4590 310 324 0 4284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20856

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 17675
/proc/meminfo: memFree=1791168/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=23536 CPUtime=12.68
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 5298 0 0 0 1265 3 0 0 25 0 1 0 248829716 24100864 5265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 5884 5265 310 324 0 4954 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23536

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 17675
/proc/meminfo: memFree=1787200/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=26760 CPUtime=25.49
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6111 0 0 0 2545 4 0 0 25 0 1 0 248829716 27402240 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 6690 6078 311 324 0 5760 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26760

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 17675
/proc/meminfo: memFree=1787264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=26760 CPUtime=51.07
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6111 0 0 0 5103 4 0 0 25 0 1 0 248829716 27402240 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 6690 6078 311 324 0 5760 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26760

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 17675
/proc/meminfo: memFree=1787328/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=26760 CPUtime=102.25
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6111 0 0 0 10221 4 0 0 25 0 1 0 248829716 27402240 6078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 6690 6078 311 324 0 5760 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26760

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1784448/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=29608 CPUtime=162.24
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6825 0 0 0 16219 5 0 0 25 0 1 0 248829716 30318592 6792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 7402 6792 311 324 0 6472 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29608

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1784320/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=29744 CPUtime=222.21
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 6858 0 0 0 22216 5 0 0 25 0 1 0 248829716 30457856 6825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 7436 6825 311 324 0 6506 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 29744

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1782208/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=31840 CPUtime=282.2
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 28214 6 0 0 25 0 1 0 248829716 32604160 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 7960 7348 311 324 0 7030 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 31840

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1782144/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=31828 CPUtime=342.18
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 34211 7 0 0 25 0 1 0 248829716 32591872 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 7957 7348 311 324 0 7027 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 31828

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1782208/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=31828 CPUtime=402.16
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 40209 7 0 0 25 0 1 0 248829716 32591872 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 7957 7348 311 324 0 7027 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 31828

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1782144/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=31824 CPUtime=462.15
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 46207 8 0 0 25 0 1 0 248829716 32587776 7348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 7956 7348 311 324 0 7026 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 31824

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1782144/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=31816 CPUtime=522.13
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7381 0 0 0 52205 8 0 0 25 0 1 0 248829716 32579584 7346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 7954 7346 311 324 0 7024 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 31816

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1781248/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=32732 CPUtime=582.12
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7609 0 0 0 58203 9 0 0 25 0 1 0 248829716 33517568 7571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8183 7571 311 324 0 7253 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 32732

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1781248/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=32724 CPUtime=642.1
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7609 0 0 0 64201 9 0 0 25 0 1 0 248829716 33509376 7571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8181 7571 311 324 0 7251 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 32724

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1781184/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=32720 CPUtime=702.08
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 7609 0 0 0 70198 10 0 0 25 0 1 0 248829716 33505280 7571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8180 7571 311 324 0 7250 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 32720

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17675
/proc/meminfo: memFree=1779584/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34316 CPUtime=762.06
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 76196 10 0 0 25 0 1 0 248829716 35139584 7971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8579 7971 311 324 0 7649 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 34316

[startup+822.301 s]
/proc/loadavg: 1.04 0.99 0.98 2/78 17675
/proc/meminfo: memFree=1779520/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34300 CPUtime=822.05
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 82194 11 0 0 25 0 1 0 248829716 35123200 7968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8575 7968 311 324 0 7645 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 34300

[startup+882.302 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 17675
/proc/meminfo: memFree=1779520/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34300 CPUtime=882.03
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 88192 11 0 0 25 0 1 0 248829716 35123200 7968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8575 7968 311 324 0 7645 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 34300

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/84 17741
/proc/meminfo: memFree=1778240/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=941.98
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 94186 12 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 34260

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779328/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1001.89
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 100177 12 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 34260

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779328/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1061.88
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 106175 13 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 34260

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779328/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1121.85
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 112172 13 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 34260

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1181.84
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 118170 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 34260

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779200/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1241.82
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 124168 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 34260

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

[startup+1254.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1253.82
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 125368 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1253.82
Current children cumulated vsize (KiB) 34260

[startup+1257.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1257.02
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 125688 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1257.02
Current children cumulated vsize (KiB) 34260

[startup+1260.7 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1260.22
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126008 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1260.22
Current children cumulated vsize (KiB) 34260

[startup+1262.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1261.81
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126167 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1261.81
Current children cumulated vsize (KiB) 34260

[startup+1263.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1262.61
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126247 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1262.61
Current children cumulated vsize (KiB) 34260

[startup+1263.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1263.01
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126287 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1263.01
Current children cumulated vsize (KiB) 34260

[startup+1263.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 17873
/proc/meminfo: memFree=1779264/2055920 swapFree=4153644/4192956
[pid=17674] ppid=17672 vsize=34260 CPUtime=1263.11
/proc/17674/stat : 17674 (bsolo3.0.17) R 17672 17674 16822 0 -1 4194304 8009 0 0 0 126297 14 0 0 25 0 1 0 248829716 35082240 7958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17674/statm: 8565 7958 311 324 0 7635 0
Current children cumulated CPU time (s) 1263.11
Current children cumulated vsize (KiB) 34260

Child status: 0
Real time (s): 1263.63
CPU time (s): 1263.16
CPU user time (s): 1263.01
CPU system time (s): 0.153976
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 34440

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

runsolver used 1.02184 second user time and 2.6626 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue May  1 08:45:23 UTC 2007

IDJOB= 453001
IDBENCH= 48068
IDSOLVER= 199
FILE ID= node19/453001-1178009123

PBS_JOBID= 4728296

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453001-1178009123/instance-453001-1178009123.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-453001-1178009123 -o ROOT/results/node19/solver-453001-1178009123 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453001-1178009123/instance-453001-1178009123.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  9b7cb599a49db47c0ffbf25416bcef37

RANDOM SEED= 691498054

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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	: 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.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:       1811040 kB
Buffers:         49652 kB
Cached:         105504 kB
SwapCached:       7976 kB
Active:          61176 kB
Inactive:       120984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811040 kB
SwapTotal:     4192956 kB
SwapFree:      4153644 kB
Dirty:            6688 kB
Writeback:           0 kB
Mapped:          29924 kB
Slab:            48100 kB
Committed_AS:  5662248 kB
PageTables:       1784 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 node19 on Tue May  1 09:06:27 UTC 2007