Trace number 3265365

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 TechDemo-Alpha-mtUNSAT 205.932 52.1021

General information on the benchmark

NameSAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
MD5SUM384c65902b197ca2c64d2ee8a3c64089
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.374942
Satisfiable
(Un)Satisfiability was proved
Number of variables62750
Number of clauses124752
Sum of the clauses size498502
Maximum clause length4
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2250
Number of clauses of size 30
Number of clauses of size 4124500
Number of clauses of size 50
Number of clauses of size over 50

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 Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3265365-1304181389.cnf'
0.00/0.00	c -- header says num vars:          62750
0.00/0.00	c -- header says num clauses:      124752
0.38/0.40	c -- clauses added:            0 learnts,       124752 normals,            0 xors
0.38/0.40	c -- vars added      62750
0.38/0.40	c Parsing time:  0.37 s
0.38/0.41	c  N st     0         0     62750    124499       251         0    498498         0   no data   no data  --
1.44/0.73	c asymm  cl-useful: 0/124496/124496 lits-rem:0 time: 0.94
3.43/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  2.00
3.43/1.27	c Calc non-exist non-lernt bins v-fix:     0 done:  31966 time:  0.05 s
3.43/1.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.43/1.28	c Subs w/ non-existent bins:      0 time:  0.05 s
3.82/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.82/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.82/1.37	c Removed useless bin:       0  fixed:     0  bprops:   0.25M  time:  0.01 s
5.02/1.67	c lits-rem:         0  cl-subs:        7  v-elim:    256  v-fix:    0  time:  1.21 s
5.02/1.67	c learnt bin added due to v-elim: 0
5.02/1.69	c Finding binary XORs  T:     0.05 s  found:       0
5.42/1.78	c Finding non-binary XORs:     0.34 s (found:       0, avg size: nan)
5.42/1.78	c calculated reachability. Time: 0.00
5.81/1.80	c Calc default polars -  time:   0.06 s pos:     468 undec:   61762 neg:     520
5.81/1.80	c =========================================================================================
5.81/1.80	c types(t): F = full restart, N = normal restart
5.81/1.80	c types(t): S = simplification begin/end, E = solution found
5.81/1.80	c restart types(rt): st = static, dy = dynamic
5.81/1.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
5.81/1.80	c  B st     0         0     62492    124484         4         0    497940         0   no data   no data  --
9.80/2.82	c Decided on static restart strategy
13.80/3.80	c  N dy    21      4057     62492    124484        67      3631    497790     23007      6.40      5.64  --
23.38/6.28	c  N dy    52      8163     62492    124484       161      7186    497615     45182      5.67      5.51  --
30.17/7.98	c  N dy    82     12189     62492    124484       388     10581    497416     67950      6.49      5.53  --
36.56/9.51	c  N dy   112     16275     62492    124484       515     13905    497184     89434      6.61      5.48  --
40.96/10.67	c  N dy   142     20377     62492    124484       617      8823    496998     43761      6.00      5.51  --
46.15/11.93	c  N dy   172     24409     62492    124484      2810     21437    497075     97386      6.33      5.49  --
50.96/13.19	c  N dy   202     28465     62492    124484      2901     24787    496834    118819      5.57      5.48  --
52.94/13.67	c  S st   214     30000     62492    124484      2929     26071    496759    127379      6.26      5.49  --
53.74/13.88	c  S st   214     30503     62492    124484      2984     26420    496700    129480      6.26      5.49  --
54.14/13.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
54.14/13.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.93/14.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.3M T:  3.00
56.93/14.67	c Calc non-exist non-lernt bins v-fix:     0 done:  31966 time:  0.05 s
56.93/14.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.93/14.68	c Subs w/ non-existent bins:    951 time:  0.06 s
57.33/14.73	c bin-w-bin subsume rem           82 bins  time:  0.01 s
57.33/14.75	c subs with bin:    28859  lits-rem:        20  v-fix:    0  time:  0.07 s
57.33/14.76	c Removed useless bin:       0  fixed:     0  bprops:   0.26M  time:  0.03 s
58.93/15.15	c lits-rem:      2638  cl-subs:     6007  v-elim:   7255  v-fix:    0  time:  1.58 s
58.93/15.15	c learnt bin added due to v-elim: 0
58.93/15.17	c vivif2 --  cl tried   109531 cl shrink        0 lits rem          0 time: 0.08
58.93/15.17	c vivif2 --  cl tried     3291 cl shrink        0 lits rem          0 time: 0.00
59.33/15.29	c asymm  cl-useful: 41/109531/109531 lits-rem:123 time: 0.47
59.33/15.30	c calculated reachability. Time: 0.01
59.74/15.30	c  N dy   214     30503     55237    109490       239      3291    438314     19209      6.26      5.49  --
59.74/15.30	c  F st   214     30503     55237    109490       239      3291    438314     19209      6.26      5.49  --
62.12/15.97	c Decided on static restart strategy
64.91/16.61	c  N dy   234     34515     55237    109490       308      6673    438155     42109      5.99      5.53  --
70.52/18.05	c  N dy   264     38619     55237    109490       392     10144    437963     64217      6.42      5.51  --
75.71/19.37	c  N dy   294     42678     55237    109490      3416     25978    438308    128886      5.86      5.50  --
79.70/20.38	c  S st   317     45754     55237    109490      3486     28577    438162    145430      6.40      5.50  --
80.90/20.62	c  S st   317     46256     55237    109490      3548     28899    438071    147211      6.40      5.50  --
80.90/20.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
80.90/20.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.69/21.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.8M T:  2.67
83.69/21.33	c Calc non-exist non-lernt bins v-fix:     0 done:  31966 time:  0.06 s
83.69/21.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
83.69/21.34	c Subs w/ non-existent bins:   2694 time:  0.06 s
83.69/21.38	c bin-w-bin subsume rem          238 bins  time:  0.00 s
84.09/21.40	c subs with bin:    31830  lits-rem:        33  v-fix:    0  time:  0.08 s
84.09/21.41	c Removed useless bin:       0  fixed:     0  bprops:   0.23M  time:  0.04 s
84.49/21.57	c lits-rem:      1854  cl-subs:     4149  v-elim:   7346  v-fix:    0  time:  0.62 s
84.49/21.57	c learnt bin added due to v-elim: 0
84.49/21.58	c vivif2 --  cl tried    94916 cl shrink        0 lits rem          0 time: 0.06
84.49/21.58	c vivif2 --  cl tried     3207 cl shrink        0 lits rem          0 time: 0.00
84.89/21.68	c asymm  cl-useful: 58/94916/94916 lits-rem:174 time: 0.39
84.89/21.69	c calculated reachability. Time: 0.01
84.89/21.69	c  N dy   317     46256     47891     94858       236      3207    379794     18917      6.40      5.50  --
89.69/22.82	c  N dy   347     50360     47891     94858       349      6577    379560     41384      6.22      5.50  --
94.49/24.07	c  N dy   377     54390     47891     94858       426     10023    379401     64810      6.43      5.52  --
100.07/25.49	c  N dy   407     58473     47891     94858       518     13480    379221     88148      6.75      5.53  --
106.07/26.92	c  N dy   437     62480     47891     94858      3051     25943    379464    141516      6.21      5.53  --
110.87/28.15	c  N dy   467     66559     47891     94858      3167     29359    379244    163415      5.81      5.52  --
114.06/28.90	c  S st   489     69385     47891     94858      3478     35467    379147    190317      5.99      5.51  --
114.86/29.11	c  S st   489     69886     47891     94858      3552     35750    379055    191898      5.99      5.51  --
114.86/29.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
114.86/29.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.27/29.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.5M T:  2.37
117.27/29.74	c Calc non-exist non-lernt bins v-fix:     0 done:  31966 time:  0.06 s
117.27/29.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.27/29.76	c Subs w/ non-existent bins:   1901 time:  0.06 s
117.65/29.80	c bin-w-bin subsume rem          145 bins  time:  0.01 s
117.65/29.82	c subs with bin:    37238  lits-rem:        65  v-fix:    0  time:  0.10 s
117.65/29.83	c Removed useless bin:       0  fixed:     0  bprops:   0.21M  time:  0.04 s
118.06/29.98	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
118.46/30.01	c Added 0 vars  tried: 80000 time: 0.12
118.46/30.01	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.12
118.46/30.04	c lits-rem:      1863  cl-subs:     5859  v-elim:   7521  v-fix:    0  time:  0.81 s
118.46/30.04	c learnt bin added due to v-elim: 0
118.46/30.05	c vivif2 --  cl tried    79938 cl shrink        0 lits rem          0 time: 0.04
118.46/30.05	c vivif2 --  cl tried     4169 cl shrink        0 lits rem          0 time: 0.00
118.85/30.14	c asymm  cl-useful: 46/79938/79938 lits-rem:138 time: 0.35
118.85/30.14	c calculated reachability. Time: 0.01
118.85/30.15	c  N dy   489     69886     40370     79892       206      4169    319848     24951      5.99      5.51  --
118.85/30.15	c  F st   489     69886     40370     79892       206      4169    319848     24951      5.99      5.51  --
121.66/30.83	c Decided on static restart strategy
124.04/31.43	c  N dy   513     74432     40370     79892       306      8014    319634     51196      6.58      5.52  --
128.04/32.46	c  N dy   548     79193     40370     79892      2817     21592    319906    109905      5.65      5.52  --
133.23/33.75	c  N dy   586     84364     40370     79892      2948     25914    319635    137928      6.51      5.51  --
138.03/34.98	c  N dy   627     89842     40370     79892      3063     30620    319430    169640      6.37      5.52  --
142.42/36.07	c  N dy   670     95666     40370     79892      3200     35557    319223    203503      6.19      5.54  --
147.21/37.23	c  N dy   715    101806     40370     79892      3338     40683    318977    237428      6.72      5.54  --
150.41/38.06	c  S st   738    104831     40370     79892      5672     54600    319448    291912      6.01      5.54  --
151.21/38.27	c  S st   738    105332     40370     79892      5723     54905    319352    293592      6.01      5.54  --
151.21/38.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
151.21/38.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.20/38.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.9M T:  2.04
153.60/38.81	c Calc non-exist non-lernt bins v-fix:     0 done:  31966 time:  0.06 s
153.60/38.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.60/38.83	c Subs w/ non-existent bins:   6569 time:  0.06 s
153.60/38.88	c bin-w-bin subsume rem          485 bins  time:  0.01 s
154.00/38.92	c subs with bin:    62177  lits-rem:       162  v-fix:    0  time:  0.17 s
154.00/38.93	c Removed useless bin:       0  fixed:     0  bprops:   0.18M  time:  0.04 s
154.40/39.03	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
154.40/39.05	c lits-rem:      1545  cl-subs:     3816  v-elim:  11078  v-fix:    0  time:  0.50 s
154.40/39.05	c learnt bin added due to v-elim: 0
154.40/39.06	c vivif2 --  cl tried    57897 cl shrink        0 lits rem          0 time: 0.04
154.40/39.06	c vivif2 --  cl tried     3023 cl shrink        0 lits rem          0 time: 0.00
154.80/39.13	c asymm  cl-useful: 43/57897/57897 lits-rem:125 time: 0.26
154.80/39.13	c calculated reachability. Time: 0.01
154.80/39.13	c  N dy   738    105332     29292     57856       183      3023    231700     17994      6.01      5.54  --
159.99/40.41	c  N dy   788    112089     29292     57856       337      8676    231343     55163      5.85      5.53  --
165.21/41.72	c  N dy   841    119291     29292     57856       511     14804    231081     96535      6.86      5.55  --
171.18/43.26	c  N dy   898    126974     29292     57856      2275     27211    231289    159920      5.89      5.55  --
176.37/44.52	c  N dy   958    135177     29292     57856      2503     33982    230943    204183      6.11      5.54  --
182.36/46.08	c  N dy  1022    143894     29292     57856      5239     49268    230864    281606      6.92      5.54  --
189.15/47.79	c  N dy  1090    153086     29292     57856      6554     67543    230849    368761      7.03      5.56  --
192.75/48.61	c  S st  1127    157999     29292     57856     10157     87124    231608    449133      6.46      5.56  --
193.55/48.84	c  S st  1127    158500     29292     57856     10244     87431    231526    450941      6.46      5.56  --
193.55/48.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
193.55/48.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
195.15/49.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.53
195.15/49.26	c Calc non-exist non-lernt bins v-fix:     0 done:  29292 time:  0.05 s
195.15/49.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
195.15/49.28	c Subs w/ non-existent bins:  12850 time:  0.07 s
195.55/49.33	c bin-w-bin subsume rem          669 bins  time:  0.02 s
195.96/49.41	c subs with bin:   110417  lits-rem:       143  v-fix:    0  time:  0.29 s
195.96/49.42	c Removed useless bin:       0  fixed:     0  bprops:   0.16M  time:  0.05 s
195.96/49.47	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
195.96/49.48	c lits-rem:       495  cl-subs:     1001  v-elim:  19464  v-fix:    0  time:  0.24 s
195.96/49.48	c learnt bin added due to v-elim: 0
195.96/49.49	c vivif2 --  cl tried    19260 cl shrink        0 lits rem          0 time: 0.01
195.96/49.49	c vivif2 --  cl tried     1131 cl shrink        0 lits rem          0 time: 0.00
196.36/49.51	c asymm  cl-useful: 29/19260/19260 lits-rem:83 time: 0.08
196.36/49.51	c calculated reachability. Time: 0.00
196.36/49.51	c  N dy  1127    158500      9828     19233       101      1131     77049      6697      6.46      5.56  --
198.34/50.09	c  N dy  1203    168643      9828     19233      2357     16654     77329     87247      6.44      5.56  --
200.75/50.65	c  N dy  1283    179414      9828     19233      2559     25908     77022    150489      5.88      5.57  --
203.53/51.35	c  N dy  1368    190878      9828     19233      4574     41344     77269    238483      6.74      5.59  --
205.15/51.74	c Following stats are for *FIRST FINISHED THREAD ONLY*
205.15/51.74	c num threads              : 4          
205.15/51.74	c restarts                 : 109        
205.15/51.74	c dynamic restarts         : 53         
205.15/51.74	c static restarts          : 56         
205.15/51.74	c full restarts            : 11         
205.15/51.74	c total simplify time      : 0.00       
205.15/51.74	c learnts DL2              : 0          
205.15/51.74	c learnts size 2           : 29862      
205.15/51.74	c learnts size 1           : 22          (0.04      % of vars)
205.15/51.74	c filedLit time            : 59.22       (28.92     % time)
205.15/51.74	c v-elim SatELite          : 62672       (99.88     % vars)
205.15/51.74	c SatELite time            : 14.49       (7.08      % time)
205.15/51.74	c v-elim xor               : 0           (0.00      % vars)
205.15/51.74	c xor elim time            : 1.54        (0.75      % time)
205.15/51.74	c num binary xor trees     : 0          
205.15/51.74	c binxor trees' crown      : 0           (nan       leafs/tree)
205.15/51.74	c bin xor find time        : 0.05       
205.15/51.74	c OTF clause subsumed      : 18535       (0.22      clauses/conflict)
205.15/51.74	c OTF subs. size diff      : 18652       (1.01       lits/clause)
205.15/51.74	c OTF cl watch-shrink      : 610         (0.01      clauses/conflict)
205.15/51.74	c OTF cl watch-sh-lit      : 624         (1.02       lits/clause)
205.15/51.74	c tried to recurMin cls    : 84799       (100.00     % of conflicts)
205.15/51.74	c updated cache            : 0           (0.00       lits/tried recurMin)
205.15/51.74	c OTF Gate-Rem cl          : 0           (0.00      clauses/conflict)
205.15/51.74	c OTF Gate-rem lits        : 0           (nan       lits/confl)
205.15/51.74	c unit cls received        : 0           (0.00      % of units)
205.15/51.74	c unit cls sent            : 0           (0.00      % of units)
205.15/51.74	c bin cls received         : 999        
205.15/51.74	c bin cls sent             : 28595      
205.15/51.74	c tri cls recevied         : 2274       
205.15/51.74	c tri cls sent             : 63870      
205.15/51.74	c clauses over max glue    : 0           (0.00      % of all clauses)
205.15/51.74	c conflicts                : 84801       (414.13    / sec)
205.15/51.74	c decisions                : 37095660    (57.85     % random)
205.15/51.74	c bogo-props               : 86296624    (421430.18 / sec)
205.15/51.74	c props                    : 16416326    (80169.24  / sec)
205.15/51.74	c conflict literals        : 410349      (1.58      % deleted)
205.15/51.74	c Memory used              : 842.73      MB
205.15/51.74	c single-thread CPU time   : 204.77      s
205.15/51.74	c all-threads sum CPU time : 204.77      s
205.15/51.74	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3265365-1304181389/watcher-3265365-1304181389 -o /tmp/evaluation-result-3265365-1304181389/solver-3265365-1304181389 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3265365-1304181389.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 8.16 8.05 7.86 7/180 18319
/proc/meminfo: memFree=31102888/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=24220 CPUtime=0 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 1322 0 0 0 0 0 0 0 25 0 1 0 510554555 24801280 1261 33554432000 4194304 4797429 140733632862480 18446744073709551615 270338080523 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18319/statm: 6055 1267 341 148 0 984 0

