Trace number 3250142

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-Night2-st? (TO) 1300.06 1300.01

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
MD5SUMd2ef996f95bbf68a3c980c797dfdc364
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2071
Number of clauses159039
Sum of the clauses size479052
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158394
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5645

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3250142-1303542461.cnf'
0.00/0.00	c -- header says num vars:           2071
0.00/0.00	c -- header says num clauses:      159039
0.01/0.04	c -- clauses added:            0 learnts,       159039 normals,            0 xors
0.01/0.04	c -- vars added       2071
0.01/0.04	c Parsing time:  0.04 s
0.01/0.04	c  N st     0         0      2071    159039         0         0    479052         0   no data   no data
0.49/0.55	c asymm  cl-useful: 0/158323/159039 lits-rem:0 time: 0.51
0.49/0.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.49/0.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.59/0.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.59/0.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.59/0.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2071 time:  0.01 s
0.59/0.61	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.19/1.29	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  0.67 s
1.19/1.29	c Finding binary XORs  T:     0.00 s  found:       0
1.29/1.34	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
1.29/1.34	c calculated reachability. Time: 0.00
1.29/1.35	c Calc default polars -  time:   0.00 s pos:    1381 undec:     690 neg:       0
1.29/1.35	c =========================================================================================
1.29/1.35	c types(t): F = full restart, N = normal restart
1.29/1.35	c types(t): S = simplification begin/end, E = solution found
1.29/1.35	c restart types(rt): st = static, dy = dynamic
1.29/1.35	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.29/1.35	c  B st     0         0      1381     99170         0         0    515450         0   no data   no data
1.79/1.80	c  N dy    10      4889      1381     99170         0      4846    515450    187551     25.65     27.11
2.20/2.24	c  N dy    11      9533      1381     99170         0      9373    515450    333094     23.03     24.27
2.89/2.96	c  N dy    23     16883      1381     99170         0     16629    515450    611674     21.79     23.54
3.29/3.37	c  N dy    44     20902      1381     99170         0     10765    515450    297316     22.00     26.50
3.69/3.73	c  N dy    76     24953      1381     99170         0     14785    515450    441388     22.41     24.29
3.69/3.73	c  F st    77     25003      1381     99170         0     14834    515450    443486     22.44   no data
3.69/3.75	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
3.69/3.75	c Found part        7 vars:        711 clauses:     51965 lits size:    263555
3.69/3.75	c Found parts:          2 time: 0.02 s
3.69/3.75	c Solving part 4
3.69/3.79	c  N st     0         0       670     47205         0      1030    251895     39051   no data   no data
3.99/4.09	c asymm  cl-useful: 17/47205/47205 lits-rem:19 time: 0.30
4.09/4.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
4.09/4.10	c Finding binary XORs  T:     0.00 s  found:       0
4.09/4.12	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
4.09/4.12	c calculated reachability. Time: 0.00
4.09/4.12	c Calc default polars -  time:   0.00 s pos:     670 undec:    1401 neg:       0
4.09/4.12	c =========================================================================================
4.09/4.12	c types(t): F = full restart, N = normal restart
4.09/4.12	c types(t): S = simplification begin/end, E = solution found
4.09/4.12	c restart types(rt): st = static, dy = dynamic
4.09/4.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.09/4.12	c  B st     0         0       670     47205         0      1030    251876     39051   no data   no data
4.69/4.70	c  N dy    10      6652       670     47205         0      7623    251876    305460     22.58     23.94
4.99/5.04	c  N dy    33     10728       670     47205         0      7253    251876    226118     23.35     29.48
5.40/5.41	c  N dy    67     14773       670     47205         0     11273    251876    378055     24.44     28.67
5.89/5.91	c  N dy    78     20369       670     47205         0     10203    251876    265450     24.12     25.45
6.29/6.32	c  F st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
6.29/6.32	c  N st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
6.79/6.80	c  N dy    91     30195       670     47205         0     11752    251875    293871     23.82   no data
7.09/7.18	c  N dy   116     34292       670     47205         0     15807    251875    441908     24.00     25.28
7.49/7.57	c  N dy   128     38306       670     47205         0     10323    251875    195025     24.00     27.97
8.29/8.35	c  N dy   141     46556       670     47205         0     18501    251875    506780     23.50     24.74
8.79/8.85	c  N dy   149     51653       670     47205         0     12930    251875    254668     23.20     24.51
9.19/9.22	c  N dy   175     55728       670     47205         0     16983    251875    408132     23.32     35.18
9.59/9.61	c  N dy   196     59831       670     47205         0     21034    251875    551089     23.39     24.89
9.99/10.02	c  N dy   213     63840       670     47205         0     13306    251875    231088     23.44     28.97
10.39/10.42	c  N dy   238     67936       670     47205         0     17366    251874    380565     23.53     25.62
10.79/10.83	c  N dy   253     72292       670     47205         0     21692    251874    534568     23.49     24.83
11.29/11.37	c  N dy   288     77491       670     47205         0     14116    251874    225273     23.70     25.12
12.09/12.17	c  N dy   289     85230       670     47205         0     21785    251874    528595     23.34     24.63
12.39/12.40	c  F st   308     87502       670     47205         0     24044    251874    612660     23.43   no data
12.69/12.72	c  N st   313     90802       670     47205         0     27311    251874    738798     23.43   no data
13.29/13.33	c  N dy   329     96848       670     47205         0     19570    251874    403893     23.41     24.65
13.89/13.99	c  N dy   338    103095       670     47205         0     25709    251874    609973     23.35     24.65
14.69/14.70	c  N dy   383    109678       670     47205         0     17537    251874    286525     23.45     26.72
15.40/15.40	c  N dy   438    116760       670     47205         0     24561    251874    545824     23.60     24.87
16.19/16.23	c  N dy   476    124665       670     47205         0     16708    251874    232333     23.60     24.88
16.99/17.07	c  N dy   496    133311       670     47205         0     25254    251874    530069     23.51     24.79
17.99/18.07	c  N dy   537    141873       670     47205         0     17038    251874    210298     23.56     28.47
18.89/18.97	c  N dy   578    150957       670     47205         0     26029    251874    537588     23.61     24.94
19.99/20.03	c  N dy   609    160686       670     47205         0     17983    251874    213596     23.59     25.03
21.09/21.10	c  N dy   655    171515       670     47205         0     28717    251874    607850     23.58     24.82
22.29/22.30	c  N dy   688    182804       670     47205         0     21194    251874    298618     23.51     24.78
23.39/23.47	c  N dy   742    194531       670     47205         0     32839    251874    725218     23.53     27.40
25.99/26.09	c  N dy   747    216230       670     47205         0     34675    251874    832115     23.22     24.47
27.59/27.66	c  N dy   797    230726       670     47205         0     28358    251874    525840     23.22     24.51
29.39/29.41	c  N dy   844    246159       670     47205         0     21964    251874    242477     23.16     24.71
31.09/31.17	c  N dy   908    262150       670     47205         0     37853    251874    867465     23.16     24.67
34.10/34.19	c  N dy   968    285985       670     47205         0     38920    251874    968865     23.06     24.36
36.30/36.35	c  N dy  1040    304959       670     47205         0     34049    251873    654386     23.07     24.59
36.39/36.49	c  F st  1047    306250       670     47205         0     35329    251873    700243     23.07     22.51
38.59/38.67	c  N dy  1121    324514       670     47205         0     28711    251873    395526     23.11     24.92
40.89/40.95	c  N dy  1234    344522       670     47205         0     48577    251873   1141375     23.19     27.14
43.19/43.29	c  N dy  1306    364748       670     47205         0     42893    251873    926065     23.18     24.41
45.49/45.56	c  N dy  1367    384751       670     47205         0     36100    251873    626904     23.15     28.37
47.99/48.03	c  N dy  1460    405157       670     47205         0     28697    251873    308279     23.17     24.48
50.29/50.38	c  N dy  1529    425380       670     47205         0     48749    251873   1032236     23.16     24.92
52.80/52.81	c  N dy  1643    445462       670     47205         0     40063    251873    712814     23.23     24.53
55.19/55.26	c  N dy  1710    465699       670     47205         0     30524    251873    322524     23.21     24.61
57.80/57.82	c  N dy  1799    487907       670     47205         0     52563    251873   1197648     23.22     24.45
60.89/60.90	c  N dy  1913    513440       670     47205         0     47191    251873    908719     23.25     24.51
64.09/64.10	c  N dy  2040    538369       670     47205         0     40303    251873    638301     23.29     24.67
66.59/66.62	c  N dy  2141    558373       670     47205         0     60120    251873   1386508     23.33     24.83
69.00/69.08	c  N dy  2208    578688       670     47205         0     47757    251873    895945     23.31     24.55
71.79/71.88	c  N dy  2328    599196       670     47205         0     34510    251873    340285     23.36     24.95
74.29/74.31	c  N dy  2420    619481       670     47205         0     54628    251873   1081438     23.37     24.81
76.90/76.94	c  N dy  2508    639639       670     47205         0     40014    251873    522935     23.39     24.83
79.49/79.53	c  N dy  2639    659707       670     47205         0     59925    251873   1271911     23.44     30.24
82.19/82.22	c  N dy  2721    680312       670     47205         0     44805    251873    686885     23.42     24.74
85.00/85.02	c  N dy  2741    700397       670     47205         0     64602    251873   1446317     23.35     27.07
91.39/91.41	c  N dy  2769    739614       670     47205         0     67060    251873   1684754     23.20     24.43
96.29/96.35	c  N dy  2810    774628       670     47205         0     64119    251873   1437437     23.09     24.36
99.20/99.20	c  N dy  2890    795354       670     47205         0     46158    251873    637796     23.09     24.71
101.79/101.87	c  N dy  3004    815442       670     47205         0     66096    251873   1389865     23.12     26.71
105.19/105.26	c  N dy  3113    840391       670     47205         0     51335    251873    809677     23.13     24.49
108.10/108.14	c  N dy  3247    860985       670     47205         0     71763    251873   1557147     23.17     24.56
110.80/110.84	c  N dy  3336    881152       670     47205         0     51237    251873    762531     23.19     24.41
113.59/113.61	c  N dy  3383    901459       670     47205         0     71245    251873   1522907     23.16     24.40
116.79/116.87	c  N dy  3402    925638       670     47205         0     53772    251873    881561     23.09     24.34
119.90/119.91	c  N dy  3526    947488       670     47205         0     75456    251873   1719819     23.13     24.41
122.79/122.82	c  N dy  3663    967552       670     47205         0     52869    251873    750373     23.17     27.55
125.69/125.79	c  N dy  3765    988560       670     47205         0     73691    251873   1535929     23.18     24.59
128.71/128.71	c  N dy  3867   1008598       670     47205         0     50057    251873    628728     23.20     25.16
137.69/137.79	c  F st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
137.69/137.79	c  N st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
141.60/141.61	c  N dy  3996   1097415       670     47205         0     48217    251873    506201     23.04     24.36
144.39/144.43	c  N dy  4106   1117508       670     47205         0     68154    251873   1255630     23.06     24.89
148.20/148.21	c  N dy  4170   1139009       670     47205         0     89510    251873   2079400     23.05     24.28
151.19/151.25	c  N dy  4308   1159321       670     47205         0     63167    251873   1019682     23.09     24.34
154.10/154.10	c  N dy  4361   1179405       670     47205         0     83048    251873   1766549     23.09     30.04
157.00/157.06	c  N dy  4451   1199579       670     47205         0     55577    251873    706769     23.09     24.32
159.89/160.00	c  N dy  4552   1220378       670     47205         0     76193    251873   1513536     23.12     24.57
163.19/163.29	c  N dy  4688   1240388       670     47205         0     96030    251873   2245987     23.15     30.16
166.11/166.14	c  N dy  4801   1260706       670     47205         0     67712    251873   1120039     23.17     24.44
169.10/169.18	c  N dy  4847   1281235       670     47205         0     88004    251873   1929571     23.14     24.39
172.10/172.12	c  N dy  4919   1301322       670     47205         0     58443    251873    750888     23.14     25.16
175.30/175.30	c  N dy  5023   1323680       670     47205         0     80634    251873   1600295     23.15     24.38
178.80/178.84	c  N dy  5148   1345123       670     47205         0     51526    251873    476178     23.17     24.59
183.00/183.04	c  N dy  5242   1376206       670     47205         0     82372    251873   1678177     23.15     24.47
186.30/186.33	c  N dy  5331   1396642       670     47205         0    102646    251872   2445617     23.16     24.38
189.90/189.93	c  N dy  5424   1422393       670     47205         0     76780    251872   1409395     23.15     24.41
193.10/193.16	c  N dy  5533   1442467       670     47205         0     96689    251872   2153025     23.17     25.05
196.30/196.32	c  N dy  5646   1462540       670     47205         0     64155    251872    865908     23.18     24.98
199.30/199.36	c  N dy  5762   1482543       670     47205         0     83982    251872   1616718     23.20     24.65
202.70/202.75	c  N dy  5875   1502627       670     47205         0    103867    251872   2351276     23.22     24.69
205.71/205.77	c  N dy  5923   1522723       670     47205         0     70426    251872   1131719     23.21     28.92
208.80/208.86	c  N dy  6040   1542754       670     47205         0     90269    251872   1863066     23.23     35.16
212.40/212.47	c  N dy  6172   1563042       670     47205         0     55991    251872    518003     23.26     24.93
215.20/215.26	c  N dy  6298   1583099       670     47205         0     75883    251872   1271380     23.28     24.93
218.30/218.30	c  N dy  6376   1603105       670     47205         0     95614    251872   2013042     23.28     25.36
221.80/221.82	c  N dy  6484   1623180       670     47205         0     60148    251872    648810     23.29     29.39
224.99/225.02	c  N dy  6539   1645464       670     47205         0     82264    251872   1511250     23.28     24.51
228.40/228.48	c  N dy  6556   1665560       670     47205         0    102031    251872   2323218     23.23     28.11
234.20/234.26	c  N dy  6601   1696304       670     47205         0     76243    251872   1304087     23.19     24.56
238.80/238.85	c  N dy  6671   1720228       670     47205         0     99968    251872   2182068     23.19     24.55
243.20/243.26	c  N dy  6789   1740254       670     47205         0     62486    251872    680510     23.21     32.04
247.00/247.03	c  N dy  6878   1760938       670     47205         0     82884    251872   1430249     23.21     24.53
250.20/250.24	c  N dy  6957   1780961       670     47205         0    102700    251872   2182002     23.22     27.21
253.80/253.82	c  N dy  7091   1800999       670     47205         0     64302    251872    718105     23.24     27.60
257.60/257.64	c  N dy  7203   1827095       670     47205         0     90095    251872   1668383     23.24     24.53
262.10/262.10	c  N dy  7283   1851816       670     47205         0    114404    251872   2613232     23.23     24.50
265.30/265.36	c  N dy  7409   1872252       670     47205         0     75479    251872   1108038     23.25     24.48
269.70/269.78	c  N dy  7496   1900445       670     47205         0    103335    251872   2190120     23.24     24.48
273.40/273.42	c  N dy  7591   1920484       670     47205         0     62992    251872    610001     23.25     28.85
276.41/276.49	c  N dy  7693   1941275       670     47205         0     83546    251872   1364975     23.26     24.52
279.80/279.82	c  N dy  7793   1961317       670     47205         0    103424    251872   2131217     23.27     24.56
283.60/283.61	c  N dy  7898   1981351       670     47205         0     62036    251872    540604     23.28     24.67
286.60/286.63	c  N dy  7996   2002398       670     47205         0     82926    251872   1345909     23.29     24.56
289.90/289.95	c  N dy  8069   2022477       670     47205         0    102785    251872   2069114     23.28     24.65
293.61/293.69	c  N dy  8140   2044149       670     47205         0    124203    251872   2880051     23.28     24.68
296.70/296.76	c  N dy  8218   2064194       670     47205         0     81833    251872   1272976     23.28     26.58
300.11/300.16	c  N dy  8294   2085905       670     47205         0    103387    251872   2113175     23.27     24.52
303.80/303.89	c  N dy  8408   2106048       670     47205         0    123364    251872   2853427     23.29     24.67
307.10/307.16	c  N dy  8522   2126065       670     47205         0     79947    251872   1140737     23.30     29.83
310.50/310.55	c  N dy  8617   2146920       670     47205         0    100671    251872   1941855     23.30     24.79
314.10/314.19	c  N dy  8724   2166999       670     47205         0    120592    251872   2693530     23.31     32.04
317.60/317.63	c  N dy  8820   2187007       670     47205         0     76083    251872    976745     23.32     24.79
320.70/320.74	c  N dy  8897   2207089       670     47205         0     95995    251872   1741454     23.32     24.62
324.10/324.20	c  N dy  8994   2227131       670     47205         0    115822    251872   2461657     23.33     25.08
328.40/328.45	c  N dy  9111   2251186       670     47205         0     74392    251872    892227     23.33     24.62
331.81/331.84	c  N dy  9208   2272382       670     47205         0     95309    251872   1683750     23.33     24.68
335.20/335.24	c  N dy  9266   2292429       670     47205         0    115174    251872   2467575     23.32     26.48
339.01/339.04	c  N dy  9371   2312581       670     47205         0     68909    251872    644684     23.33     24.69
342.80/342.85	c  N dy  9503   2332659       670     47205         0     88804    251872   1371386     23.35     30.77
349.21/349.22	c  N dy  9616   2361090       670     47205         0    117039    251872   2473345     23.35     24.76
354.90/354.94	c  N dy  9728   2384253       670     47205         0     72739    251872    768941     23.36     24.68
358.11/358.18	c  N dy  9861   2404425       670     47205         0     92729    251872   1524813     23.38     24.62
361.81/361.80	c  N dy  9948   2424630       670     47205         0    112744    251872   2282785     23.38     24.77
365.50/365.53	c  N dy 10045   2444636       670     47205         0    132589    251872   3045519     23.39     25.56
368.90/368.97	c  N dy 10115   2465108       670     47205         0     84602    251872   1183050     23.38     24.69
372.40/372.41	c  N dy 10258   2485130       670     47205         0    104438    251872   1916408     23.40     30.08
376.00/376.02	c  N dy 10331   2505195       670     47205         0    124315    251872   2705022     23.40     28.65
379.71/379.74	c  N dy 10395   2526346       670     47205         0     75944    251872    778633     23.39     24.81
382.90/382.98	c  N dy 10508   2546472       670     47205         0     95868    251871   1515893     23.40     24.68
387.21/387.21	c  N dy 10547   2570453       670     47205         0    119565    251871   2473539     23.38     24.87
391.51/391.56	c  N dy 10620   2594157       670     47205         0     72901    251871    685061     23.38     25.07
395.60/395.67	c  N dy 10672   2621356       670     47205         0     99819    251871   1701279     23.36     24.63
399.21/399.27	c  N dy 10784   2641431       670     47205         0    119675    251871   2423756     23.37     28.93
404.40/404.41	c  N dy 10890   2668677       670     47205         0     75579    251871    744483     23.36     24.93
407.60/407.66	c  N dy 11010   2688748       670     47205         0     95469    251871   1477951     23.38     30.80
411.10/411.19	c  N dy 11105   2708993       670     47205         0    115494    251871   2229730     23.38     24.70
418.41/418.40	c  N dy 11181   2748436       670     47205         0     82525    251871   1045376     23.35     24.58
422.50/422.51	c  N dy 11242   2774048       670     47205         0    107837    251871   2000199     23.34     24.67
426.10/426.19	c  N dy 11326   2794071       670     47205         0    127671    251871   2745031     23.34     26.35
430.12/430.11	c  N dy 11392   2814133       670     47205         0     74380    251871    644502     23.34     27.37
439.81/439.86	c  N dy 11494   2866941       670     47205         0    126455    251871   2750796     23.30     24.54
444.11/444.16	c  N dy 11623   2887274       670     47205         0    146600    251871   3487979     23.31     24.69
462.02/462.04	c  N dy 11731   2971528       670     47205         0     80848    251871    846954     23.24     24.89
466.20/466.27	c  N dy 11840   2991547       670     47205         0    100704    251871   1607167     23.25     27.01
471.21/471.21	c  N dy 11947   3011561       670     47205         0    120524    251871   2364511     23.26     24.65
476.60/476.65	c  N dy 12048   3031631       670     47205         0    140401    251871   3094455     23.26     24.73
481.51/481.55	c  N dy 12147   3052361       670     47205         0     84858    251871    950539     23.27     24.76
484.91/484.99	c  N dy 12253   3072446       670     47205         0    104717    251871   1676053     23.28     24.90
488.91/488.97	c  N dy 12406   3092535       670     47205         0    124634    251871   2418258     23.29     24.81
493.11/493.14	c  N dy 12523   3112566       670     47205         0    144450    251871   3138342     23.30     24.64
500.21/500.28	c  N dy 12560   3149850       670     47205         0    104313    251871   1759315     23.26     24.55
503.82/503.85	c  N dy 12642   3170005       670     47205         0    124261    251871   2523876     23.26     24.88
508.11/508.16	c  N dy 12738   3191634       670     47205         0    145661    251871   3312212     23.26     24.60
512.81/512.89	c  N dy 12796   3216605       670     47205         0     92276    251871   1241706     23.25     24.50
516.41/516.41	c  N dy 12917   3236675       670     47205         0    112161    251871   1992647     23.26     25.84
520.11/520.11	c  N dy 13002   3256706       670     47205         0    132049    251871   2759709     23.27     28.57
524.31/524.32	c  N dy 13112   3276723       670     47205         0    151913    251871   3502502     23.28     24.54
528.21/528.24	c  N dy 13216   3297210       670     47205         0     93062    251871   1164493     23.28     24.52
534.62/534.62	c  N dy 13242   3333341       670     47205         0    128865    251871   2556559     23.25     24.55
538.61/538.60	c  N dy 13321   3353418       670     47205         0    148695    251871   3299393     23.25     29.62
542.81/542.85	c  N dy 13423   3375337       670     47205         0     90287    251871   1033396     23.26     24.51
547.21/547.28	c  N dy 13532   3400782       670     47205         0    115528    251871   2011921     23.26     24.53
550.91/550.97	c  N dy 13592   3420787       670     47205         0    135382    251871   2773584     23.26     30.54
555.42/555.46	c  N dy 13735   3440884       670     47205         0    155318    251871   3517226     23.27     24.67
559.41/559.49	c  N dy 13866   3461037       670     47205         0     94162    251871   1130078     23.28     24.61
562.82/562.88	c  N dy 13916   3482303       670     47205         0    115181    251871   1930926     23.27     24.70
569.21/569.21	c  N dy 14004   3514714       670     47205         0    147329    251871   3171481     23.27     24.60
573.72/573.77	c  N dy 14124   3535078       670     47205         0     85395    251871    782087     23.27     24.72
577.12/577.15	c  N dy 14230   3555232       670     47205         0    105379    251871   1553303     23.28     24.81
580.82/580.83	c  N dy 14326   3575702       670     47205         0    125638    251871   2292459     23.28     24.54
584.71/584.71	c  N dy 14403   3595782       670     47205         0    145555    251871   3083424     23.28     24.58
589.31/589.31	c  N dy 14538   3615825       670     47205         0    165418    251871   3821403     23.29     28.19
593.01/593.03	c  N dy 14659   3635910       670     47205         0    102184    251871   1358484     23.30     24.62
597.22/597.28	c  N dy 14804   3657629       670     47205         0    123717    251871   2157610     23.31     24.64
601.11/601.13	c  N dy 14861   3677995       670     47205         0    143847    251871   2938163     23.31     24.61
605.51/605.53	c  N dy 14961   3698042       670     47205         0    163717    251871   3685451     23.31     25.82
609.42/609.41	c  N dy 15069   3718126       670     47205         0     99569    251871   1260094     23.32     24.67
613.12/613.11	c  N dy 15179   3738262       670     47205         0    119507    251871   2014487     23.32     24.64
615.71/615.74	c  F st 15258   3751562       670     47205         0    132661    251871   2487925     23.33     22.55
617.12/617.11	c  N dy 15267   3758693       670     47205         0    139691    251871   2760622     23.33     24.73
621.41/621.43	c  N dy 15372   3778728       670     47205         0    159563    251871   3489912     23.33     24.57
625.22/625.28	c  N dy 15421   3798891       670     47205         0     94495    251871   1043023     23.33     24.59
628.71/628.76	c  N dy 15454   3819083       670     47205         0    114561    251871   1872466     23.32     24.69
632.52/632.56	c  N dy 15531   3839555       670     47205         0    134846    251871   2637101     23.32     24.60
636.72/636.75	c  N dy 15644   3859714       670     47205         0    154810    251871   3358053     23.33     24.67
645.22/645.27	c  N dy 15652   3902271       670     47205         0    110636    251871   1697815     23.27     24.53
649.12/649.11	c  N dy 15757   3922287       670     47205         0    130447    251871   2439365     23.28     24.68
652.81/652.89	c  N dy 15825   3942327       670     47205         0    150218    251871   3203326     23.28     24.51
657.62/657.67	c  N dy 15840   3965162       670     47205         0    172810    251871   4071199     23.26     24.72
661.52/661.50	c  N dy 15945   3985262       670     47205         0    105879    251871   1421795     23.26     27.59
666.72/666.70	c  N dy 16059   4012999       670     47205         0    133388    251871   2477146     23.26     24.56
671.12/671.11	c  N dy 16157   4034351       670     47205         0    154574    251871   3305274     23.26     24.59
676.12/676.14	c  N dy 16292   4055222       670     47205         0    175255    251871   4067099     23.27     24.53
680.12/680.12	c  N dy 16414   4076559       670     47205         0    108417    251871   1473481     23.28     24.53
684.02/684.00	c  N dy 16538   4096641       670     47205         0    128312    251871   2197945     23.28     24.78
688.52/688.56	c  N dy 16627   4119419       670     47205         0    150946    251871   3104634     23.29     24.53
692.92/692.95	c  N dy 16712   4140524       670     47205         0    171823    251871   3886764     23.29     24.54
697.01/697.01	c  N dy 16794   4160552       670     47205         0    102620    251871   1223697     23.29     24.73
700.82/700.83	c  N dy 16932   4180745       670     47205         0    122635    251871   1969049     23.30     24.55
704.82/704.86	c  N dy 17032   4200945       670     47205         0    142625    251871   2705204     23.30     24.78
710.82/710.84	c  N dy 17123   4229439       670     47205         0    170825    251871   3722543     23.30     24.55
715.02/715.03	c  N dy 17186   4249450       670     47205         0    100602    251871   1114676     23.29     24.66
718.92/718.90	c  N dy 17276   4271603       670     47205         0    122461    251871   1920479     23.29     24.59
722.73/722.79	c  N dy 17332   4291622       670     47205         0    142299    251871   2699189     23.28     24.59
727.22/727.25	c  N dy 17447   4311646       670     47205         0    162154    251871   3453285     23.29     27.36
732.32/732.38	c  N dy 17567   4331968       670     47205         0     91362    251871    749990     23.29     24.54
738.02/738.08	c  N dy 17665   4364545       670     47205         0    123540    251871   1973763     23.29     24.60
742.02/742.02	c  N dy 17756   4384668       670     47205         0    143498    251871   2715076     23.29     24.52
746.22/746.20	c  N dy 17827   4404737       670     47205         0    163304    251871   3451331     23.29     25.01
751.41/751.42	c  N dy 17935   4425756       670     47205         0     92262    251871    752966     23.29     24.55
755.42/755.49	c  N dy 18022   4449733       670     47205         0    115990    251871   1668307     23.30     24.59
759.42/759.48	c  N dy 18149   4469827       670     47205         0    135931    251871   2427839     23.30     25.23
764.42/764.45	c  N dy 18167   4494948       670     47205         0    160721    251871   3417267     23.29     24.65
769.32/769.34	c  N dy 18293   4514980       670     47205         0    180531    251871   4154598     23.30     27.61
773.52/773.58	c  N dy 18419   4535034       670     47205         0    107513    251871   1286538     23.31     26.94
777.32/777.39	c  N dy 18538   4555128       670     47205         0    127432    251871   2046451     23.31     28.69
781.42/781.46	c  N dy 18640   4575501       670     47205         0    147602    251871   2792583     23.32     24.57
785.92/785.94	c  N dy 18740   4596361       670     47205         0    168300    251871   3583188     23.32     24.69
798.32/798.32	c  N dy 18743   4655743       670     47205         0    132830    251871   2384771     23.27     24.54
802.52/802.53	c  N dy 18829   4676766       670     47205         0    153680    251871   3185847     23.27     24.52
807.22/807.27	c  N dy 18932   4697876       670     47205         0    174548    251871   3961693     23.28     24.66
812.32/812.35	c  N dy 19044   4717961       670     47205         0     99662    251871    937135     23.28     28.24
815.92/815.91	c  N dy 19137   4738044       670     47205         0    119491    251871   1654451     23.29     31.39
820.63/820.66	c  N dy 19250   4761955       670     47205         0    143172    251871   2553562     23.29     24.54
825.22/825.28	c  N dy 19384   4782731       670     47205         0    163747    251871   3307933     23.29     24.57
830.02/830.07	c  N dy 19504   4802808       670     47205         0    183652    251871   4042163     23.30     26.75
834.52/834.53	c  N dy 19621   4822897       670     47205         0    107725    251871   1216984     23.31     24.63
838.92/838.96	c  N dy 19680   4843258       670     47205         0    127949    251871   2012352     23.30     24.62
844.32/844.34	c  N dy 19780   4863274       670     47205         0    147790    251871   2773355     23.31     26.11
850.33/850.37	c  N dy 19893   4883331       670     47205         0    167663    251871   3528784     23.31     25.15
856.72/856.77	c  N dy 19978   4903410       670     47205         0    187541    251871   4263765     23.31     24.81
862.62/862.68	c  N dy 20066   4925428       670     47205         0    112425    251871   1377045     23.31     24.79
867.93/867.93	c  N dy 20171   4945789       670     47205         0    132622    251871   2137758     23.32     24.68
872.62/872.68	c  N dy 20276   4966608       670     47205         0    153190    251871   2874908     23.32     24.55
877.84/877.82	c  N dy 20371   4990208       670     47205         0    176538    251871   3767840     23.32     24.61
883.33/883.31	c  N dy 20508   5010284       670     47205         0     98530    251871    811291     23.33     27.41
887.03/887.00	c  N dy 20651   5030315       670     47205         0    118399    251871   1548459     23.34     30.12
891.92/891.94	c  N dy 20711   5055764       670     47205         0    143649    251871   2529120     23.33     24.60
896.53/896.58	c  N dy 20814   5076528       670     47205         0    164230    251871   3298002     23.33     24.59
901.63/901.60	c  N dy 20958   5096615       670     47205         0    184137    251871   4036357     23.34     25.67
906.22/906.21	c  N dy 21015   5116792       670     47205         0    105236    251871   1062992     23.34     24.59
909.92/909.92	c  N dy 21116   5136794       670     47205         0    125039    251871   1784513     23.34     24.61
913.83/913.81	c  N dy 21183   5157233       670     47205         0    145278    251871   2552814     23.34     24.59
918.13/918.12	c  N dy 21272   5177807       670     47205         0    165621    251871   3331829     23.34     24.57
922.72/922.72	c  N dy 21343   5197903       670     47205         0    185504    251871   4056734     23.34     28.84
928.13/928.10	c  N dy 21481   5218146       670     47205         0    105622    251871   1001678     23.35     24.75
931.93/931.95	c  N dy 21574   5238700       670     47205         0    125952    251871   1759879     23.35     24.62
935.93/935.97	c  N dy 21671   5258953       670     47205         0    146036    251871   2502286     23.35     25.21
940.53/940.51	c  N dy 21789   5278994       670     47205         0    165917    251871   3230204     23.35     29.95
945.12/945.12	c  N dy 21873   5299057       670     47205         0    185807    251871   3997326     23.35     25.33
950.53/950.50	c  N dy 22027   5319128       670     47205         0    104799    251871    956274     23.36     28.26
954.23/954.21	c  N dy 22087   5339157       670     47205         0    124546    251871   1726420     23.36     25.74
958.43/958.42	c  N dy 22224   5359342       670     47205         0    144553    251871   2466203     23.37     24.77
962.63/962.63	c  N dy 22296   5379677       670     47205         0    164712    251871   3232751     23.37     24.77
968.53/968.52	c  N dy 22395   5405488       670     47205         0    190347    251871   4235805     23.37     24.74
973.73/973.77	c  N dy 22531   5425504       670     47205         0    108265    251871   1055145     23.37     29.37
977.63/977.61	c  N dy 22641   5445601       670     47205         0    128192    251871   1800488     23.38     26.39
981.83/981.81	c  N dy 22744   5465605       670     47205         0    147981    251871   2515154     23.38     24.95
986.23/986.28	c  N dy 22851   5485685       670     47205         0    167902    251871   3267209     23.39     31.47
990.53/990.51	c  N dy 22894   5506178       670     47205         0    188160    251871   4033250     23.38     24.63
995.93/995.91	c  N dy 22986   5526195       670     47205         0    105073    251871    900334     23.38     26.02
999.53/999.59	c  N dy 23065   5546231       670     47205         0    124812    251871   1595598     23.39     24.70
1005.03/1005.09	c  N dy 23125   5574968       670     47205         0    153267    251871   2666288     23.38     24.61
1011.23/1011.29	c  N dy 23236   5595045       670     47205         0    173134    251871   3404159     23.38     25.32
1017.93/1017.94	c  N dy 23346   5615161       670     47205         0    193090    251871   4152132     23.38     24.74
1027.83/1027.85	c  N dy 23429   5647459       670     47205         0    121260    251871   1576392     23.38     24.62
1035.03/1035.08	c  N dy 23542   5673948       670     47205         0    147505    251871   2625594     23.38     24.75
1045.63/1045.64	c  N dy 23655   5709022       670     47205         0    182199    251871   3993146     23.38     24.68
1052.84/1052.84	c  N dy 23761   5729544       670     47205         0    202528    251871   4750216     23.38     24.90
1059.24/1059.24	c  N dy 23880   5749623       670     47205         0    117639    251871   1322607     23.38     31.65
1126.73/1126.79	c  N dy 23925   5981587       670     47205         0    134506    251871   2004430     23.21     24.55
1131.03/1131.07	c  N dy 24035   6001654       670     47205         0    154394    251871   2744662     23.21     26.73
1135.54/1135.53	c  N dy 24136   6021731       670     47205         0    174258    251871   3471640     23.21     27.24
1140.74/1140.79	c  N dy 24288   6041757       670     47205         0    194120    251871   4216786     23.22     29.63
1146.93/1146.97	c  N dy 24365   6066612       670     47205         0    111013    251871   1007112     23.22     24.64
1150.94/1150.96	c  N dy 24507   6086744       670     47205         0    130933    251871   1735964     23.23     24.46
1155.24/1155.28	c  N dy 24628   6106761       670     47205         0    150732    251871   2457861     23.23     24.47
1160.23/1160.20	c  N dy 24761   6127889       670     47205         0    171666    251871   3234110     23.24     24.47
1164.95/1164.99	c  N dy 24830   6149446       670     47205         0    193008    251871   4049447     23.23     24.61
1170.24/1170.25	c  N dy 24897   6171032       670     47205         0    214416    251871   4888385     23.23     24.69
1174.64/1174.67	c  N dy 25003   6191042       670     47205         0    125467    251871   1482368     23.23     28.23
1179.24/1179.24	c  N dy 25124   6212653       670     47205         0    146848    251871   2263544     23.24     24.50
1184.33/1184.39	c  N dy 25205   6236504       670     47205         0    170480    251871   3173854     23.24     24.57
1189.04/1189.10	c  N dy 25279   6256580       670     47205         0    190327    251871   3923086     23.24     27.12
1194.64/1194.61	c  N dy 25409   6277110       670     47205         0    210627    251871   4664293     23.25     24.53
1199.64/1199.67	c  N dy 25530   6297171       670     47205         0    120813    251871   1312793     23.25     25.99
1204.44/1204.46	c  N dy 25656   6317208       670     47205         0    140665    251871   2058580     23.26     25.85
1210.24/1210.26	c  N dy 25682   6338709       670     47205         0    161884    251871   2936708     23.25     24.55
1216.94/1216.96	c  N dy 25809   6358909       670     47205         0    181885    251871   3674720     23.25     24.51
1223.74/1223.71	c  N dy 25889   6379723       670     47205         0    202526    251871   4481068     23.25     24.54
1231.13/1231.18	c  N dy 25967   6399793       670     47205         0    111651    251871    925683     23.25     24.48
1236.14/1236.15	c  N dy 26055   6419819       670     47205         0    131503    251871   1670036     23.25     25.62
1242.24/1242.20	c  N dy 26179   6440679       670     47205         0    152200    251871   2461738     23.26     24.81
1247.84/1247.88	c  N dy 26322   6460813       670     47205         0    172161    251871   3212033     23.27     24.67
1252.84/1252.86	c  N dy 26430   6480821       670     47205         0    191953    251871   3935655     23.27     27.91
1258.94/1258.95	c  N dy 26461   6505991       670     47205         0    216717    251871   4920784     23.26     24.49
1263.55/1263.51	c  N dy 26521   6526038       670     47205         0    124917    251871   1424701     23.26     27.87
1267.74/1267.74	c  N dy 26650   6546127       670     47205         0    144821    251871   2161479     23.26     24.82
1272.34/1272.39	c  N dy 26757   6567173       670     47205         0    165650    251871   2940467     23.27     24.56
1276.84/1276.83	c  N dy 26811   6587383       670     47205         0    185761    251871   3748249     23.27     24.50
1282.04/1282.05	c  N dy 26934   6607407       670     47205         0    205586    251871   4482058     23.27     25.85
1287.34/1287.31	c  N dy 27018   6627420       670     47205         0    225350    251871   5182564     23.27     32.86
1291.45/1291.49	c  N dy 27099   6647793       670     47205         0    132739    251871   1660502     23.27     24.65
1297.04/1297.09	c  N dy 27146   6674598       670     47205         0    159315    251871   2736474     23.26     24.70

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3250142-1303542461/watcher-3250142-1303542461 -o /tmp/evaluation-result-3250142-1303542461/solver-3250142-1303542461 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3250142-1303542461.cnf 

