Trace number 3266778

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-stSAT 40.6468 40.6477

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
MD5SUM5114ac23a1af2282bd254f062acfce74
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.118981
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses35586
Sum of the clauses size71672
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 235561
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3266778-1303583574.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:       35586
0.00/0.00	c -- clauses added:            0 learnts,        35586 normals,            0 xors
0.00/0.00	c -- vars added        550
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       550        25     35561         0     71672         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/25/25 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.00 s
0.00/0.03	c lits-rem:       186  cl-subs:        0  v-elim:     25  v-fix:    0  time:  0.01 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:       0 undec:      25 neg:     525
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       525      1159     33877         0     96046         0   no data   no data  --
0.19/0.22	c  N dy    15      4405       525      1159     33882      4214     96046    224069      7.57      7.97  --
0.39/0.41	c  N dy    34      8560       525      1159     33884      5820     96046    230342      7.99      8.68  --
0.59/0.63	c  N dy    47     12943       525      1159     33893      5969     96046    191303      7.69      8.10  --
0.79/0.86	c  N dy    62     17414       524      1159     33917     10188     96046    305213      7.47      8.10  --
0.99/1.07	c  N dy    90     21532       524      1159     33923      8759     96046    263559      7.72      8.19  --
1.19/1.26	c  F st   105     25002       524      1159     33926     12135     96046    385722      7.76   no data  --
1.29/1.30	c  N st   107     25629       524      1159     33741     12436     95649    400491      7.76   no data  --
1.49/1.51	c  N dy   111     30000       524      1159     33744     10190     95649    314308      7.76   no data  --
1.49/1.51	c  S st   111     30000       524      1159     33744     10190     95649    314308      7.76   no data  --
1.49/1.54	c  S st   111     30502       524      1159     33744     10691     95649    340264      7.76   no data  --
1.49/1.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1.49/1.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.59/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:      0 BRemN:      0 P:  3.2M T:  0.06
1.59/1.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.79/2.81	c subs with bin:      580  lits-rem:      3565  v-fix:    0  time:  1.19 s
2.79/2.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    524 time:  0.00 s
2.79/2.82	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.00 s
3.59/3.68	c lits-rem:      2162  cl-subs:     1221  v-elim:      0  v-fix:    0  time:  0.86 s
3.69/3.74	c asymm  cl-useful: 412/1134/1159 lits-rem:2488 time: 0.07
3.69/3.74	c calculated reachability. Time: 0.00
3.69/3.74	c  N dy   111     30502       524      1159     33756      8863     90513    310462      7.76   no data  --
3.99/4.01	c  N dy   131     34794       522      1159     33774     12957     90513    457630      7.79      8.44  --
4.19/4.27	c  N dy   162     38894       522      1159     33776      9443     90513    265135      7.94     11.37  --
4.49/4.51	c  N dy   188     43090       522      1159     33777     13481     90512    407374      7.99      8.45  --
4.59/4.68	c  S st   202     45754       521      1159     33789     16005     90512    485626      8.06      8.26  --
4.69/4.71	c  S st   202     46255       521      1159     33789     16499     90512    511695      8.06   no data  --
4.69/4.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.69/4.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.69/4.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.0M T:  0.07
4.79/4.81	c bin-w-bin subsume rem            4 bins  time:  0.00 s
5.99/6.00	c subs with bin:       56  lits-rem:       151  v-fix:    0  time:  1.19 s
5.99/6.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    521 time:  0.00 s
5.99/6.00	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.00 s
8.29/8.36	c lits-rem:      2061  cl-subs:      806  v-elim:      0  v-fix:    0  time:  2.35 s
8.29/8.36	c vivif2 --  cl tried     1133 cl shrink       42 lits rem         42 time: 0.00
8.29/8.37	c vivif2 --  cl tried    12906 cl shrink       59 lits rem         67 time: 0.01
8.39/8.44	c asymm  cl-useful: 0/1133/1133 lits-rem:0 time: 0.08
8.39/8.45	c calculated reachability. Time: 0.00
8.39/8.45	c  N dy   202     46255       521      1133     33250     12905     88989    454954      8.06   no data  --
8.69/8.71	c  N dy   216     50972       520      1133     33263     10287     88989    317562      8.01      8.44  --
8.89/8.96	c  N dy   237     55055       520      1133     33267     14191     88989    458359      8.01      8.48  --
9.19/9.28	c  N dy   254     59199       519      1133     33286      9277     88989    244157      7.98      8.48  --
9.49/9.52	c  N dy   275     63616       519      1133     33289     13519     88989    407291      7.97      8.65  --
9.79/9.81	c  N dy   300     67918       519      1133     33298     17639     88989    558339      7.98      8.50  --
9.89/9.93	c  S st   302     69383       519      1133     33300     19050     88989    599145      7.96      6.47  --
9.89/9.96	c  S st   302     69886       519      1133     33300     19549     88989    624128      7.96   no data  --
9.89/9.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.89/9.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.99/10.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  4.5M T:  0.08
9.99/10.07	c bin-w-bin subsume rem            1 bins  time:  0.00 s
11.19/11.26	c subs with bin:      221  lits-rem:       665  v-fix:    0  time:  1.19 s
11.19/11.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    519 time:  0.00 s
11.19/11.27	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.00 s
13.58/13.67	c lits-rem:      3066  cl-subs:     1343  v-elim:      0  v-fix:    0  time:  2.41 s
13.58/13.68	c vivif2 --  cl tried     1133 cl shrink        5 lits rem          5 time: 0.00
13.58/13.69	c vivif2 --  cl tried    17298 cl shrink      608 lits rem        631 time: 0.01
13.68/13.79	c asymm  cl-useful: 0/1133/1133 lits-rem:0 time: 0.10
13.68/13.79	c calculated reachability. Time: 0.00
13.68/13.79	c  N dy   302     69886       519      1133     32935     17298     88229    584660      7.96   no data  --
14.09/14.15	c  N dy   326     74679       519      1133     32946     12109     88229    336370      7.97      8.41  --
14.39/14.48	c  N dy   351     79688       517      1133     32969     16855     88229    483713      7.99      8.43  --
14.79/14.86	c  N dy   380     84896       517      1133     32980     21851     88229    680111      7.99      8.53  --
14.99/15.03	c  F st   399     87500       517      1133     32980     13288     88229    345123      8.03      8.40  --
15.19/15.24	c  N st   404     90795       517      1133     32606     15268     87492    421902      8.03   no data  --
15.59/15.63	c  N dy   430     96587       517      1133     32610     20811     87492    620968      8.04      8.58  --
15.99/16.05	c  N dy   468    102750       517      1133     32611     15050     87492    399109      8.10     12.16  --
16.19/16.20	c  S st   488    104833       517      1133     32611     17020     87492    459008      8.13   no data  --
16.19/16.23	c  S st   488    105334       517      1133     32611     17519     87492    480147      8.13   no data  --
16.19/16.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.19/16.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.29/16.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  3.7M T:  0.07
16.29/16.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.39/17.47	c subs with bin:      154  lits-rem:       367  v-fix:    0  time:  1.16 s
17.39/17.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    517 time:  0.00 s
17.39/17.48	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.00 s
19.59/19.68	c lits-rem:      1539  cl-subs:      844  v-elim:      0  v-fix:    0  time:  2.20 s
19.59/19.68	c vivif2 --  cl tried     1133 cl shrink        3 lits rem          3 time: 0.00
19.59/19.69	c vivif2 --  cl tried    16496 cl shrink      187 lits rem        197 time: 0.01
19.70/19.77	c asymm  cl-useful: 0/1133/1133 lits-rem:0 time: 0.08
19.70/19.77	c calculated reachability. Time: 0.00
19.70/19.77	c  N dy   488    105334       517      1133     32615     16495     87486    463541      8.13   no data  --
20.19/20.24	c  N dy   516    112101       517      1133     32627     22905     87486    674537      8.11      8.89  --
20.69/20.75	c  N dy   551    119347       516      1133     32645     16846     87486    432302      8.11      8.54  --
21.19/21.27	c  N dy   581    126962       516      1133     32664     24032     87486    633716      8.09      8.56  --
21.39/21.42	c Finding binary XORs  T:     0.00 s  found:       0
21.79/21.88	c  N dy   618    135614       513      1133     32510     17922     87102    426077      8.07      8.78  --
22.49/22.59	c  N dy   661    144404       513      1133     32515     26342     87102    678462      8.10      8.55  --
23.19/23.24	c  N dy   708    154033       513      1133     32520     20559     87102    442280      8.10      8.60  --
23.39/23.49	c  S st   730    158002       513      1133     32528     24363     87102    574480      8.11      7.79  --
23.49/23.52	c  S st   730    158509       513      1133     32528     24867     87102    595561      8.11   no data  --
23.49/23.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.49/23.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.59/23.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     17 BRemL:      9 BRemN:      0 P:  4.4M T:  0.08
23.59/23.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.79/24.81	c subs with bin:      892  lits-rem:      1436  v-fix:    0  time:  1.18 s
24.79/24.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    513 time:  0.00 s
24.79/24.81	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.00 s
27.39/27.41	c lits-rem:      2749  cl-subs:     1740  v-elim:      0  v-fix:    0  time:  2.60 s
27.39/27.41	c vivif2 --  cl tried     1111 cl shrink       38 lits rem         39 time: 0.00
27.39/27.42	c vivif2 --  cl tried    20121 cl shrink      915 lits rem       1989 time: 0.01
27.49/27.53	c asymm  cl-useful: 0/1111/1111 lits-rem:0 time: 0.10
27.49/27.53	c calculated reachability. Time: 0.00
27.49/27.53	c  N dy   730    158509       513      1111     32038     20115     85729    534573      8.11   no data  --
28.29/28.38	c  N dy   809    168648       511      1111     32049     29842     85729    881213      8.26      8.76  --
29.09/29.11	c  N dy   874    179786       510      1111     32056     25348     85729    597343      8.32      8.90  --
29.89/30.00	c  N dy   967    191410       510      1111     32057     19923     85729    437251      8.50      9.03  --
30.89/30.90	c  N dy  1063    203639       510      1111     32060     31594     85729    823110      8.66     17.95  --
31.90/31.96	c  N dy  1151    216661       510      1111     32064     26197     85729    671154      8.80     10.65  --
33.29/33.31	c  N dy  1236    230626       510      1111     32069     20573     85729    430546      8.85      9.43  --
33.79/33.84	c  S st  1286    237763       510      1111     32074     27397     85729    652076      8.90   no data  --
33.79/33.88	c  S st  1286    238267       510      1111     32074     27898     85729    675979      8.90   no data  --
33.79/33.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
33.79/33.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
33.89/33.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      4 BRemN:      0 P:  5.0M T:  0.09
33.99/34.00	c bin-w-bin subsume rem            6 bins  time:  0.00 s
35.09/35.16	c subs with bin:      279  lits-rem:       266  v-fix:    0  time:  1.17 s
35.09/35.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    510 time:  0.00 s
35.09/35.17	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.00 s
37.59/37.62	c lits-rem:      3018  cl-subs:     1578  v-elim:      0  v-fix:    0  time:  2.45 s
37.59/37.62	c vivif2 --  cl tried     1111 cl shrink        6 lits rem          7 time: 0.00
37.59/37.64	c vivif2 --  cl tried    24885 cl shrink     1633 lits rem       4296 time: 0.02
37.69/37.75	c asymm  cl-useful: 0/1111/1111 lits-rem:0 time: 0.11
37.69/37.75	c calculated reachability. Time: 0.00
37.69/37.75	c  N dy  1286    238267       510      1111     31545     24861     84666    630243      8.90   no data  --
39.19/39.24	c  N dy  1358    253778       508      1111     31568     20323     84666    431075      8.89      9.37  --
40.59/40.64	c  E dy  1428    269977         0      1111     31576     35711     84666    916661      8.90   no data  --
40.59/40.64	c Verified 1111 clauses.
40.59/40.64	c Solution needs extension. Extending.
40.59/40.64	c Verified 1111 clauses.
40.59/40.64	c num threads              : 1          
40.59/40.64	c restarts                 : 1428       
40.59/40.64	c dynamic restarts         : 1410       
40.59/40.64	c static restarts          : 18         
40.59/40.64	c full restarts            : 2          
40.59/40.64	c total simplify time      : 0.00       
40.59/40.64	c learnts DL2              : 0          
40.59/40.64	c learnts size 2           : 35985      
40.59/40.64	c learnts size 1           : 18          (3.27      % of vars)
40.59/40.64	c filedLit time            : 0.47        (1.15      % time)
40.59/40.64	c v-elim SatELite          : 25          (4.55      % vars)
40.59/40.64	c SatELite time            : 12.84       (31.62     % time)
40.59/40.64	c v-elim xor               : 0           (0.00      % vars)
40.59/40.64	c xor elim time            : 0.01        (0.02      % time)
40.59/40.64	c num binary xor trees     : 0          
40.59/40.64	c binxor trees' crown      : 0           (nan       leafs/tree)
40.59/40.64	c bin xor find time        : 0.00       
40.59/40.64	c OTF clause improved      : 11821       (0.04      clauses/conflict)
40.59/40.64	c OTF impr. size diff      : 13498       (1.14       lits/clause)
40.59/40.64	c OTF cl watch-shrink      : 214857      (0.80      clauses/conflict)
40.59/40.64	c OTF cl watch-sh-lit      : 2194158     (10.21      lits/clause)
40.59/40.64	c tried to recurMin cls    : 82050       (30.39      % of conflicts)
40.59/40.64	c updated cache            : 0           (0.00       lits/tried recurMin)
40.59/40.64	c clauses over max glue    : 0           (0.00      % of all clauses)
40.59/40.64	c conflicts                : 269977      (6648.73   / sec)
40.59/40.64	c decisions                : 403494      (0.37      % random)
40.59/40.64	c bogo-props               : 2447389375  (60271877.61 / sec)
40.59/40.64	c conflict literals        : 9049224     (46.83     % deleted)
40.59/40.64	c Memory used              : 69.55       MB
40.59/40.64	c CPU time                 : 40.61       s
40.59/40.64	s SATISFIABLE
40.59/40.64	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 550 0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3266778-1303583574/watcher-3266778-1303583574 -o /tmp/evaluation-result-3266778-1303583574/solver-3266778-1303583574 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3266778-1303583574.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 2.33 3.25 4/176 28495
/proc/meminfo: memFree=14760888/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=30476 CPUtime=0 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 735 0 0 0 0 0 0 0 22 0 1 0 450772717 31207424 674 33554432000 4194304 4650387 140735585247808 18446744073709551615 254261277381 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 7619 677 327 112 0 2584 0