[startup+0.022707 s]
/proc/loadavg: 8.16 8.05 7.86 7/180 18319
/proc/meminfo: memFree=31102888/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=40976 CPUtime=0.01 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 5683 0 0 0 1 0 0 0 25 0 1 0 510554555 41959424 4245 33554432000 4194304 4797429 140733632862480 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18319/statm: 10244 4250 342 148 0 5173 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 40976

[startup+0.100681 s]
/proc/loadavg: 8.16 8.05 7.86 7/180 18319
/proc/meminfo: memFree=31102888/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=105156 CPUtime=0.09 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 23804 0 0 0 7 2 0 0 25 0 1 0 510554555 107679744 16948 33554432000 4194304 4797429 140733632862480 18446744073709551615 270338441642 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18319/statm: 26424 16953 342 148 0 21353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 105156

[startup+0.300645 s]
/proc/loadavg: 8.16 8.05 7.86 7/180 18319
/proc/meminfo: memFree=31102888/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=156576 CPUtime=0.29 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 34936 0 0 0 26 3 0 0 25 0 1 0 510554555 160333824 27465 33554432000 4194304 4797429 140733632862480 18446744073709551615 270338080282 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/18319/statm: 39144 27466 349 148 0 34073 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 156576

[startup+0.700523 s]
/proc/loadavg: 8.16 8.05 7.86 7/180 18319
/proc/meminfo: memFree=31102888/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=333160 CPUtime=1.44 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 40417 0 0 0 121 23 0 0 18 0 4 0 510554555 341155840 32577 33554432000 4194304 4797429 140733632862480 18446744073709551615 270338488863 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 83290 32577 376 148 0 78219 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 333160