running on 2 cores: 1,3

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: 1.36 2.88 3.34 4/181 2805
/proc/meminfo: memFree=14591288/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=30112 CPUtime=0 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 822 0 0 0 0 0 0 0 22 0 1 0 465843143 30834688 762 33554432000 4194304 4627331 140736687878480 18446744073709551615 239476392032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 7528 763 320 106 0 2499 0

[startup+0.01575 s]
/proc/loadavg: 1.36 2.88 3.34 4/181 2805
/proc/meminfo: memFree=14591288/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=32308 CPUtime=0.01 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 1579 0 0 0 1 0 0 0 22 0 1 0 465843143 33083392 1519 33554432000 4194304 4627331 140736687878480 18446744073709551615 239476355781 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 8077 1522 322 106 0 3048 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 32308

[startup+0.100763 s]
/proc/loadavg: 1.36 2.88 3.34 4/181 2805
/proc/meminfo: memFree=14591288/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=37628 CPUtime=0.09 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 3480 0 0 0 9 0 0 0 22 0 1 0 465843143 38531072 3387 33554432000 4194304 4627331 140736687878480 18446744073709551615 4308297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 9407 3387 341 106 0 4378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37628

[startup+0.30072 s]
/proc/loadavg: 1.36 2.88 3.34 4/181 2805
/proc/meminfo: memFree=14591288/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=37628 CPUtime=0.29 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 3480 0 0 0 29 0 0 0 23 0 1 0 465843143 38531072 3387 33554432000 4194304 4627331 140736687878480 18446744073709551615 4308561 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 9407 3387 341 106 0 4378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37628