[startup+0.075744 s]
/proc/loadavg: 0.98 2.33 3.25 4/176 28495
/proc/meminfo: memFree=14760888/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=31956 CPUtime=0.07 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 1250 0 0 0 7 0 0 0 22 0 1 0 450772717 32722944 1187 33554432000 4194304 4650387 140735585247808 18446744073709551615 4315069 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 7989 1187 378 112 0 2954 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31956

[startup+0.100737 s]
/proc/loadavg: 0.98 2.33 3.25 4/176 28495
/proc/meminfo: memFree=14760888/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=31956 CPUtime=0.09 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 1309 0 0 0 9 0 0 0 22 0 1 0 450772717 32722944 1246 33554432000 4194304 4650387 140735585247808 18446744073709551615 4520332 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 7989 1246 378 112 0 2954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31956

[startup+0.300714 s]
/proc/loadavg: 0.98 2.33 3.25 4/176 28495
/proc/meminfo: memFree=14760888/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=33008 CPUtime=0.29 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 1770 0 0 0 29 0 0 0 23 0 1 0 450772717 33800192 1400 33554432000 4194304 4650387 140735585247808 18446744073709551615 4366874 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 8252 1400 380 112 0 3217 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33008

[startup+0.700642 s]
/proc/loadavg: 0.98 2.33 3.25 4/176 28495
/proc/meminfo: memFree=14760888/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=33764 CPUtime=0.69 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 2335 0 0 0 69 0 0 0 25 0 1 0 450772717 34574336 1588 33554432000 4194304 4650387 140735585247808 18446744073709551615 4365325 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 8441 1588 380 112 0 3406 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33764

