Trace number 452977

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)9 1800.09 1800.62

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.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/452977-1178005021/instance-452977-1178005021.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.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    756     1156     4842    4     4165    6471      0      0 0.01
0.00/0.01	c Switching off LPR mode.
187.75/187.86	c      102    756     1258    11892    9     4300    7119    102   4636 0.02
187.75/187.86	c      252    756     1408    24238   17     4457    7831    252   7200 0.04
187.75/187.86	c      477    756     1633    44248   27     4893    8615    477   7453 0.06
187.75/187.86	c      815    756     1971    72493   36     5569    9477    815   7546 0.11
187.75/187.86	c     1323    756     2479   111917   45     6550   10425   1323   7736 0.17
187.75/187.86	c     2087    756     3243   168154   51     8101   11468   2087   6842 0.30
187.75/187.86	c     3234    756     4390   253192   57    10383   12615   3234   5634 0.57
187.75/187.86	c     4957    756     6113   398693   65    13856   13877   4957   5936 0.83
187.75/187.86	c     7541    756     8697   605893   69    19069   15265   7541   4371 1.73
187.75/187.86	c    11424    756    12580   932742   74    26825   16792  11424   4043 2.83
187.75/187.86	c    17247    756     9881   699199   70    21401   18472   8725   2670 6.46
187.75/187.86	c    25985    756    18619  1363301   73    38874   20320  17463   1870 13.89
187.75/187.86	c    39096    756    11317   772227   68    24260   22353  10161   1417 27.58
187.75/187.86	c    58767    756    19060  1486138   77    39840   24589  17904   1347 43.60
187.75/187.86	c    88278    756    21164  1483948   70    43886   27048  20008   1211 72.84
187.75/187.86	c   132548    756    17088  1178881   68    35760   29753  15932    977 135.63
187.75/187.86	o 433	187.813
662.04/662.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
662.04/662.27	c   187570    756    14654  1338071   91    30922    6489  13498    998 187.81
662.04/662.27	c   187670    756     4502   298948   66    10572    7138   3346    998 187.97
662.04/662.27	c   187920    756     4752   321136   67    11084    7852   3596    999 188.02
662.04/662.27	c   188396    756     5228   363346   69    12211    8638   4072   1001 188.08
662.04/662.27	c   189211    756     6043   432184   71    13705    9502   4887   1005 188.25
662.04/662.27	c   190532    756     7364   542594   73    16342   10453   6208   1011 188.39
662.04/662.27	c   192613    756     9445   704358   74    20565   11499   8289   1020 188.77
662.04/662.27	c   195837    756     6907   453341   65    15424   12649   5751   1030 189.96
662.04/662.27	c   200774    756    11844   834760   70    25328   13914  10688   1040 192.91
662.04/662.27	c   208280    756    12322   851437   69    26287   15306  11166   1038 200.59
662.04/662.27	c   219642    756    15954  1306121   81    33667   16837  14798   1058 207.57
662.04/662.27	c   236787    756    15823  1180818   74    33344   18521  14667   1091 216.90
662.04/662.27	c   262607    756    13435   891092   66    28511   20374  12279   1084 242.06
662.04/662.27	c   301440    756    21464  1515913   70    44573   22412  20308   1049 287.12
662.04/662.27	c   359792    756    20211  1613186   79    42018   24654  19055   1061 338.82
662.04/662.27	c   447424    756    25227  2043739   81    52075   27120  24071   1055 423.76
662.04/662.27	c   578976    756    23915  1721351   71    49513   29833  22759   1016 569.36
662.04/662.27	o 19	662.111
1255.89/1256.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1255.89/1256.29	c   680919    756    13976  1110408   79    29603    6489  12820   1028 662.11
1255.89/1256.29	c   681019    745     4502   293025   65    10769    7138   3346   1028 662.24
1255.89/1256.29	c   681269    745     4752   315680   66    11254    7852   3596   1028 662.27
1255.89/1256.29	c   681744    745     5227   354808   67    12143    8638   4071   1029 662.32
1255.89/1256.29	c   682559    745     6042   419352   69    13768    9502   4886   1030 662.45
1255.89/1256.29	c   683880    745     7363   523935   71    16422   10453   6207   1031 662.82
1255.89/1256.29	c   685961    745     9444   686102   72    20573   11499   8288   1033 663.49
1255.89/1256.29	c   689184    745     6908   448352   64    15511   12649   5752   1035 665.27
1255.89/1256.29	c   694121    724    11845   843592   71    25424   13914  10689   1039 667.98
1255.89/1256.29	c   701628    724    12283   863674   70    26261   15306  11127   1039 675.24
1255.89/1256.29	c   712989    724    15865  1108311   69    33398   16837  14709   1040 685.32
1255.89/1256.29	c   730134    724    15946  1098140   68    33573   18521  14790   1042 700.42
1255.89/1256.29	c   755953    724    13690   939592   68    29060   20374  12534   1039 727.16
1255.89/1256.29	c   794786    724    11347   900015   79    24288   22412  10191   1035 767.36
1255.89/1256.29	c   853139    712    20595  1458215   70    42799   24654  19439   1028 829.75
1255.89/1256.29	c   940771    712    22962  1695420   73    47529   27120  21806    999 941.41
1255.89/1256.29	c  1072323    712    23120  1631928   70    47743   29833  21964    964 1111.74
1255.89/1256.29	o 17	1255.99
1369.96/1370.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1369.96/1370.37	c  1196455    712    14141  1057810   74    29961    6481  12985    952 1255.99
1369.96/1370.37	c  1196558    712     4506   270514   60    10681    7130   3350    952 1256.13
1369.96/1370.37	c  1196809    712     4757   290225   61    11198    7844   3601    952 1256.15
1369.96/1370.37	c  1197285    712     5233   329073   62    12148    8629   4077    953 1256.23
1369.96/1370.37	c  1198098    712     6046   400590   66    13826    9492   4890    953 1256.35
1369.96/1370.37	c  1199418    712     7366   524275   71    16456   10442   6210    954 1256.73
1369.96/1370.37	c  1201500    712     9448   651292   68    20693   11487   8292    955 1256.99
1369.96/1370.37	c  1204724    712    12672   888564   70    27128   12636  11516    957 1257.78
1369.96/1370.37	c  1209660    712    11061   755482   68    23875   13900   9905    960 1259.32
1369.96/1370.37	c  1217167    712    11449   785091   68    24623   15291  10293    964 1262.57
1369.96/1370.37	c  1228528    712    15049  1029784   68    31728   16821  13893    966 1271.16
1369.96/1370.37	c  1245672    712    14506  1149124   79    30605   18504  13350    971 1281.81
1369.96/1370.37	c  1271492    712    11020   843051   76    23703   20355   9864    974 1304.64
1369.96/1370.37	c  1310324    712    18125  1346889   74    37870   22391  16969    982 1333.04
1369.96/1370.37	o 9	1370.04
1800.07/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.60	c  1358915    712    19272  1783560   92    40212    6481  18116    991 1370.04
1800.07/1800.60	c  1359016    701     4504   403058   89    10690    7130   3348    991 1370.32
1800.07/1800.60	c  1359267    701     4755   426886   89    11186    7844   3599    991 1370.36
1800.07/1800.60	c  1359744    701     5232   471101   90    12222    8629   4076    992 1370.45
1800.07/1800.60	c  1360558    701     6046   541164   89    13848    9492   4890    992 1370.57
1800.07/1800.60	c  1361878    701     7366   658795   89    16419   10442   6210    993 1370.76
1800.07/1800.60	c  1363959    701     9447   843546   89    20664   11487   8291    994 1371.19
1800.07/1800.60	c  1367182    701    12670  1104455   87    27066   12636  11514    995 1372.68
1800.07/1800.60	c  1372118    701    11142   836662   75    24022   13900   9986    997 1376.19
1800.07/1800.60	c  1379624    701    11253   860329   76    24127   15291  10097    999 1379.67
1800.07/1800.60	c  1390986    701    14532  1072236   73    30759   16821  13376   1004 1384.89
1800.07/1800.60	c  1408132    701    14536  1066665   73    30628   18504  13380   1007 1397.98
1800.07/1800.60	c  1433952    701    12100   897186   74    25758   20355  10944   1006 1424.06
1800.07/1800.60	c  1472784    701    18918  1625378   85    39497   22391  17762   1007 1461.93
1800.07/1800.60	c  1531136    701    18506  1402338   75    38731   24631  17350   1003 1526.24
1800.07/1800.60	c  1618768    701    23663  1897763   80    48998   27095  22507    987 1638.67
1800.07/1800.60	c Caught signal: 15
1800.07/1800.60	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
1800.07/1800.60	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
1800.07/1800.60	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
1800.07/1800.60	v -x131 -x132 -x133 -x134 -x135 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.07/1800.60	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
1800.07/1800.60	v -x106 -x107 -x108 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.07/1800.60	v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x172 -x173 -x174
1800.07/1800.60	v -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.07/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.60	c   80  1728292  10612  1780620    18656  1377332  17500    960 1800.08
1800.07/1800.60	c Objective: 9
1800.07/1800.60	s SATISFIABLE
1800.07/1800.60	c Total time: 1800.08 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/node50/watcher-452977-1178005021 -o ROOT/results/node50/solver-452977-1178005021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452977-1178005021/instance-452977-1178005021.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.78 0.95 0.98 3/64 27639
/proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=19560 CPUtime=0
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 371 0 0 0 0 0 0 0 18 0 1 0 155347295 20029440 341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 4890 342 288 324 0 3957 0