[startup+0.700645 s]
/proc/loadavg: 1.36 2.88 3.34 4/181 2805
/proc/meminfo: memFree=14591288/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=62456 CPUtime=0.69 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 9122 0 0 0 68 1 0 0 25 0 1 0 465843143 63954944 8875 33554432000 4194304 4627331 140736687878480 18446744073709551615 4467772 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 15614 8875 358 106 0 10585 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62456

[startup+1.5005 s]
/proc/loadavg: 1.36 2.88 3.34 5/190 2818
/proc/meminfo: memFree=14488924/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=78480 CPUtime=1.49 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 15980 0 0 0 147 2 0 0 25 0 1 0 465843143 80363520 14017 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309552 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 19620 14017 372 106 0 14591 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78480

[startup+3.10018 s]
/proc/loadavg: 1.36 2.88 3.34 5/190 2818
/proc/meminfo: memFree=14464000/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=111296 CPUtime=3.09 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 16617 0 0 0 307 2 0 0 25 0 1 0 465843143 113967104 14654 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 27824 14654 372 106 0 22795 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111296

[startup+6.30057 s]
/proc/loadavg: 1.57 2.90 3.35 5/190 2818
/proc/meminfo: memFree=14429416/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=102780 CPUtime=6.29 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 20850 0 0 0 626 3 0 0 25 0 1 0 465843143 105246720 15305 33554432000 4194304 4627331 140736687878480 18446744073709551615 4327392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 25695 15305 374 106 0 20666 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102780

