Trace number 430310

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.16OPT3 1590.19 1590.56

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb
MD5SUM39b4faf02952fa93fd33b15cbf6e7d18
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.133979
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 variables108
Total number of constraints9
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 constraints9
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)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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/430310-1177993657/instance-430310-1177993657.opb
0.00/0.00	c File size is 5689 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.003 s
0.00/0.00	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.00	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.01	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    432      661     2763    4     2377    3689      0      0 0.01
0.00/0.01	c Switching off LPR mode.
733.71/733.90	c      100    432      761    11573   15     2535    4058    100   5882 0.02
733.71/733.90	c      250    432      911    26138   28     2763    4464    250   6097 0.04
733.71/733.90	c      476    432     1137    42434   37     3226    4911    476   7555 0.06
733.71/733.90	c      814    432     1475    68035   46     3910    5403    814   8222 0.10
733.71/733.90	c     1323    432     1984   114800   57     4900    5944   1323   8703 0.15
733.71/733.90	c     2087    432     2748   182307   66     6434    6539   2087   7996 0.26
733.71/733.90	c     3234    432     3895   282429   72     8813    7193   3234   7107 0.46
733.71/733.90	c     4956    432     5617   414837   73    12231    7913   4956   5476 0.91
733.71/733.90	c     7540    432     8201   626163   76    17346    8705   7540   4870 1.55
733.71/733.90	c    11419    432     7567   540719   71    16006    9576   6906   4103 2.78
733.71/733.90	c    17242    432     8532   597387   70    17930   10534   7871   3125 5.52
733.71/733.90	c    25979    432     6593   442955   67    14071   11588   5932   2310 11.24
733.71/733.90	c    39090    432     7333   560903   76    15601   12747   6672   2272 17.20
733.71/733.90	c    58761    432     7510   526119   70    15964   14022   6849   2180 26.94
733.71/733.90	c    88271    432     8665   604615   69    18190   15425   8004   1847 47.79
733.71/733.90	c   132542    432    14009   985070   70    28880   16968  13348   1566 84.59
733.71/733.90	c   198952    432    10134   868307   85    21211   18665   9473   1469 135.40
733.71/733.90	c   298572    432    13645  1101388   80    28192   20532  12984   1461 204.24
733.71/733.90	c   448008    432    15229  1192692   78    31438   22586  14568   1257 356.31
733.71/733.90	c   672166    432    14917  1211149   81    30736   24845  14256   1053 637.90
733.71/733.90	o 147	733.724
748.41/748.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
748.41/748.60	c   772425    431    15484  1233095   79    31934    3707  14823   1052 733.73
748.41/748.60	c   772525    431     2618   167314   63     6255    4078   1957   1052 733.88
748.41/748.60	c   772775    431     2868   188495   65     6753    4486   2207   1052 733.91
748.41/748.60	c   773252    431     3345   228986   68     7696    4935   2684   1053 733.98
748.41/748.60	c   774067    431     4160   298128   71     9319    5429   3499   1054 734.14
748.41/748.60	c   775388    431     5481   406324   74    11930    5972   4820   1055 734.53
748.41/748.60	c   777470    431     4492   319178   71     9962    6570   3831   1057 735.26
748.41/748.60	c   780694    431     4349   304763   70     9623    7228   3688   1059 736.55
748.41/748.60	c   785631    431     5593   410868   73    12155    7951   4932   1063 738.57
748.41/748.60	c   793137    431     4640   332003   71    10298    8747   3979   1070 741.13
748.41/748.60	c   804498    431     6928   524056   75    14860    9622   6267   1078 745.64
748.41/748.60	o 137	748.423
1332.18/1332.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1332.18/1332.53	c   812893    431    10236   819278   80    21455    3707   9575   1086 748.42
1332.18/1332.53	c   812993    431     2618   167527   63     6279    4078   1957   1086 748.50
1332.18/1332.53	c   813243    431     2868   189490   66     6718    4486   2207   1086 748.52
1332.18/1332.53	c   813718    431     3343   231011   69     7711    4935   2682   1087 748.58
1332.18/1332.53	c   814531    431     4156   300675   72     9285    5429   3495   1087 748.74
1332.18/1332.53	c   815852    431     5477   411973   75    11982    5972   4816   1089 749.08
1332.18/1332.53	c   817934    431     4471   322397   72     9948    6570   3810   1090 749.82
1332.18/1332.53	c   821160    431     4025   299190   74     8998    7228   3364   1093 750.78
1332.18/1332.53	c   826096    420     5141   378121   73    11324    7951   4480   1098 751.99
1332.18/1332.53	c   833602    420     8586   664199   77    18176    8747   7925   1102 755.99
1332.18/1332.53	c   844963    420     6547   493960   75    14097    9622   5886   1108 762.18
1332.18/1332.53	c   862107    420     8741   659789   75    18457   10585   8080   1114 773.52
1332.18/1332.53	c   887926    420     6424   448611   69    13808   11644   5763   1131 784.65
1332.18/1332.53	c   926759    420     9367   702813   75    19687   12809   8706   1143 810.41
1332.18/1332.53	c   985112    420     7070   503813   71    15184   14090   6409   1169 842.03
1332.18/1332.53	c  1072744    420     8618   645477   74    18251   15500   7957   1180 908.36
1332.18/1332.53	c  1204297    420    11125   783084   70    23279   17051  10464   1174 1025.61
1332.18/1332.53	c  1401729    419     9193   620893   67    19389   18757   8532   1151 1216.84
1332.18/1332.53	o 33	1332.22
1393.97/1394.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1393.97/1394.38	c  1506834    419    19045  1425484   74    39145    3705  18384   1131 1332.22
1393.97/1394.38	c  1506934    419     2620   149600   57     6251    4076   1959   1130 1332.51
1393.97/1394.38	c  1507185    419     2871   172406   60     6732    4484   2210   1131 1332.53
1393.97/1394.38	c  1507660    419     3346   214697   64     7724    4933   2685   1131 1332.60
1393.97/1394.38	c  1508474    419     4160   284735   68     9326    5427   3499   1131 1332.78
1393.97/1394.38	c  1509794    408     5480   398027   72    11977    5970   4819   1132 1333.09
1393.97/1394.38	c  1511875    408     4203   336290   80     9370    6568   3542   1133 1333.53
1393.97/1394.38	c  1515098    408     3952   276282   69     8900    7225   3291   1135 1334.44
1393.97/1394.38	c  1520035    408     5169   377410   73    11390    7948   4508   1137 1336.55
1393.97/1394.38	c  1527542    408     8597   662809   77    18240    8743   7936   1139 1340.83
1393.97/1394.38	c  1538903    408     6510   487899   74    14043    9618   5849   1142 1347.18
1393.97/1394.38	c  1556048    408     8932   674896   75    18919   10580   8271   1146 1356.66
1393.97/1394.38	c  1581867    397     7506   542767   72    15970   11639   6845   1151 1373.52
1393.97/1394.38	o 3	1394.06
1590.12/1590.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1590.12/1590.55	c  1614803    397    10400   725050   69    21781    3701   9739   1158 1394.06
1590.12/1590.55	c  1614904    387     2621   140930   53     6204    4072   1960   1158 1394.18
1590.12/1590.55	c  1615154    387     2871   162180   56     6703    4480   2210   1158 1394.21
1590.12/1590.55	c  1615630    387     3347   202953   60     7647    4929   2686   1158 1394.28
1590.12/1590.55	c  1616443    387     4160   270476   65     9282    5422   3499   1159 1394.46
1590.12/1590.55	c  1617764    387     5481   378269   69    11921    5965   4820   1159 1394.81
1590.12/1590.55	c  1619846    387     4459   310977   69     9860    6562   3798   1160 1395.65
1590.12/1590.55	c  1623070    387     4266   299153   70     9511    7219   3605   1161 1397.06
1590.12/1590.55	c  1628006    387     5465   394899   72    11903    7941   4804   1163 1399.20
1590.12/1590.55	c  1635513    387     4775   333495   69    10518    8736   4114   1166 1402.53
1590.12/1590.55	c  1646874    387     7175   528806   73    15327    9610   6514   1169 1408.12
1590.12/1590.55	c  1664019    354     9089   693233   76    19158   10572   8428   1174 1416.95
1590.12/1590.55	c  1689839    341     7650   505073   66    16247   11630   6989   1180 1431.71
1590.12/1590.55	c  1728672    341    10649   784235   73    22212   12794   9988   1184 1459.20
1590.12/1590.55	c  1787025    341    10004   726311   72    20956   14074   9343   1189 1502.04
1590.12/1590.55	c  1874657    338    11288   812713   71    23560   15482  10627   1195 1568.09
1590.12/1590.55	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
1590.12/1590.55	v x32 x33 x34 x35 -x36 x37 -x38 x39 x40 x41 -x42 -x43 -x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76 -x77
1590.12/1590.55	v -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x64 x65 -x66 -x67 -x68
1590.12/1590.55	v x69 -x70 -x71 -x72 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108
1590.12/1590.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1590.12/1590.55	c   78  1896718   9423  1932000     9682   565576   9021   1192 1590.18
1590.12/1590.55	c Objective: 3
1590.12/1590.55	s OPTIMUM FOUND
1590.12/1590.55	c Total time: 1590.18 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/node34/watcher-430310-1177993657 -o ROOT/results/node34/solver-430310-1177993657 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430310-1177993657/instance-430310-1177993657.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: 1.00 1.00 0.98 3/77 10175
/proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=3932 CPUtime=0
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 247281169 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 983 348 291 324 0 50 0