[startup+1.50037 s]
/proc/loadavg: 8.22 8.07 7.86 10/184 18323
/proc/meminfo: memFree=30944012/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=814852 CPUtime=4.62 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 54757 0 0 0 435 27 0 0 18 0 4 0 510554555 834408448 43974 33554432000 4194304 4797429 140733632862480 18446744073709551615 4567873 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 203713 43974 399 148 0 198642 0
[pid=18319/tid=18321] ppid=18317 vsize=814852 CPUtime=1.04 cores=0,2,4,6
/proc/18319/task/18321/stat : 18321 (techdemo) R 18317 18319 17712 0 -1 4202560 4923 0 0 0 97 7 0 0 19 0 4 0 510554596 834408448 43974 33554432000 4194304 4797429 140733632862480 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18319/tid=18322] ppid=18317 vsize=814852 CPUtime=1.05 cores=0,2,4,6
/proc/18319/task/18322/stat : 18322 (techdemo) R 18317 18319 17712 0 -1 4202560 3439 0 0 0 102 3 0 0 18 0 4 0 510554596 834408448 43974 33554432000 4194304 4797429 140733632862480 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=814852 CPUtime=1.05 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) R 18317 18319 17712 0 -1 4202560 4306 0 0 0 99 6 0 0 18 0 4 0 510554596 834408448 43974 33554432000 4194304 4797429 140733632862480 18446744073709551615 4491936 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 814852

