Trace number 452904

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 1521.78 1522.71

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.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/452904-1177993721/instance-452904-1177993721.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.
703.05/703.55	c      100    432      761    11573   15     2535    4058    100   6250 0.02
703.05/703.55	c      250    432      911    26138   28     2763    4464    250   6578 0.04
703.05/703.55	c      476    432     1137    42434   37     3226    4911    476   8206 0.06
703.05/703.55	c      814    432     1475    68035   46     3910    5403    814   8847 0.09
703.05/703.55	c     1323    432     1984   114800   57     4900    5944   1323   9450 0.14
703.05/703.55	c     2087    432     2748   182307   66     6434    6539   2087   8623 0.24
703.05/703.55	c     3234    432     3895   282429   72     8813    7193   3234   7700 0.42
703.05/703.55	c     4956    432     5617   414837   73    12231    7913   4956   5907 0.84
703.05/703.55	c     7540    432     8201   626163   76    17346    8705   7540   5272 1.43
703.05/703.55	c    11419    432     7567   540719   71    16006    9576   6906   4434 2.58
703.05/703.55	c    17242    432     8532   597387   70    17930   10534   7871   3362 5.13
703.05/703.55	c    25979    432     6593   442955   67    14071   11588   5932   2470 10.51
703.05/703.55	c    39090    432     7333   560903   76    15601   12747   6672   2413 16.19
703.05/703.55	c    58761    432     7510   526119   70    15964   14022   6849   2317 25.36
703.05/703.55	c    88271    432     8665   604615   69    18190   15425   8004   1957 45.09
703.05/703.55	c   132542    432    14009   985070   70    28880   16968  13348   1654 80.12
703.05/703.55	c   198952    432    10134   868307   85    21211   18665   9473   1548 128.48
703.05/703.55	c   298572    432    13645  1101388   80    28192   20532  12984   1537 194.13
703.05/703.55	c   448008    432    15229  1192692   78    31438   22586  14568   1317 339.95
703.05/703.55	c   672166    432    14917  1211149   81    30736   24845  14256   1100 610.78
703.05/703.55	o 147	703.111
717.13/717.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
717.13/717.61	c   772425    431    15484  1233095   79    31934    3707  14823   1098 703.11
717.13/717.61	c   772525    431     2618   167314   63     6255    4078   1957   1098 703.26
717.13/717.61	c   772775    431     2868   188495   65     6753    4486   2207   1098 703.28
717.13/717.61	c   773252    431     3345   228986   68     7696    4935   2684   1099 703.35
717.13/717.61	c   774067    431     4160   298128   71     9319    5429   3499   1100 703.50
717.13/717.61	c   775388    431     5481   406324   74    11930    5972   4820   1101 703.87
717.13/717.61	c   777470    431     4492   319178   71     9962    6570   3831   1103 704.61
717.13/717.61	c   780694    431     4349   304763   70     9623    7228   3688   1105 705.93
717.13/717.61	c   785631    431     5593   410868   73    12155    7951   4932   1109 707.90
717.13/717.61	c   793137    431     4640   332003   71    10298    8747   3979   1116 710.29
717.13/717.61	c   804498    431     6928   524056   75    14860    9622   6267   1125 714.53
717.13/717.61	o 137	717.15
1275.50/1276.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1275.50/1276.30	c   812893    431    10236   819278   80    21455    3707   9575   1133 717.15
1275.50/1276.30	c   812993    431     2618   167527   63     6279    4078   1957   1133 717.22
1275.50/1276.30	c   813243    431     2868   189490   66     6718    4486   2207   1133 717.24
1275.50/1276.30	c   813718    431     3343   231011   69     7711    4935   2682   1134 717.30
1275.50/1276.30	c   814531    431     4156   300675   72     9285    5429   3495   1135 717.44
1275.50/1276.30	c   815852    431     5477   411973   75    11982    5972   4816   1136 717.76
1275.50/1276.30	c   817934    431     4471   322397   72     9948    6570   3810   1138 718.46
1275.50/1276.30	c   821160    431     4025   299190   74     8998    7228   3364   1141 719.37
1275.50/1276.30	c   826096    420     5141   378121   73    11324    7951   4480   1146 720.50
1275.50/1276.30	c   833602    420     8586   664199   77    18176    8747   7925   1150 724.27
1275.50/1276.30	c   844963    420     6547   493960   75    14097    9622   5886   1157 730.12
1275.50/1276.30	c   862107    420     8741   659789   75    18457   10585   8080   1163 740.98
1275.50/1276.30	c   887926    420     6424   448611   69    13808   11644   5763   1181 751.53
1275.50/1276.30	c   926759    420     9367   702813   75    19687   12809   8706   1194 775.98
1275.50/1276.30	c   985112    420     7070   503813   71    15184   14090   6409   1222 806.03
1275.50/1276.30	c  1072744    420     8618   645477   74    18251   15500   7957   1234 869.21
1275.50/1276.30	c  1204297    420    11125   783084   70    23279   17051  10464   1226 981.64
1275.50/1276.30	c  1401729    419     9193   620893   67    19389   18757   8532   1203 1164.83
1275.50/1276.30	o 33	1275.51
1334.16/1335.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1334.16/1335.08	c  1506834    419    19045  1425484   74    39145    3705  18384   1181 1275.51
1334.16/1335.08	c  1506934    419     2620   149600   57     6251    4076   1959   1181 1275.78
1334.16/1335.08	c  1507185    419     2871   172406   60     6732    4484   2210   1181 1275.81
1334.16/1335.08	c  1507660    419     3346   214697   64     7724    4933   2685   1181 1275.87
1334.16/1335.08	c  1508474    419     4160   284735   68     9326    5427   3499   1182 1276.04
1334.16/1335.08	c  1509794    408     5480   398027   72    11977    5970   4819   1182 1276.33
1334.16/1335.08	c  1511875    408     4203   336290   80     9370    6568   3542   1184 1276.74
1334.16/1335.08	c  1515098    408     3952   276282   69     8900    7225   3291   1185 1277.61
1334.16/1335.08	c  1520035    408     5169   377410   73    11390    7948   4508   1187 1279.61
1334.16/1335.08	c  1527542    408     8597   662809   77    18240    8743   7936   1189 1283.66
1334.16/1335.08	c  1538903    408     6510   487899   74    14043    9618   5849   1193 1289.68
1334.16/1335.08	c  1556048    408     8932   674896   75    18919   10580   8271   1198 1298.73
1334.16/1335.08	c  1581867    397     7506   542767   72    15970   11639   6845   1203 1314.69
1334.16/1335.08	o 3	1334.25
1521.77/1522.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1521.77/1522.70	c  1614803    397    10400   725050   69    21781    3701   9739   1210 1334.25
1521.77/1522.70	c  1614904    387     2621   140930   53     6204    4072   1960   1210 1334.37
1521.77/1522.70	c  1615154    387     2871   162180   56     6703    4480   2210   1210 1334.40
1521.77/1522.70	c  1615630    387     3347   202953   60     7647    4929   2686   1210 1334.48
1521.77/1522.70	c  1616443    387     4160   270476   65     9282    5422   3499   1211 1334.64
1521.77/1522.70	c  1617764    387     5481   378269   69    11921    5965   4820   1211 1334.97
1521.77/1522.70	c  1619846    387     4459   310977   69     9860    6562   3798   1212 1335.78
1521.77/1522.70	c  1623070    387     4266   299153   70     9511    7219   3605   1213 1337.12
1521.77/1522.70	c  1628006    387     5465   394899   72    11903    7941   4804   1215 1339.14
1521.77/1522.70	c  1635513    387     4775   333495   69    10518    8736   4114   1218 1342.26
1521.77/1522.70	c  1646874    387     7175   528806   73    15327    9610   6514   1222 1347.48
1521.77/1522.70	c  1664019    354     9089   693233   76    19158   10572   8428   1227 1355.92
1521.77/1522.70	c  1689839    341     7650   505073   66    16247   11630   6989   1233 1369.89
1521.77/1522.70	c  1728672    341    10649   784235   73    22212   12794   9988   1238 1396.19
1521.77/1522.70	c  1787025    341    10004   726311   72    20956   14074   9343   1243 1437.31
1521.77/1522.70	c  1874657    338    11288   812713   71    23560   15482  10627   1249 1500.58
1521.77/1522.70	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
1521.77/1522.70	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
1521.77/1522.70	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
1521.77/1522.70	v x69 -x70 -x71 -x72 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108
1521.77/1522.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1521.77/1522.70	c   78  1896718   9423  1932000     9682   565576   9021   1246 1521.78
1521.77/1522.70	c Objective: 3
1521.77/1522.70	s OPTIMUM FOUND
1521.77/1522.70	c Total time: 1521.78 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/node14/watcher-452904-1177993721 -o ROOT/results/node14/solver-452904-1177993721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452904-1177993721/instance-452904-1177993721.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 13628
/proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=19548 CPUtime=0
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 334 0 0 0 0 0 0 0 19 0 1 0 247289872 20017152 304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 4889 309 278 324 0 3957 0