[startup+1.50049 s]
/proc/loadavg: 0.98 2.33 3.25 5/190 28512
/proc/meminfo: memFree=14713292/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=34248 CPUtime=1.49 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 3382 0 0 0 149 0 0 0 25 0 1 0 450772717 35069952 1781 33554432000 4194304 4650387 140735585247808 18446744073709551615 4365445 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 8562 1781 381 112 0 3527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34248

[startup+3.10021 s]
/proc/loadavg: 0.98 2.33 3.25 5/190 28512
/proc/meminfo: memFree=14699720/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=42612 CPUtime=3.09 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 5457 0 0 0 309 0 0 0 25 0 1 0 450772717 43634688 3856 33554432000 4194304 4650387 140735585247808 18446744073709551615 4439312 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 10653 3856 382 112 0 5618 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42612

[startup+6.30064 s]
/proc/loadavg: 1.22 2.36 3.25 5/190 28512
/proc/meminfo: memFree=14641316/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=46528 CPUtime=6.29 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 7150 0 0 0 628 1 0 0 25 0 1 0 450772717 47644672 4911 33554432000 4194304 4650387 140735585247808 18446744073709551615 4439609 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 11632 4911 382 112 0 6597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46528

[startup+12.7005 s]
/proc/loadavg: 1.45 2.38 3.26 5/190 28512
/proc/meminfo: memFree=14632172/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=50476 CPUtime=12.69 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 9391 0 0 0 1268 1 0 0 25 0 1 0 450772717 51687424 5902 33554432000 4194304 4650387 140735585247808 18446744073709551615 4439604 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 12619 5902 382 112 0 7584 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50476