[startup+3.10105 s]
/proc/loadavg: 8.22 8.07 7.86 10/184 18323
/proc/meminfo: memFree=30899252/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=827236 CPUtime=11 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 58928 0 0 0 1072 28 0 0 22 0 4 0 510554555 847089664 47553 33554432000 4194304 4797429 140733632862480 18446744073709551615 4377507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 206809 47553 412 148 0 201738 0
[pid=18319/tid=18321] ppid=18317 vsize=827236 CPUtime=2.63 cores=0,2,4,6
/proc/18319/task/18321/stat : 18321 (techdemo) R 18317 18319 17712 0 -1 4202560 6022 0 0 0 256 7 0 0 19 0 4 0 510554596 847089664 47553 33554432000 4194304 4797429 140733632862480 18446744073709551615 4331610 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18319/tid=18322] ppid=18317 vsize=827236 CPUtime=2.64 cores=0,2,4,6
/proc/18319/task/18322/stat : 18322 (techdemo) R 18317 18319 17712 0 -1 4202560 4495 0 0 0 261 3 0 0 19 0 4 0 510554596 847089664 47553 33554432000 4194304 4797429 140733632862480 18446744073709551615 4424659 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=827236 CPUtime=2.64 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) R 18317 18319 17712 0 -1 4202560 5379 0 0 0 258 6 0 0 22 0 4 0 510554596 847089664 47553 33554432000 4194304 4797429 140733632862480 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 827236