[startup+12.7003 s]
/proc/loadavg: 1.77 2.91 3.35 5/190 2818
/proc/meminfo: memFree=14398420/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=103012 CPUtime=12.69 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 26323 0 0 0 1265 4 0 0 25 0 1 0 465843143 105484288 15635 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309552 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 25753 15635 374 106 0 20724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103012

[startup+25.5009 s]
/proc/loadavg: 2.26 2.97 3.36 5/190 2819
/proc/meminfo: memFree=14399412/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=103296 CPUtime=25.49 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 35416 0 0 0 2543 6 0 0 25 0 1 0 465843143 105775104 15571 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309552 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 25824 15571 375 106 0 20795 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103296

[startup+51.101 s]
/proc/loadavg: 2.93 3.06 3.38 5/190 2819
/proc/meminfo: memFree=14343812/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=103680 CPUtime=51.09 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 50220 0 0 0 5100 9 0 0 25 0 1 0 465843143 106168320 16646 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309024 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 25920 16646 375 106 0 20891 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 103680

[startup+102.307 s]
/proc/loadavg: 3.53 3.21 3.41 5/190 2821
/proc/meminfo: memFree=14335344/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=104220 CPUtime=102.3 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 75217 0 0 0 10215 15 0 0 25 0 1 0 465843143 106721280 17660 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309315 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 26055 17660 375 106 0 21026 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 104220