[startup+25.5002 s]
/proc/loadavg: 2.01 2.46 3.27 5/190 28513
/proc/meminfo: memFree=14605744/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=53072 CPUtime=25.49 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 14906 0 0 0 2547 2 0 0 25 0 1 0 450772717 54345728 6431 33554432000 4194304 4650387 140735585247808 18446744073709551615 4439604 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 13268 6431 382 112 0 8233 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53072

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

[startup+31.9071 s]
/proc/loadavg: 2.17 2.49 3.27 5/190 28513
/proc/meminfo: memFree=14579948/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=64220 CPUtime=31.9 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 18265 0 0 0 3187 3 0 0 25 0 1 0 450772717 65761280 7723 33554432000 4194304 4650387 140735585247808 18446744073709551615 4331852 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 16055 7723 382 112 0 11020 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 64220

[startup+35.1005 s]
/proc/loadavg: 2.32 2.51 3.28 5/190 28513
/proc/meminfo: memFree=14565812/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=64236 CPUtime=35.09 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 19547 0 0 0 3506 3 0 0 25 0 1 0 450772717 65777664 7861 33554432000 4194304 4650387 140735585247808 18446744073709551615 4436402 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 16059 7861 389 112 0 11024 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 64236

[startup+38.301 s]
/proc/loadavg: 2.45 2.54 3.28 5/190 28513
/proc/meminfo: memFree=14553516/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=64236 CPUtime=38.29 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 20047 0 0 0 3826 3 0 0 25 0 1 0 450772717 65777664 8361 33554432000 4194304 4650387 140735585247808 18446744073709551615 4365295 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 16059 8361 389 112 0 11024 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 64236