[startup+6.30042 s]
/proc/loadavg: 8.22 8.07 7.86 10/184 18323
/proc/meminfo: memFree=30887100/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=833732 CPUtime=23.78 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 60742 0 0 0 2349 29 0 0 25 0 4 0 510554555 853741568 49354 33554432000 4194304 4797429 140733632862480 18446744073709551615 4386163 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 208433 49355 413 148 0 203362 0
[pid=18319/tid=18321] ppid=18317 vsize=833732 CPUtime=5.81 cores=0,2,4,6
/proc/18319/task/18321/stat : 18321 (techdemo) R 18317 18319 17712 0 -1 4202560 6145 0 0 0 574 7 0 0 25 0 4 0 510554596 853741568 49355 33554432000 4194304 4797429 140733632862480 18446744073709551615 4380233 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18319/tid=18322] ppid=18317 vsize=833732 CPUtime=5.84 cores=0,2,4,6
/proc/18319/task/18322/stat : 18322 (techdemo) R 18317 18319 17712 0 -1 4202560 4595 0 0 0 581 3 0 0 25 0 4 0 510554596 853741568 49355 33554432000 4194304 4797429 140733632862480 18446744073709551615 270338044613 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=833732 CPUtime=5.84 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) R 18317 18319 17712 0 -1 4202560 5451 0 0 0 577 7 0 0 25 0 4 0 510554596 853741568 49355 33554432000 4194304 4797429 140733632862480 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.78
Current children cumulated vsize (KiB) 833732