[startup+0.0323781 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 13628
/proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=4448 CPUtime=0.02
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 510 0 0 0 2 0 0 0 19 0 1 0 247289872 4554752 478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 1112 478 310 324 0 182 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4448

[startup+0.101383 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 13628
/proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=5092 CPUtime=0.09
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 686 0 0 0 9 0 0 0 19 0 1 0 247289872 5214208 654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 1273 654 310 324 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5092

[startup+0.301403 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 13628
/proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=7284 CPUtime=0.29
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 1221 0 0 0 29 0 0 0 21 0 1 0 247289872 7458816 1189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 1821 1189 310 324 0 891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7284

[startup+0.701441 s]
/proc/loadavg: 0.99 0.97 0.99 3/77 13628
/proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=9356 CPUtime=0.69
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 1756 0 0 0 69 0 0 0 25 0 1 0 247289872 9580544 1724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 2339 1724 310 324 0 1409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9356

[startup+1.50152 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1721592/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=13224 CPUtime=1.49
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 2721 0 0 0 148 1 0 0 25 0 1 0 247289872 13541376 2689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572594 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 3306 2689 310 324 0 2376 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13224

[startup+3.10167 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1717496/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=14384 CPUtime=3.09
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 3004 0 0 0 308 1 0 0 25 0 1 0 247289872 14729216 2972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360231 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 3596 2972 310 324 0 2666 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14384

[startup+6.30197 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1717048/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=14772 CPUtime=6.28
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 3099 0 0 0 627 1 0 0 25 0 1 0 247289872 15126528 3067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 3693 3067 310 324 0 2763 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14772

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1714744/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=17612 CPUtime=12.69
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 3815 0 0 0 1267 2 0 0 25 0 1 0 247289872 18034688 3783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550767 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 4403 3783 310 324 0 3473 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17612

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1712632/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=19252 CPUtime=25.48
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 4227 0 0 0 2546 2 0 0 25 0 1 0 247289872 19714048 4195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572562 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 4813 4195 310 324 0 3883 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19252

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1711800/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=20672 CPUtime=51.05
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 4580 0 0 0 5103 2 0 0 25 0 1 0 247289872 21168128 4548 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 5168 4548 310 324 0 4238 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 20672

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1706360/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=25472 CPUtime=102.23
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 5787 0 0 0 10220 3 0 0 25 0 1 0 247289872 26083328 5755 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 6368 5755 310 324 0 5438 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 25472

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1704248/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=27596 CPUtime=162.19
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6309 0 0 0 16215 4 0 0 25 0 1 0 247289872 28258304 6277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 6899 6277 310 324 0 5969 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 27596

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1702648/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=29200 CPUtime=222.15
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6717 0 0 0 22211 4 0 0 25 0 1 0 247289872 29900800 6685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 7300 6685 310 324 0 6370 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 29200

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1702648/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=29200 CPUtime=282.11
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6717 0 0 0 28207 4 0 0 25 0 1 0 247289872 29900800 6685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 7300 6685 310 324 0 6370 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 29200

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1702584/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=29968 CPUtime=342.09
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6905 0 0 0 34204 5 0 0 25 0 1 0 247289872 30687232 6873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 7492 6873 310 324 0 6562 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 29968

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1698488/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=33464 CPUtime=402.04
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7785 0 0 0 40198 6 0 0 25 0 1 0 247289872 34267136 7753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360020 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8366 7753 310 324 0 7436 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 33464

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1698424/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=33464 CPUtime=462
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7785 0 0 0 46194 6 0 0 25 0 1 0 247289872 34267136 7753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7368326 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8366 7753 310 324 0 7436 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 33464

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1698168/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=33696 CPUtime=521.97
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7838 0 0 0 52191 6 0 0 25 0 1 0 247289872 34504704 7806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8424 7806 310 324 0 7494 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 33696

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1698168/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=33672 CPUtime=581.94
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7838 0 0 0 58187 7 0 0 25 0 1 0 247289872 34480128 7806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360863 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8418 7806 310 324 0 7488 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 33672

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13629
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34560 CPUtime=641.9
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8064 0 0 0 64183 7 0 0 25 0 1 0 247289872 35389440 8032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8640 8032 310 324 0 7710 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 34560


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

/proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=881.74
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 88166 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 34124

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=941.7
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 94162 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 34124

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=1001.66
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 100158 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 34124

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=1061.62
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 106154 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550732 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 1061.62
Current children cumulated vsize (KiB) 34124

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=1121.59
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 112150 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 34124

[startup+1182.3 s]
/proc/loadavg: 1.05 0.99 0.99 2/78 13631
/proc/meminfo: memFree=1697336/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=1181.56
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 118147 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 34124

[startup+1242.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=1241.52
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 124143 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550945 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 1241.52
Current children cumulated vsize (KiB) 34124

[startup+1302.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 13631
/proc/meminfo: memFree=1697144/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34124 CPUtime=1301.48
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 130139 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8531 7924 311 324 0 7601 0
Current children cumulated CPU time (s) 1301.48
Current children cumulated vsize (KiB) 34124

[startup+1362.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34092 CPUtime=1361.45
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 136136 9 0 0 25 0 1 0 247289872 34910208 7916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8523 7916 311 324 0 7593 0
Current children cumulated CPU time (s) 1361.45
Current children cumulated vsize (KiB) 34092

[startup+1422.31 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1421.42
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 142133 9 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1421.42
Current children cumulated vsize (KiB) 34084

[startup+1482.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1481.39
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 148129 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1481.39
Current children cumulated vsize (KiB) 34084

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

[startup+1484.7 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1483.79
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 148369 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1483.79
Current children cumulated vsize (KiB) 34084

[startup+1497.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1496.58
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 149648 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1496.58
Current children cumulated vsize (KiB) 34084

[startup+1510.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1509.38
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 150928 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1509.38
Current children cumulated vsize (KiB) 34084

[startup+1516.7 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1515.77
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 151567 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1515.77
Current children cumulated vsize (KiB) 34084

[startup+1519.9 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1518.97
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 151887 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1518.97
Current children cumulated vsize (KiB) 34084

[startup+1521.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1520.57
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 152047 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1520.57
Current children cumulated vsize (KiB) 34084

[startup+1522.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1521.37
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 152127 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1521.37
Current children cumulated vsize (KiB) 34084

[startup+1522.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 13631
/proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956
[pid=13628] ppid=13626 vsize=34084 CPUtime=1521.77
/proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 152167 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13628/statm: 8521 7914 311 324 0 7591 0
Current children cumulated CPU time (s) 1521.77
Current children cumulated vsize (KiB) 34084

Child status: 0
Real time (s): 1522.71
CPU time (s): 1521.78
CPU user time (s): 1521.68
CPU system time (s): 0.106983
CPU usage (%): 99.9392
Max. virtual memory (cumulated for all children) (KiB): 34580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1521.68
system time used= 0.106983
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= 10
involuntary context switches= 32579

runsolver used 1.40279 second user time and 4.14137 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue May  1 04:28:41 UTC 2007

IDJOB= 452904
IDBENCH= 47971
IDSOLVER= 199
FILE ID= node14/452904-1177993721

PBS_JOBID= 4728211

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  39b4faf02952fa93fd33b15cbf6e7d18

RANDOM SEED= 746648512

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1728792 kB
Buffers:         41828 kB
Cached:         190420 kB
SwapCached:      11600 kB
Active:          89608 kB
Inactive:       166192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1728792 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            6684 kB
Writeback:           0 kB
Mapped:          30580 kB
Slab:            56852 kB
Committed_AS:  7963116 kB
PageTables:       1788 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 node14 on Tue May  1 04:54:04 UTC 2007