[startup+162.301 s]
/proc/loadavg: 3.83 3.35 3.45 5/190 2822
/proc/meminfo: memFree=14275688/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=106356 CPUtime=162.29 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 100260 0 0 0 16208 21 0 0 25 0 1 0 465843143 108908544 18680 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309283 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 26589 18680 375 106 0 21560 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 106356

[startup+222.301 s]
/proc/loadavg: 3.93 3.46 3.48 5/190 2824
/proc/meminfo: memFree=14287192/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=107296 CPUtime=222.3 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 123733 0 0 0 22204 26 0 0 25 0 1 0 465843143 109871104 17552 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309150 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 26824 17552 375 106 0 21795 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 107296

[startup+282.301 s]
/proc/loadavg: 3.97 3.56 3.51 5/190 2826
/proc/meminfo: memFree=14235340/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=108336 CPUtime=282.3 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 142995 0 0 0 28198 32 0 0 25 0 1 0 465843143 110936064 19754 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309150 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 27084 19754 375 106 0 22055 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 108336

[startup+342.301 s]
/proc/loadavg: 3.99 3.64 3.54 5/190 2835
/proc/meminfo: memFree=14224156/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=109632 CPUtime=342.3 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 163809 0 0 0 34193 37 0 0 25 0 1 0 465843143 112263168 18614 33554432000 4194304 4627331 140736687878480 18446744073709551615 4329968 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 27408 18614 375 106 0 22379 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 109632