[startup+12.7011 s]
/proc/loadavg: 8.19 8.07 7.86 10/184 18324
/proc/meminfo: memFree=30864928/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=843488 CPUtime=49.34 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 79028 0 0 0 4903 31 0 0 25 0 4 0 510554555 863731712 52590 33554432000 4194304 4797429 140733632862480 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 210872 52590 419 148 0 205801 0
[pid=18319/tid=18321] ppid=18317 vsize=843488 CPUtime=12.17 cores=0,2,4,6
/proc/18319/task/18321/stat : 18321 (techdemo) R 18317 18319 17712 0 -1 4202560 7504 0 0 0 1210 7 0 0 25 0 4 0 510554596 863731712 52590 33554432000 4194304 4797429 140733632862480 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18319/tid=18322] ppid=18317 vsize=843488 CPUtime=12.24 cores=0,2,4,6
/proc/18319/task/18322/stat : 18322 (techdemo) R 18317 18319 17712 0 -1 4202560 20636 0 0 0 1219 5 0 0 25 0 4 0 510554596 863731712 52590 33554432000 4194304 4797429 140733632862480 18446744073709551615 270338039765 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=843488 CPUtime=12.24 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) R 18317 18319 17712 0 -1 4202560 6020 0 0 0 1217 7 0 0 25 0 4 0 510554596 863731712 52590 33554432000 4194304 4797429 140733632862480 18446744073709551615 4274071 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (KiB) 843488