[startup+0.094305 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 10175
/proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=4964 CPUtime=0.08
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 652 0 0 0 8 0 0 0 18 0 1 0 247281169 5083136 619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 1241 619 312 324 0 310 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4964

[startup+0.101305 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 10175
/proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=5092 CPUtime=0.09
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 247281169 5214208 640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 1273 640 312 324 0 342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5092

[startup+0.301321 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 10175
/proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=7024 CPUtime=0.29
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 1166 0 0 0 29 0 0 0 19 0 1 0 247281169 7192576 1133 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 1756 1133 312 324 0 825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7024

[startup+0.701352 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 10175
/proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=9224 CPUtime=0.69
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 1702 0 0 0 68 1 0 0 22 0 1 0 247281169 9445376 1669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 2306 1669 312 324 0 1375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9224

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1769864/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=12704 CPUtime=1.5
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 2576 0 0 0 148 2 0 0 25 0 1 0 247281169 13008896 2543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 3176 2543 312 324 0 2245 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 12704

[startup+3.10154 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1765640/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=14384 CPUtime=3.09
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 3007 0 0 0 306 3 0 0 25 0 1 0 247281169 14729216 2974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 3596 2974 312 324 0 2665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14384

[startup+6.30279 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1765000/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=14772 CPUtime=6.29
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 3102 0 0 0 626 3 0 0 25 0 1 0 247281169 15126528 3069 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 3693 3069 312 324 0 2762 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14772

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1764312/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=16708 CPUtime=12.68
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 3601 0 0 0 1264 4 0 0 25 0 1 0 247281169 17108992 3568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 4177 3568 312 324 0 3246 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16708

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1760600/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=19284 CPUtime=25.48
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 4230 0 0 0 2542 6 0 0 25 0 1 0 247281169 19746816 4197 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 4821 4197 312 324 0 3890 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19284

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1760408/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=19508 CPUtime=51.08
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 4292 0 0 0 5098 10 0 0 25 0 1 0 247281169 19976192 4259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 4877 4259 312 324 0 3946 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19508

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1754520/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=25472 CPUtime=102.27
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 5790 0 0 0 10209 18 0 0 25 0 1 0 247281169 26083328 5757 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 6368 5757 312 324 0 5437 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25472

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1753432/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=26564 CPUtime=162.26
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6058 0 0 0 16196 30 0 0 25 0 1 0 247281169 27201536 6025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 6641 6025 312 324 0 5710 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26564

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1750744/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=29216 CPUtime=222.24
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6720 0 0 0 22185 39 0 0 25 0 1 0 247281169 29917184 6687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 7304 6687 312 324 0 6373 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 29216

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1750744/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=29200 CPUtime=282.23
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6720 0 0 0 28176 47 0 0 25 0 1 0 247281169 29900800 6687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 7300 6687 312 324 0 6369 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 29200

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1750744/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=29192 CPUtime=342.21
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6720 0 0 0 34167 54 0 0 25 0 1 0 247281169 29892608 6687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8163045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 7298 6687 312 324 0 6367 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 29192

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1747800/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=32088 CPUtime=402.2
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7440 0 0 0 40158 62 0 0 25 0 1 0 247281169 32858112 7407 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551234 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8022 7407 312 324 0 7091 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 32088

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1746456/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=33464 CPUtime=462.18
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7788 0 0 0 46149 69 0 0 25 0 1 0 247281169 34267136 7755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8366 7755 312 324 0 7435 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 33464

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1746456/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=33464 CPUtime=522.17
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7788 0 0 0 52142 75 0 0 25 0 1 0 247281169 34267136 7755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8366 7755 312 324 0 7435 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 33464

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1746264/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=33672 CPUtime=582.15
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7841 0 0 0 58134 81 0 0 25 0 1 0 247281169 34480128 7808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8418 7808 312 324 0 7487 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 33672

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10176
/proc/meminfo: memFree=1745304/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34580 CPUtime=642.14
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8067 0 0 0 64124 90 0 0 25 0 1 0 247281169 35409920 8034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8645 8034 312 324 0 7714 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 34580


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

/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=942.07
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 94071 136 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 34124

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=1002.06
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 100062 144 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 34124

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=1062.05
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 106054 151 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 34124

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=1122.03
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 112043 160 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 34124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=1182.01
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 118033 168 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 34124

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=1242
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 124024 176 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 34124

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=1301.99
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 130017 182 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 34124

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34124 CPUtime=1361.97
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 136007 190 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8531 7926 313 324 0 7600 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 34124

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34092 CPUtime=1421.97
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 141994 203 0 0 25 0 1 0 247281169 34910208 7918 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8523 7918 313 324 0 7592 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 34092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1481.95
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 147984 211 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 34084

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1541.93
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 153972 221 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 34084

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

[startup+1561.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1561.12
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 155889 223 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1561.12
Current children cumulated vsize (KiB) 34084

[startup+1574.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1573.93
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 157167 226 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1573.93
Current children cumulated vsize (KiB) 34084

[startup+1580.71 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1580.32
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 157806 226 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1580.32
Current children cumulated vsize (KiB) 34084

[startup+1587.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1586.72
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158445 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1586.72
Current children cumulated vsize (KiB) 34084

[startup+1588.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1588.32
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158605 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1588.32
Current children cumulated vsize (KiB) 34084

[startup+1589.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1589.12
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158685 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1589.12
Current children cumulated vsize (KiB) 34084

[startup+1590.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1589.92
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158765 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1589.92
Current children cumulated vsize (KiB) 34084

[startup+1590.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 10178
/proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956
[pid=10175] ppid=10173 vsize=34084 CPUtime=1590.12
/proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158785 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10175/statm: 8521 7916 313 324 0 7590 0
Current children cumulated CPU time (s) 1590.12
Current children cumulated vsize (KiB) 34084

Child status: 0
Real time (s): 1590.56
CPU time (s): 1590.19
CPU user time (s): 1587.91
CPU system time (s): 2.28465
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 34580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1587.91
system time used= 2.28465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8069
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= 11
involuntary context switches= 2948

runsolver used 1.24181 second user time and 3.43148 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Tue May  1 04:27:37 UTC 2007

IDJOB= 430310
IDBENCH= 47971
IDSOLVER= 163
FILE ID= node34/430310-1177993657

PBS_JOBID= 4728208

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=347-P1=137-P2=419-P3=449-P4=47-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430310-1177993657/instance-430310-1177993657.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-430310-1177993657 -o ROOT/results/node34/solver-430310-1177993657 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430310-1177993657/instance-430310-1177993657.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  39b4faf02952fa93fd33b15cbf6e7d18

RANDOM SEED= 975857293

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1776872 kB
Buffers:         32628 kB
Cached:         158236 kB
SwapCached:       3140 kB
Active:          94268 kB
Inactive:       120312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776872 kB
SwapTotal:     4192956 kB
SwapFree:      4159588 kB
Dirty:            6688 kB
Writeback:           0 kB
Mapped:          30320 kB
Slab:            49760 kB
Committed_AS:  1803436 kB
PageTables:       1976 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node34 on Tue May  1 04:54:08 UTC 2007