[startup+402.3 s]
/proc/loadavg: 3.99 3.70 3.56 5/190 2837
/proc/meminfo: memFree=14203552/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=165800 CPUtime=402.31 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 181481 0 0 0 40189 42 0 0 25 0 1 0 465843143 169779200 20620 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309066 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 41450 20620 375 106 0 36421 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 165800

[startup+462.301 s]
/proc/loadavg: 3.99 3.75 3.58 5/190 2838
/proc/meminfo: memFree=14210340/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=113308 CPUtime=462.31 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 200706 0 0 0 46184 47 0 0 25 0 1 0 465843143 116027392 18857 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 28327 18857 375 106 0 23298 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 113308

[startup+522.3 s]
/proc/loadavg: 3.99 3.79 3.61 5/190 2840
/proc/meminfo: memFree=14184768/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=170384 CPUtime=522.31 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 216341 0 0 0 52178 53 0 0 25 0 1 0 465843143 174473216 21458 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 42596 21458 375 106 0 37567 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 170384

[startup+582.301 s]
/proc/loadavg: 4.04 3.84 3.64 5/190 2842
/proc/meminfo: memFree=14189820/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=114676 CPUtime=582.31 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 234035 0 0 0 58173 58 0 0 25 0 1 0 465843143 117428224 21029 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309098 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 28669 21029 375 106 0 23640 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 114676