[startup+25.5006 s]
/proc/loadavg: 8.16 8.06 7.86 10/184 18324
/proc/meminfo: memFree=30828984/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=848164 CPUtime=100.47 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 133496 0 0 0 10009 38 0 0 25 0 4 0 510554555 868519936 57957 33554432000 4194304 4797429 140733632862480 18446744073709551615 4424877 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 212041 57957 419 148 0 206970 0
[pid=18319/tid=18321] ppid=18317 vsize=848164 CPUtime=24.91 cores=0,2,4,6
/proc/18319/task/18321/stat : 18321 (techdemo) R 18317 18319 17712 0 -1 4202560 41511 0 0 0 2479 12 0 0 25 0 4 0 510554596 868519936 57957 33554432000 4194304 4797429 140733632862480 18446744073709551615 4237256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18319/tid=18322] ppid=18317 vsize=848164 CPUtime=25.04 cores=0,2,4,6
/proc/18319/task/18322/stat : 18322 (techdemo) R 18317 18319 17712 0 -1 4202560 37000 0 0 0 2497 7 0 0 25 0 4 0 510554596 868519936 57957 33554432000 4194304 4797429 140733632862480 18446744073709551615 4504181 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=848164 CPUtime=25.04 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) R 18317 18319 17712 0 -1 4202560 8401 0 0 0 2497 7 0 0 25 0 4 0 510554596 868519936 57957 33554432000 4194304 4797429 140733632862480 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.47
Current children cumulated vsize (KiB) 848164

[startup+51.1005 s]
/proc/loadavg: 8.10 8.06 7.87 10/184 18325
/proc/meminfo: memFree=30767604/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=861412 CPUtime=202.73 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 196973 0 0 0 20223 50 0 0 25 0 4 0 510554555 882085888 71450 33554432000 4194304 4797429 140733632862480 18446744073709551615 4387372 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 215353 71450 420 148 0 210282 0
[pid=18319/tid=18321] ppid=18317 vsize=861412 CPUtime=50.37 cores=0,2,4,6
/proc/18319/task/18321/stat : 18321 (techdemo) R 18317 18319 17712 0 -1 4202560 56478 0 0 0 5022 15 0 0 20 0 4 0 510554596 882085888 71450 33554432000 4194304 4797429 140733632862480 18446744073709551615 4504008 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18319/tid=18322] ppid=18317 vsize=861412 CPUtime=50.64 cores=0,2,4,6
/proc/18319/task/18322/stat : 18322 (techdemo) R 18317 18319 17712 0 -1 4202560 55685 0 0 0 5053 11 0 0 25 0 4 0 510554596 882085888 71450 33554432000 4194304 4797429 140733632862480 18446744073709551615 4549189 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=861412 CPUtime=50.64 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) R 18317 18319 17712 0 -1 4202560 26165 0 0 0 5055 9 0 0 20 0 4 0 510554596 882085888 71450 33554432000 4194304 4797429 140733632862480 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.73
Current children cumulated vsize (KiB) 861412

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