[startup+39.9007 s]
/proc/loadavg: 2.45 2.54 3.28 5/190 28513
/proc/meminfo: memFree=14547812/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=64336 CPUtime=39.89 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 21078 0 0 0 3986 3 0 0 25 0 1 0 450772717 65880064 8091 33554432000 4194304 4650387 140735585247808 18446744073709551615 4367204 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 16084 8091 389 112 0 11049 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (KiB) 64336

[startup+40.3006 s]
/proc/loadavg: 2.45 2.54 3.28 5/190 28513
/proc/meminfo: memFree=14547812/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=64336 CPUtime=40.29 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 21223 0 0 0 4026 3 0 0 25 0 1 0 450772717 65880064 8236 33554432000 4194304 4650387 140735585247808 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 16084 8236 389 112 0 11049 0
Current children cumulated CPU time (s) 40.29
Current children cumulated vsize (KiB) 64336

[startup+40.5006 s]
/proc/loadavg: 2.45 2.54 3.28 5/190 28513
/proc/meminfo: memFree=14547812/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=64336 CPUtime=40.49 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 21302 0 0 0 4046 3 0 0 25 0 1 0 450772717 65880064 8315 33554432000 4194304 4650387 140735585247808 18446744073709551615 4367213 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 16084 8315 389 112 0 11049 0
Current children cumulated CPU time (s) 40.49
Current children cumulated vsize (KiB) 64336