[startup+642.3 s]
/proc/loadavg: 4.01 3.87 3.65 5/190 2843
/proc/meminfo: memFree=14174308/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=114872 CPUtime=642.32 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 251342 0 0 0 64169 63 0 0 25 0 1 0 465843143 117628928 19559 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309138 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 28718 19559 375 106 0 23689 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 114872

[startup+702.301 s]
/proc/loadavg: 4.00 3.89 3.67 5/190 2845
/proc/meminfo: memFree=14153440/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=115436 CPUtime=702.32 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 267334 0 0 0 70163 69 0 0 25 0 1 0 465843143 118206464 20827 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 28859 20827 375 106 0 23830 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 115436

[startup+762.307 s]
/proc/loadavg: 4.00 3.91 3.69 5/190 2846
/proc/meminfo: memFree=14169412/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=175748 CPUtime=762.33 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 283202 0 0 0 76160 73 0 0 25 0 1 0 465843143 179965952 21756 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 43937 21756 375 106 0 38908 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 175748

[startup+822.301 s]
/proc/loadavg: 4.00 3.92 3.71 5/190 2849
/proc/meminfo: memFree=14165308/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=117456 CPUtime=822.32 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 299084 0 0 0 82155 77 0 0 25 0 1 0 465843143 120274944 21895 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 29364 21895 375 106 0 24335 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 117456