[startup+0.061719 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 27639
/proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=4720 CPUtime=0.05
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 604 0 0 0 5 0 0 0 18 0 1 0 155347295 4833280 571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 1180 571 310 324 0 250 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4720

[startup+0.101722 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 27639
/proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=5108 CPUtime=0.09
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 697 0 0 0 9 0 0 0 18 0 1 0 155347295 5230592 664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 1277 664 310 324 0 347 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5108

[startup+0.30174 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 27639
/proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=6536 CPUtime=0.29
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 1052 0 0 0 29 0 0 0 19 0 1 0 155347295 6692864 1019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551004 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 1634 1019 310 324 0 704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6536

[startup+0.701775 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 27639
/proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=8608 CPUtime=0.69
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 1546 0 0 0 68 1 0 0 22 0 1 0 155347295 8814592 1513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 2152 1513 310 324 0 1222 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8608

[startup+1.50185 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 27640
/proc/meminfo: memFree=1846808/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=12232 CPUtime=1.48
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 2465 0 0 0 147 1 0 0 25 0 1 0 155347295 12525568 2432 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 3058 2432 310 324 0 2128 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12232

[startup+3.10199 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 27640
/proc/meminfo: memFree=1843864/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=18016 CPUtime=3.09
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 3909 0 0 0 306 3 0 0 25 0 1 0 155347295 18448384 3876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 4504 3876 310 324 0 3574 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18016

[startup+6.30127 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 27640
/proc/meminfo: memFree=1835096/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=23436 CPUtime=6.29
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 5268 0 0 0 625 4 0 0 25 0 1 0 155347295 23998464 5235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 5859 5235 310 324 0 4929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23436

[startup+12.7018 s]
/proc/loadavg: 0.81 0.95 0.98 2/65 27640
/proc/meminfo: memFree=1833824/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=23436 CPUtime=12.68
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 5268 0 0 0 1264 4 0 0 25 0 1 0 155347295 23998464 5235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 5859 5235 310 324 0 4929 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23436

[startup+25.503 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 27640
/proc/meminfo: memFree=1830560/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=26804 CPUtime=25.48
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 6114 0 0 0 2543 5 0 0 25 0 1 0 155347295 27447296 6081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 6701 6081 310 324 0 5771 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26804

[startup+51.1022 s]
/proc/loadavg: 0.90 0.96 0.98 2/65 27640
/proc/meminfo: memFree=1824992/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=32712 CPUtime=51.07
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 7591 0 0 0 5101 6 0 0 25 0 1 0 155347295 33497088 7558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8351311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 8178 7558 310 324 0 7248 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32712

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 27640
/proc/meminfo: memFree=1823648/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=33668 CPUtime=102.27
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 7835 0 0 0 10220 7 0 0 25 0 1 0 155347295 34476032 7802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550997 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 8417 7802 310 324 0 7487 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33668

[startup+162.303 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1819040/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=38236 CPUtime=162.25
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 8983 0 0 0 16217 8 0 0 25 0 1 0 155347295 39153664 8949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 9559 8949 310 324 0 8629 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38236

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=42604 CPUtime=222.24
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 22215 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 10651 10044 311 324 0 9721 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 42604

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=42604 CPUtime=282.23
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 28214 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 10651 10044 311 324 0 9721 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42604

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=42604 CPUtime=342.21
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 34212 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 10651 10044 311 324 0 9721 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 42604

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=42604 CPUtime=402.2
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 40211 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 10651 10044 311 324 0 9721 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 42604

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=42604 CPUtime=462.18
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 46209 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 10651 10044 311 324 0 9721 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 42604

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=42604 CPUtime=522.17
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 52208 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 10651 10044 311 324 0 9721 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 42604

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=42604 CPUtime=582.15
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 58206 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 10651 10044 311 324 0 9721 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 42604

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804704/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52476 CPUtime=642.14
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 64203 11 0 0 25 0 1 0 155347295 53735424 12509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13119 12509 311 324 0 12189 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 52476


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=822.09
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 82198 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 52388

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=882.08
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 88197 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 52388

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=942.07
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 94196 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550788 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 52388

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1002.05
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 100194 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 52388

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1062.04
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 106193 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 52388

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1122.02
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 112191 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 52388

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1182.01
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 118190 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8351513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 52388

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1241.99
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 124188 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8351320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 52388

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1301.98
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 130187 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 52388

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1361.96
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 136185 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 52388

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27640
/proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1421.95
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 142184 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 52388

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/71 27810
/proc/meminfo: memFree=1803048/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1481.86
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 148175 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 52388

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27838
/proc/meminfo: memFree=1804256/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1541.82
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 154171 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 52388

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27838
/proc/meminfo: memFree=1804256/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1601.81
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 160170 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 52388

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27838
/proc/meminfo: memFree=1804256/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1661.79
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 166168 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 52388

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27838
/proc/meminfo: memFree=1804192/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1721.78
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 172166 12 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 52388

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27838
/proc/meminfo: memFree=1804000/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1781.77
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 178165 12 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 52388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27838
/proc/meminfo: memFree=1804000/2055920 swapFree=4183752/4192956
[pid=27639] ppid=27637 vsize=52388 CPUtime=1800.07
/proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 179995 12 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27639/statm: 13097 12489 311 324 0 12167 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 52388

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.62
CPU time (s): 1800.09
CPU user time (s): 1799.96
CPU system time (s): 0.13098
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 52592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.13098
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= 3073

runsolver used 1.48477 second user time and 3.49047 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue May  1 07:37:01 UTC 2007

IDJOB= 452977
IDBENCH= 48044
IDSOLVER= 199
FILE ID= node50/452977-1178005021

PBS_JOBID= 4728274

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=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452977-1178005021/instance-452977-1178005021.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-452977-1178005021 -o ROOT/results/node50/solver-452977-1178005021 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452977-1178005021/instance-452977-1178005021.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0f650891245dab338bc3d2f3a3dc10c7

RANDOM SEED= 93640866

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1854328 kB
Buffers:         32200 kB
Cached:         102912 kB
SwapCached:       3132 kB
Active:          86144 kB
Inactive:        58464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854328 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:            6808 kB
Writeback:           0 kB
Mapped:          15196 kB
Slab:            42996 kB
Committed_AS:  3495832 kB
PageTables:       1460 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 node50 on Tue May  1 08:07:04 UTC 2007