[startup+40.6006 s]
/proc/loadavg: 2.45 2.54 3.28 5/190 28513
/proc/meminfo: memFree=14535796/32951124 swapFree=67111528/67111528
[pid=28495] ppid=28493 vsize=64336 CPUtime=40.59 cores=5,7
/proc/28495/stat : 28495 (strangenight1-s) R 28493 28495 27245 0 -1 4202496 21346 0 0 0 4056 3 0 0 25 0 1 0 450772717 65880064 8359 33554432000 4194304 4650387 140735585247808 18446744073709551615 4366799 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/28495/statm: 16084 8359 389 112 0 11049 0
Current children cumulated CPU time (s) 40.59
Current children cumulated vsize (KiB) 64336

Child status: 10
Real time (s): 40.6477
CPU time (s): 40.6468
CPU user time (s): 40.6068
CPU system time (s): 0.039993
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 64336

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

runsolver used 0.056991 second user time and 0.173973 second system time

The end

Launcher Data

Begin job on node140 at 2011-04-23 20:32:54
IDJOB=3266778
IDBENCH=88213
IDSOLVER=1589
FILE ID=node140/3266778-1303583574
RUNJOBID= node140-1303583574-28472
PBS_JOBID= 13150322
Free space on /tmp= 72076 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p15-s58217873.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266778-1303583574/watcher-3266778-1303583574 -o /tmp/evaluation-result-3266778-1303583574/solver-3266778-1303583574 -C 2400 -W 1300 -M 7680  ./strangenight1-st HOME/instance-3266778-1303583574.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 5114ac23a1af2282bd254f062acfce74
RANDOM SEED=481652399

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14761336 kB
Buffers:       2358588 kB
Cached:       15208236 kB
SwapCached:          0 kB
Active:       10165136 kB
Inactive:      7465440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14761336 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           21648 kB
Writeback:           0 kB
AnonPages:       63628 kB
Mapped:          14428 kB
Slab:           495164 kB
PageTables:       5376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191488 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72048 MiB
End job on node140 at 2011-04-23 20:33:35