[startup+882.3 s]
/proc/loadavg: 4.00 3.93 3.72 5/190 2851
/proc/meminfo: memFree=14101424/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=177848 CPUtime=882.33 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 311340 0 0 0 88150 83 0 0 25 0 1 0 465843143 182116352 23613 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 44462 23613 375 106 0 39433 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 177848

[startup+942.301 s]
/proc/loadavg: 4.14 3.98 3.75 5/190 2852
/proc/meminfo: memFree=14073000/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=180528 CPUtime=942.33 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 326897 0 0 0 94147 86 0 0 25 0 1 0 465843143 184860672 22955 33554432000 4194304 4627331 140736687878480 18446744073709551615 4332292 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 45132 22955 375 106 0 40103 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 180528

[startup+1002.3 s]
/proc/loadavg: 4.05 3.98 3.76 5/190 2854
/proc/meminfo: memFree=14096160/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=119788 CPUtime=1002.33 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 342005 0 0 0 100142 91 0 0 25 0 1 0 465843143 122662912 21443 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 29947 21443 375 106 0 24918 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 119788

[startup+1062.3 s]
/proc/loadavg: 4.02 3.98 3.77 5/190 2855
/proc/meminfo: memFree=14060056/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=121004 CPUtime=1062.33 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 353482 0 0 0 106136 97 0 0 25 0 1 0 465843143 123908096 21444 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309536 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 30251 21444 375 106 0 25222 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 121004

[startup+1122.3 s]
/proc/loadavg: 4.00 3.98 3.78 5/190 2857
/proc/meminfo: memFree=14016128/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=123696 CPUtime=1122.34 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 365513 0 0 0 112132 102 0 0 25 0 1 0 465843143 126664704 21256 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309873 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 30924 21256 375 106 0 25895 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 123696

[startup+1182.3 s]
/proc/loadavg: 4.00 3.98 3.79 5/190 2859
/proc/meminfo: memFree=14002596/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=123800 CPUtime=1182.34 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 379140 0 0 0 118128 106 0 0 25 0 1 0 465843143 126771200 23030 33554432000 4194304 4627331 140736687878480 18446744073709551615 4309240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 30950 23030 375 106 0 25921 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 123800

[startup+1242.3 s]
/proc/loadavg: 4.00 3.98 3.81 5/190 2860
/proc/meminfo: memFree=13971716/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=123904 CPUtime=1242.34 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 390883 0 0 0 124123 111 0 0 25 0 1 0 465843143 126877696 22761 33554432000 4194304 4627331 140736687878480 18446744073709551615 4310346 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 30976 22761 375 106 0 25947 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 123904



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.98 3.82 4/189 2863
/proc/meminfo: memFree=14127928/32950928 swapFree=67087032/67111528
[pid=2805] ppid=2803 vsize=187672 CPUtime=1300.05 cores=1,3
/proc/2805/stat : 2805 (strangenight2-s) R 2803 2805 2352 0 -1 4202496 403931 0 0 0 129889 116 0 0 25 0 1 0 465843143 192176128 23597 33554432000 4194304 4627331 140736687878480 18446744073709551615 4308384 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2805/statm: 46918 23597 375 106 0 41889 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 187672

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.06
CPU user time (s): 1298.89
CPU system time (s): 1.16982
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 196116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.89
system time used= 1.16982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403932
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= 6
involuntary context switches= 1951

runsolver used 2.02469 second user time and 5.08923 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-23 09:07:41
IDJOB=3250142
IDBENCH=83245
IDSOLVER=1587
FILE ID=node148/3250142-1303542461
RUNJOBID= node148-1303542461-2776
PBS_JOBID= 13143090
Free space on /tmp= 70604 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2072.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250142-1303542461/watcher-3250142-1303542461 -o /tmp/evaluation-result-3250142-1303542461/solver-3250142-1303542461 -C 2400 -W 1300 -M 7680  ./strangenight2-st HOME/instance-3250142-1303542461.cnf

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

MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364
RANDOM SEED=344612661

node148.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.854
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.70
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.854
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	: 5332.75
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.854
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.83
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.854
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.75
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.854
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.82
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.854
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.75
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.854
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.82
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14591552 kB
Buffers:       2041964 kB
Cached:       15708468 kB
SwapCached:       5264 kB
Active:        8844128 kB
Inactive:      8956976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14591552 kB
SwapTotal:    67111528 kB
SwapFree:     67087032 kB
Dirty:           19020 kB
Writeback:           0 kB
AnonPages:       47036 kB
Mapped:          14256 kB
Slab:           493068 kB
PageTables:       5152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   224284 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= 70592 MiB
End job on node148 at 2011-04-23 09:29:23