[startup+51.9004 s]
/proc/loadavg: 8.18 8.07 7.87 10/184 18325
/proc/meminfo: memFree=30758552/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=621456 CPUtime=205.72 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) R 18317 18319 17712 0 -1 4202496 199771 0 0 0 20521 51 0 0 25 0 4 0 510554555 636370944 63584 33554432000 4194304 4797429 140733632862480 18446744073709551615 270338039815 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 155364 63584 425 148 0 150293 0
[pid=18319/tid=18321] ppid=18317 vsize=621456 CPUtime=51.08 cores=0,2,4,6
/proc/18319/task/18321/stat : 18321 (techdemo) S 18317 18319 17712 0 -1 4202560 57393 0 0 0 5093 15 0 0 22 0 4 0 510554596 636370944 63584 33554432000 4194304 4797429 140733632862480 18446744073709551615 47101208991690 0 0 4096 2 18446604453934149824 0 0 -1 6 0 0 0
[pid=18319/tid=18322] ppid=18317 vsize=621456 CPUtime=51.38 cores=0,2,4,6
/proc/18319/task/18322/stat : 18322 (techdemo) S 18317 18319 17712 0 -1 4202560 56636 0 0 0 5127 11 0 0 25 0 4 0 510554596 636370944 63584 33554432000 4194304 4797429 140733632862480 18446744073709551615 47101208991690 0 0 4096 2 18446604453934149824 0 0 -1 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=621456 CPUtime=51.38 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) S 18317 18319 17712 0 -1 4202560 26972 0 0 0 5128 10 0 0 22 0 4 0 510554596 636370944 63584 33554432000 4194304 4797429 140733632862480 18446744073709551615 47101208991690 0 0 4096 2 18446604453934149824 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 205.72
Current children cumulated vsize (KiB) 621456

[startup+52.1004 s]
/proc/loadavg: 8.18 8.07 7.87 10/184 18325
/proc/meminfo: memFree=30758552/32951124 swapFree=67111356/67111528
[pid=18319] ppid=18317 vsize=0 CPUtime=205.92 cores=0,2,4,6
/proc/18319/stat : 18319 (techdemo) Z 18317 18319 17712 0 -1 4202524 199772 0 0 0 20540 52 0 0 25 0 2 0 510554555 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18319/statm: 0 0 0 0 0 0 0
[pid=18319/tid=18323] ppid=18317 vsize=0 CPUtime=51.38 cores=0,2,4,6
/proc/18319/task/18323/stat : 18323 (techdemo) R 18317 18319 17712 0 -1 4203588 26972 0 0 0 5128 10 0 0 20 0 2 0 510554596 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 205.92
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 52.1021
CPU time (s): 205.932
CPU user time (s): 205.407
CPU system time (s): 0.52492
CPU usage (%): 395.246
Max. virtual memory (cumulated for all children) (KiB): 862952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.407
system time used= 0.52492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199772
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= 22243
involuntary context switches= 1162

runsolver used 0.091986 second user time and 0.19697 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-30 18:36:29
IDJOB=3265365
IDBENCH=85572
IDSOLVER=1584
FILE ID=node143/3265365-1304181389
RUNJOBID= node143-1304180185-18199
PBS_JOBID= 13172419
Free space on /tmp= 73484 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265365-1304181389/watcher-3265365-1304181389 -o /tmp/evaluation-result-3265365-1304181389/solver-3265365-1304181389 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3265365-1304181389.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 384c65902b197ca2c64d2ee8a3c64089
RANDOM SEED=1792862818

node143.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.846
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.69
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.846
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.15
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.846
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.74
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.846
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.83
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.846
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.846
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.83
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.846
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.74
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31103168 kB
Buffers:        282140 kB
Cached:        1205476 kB
SwapCached:        168 kB
Active:         376040 kB
Inactive:      1186884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31103168 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           19072 kB
Writeback:           0 kB
AnonPages:       74828 kB
Mapped:          15768 kB
Slab:           221856 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   666904 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= 73476 MiB
End job on node143 at 2011-04-30 18:37:22