Trace number 3367918

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 (fixed)? (TO) 1300.06 1300.02

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
MD5SUM337bdbc5d8bf0013ca73aeffa06cffe8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark95.7414
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of clauses158884
Sum of the clauses size478584
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158240
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5644

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-3367918-1305391238.cnf'
0.00/0.00	c -- header says num vars:           2070
0.00/0.00	c -- header says num clauses:      158884
0.00/0.04	c -- clauses added:            0 learnts,       158884 normals,            0 xors
0.00/0.04	c -- vars added       2070
0.00/0.04	c Parsing time:  0.04 s
0.00/0.04	c  N st     0         0      2070    158884         0         0    478584         0   no data   no data
0.59/0.60	c asymm  cl-useful: 0/158377/158884 lits-rem:0 time: 0.56
0.59/0.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.59/0.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.59/0.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.59/0.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.59/0.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.01 s
0.59/0.65	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
1.29/1.34	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  0.68 s
1.29/1.34	c Finding binary XORs  T:     0.00 s  found:       0
1.29/1.39	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
1.29/1.39	c calculated reachability. Time: 0.00
1.29/1.39	c Calc default polars -  time:   0.00 s pos:    1380 undec:     690 neg:       0
1.29/1.39	c =========================================================================================
1.29/1.39	c types(t): F = full restart, N = normal restart
1.29/1.39	c types(t): S = simplification begin/end, E = solution found
1.29/1.39	c restart types(rt): st = static, dy = dynamic
1.29/1.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.29/1.39	c  B st     0         0      1380     98828         0         0    513491         0   no data   no data
1.69/1.76	c  N dy    12      4024      1380     98828         0      3981    513491    155804     24.98     28.53
2.10/2.12	c  N dy    24      8181      1380     98828         0      8103    513491    302360     23.91     25.35
2.99/3.02	c  N dy    37     17363      1380     98828         0     17209    513490    648085     21.35     22.52
3.39/3.44	c  N dy    60     21703      1380     98828         0     11596    513490    333237     21.55     22.73
3.69/3.72	c  F st    73     25000      1380     98828         0     14860    513490    446536     21.43     20.07
3.69/3.73	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
3.69/3.73	c Found part        7 vars:        710 clauses:     51623 lits size:    261595
3.69/3.73	c Found parts:          2 time: 0.01 s
3.69/3.73	c Solving part 4
3.69/3.77	c  N st     0         0       670     47205         0         0    251895         0   no data   no data
3.99/4.07	c asymm  cl-useful: 16/47205/47205 lits-rem:19 time: 0.31
3.99/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.99/4.08	c Finding binary XORs  T:     0.00 s  found:       0
4.09/4.10	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
4.09/4.10	c calculated reachability. Time: 0.00
4.09/4.10	c Calc default polars -  time:   0.00 s pos:     670 undec:    1400 neg:       0
4.09/4.10	c =========================================================================================
4.09/4.10	c types(t): F = full restart, N = normal restart
4.09/4.10	c types(t): S = simplification begin/end, E = solution found
4.09/4.10	c restart types(rt): st = static, dy = dynamic
4.09/4.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.09/4.10	c  B st     0         0       670     47205         0         0    251876         0   no data   no data
4.40/4.45	c  N dy     9      4018       670     47205         0      3973    251876    168281     28.40     30.09
4.79/4.89	c  N dy    19      8854       670     47205         0      4878    251876    146706     27.53     28.98
5.59/5.67	c  N dy    25     18915       670     47205         0      8503    251876    228553     25.15     26.62
5.99/6.07	c  N dy    42     23510       670     47205         0     13068    251876    404231     25.08     26.56
6.19/6.20	c  F st    49     25001       670     47205         0     14546    251876    457710     25.11   no data
6.49/6.53	c  N st    54     28296       670     47205         0      9754    251876    231170     25.11   no data
6.88/6.91	c  N dy    63     32376       670     47205         0     13789    251876    383083     25.08     26.60
7.18/7.27	c  N dy    67     36418       670     47205         0     17746    251876    515778     24.72     26.11
7.88/7.90	c  N dy    74     43344       670     47205         0     15224    251876    394761     24.16     25.55
8.28/8.30	c  N dy   103     47424       670     47205         0     19274    251876    546226     24.42     25.96
8.70/8.78	c  N dy   117     52247       670     47205         0     13479    251876    292271     24.33     25.64
9.09/9.17	c  N dy   142     56336       670     47205         0     17522    251876    438299     24.46     25.92
9.59/9.60	c  N dy   165     60675       670     47205         0     21832    251875    599967     24.50     25.82
9.99/10.01	c  N dy   183     64834       670     47205         0     14276    251875    270356     24.50     25.84
10.39/10.46	c  N dy   196     69401       670     47205         0     18801    251875    446421     24.37     25.82
10.79/10.89	c  N dy   201     73923       670     47205         0     23239    251875    611713     24.15     26.28
11.29/11.39	c  N dy   228     78911       670     47205         0     15520    251875    282767     24.18     25.80
11.89/11.90	c  N dy   253     84022       670     47205         0     20582    251875    469235     24.23     25.53
12.19/12.24	c  F st   270     87501       670     47205         0     24030    251875    587623     24.23     21.41
12.39/12.45	c  N st   274     89532       670     47205         0     26038    251875    664287     24.23   no data
12.99/13.05	c  N dy   289     95431       670     47205         0     18160    251875    361003     24.25     25.63
13.59/13.67	c  N dy   312    101726       670     47205         0     24401    251875    589795     24.24     25.54
14.30/14.36	c  N dy   339    108300       670     47205         0     16206    251875    249484     24.28     25.80
14.98/15.07	c  N dy   381    115219       670     47205         0     23073    251875    505473     24.39     32.33
15.78/15.80	c  N dy   416    122616       670     47205         0     30401    251875    786076     24.41     25.70
16.58/16.62	c  N dy   467    130503       670     47205         0     22502    251874    443782     24.49     29.05
17.60/17.64	c  N dy   503    140285       670     47205         0     32166    251874    806828     24.46     25.80
18.49/18.53	c  N dy   537    149283       670     47205         0     24380    251873    480734     24.46     27.19
19.89/19.92	c  N dy   573    162304       670     47205         0     19617    251873    286308     24.39     25.73
20.99/21.04	c  N dy   603    173269       670     47205         0     30466    251873    700389     24.32     25.69
22.58/22.63	c  N dy   632    188451       670     47205         0     26783    251873    507124     24.15     25.47
23.89/23.93	c  N dy   660    200554       670     47205         0     38756    251873    971181     24.06     25.43
25.20/25.27	c  N dy   705    213370       670     47205         0     31824    251873    683606     24.02     27.32
26.79/26.85	c  N dy   751    227358       670     47205         0     25015    251873    388326     23.99     25.32
28.39/28.43	c  N dy   821    241938       670     47205         0     39460    251873    927661     24.04     25.47
30.39/30.48	c  N dy   899    261085       670     47205         0     36749    251873    767948     24.05     25.38
32.49/32.52	c  N dy   967    279433       670     47205         0     32244    251873    603134     24.05     25.39
34.59/34.60	c  N dy  1023    297649       670     47205         0     26671    251873    374916     24.00     25.31
35.49/35.54	c  F st  1068    306251       670     47205         0     35181    251873    684929     24.04     23.38
37.09/37.11	c  N dy  1089    319714       670     47205         0     48512    251873   1207663     23.99     25.59
39.39/39.48	c  N dy  1140    340001       670     47205         0     44000    251873   1003121     23.90     25.23
41.80/41.87	c  N dy  1204    360013       670     47205         0     38149    251873    729788     23.87     27.20
44.28/44.38	c  N dy  1262    382679       670     47205         0     33986    251871    541095     23.78     25.47
46.69/46.76	c  N dy  1328    402899       670     47205         0     53949    251871   1288767     23.77     25.09
48.99/49.04	c  N dy  1413    422938       670     47205         0     46310    251871    989540     23.78     25.14
51.49/51.52	c  N dy  1459    443003       670     47205         0     37594    251871    627187     23.72     27.51
54.68/54.76	c  N dy  1545    467898       670     47205         0     32675    251871    408346     23.69     25.05
57.29/57.33	c  N dy  1610    488050       670     47205         0     52622    251871   1129641     23.68     25.13
59.79/59.84	c  N dy  1658    508437       670     47205         0     42294    251871    771232     23.66     25.04
64.69/64.73	c  N dy  1772    546394       670     47205         0     48400    251871    975495     23.57     24.94
67.49/67.52	c  N dy  1853    568594       670     47205         0     37773    251871    489473     23.56     24.96
70.79/70.85	c  N dy  1968    595136       670     47205         0     64127    251871   1510361     23.58     24.88
73.39/73.41	c  N dy  2098    615308       670     47205         0     50526    251871    934199     23.64     24.93
76.09/76.17	c  N dy  2128    635442       670     47205         0     35814    251871    368111     23.58     24.83
78.49/78.58	c  N dy  2210    655481       670     47205         0     55702    251871   1109390     23.57     29.13
81.30/81.33	c  N dy  2312    676203       670     47205         0     40698    251871    509399     23.60     24.93
83.89/83.92	c  N dy  2374    697672       670     47205         0     61968    251871   1313854     23.57     24.83
91.30/91.37	c  N dy  2471    746997       670     47205         0     74285    251871   1885674     23.43     24.84
93.99/94.00	c  N dy  2587    767071       670     47205         0     56709    251871   1080441     23.46     24.77
97.09/97.13	c  N dy  2718    788182       670     47205         0     39129    251871    376694     23.49     24.92
99.59/99.61	c  N dy  2821    808476       670     47205         0     59267    251871   1129223     23.51     24.97
102.69/102.76	c  N dy  2888    831014       670     47205         0     42008    251871    437369     23.50     25.05
105.29/105.34	c  N dy  2980    851033       670     47205         0     61879    251871   1181734     23.52     29.22
111.10/111.15	c  N dy  3025    891509       670     47205         0     61647    251871   1256755     23.42     24.72
113.89/113.99	c  N dy  3110    911613       670     47205         0     81570    251871   2023946     23.43     24.69
116.89/116.97	c  N dy  3190    931649       670     47205         0     59867    251871   1086058     23.43     24.67
120.19/120.22	c  N dy  3262    953112       670     47205         0     81078    251871   1864482     23.42     24.70
122.90/122.97	c  N dy  3373    973417       670     47205         0     58708    251871    974234     23.44     24.74
125.69/125.77	c  N dy  3459    993497       670     47205         0     78584    251871   1719011     23.45     27.06
128.60/128.62	c  N dy  3599   1013589       670     47205         0     55048    251871    821515     23.49     25.23
131.39/131.45	c  N dy  3669   1033892       670     47205         0     75226    251871   1654809     23.48     24.80
134.21/134.28	c  N dy  3736   1053897       670     47205         0     50541    251871    602025     23.47     27.24
136.59/136.66	c  F st  3813   1071875       670     47205         0     68363    251871   1277716     23.48   no data
136.89/136.94	c  N st  3817   1073906       670     47205         0     70371    251871   1349414     23.48   no data
142.40/142.46	c  N dy  3873   1112116       670     47205         0     62812    251871   1102367     23.41     24.72
145.49/145.55	c  N dy  4006   1133220       670     47205         0     83788    251871   1889854     23.45     24.74
150.70/150.76	c  N dy  4054   1167568       670     47205         0     71217    251871   1409174     23.38     24.86
154.70/154.79	c  N dy  4077   1196239       670     47205         0     52196    251871    604270     23.32     24.67
157.69/157.79	c  N dy  4099   1218456       670     47205         0     74270    251871   1482845     23.28     24.79
161.49/161.57	c  N dy  4120   1242426       670     47205         0     49555    251871    461132     23.21     24.57
164.20/164.29	c  N dy  4200   1263029       670     47205         0     70005    251871   1238721     23.21     24.91
167.40/167.43	c  N dy  4319   1283343       670     47205         0     90151    251871   1979689     23.23     24.54
170.29/170.38	c  N dy  4426   1303378       670     47205         0     60576    251871    829222     23.25     24.53
173.29/173.35	c  N dy  4514   1324536       670     47205         0     81546    251871   1639656     23.25     24.50
177.69/177.77	c  N dy  4581   1353916       670     47205         0     60307    251871    838320     23.22     24.58
180.60/180.62	c  N dy  4673   1374385       670     47205         0     80573    251871   1599831     23.23     24.65
184.19/184.21	c  N dy  4783   1396747       670     47205         0    102756    251871   2417662     23.25     24.48
187.01/187.04	c  N dy  4896   1417107       670     47205         0     71476    251871   1174432     23.26     24.69
190.20/190.27	c  N dy  4985   1438765       670     47205         0     92938    251871   1979137     23.26     24.58
193.50/193.57	c  N dy  5020   1460050       670     47205         0     61641    251871    832597     23.23     24.53
196.40/196.49	c  N dy  5084   1480218       670     47205         0     81646    251871   1607008     23.22     24.99
200.00/200.07	c  N dy  5111   1503411       670     47205         0    104602    251871   2512968     23.19     24.67
202.89/202.96	c  N dy  5199   1523425       670     47205         0     71006    251871   1121481     23.19     29.14
206.49/206.59	c  N dy  5279   1545309       670     47205         0     92640    251871   1934797     23.19     24.56
210.70/210.76	c  N dy  5397   1565393       670     47205         0     58213    251871    609824     23.21     27.20
214.20/214.27	c  N dy  5420   1585447       670     47205         0     78070    251871   1397532     23.19     28.94
218.29/218.35	c  N dy  5530   1606325       670     47205         0     98756    251871   2145083     23.20     24.52
221.90/221.94	c  N dy  5644   1626729       670     47205         0     63670    251871    785937     23.22     24.60
224.69/224.74	c  N dy  5697   1646763       670     47205         0     83421    251871   1537188     23.21     24.46
227.89/227.98	c  N dy  5812   1666817       670     47205         0    103305    251871   2279567     23.22     24.46
231.01/231.08	c  N dy  5895   1686890       670     47205         0     66904    251871    870552     23.22     25.54
234.31/234.32	c  N dy  5988   1708533       670     47205         0     88294    251871   1686677     23.23     24.53
237.89/237.92	c  N dy  6149   1728548       670     47205         0    108144    251871   2437030     23.26     25.45
241.00/241.07	c  N dy  6228   1749779       670     47205         0     71892    251871   1040110     23.26     24.56
244.21/244.25	c  N dy  6347   1770308       670     47205         0     92215    251871   1787025     23.27     24.75
247.51/247.51	c  N dy  6406   1790311       670     47205         0    112054    251871   2551398     23.27     30.55
250.59/250.67	c  N dy  6501   1810513       670     47205         0     73758    251871   1093702     23.28     24.67
253.70/253.76	c  N dy  6612   1830535       670     47205         0     93630    251870   1848793     23.29     29.75
257.00/257.06	c  N dy  6652   1850651       670     47205         0    113570    251870   2627533     23.28     24.66
260.10/260.17	c  N dy  6750   1870678       670     47205         0     74064    251870   1031533     23.29     24.86
263.40/263.42	c  N dy  6899   1890876       670     47205         0     94091    251870   1777670     23.31     24.72
268.79/268.83	c  N dy  6997   1922535       670     47205         0     65112    251870    685747     23.30     24.66
272.30/272.37	c  N dy  7094   1946832       670     47205         0     89222    251870   1620622     23.30     24.57
276.20/276.28	c  N dy  7205   1970441       670     47205         0    112604    251870   2473106     23.30     24.53
279.59/279.69	c  N dy  7337   1990508       670     47205         0     71171    251870    872228     23.32     24.67
282.79/282.88	c  N dy  7445   2010790       670     47205         0     91265    251870   1599172     23.33     24.61
286.30/286.33	c  N dy  7561   2030804       670     47205         0    111087    251870   2337133     23.35     27.32
289.89/289.97	c  N dy  7639   2052204       670     47205         0     69990    251870    808502     23.35     24.68
292.90/292.99	c  N dy  7749   2072227       670     47205         0     89829    251870   1538604     23.36     28.91
296.79/296.85	c  N dy  7858   2094602       670     47205         0    112039    251870   2369264     23.37     24.63
300.21/300.27	c  N dy  7919   2114673       670     47205         0     68655    251870    731928     23.36     24.63
303.20/303.20	c  N dy  7983   2134694       670     47205         0     88505    251870   1514118     23.36     27.11
306.60/306.60	c  N dy  8111   2154775       670     47205         0    108409    251870   2250052     23.37     30.87
310.50/310.53	c  N dy  8233   2175031       670     47205         0    128491    251870   2980743     23.39     24.70
313.70/313.80	c  N dy  8400   2195123       670     47205         0     84114    251870   1279515     23.42     27.89
317.10/317.11	c  N dy  8489   2215192       670     47205         0    103908    251870   1975785     23.42     27.46
322.49/322.53	c  N dy  8590   2243764       670     47205         0     66977    251870    605669     23.41     24.65
328.30/328.39	c  N dy  8632   2272359       670     47205         0     95427    251870   1781064     23.37     24.61
334.10/334.19	c  N dy  8701   2300506       670     47205         0    123331    251870   2888759     23.36     24.61
337.50/337.52	c  N dy  8738   2320915       670     47205         0     77283    251870    978445     23.35     24.61
340.80/340.83	c  N dy  8823   2341767       670     47205         0     98004    251870   1793221     23.35     24.74
344.50/344.55	c  N dy  8927   2363073       670     47205         0    119156    251870   2615217     23.35     24.68
348.30/348.36	c  N dy  9043   2383192       670     47205         0     71727    251870    712983     23.37     24.66
352.30/352.34	c  N dy  9123   2409148       670     47205         0     97450    251870   1687168     23.36     24.65
356.20/356.20	c  N dy  9219   2431365       670     47205         0    119484    251870   2510542     23.36     24.76
361.81/361.89	c  N dy  9304   2463266       670     47205         0     82632    251870   1139517     23.34     24.68
365.30/365.33	c  N dy  9423   2483758       670     47205         0    102943    251870   1882833     23.35     24.59
369.00/369.08	c  N dy  9543   2504070       670     47205         0    123059    251870   2632844     23.36     24.62
373.80/373.86	c  N dy  9620   2531527       670     47205         0     81203    251870   1113652     23.35     24.65
377.10/377.19	c  N dy  9711   2552307       670     47205         0    101784    251870   1899322     23.35     24.77
380.80/380.83	c  N dy  9820   2572338       670     47205         0    121635    251870   2618452     23.36     24.78
384.80/384.84	c  N dy  9912   2592359       670     47205         0     71253    251870    612338     23.36     28.62
388.10/388.11	c  N dy 10033   2613212       670     47205         0     91898    251870   1358134     23.37     24.79
391.51/391.60	c  N dy 10162   2633258       670     47205         0    111783    251870   2101026     23.39     27.64
395.40/395.43	c  N dy 10257   2653269       670     47205         0    131625    251870   2837244     23.39     24.72
399.00/399.08	c  N dy 10366   2673367       670     47205         0     80322    251870    928110     23.40     26.74
402.61/402.66	c  N dy 10402   2695239       670     47205         0    102025    251870   1782438     23.38     24.97
406.21/406.20	c  N dy 10488   2715284       670     47205         0    121904    251870   2548272     23.39     26.31
410.21/410.23	c  N dy 10600   2735382       670     47205         0    141869    251870   3316472     23.39     29.08
413.80/413.87	c  N dy 10687   2757528       670     47205         0     91492    251870   1325234     23.39     24.69
417.30/417.30	c  N dy 10792   2777545       670     47205         0    111309    251870   2049439     23.40     28.32
421.10/421.17	c  N dy 10902   2798169       670     47205         0    131737    251870   2794264     23.41     24.67
425.10/425.14	c  N dy 11011   2818258       670     47205         0     78425    251869    785711     23.42     24.80
428.30/428.39	c  N dy 11080   2839193       670     47205         0     99182    251869   1593482     23.41     24.67
432.00/432.03	c  N dy 11095   2861450       670     47205         0    121277    251869   2476508     23.39     24.80
435.80/435.84	c  N dy 11186   2881467       670     47205         0    141043    251869   3175299     23.39     24.77
445.51/445.56	c  N dy 11257   2923595       670     47205         0    108595    251869   2027085     23.36     24.96
455.70/455.74	c  N dy 11321   2964321       670     47205         0    148645    251869   3619502     23.32     24.99
459.20/459.29	c  N dy 11358   2984336       670     47205         0     93465    251869   1325150     23.31     26.59
462.51/462.59	c  N dy 11389   3004397       670     47205         0    113203    251869   2100106     23.30     24.66
466.31/466.38	c  N dy 11511   3024406       670     47205         0    133010    251869   2841613     23.31     26.38
470.50/470.53	c  N dy 11611   3044809       670     47205         0     77243    251869    663987     23.32     24.57
473.91/473.90	c  N dy 11636   3065825       670     47205         0     97981    251869   1481556     23.30     24.69
486.80/486.81	c  N dy 11738   3132548       670     47205         0     87010    251869   1047708     23.25     24.54
490.10/490.13	c  N dy 11856   3152593       670     47205         0    106874    251869   1803529     23.26     26.27
494.01/494.01	c  N dy 11954   3173738       670     47205         0    127795    251869   2596025     23.26     24.69
498.32/498.37	c  N dy 12053   3195744       670     47205         0    149574    251869   3395579     23.27     24.51
503.30/503.34	c  N dy 12091   3226313       670     47205         0    101749    251869   1570831     23.25     24.48
507.01/507.07	c  N dy 12220   3246352       670     47205         0    121635    251869   2305334     23.26     28.43
510.90/510.96	c  N dy 12305   3266434       670     47205         0    141471    251869   3063612     23.26     24.61
518.31/518.31	c  N dy 12396   3304617       670     47205         0    100348    251869   1518953     23.24     24.50
521.90/521.96	c  N dy 12494   3325131       670     47205         0    120687    251869   2282664     23.24     24.62
525.71/525.73	c  N dy 12582   3345515       670     47205         0    140904    251869   3053998     23.24     24.76
529.81/529.84	c  N dy 12626   3365568       670     47205         0     80654    251869    667616     23.23     28.77
533.00/533.05	c  N dy 12725   3385647       670     47205         0    100552    251869   1437433     23.24     29.98
536.71/536.81	c  N dy 12798   3408035       670     47205         0    122659    251869   2291611     23.24     24.55
540.91/540.90	c  N dy 12919   3428103       670     47205         0    142562    251869   3012003     23.25     26.72
547.51/547.55	c  N dy 12973   3464513       670     47205         0     97334    251869   1287731     23.21     24.45
551.21/551.24	c  N dy 13125   3484625       670     47205         0    117257    251869   2022878     23.23     24.51
555.01/555.07	c  N dy 13237   3504691       670     47205         0    137113    251869   2752554     23.24     24.46
558.90/558.99	c  N dy 13314   3524745       670     47205         0    156906    251869   3472690     23.24     28.24
563.22/563.26	c  N dy 13420   3547647       670     47205         0     97701    251869   1258193     23.24     24.52
566.90/566.93	c  N dy 13544   3567735       670     47205         0    117600    251869   1993415     23.25     24.49
570.81/570.82	c  N dy 13627   3587742       670     47205         0    137430    251869   2772284     23.25     33.34
574.90/574.93	c  N dy 13725   3607783       670     47205         0    157338    251869   3552175     23.26     26.47
578.81/578.86	c  N dy 13838   3627796       670     47205         0     94133    251869   1098588     23.26     31.21
582.40/582.42	c  N dy 13945   3647874       670     47205         0    114040    251869   1835971     23.27     25.69
586.11/586.17	c  N dy 14040   3667891       670     47205         0    133841    251869   2556953     23.27     27.23
590.62/590.62	c  N dy 14155   3690153       670     47205         0    155873    251869   3360438     23.28     24.51
594.71/594.78	c  N dy 14264   3710336       670     47205         0     91818    251869    969829     23.28     24.53
598.21/598.21	c  N dy 14368   3730358       670     47205         0    111671    251869   1734058     23.28     28.75
601.91/601.99	c  N dy 14460   3750451       670     47205         0    131588    251869   2481646     23.29     31.05
602.21/602.23	c  F st 14470   3751562       670     47205         0    132692    251869   2520873     23.29   no data
606.21/606.22	c  N dy 14570   3770660       670     47205         0    151645    251869   3246124     23.29     24.72
610.91/610.91	c  N dy 14691   3791339       670     47205         0     87036    251869    750876     23.30     24.58
622.91/622.91	c  N dy 14761   3852918       670     47205         0    148041    251869   3237860     23.26     24.51
631.51/631.52	c  N dy 14798   3897864       670     47205         0    106592    251869   1598236     23.23     24.58
635.21/635.26	c  N dy 14900   3918037       670     47205         0    126581    251869   2339476     23.24     24.46
639.81/639.83	c  N dy 14995   3941307       670     47205         0    149601    251869   3220837     23.24     24.58
644.31/644.30	c  N dy 15099   3961400       670     47205         0    169525    251869   3976691     23.24     26.22
648.20/648.21	c  N dy 15191   3981499       670     47205         0    102343    251869   1264393     23.24     31.69
651.61/651.65	c  N dy 15265   4001501       670     47205         0    122148    251869   1980801     23.24     27.29
655.52/655.53	c  N dy 15370   4021592       670     47205         0    142055    251869   2731017     23.25     24.60
660.02/660.07	c  N dy 15491   4042303       670     47205         0    162545    251869   3478133     23.25     24.55
664.32/664.32	c  N dy 15577   4062367       670     47205         0     94405    251869    947756     23.26     24.54
668.71/668.71	c  N dy 15690   4088050       670     47205         0    119883    251869   1924692     23.26     24.68
672.12/672.15	c  N dy 15734   4108227       670     47205         0    139829    251869   2679487     23.25     24.48
676.11/676.18	c  N dy 15780   4128309       670     47205         0    159790    251869   3496334     23.25     24.69
680.70/680.76	c  N dy 15864   4148428       670     47205         0     90651    251869    775656     23.25     24.66
684.12/684.20	c  N dy 15954   4168485       670     47205         0    110517    251869   1508554     23.25     28.13
688.11/688.15	c  N dy 16105   4188740       670     47205         0    130622    251869   2257935     23.26     24.71
692.41/692.41	c  N dy 16214   4208791       670     47205         0    150518    251869   3022873     23.27     29.06
699.62/699.67	c  N dy 16341   4242591       670     47205         0     93966    251869    877154     23.26     24.75
703.41/703.47	c  N dy 16385   4265172       670     47205         0    116344    251869   1749816     23.25     24.55
707.51/707.53	c  N dy 16516   4285283       670     47205         0    136268    251869   2497316     23.26     24.49
712.61/712.64	c  N dy 16606   4310466       670     47205         0    161289    251869   3493830     23.26     24.52
718.22/718.22	c  N dy 16610   4336411       670     47205         0     95781    251869    931941     23.24     24.54
721.91/721.96	c  N dy 16703   4358553       670     47205         0    117679    251869   1758319     23.24     24.73
725.91/725.98	c  N dy 16812   4378557       670     47205         0    137441    251869   2494698     23.25     25.50
730.43/730.47	c  N dy 16905   4400193       670     47205         0    158889    251869   3297739     23.25     24.54
734.51/734.55	c  N dy 16941   4420274       670     47205         0    178754    251869   4040149     23.24     24.85
738.61/738.63	c  N dy 17069   4440331       670     47205         0    106708    251869   1292464     23.25     24.71
742.31/742.38	c  N dy 17190   4460456       670     47205         0    126661    251869   2025460     23.26     24.59
746.51/746.55	c  N dy 17283   4481109       670     47205         0    147095    251869   2773266     23.26     24.52
750.71/750.70	c  N dy 17332   4501184       670     47205         0    166999    251869   3574847     23.26     24.50
755.31/755.37	c  N dy 17414   4521465       670     47205         0     94154    251869    794294     23.26     24.50
758.92/759.01	c  N dy 17563   4541506       670     47205         0    114017    251869   1533565     23.26     26.15
762.81/762.83	c  N dy 17660   4561565       670     47205         0    133884    251869   2286401     23.27     26.97
767.11/767.13	c  N dy 17782   4581622       670     47205         0    153766    251869   3028561     23.28     25.92
772.81/772.81	c  N dy 17813   4608238       670     47205         0    180059    251869   4063139     23.26     24.62
777.11/777.14	c  N dy 17911   4628477       670     47205         0    106151    251869   1204231     23.26     24.49
780.71/780.78	c  N dy 18010   4648588       670     47205         0    126091    251869   1954280     23.27     24.70
784.62/784.68	c  N dy 18101   4668678       670     47205         0    146016    251869   2704837     23.27     26.95
789.11/789.12	c  N dy 18179   4689463       670     47205         0    166621    251869   3474638     23.27     24.57
793.71/793.78	c  N dy 18262   4710054       670     47205         0    187022    251869   4250341     23.27     24.80
797.71/797.73	c  N dy 18380   4730108       670     47205         0    111906    251869   1410798     23.28     27.32
801.51/801.51	c  N dy 18470   4750171       670     47205         0    131811    251869   2186078     23.28     28.97
805.61/805.61	c  N dy 18561   4770357       670     47205         0    151718    251869   2902321     23.28     24.56
810.01/810.03	c  N dy 18640   4790667       670     47205         0    171862    251869   3696005     23.28     24.61
815.32/815.32	c  N dy 18711   4813458       670     47205         0     98443    251869    868630     23.28     24.78
819.62/819.63	c  N dy 18820   4833761       670     47205         0    118576    251869   1606665     23.28     24.58
824.61/824.67	c  N dy 18918   4853847       670     47205         0    138415    251869   2332077     23.29     25.00
830.22/830.24	c  N dy 19041   4873912       670     47205         0    158322    251869   3076767     23.29     28.78
836.51/836.53	c  N dy 19171   4893993       670     47205         0    178184    251869   3807702     23.30     29.31
842.52/842.54	c  N dy 19233   4914068       670     47205         0    101158    251869    939022     23.30     28.31
846.92/846.92	c  N dy 19288   4934160       670     47205         0    121020    251869   1712295     23.29     27.45
852.22/852.24	c  N dy 19427   4954230       670     47205         0    140895    251869   2453220     23.30     27.65
857.32/857.30	c  N dy 19559   4974683       670     47205         0    161177    251869   3198624     23.31     24.62
862.92/862.90	c  N dy 19649   5000118       670     47205         0    186400    251869   4184773     23.31     24.77
896.61/896.63	c  N dy 19730   5127616       670     47205         0    115907    251869   1524296     23.21     24.54
900.52/900.58	c  N dy 19837   5147708       670     47205         0    135832    251869   2251966     23.21     24.44
904.52/904.51	c  N dy 19900   5167749       670     47205         0    155690    251869   3050011     23.21     26.27
908.91/908.93	c  N dy 19993   5187797       670     47205         0    175551    251869   3803520     23.21     24.44
913.22/913.21	c  N dy 20024   5207817       670     47205         0    195297    251869   4580761     23.20     35.07
917.21/917.21	c  N dy 20102   5227870       670     47205         0    115231    251869   1377451     23.20     28.65
921.12/921.13	c  N dy 20215   5248267       670     47205         0    135404    251869   2138822     23.21     24.47
925.22/925.24	c  N dy 20315   5268399       670     47205         0    155396    251869   2907840     23.21     24.77
929.92/929.96	c  N dy 20430   5289240       670     47205         0    176033    251869   3687215     23.22     24.53
934.62/934.63	c  N dy 20509   5309278       670     47205         0    195853    251869   4432436     23.22     29.54
938.92/938.91	c  N dy 20600   5329393       670     47205         0    114927    251869   1366108     23.22     24.54
942.63/942.61	c  N dy 20679   5349573       670     47205         0    134834    251869   2128991     23.22     24.45
946.62/946.67	c  N dy 20754   5370165       670     47205         0    155240    251869   2909618     23.22     24.80
951.01/951.09	c  N dy 20850   5390183       670     47205         0    175077    251869   3663574     23.22     24.49
955.93/955.96	c  N dy 20913   5411176       670     47205         0    195848    251869   4450147     23.22     24.56
967.12/967.19	c  N dy 20975   5462901       670     47205         0    144918    251869   2578472     23.20     24.68
971.52/971.51	c  N dy 21067   5483616       670     47205         0    165450    251869   3371511     23.20     24.49
975.92/975.94	c  N dy 21146   5504010       670     47205         0    185633    251869   4127150     23.20     24.43
981.32/981.37	c  N dy 21269   5524212       670     47205         0    102978    251869    840367     23.21     25.06
985.12/985.13	c  N dy 21374   5544743       670     47205         0    123289    251869   1582913     23.21     24.67
993.33/993.37	c  N dy 21424   5578012       670     47205         0    156336    251869   2939075     23.20     24.52
999.52/999.53	c  N dy 21465   5599647       670     47205         0    177787    251869   3817993     23.20     24.44
1005.82/1005.82	c  N dy 21562   5619683       670     47205         0    197630    251869   4539877     23.20     32.53
1011.62/1011.69	c  N dy 21645   5639815       670     47205         0    113723    251869   1205937     23.20     24.49
1023.12/1023.19	c  N dy 21665   5681135       670     47205         0    154747    251869   2916675     23.18     24.41
1029.42/1029.44	c  N dy 21762   5702976       670     47205         0    176437    251869   3772602     23.18     24.42
1035.82/1035.80	c  N dy 21863   5722997       670     47205         0    196249    251869   4506822     23.19     24.41
1041.92/1041.99	c  N dy 21963   5743133       670     47205         0    111301    251869   1094016     23.19     24.54
1045.82/1045.89	c  N dy 22058   5763233       670     47205         0    131195    251869   1829107     23.19     24.47
1050.53/1050.56	c  N dy 22158   5785700       670     47205         0    153432    251869   2649708     23.19     24.48
1057.23/1057.20	c  N dy 22207   5816210       670     47205         0    183746    251869   3936456     23.19     24.67
1062.92/1062.92	c  N dy 22285   5839902       670     47205         0    207191    251869   4847168     23.18     24.48
1067.32/1067.34	c  N dy 22399   5860071       670     47205         0    121260    251869   1434748     23.19     24.41
1071.52/1071.51	c  N dy 22526   5880157       670     47205         0    141164    251869   2154290     23.19     29.84
1075.73/1075.74	c  N dy 22596   5900711       670     47205         0    161547    251869   2947008     23.19     24.42
1080.02/1080.05	c  N dy 22648   5920728       670     47205         0    181294    251869   3685990     23.19     25.53
1084.53/1084.59	c  N dy 22715   5940731       670     47205         0    201115    251869   4436603     23.19     27.25
1089.82/1089.80	c  N dy 22846   5961392       670     47205         0    114746    251869   1161547     23.20     25.25
1093.63/1093.62	c  N dy 22948   5981430       670     47205         0    134592    251869   1901356     23.20     24.75
1112.03/1112.03	c  N dy 22995   6055702       670     47205         0    207945    251869   4958037     23.16     24.44
1123.32/1123.39	c  N dy 23051   6106135       670     47205         0    150123    251869   2613098     23.14     24.38
1130.23/1130.28	c  N dy 23142   6137723       670     47205         0    181383    251869   3832375     23.14     24.39
1135.13/1135.21	c  N dy 23243   6157761       670     47205         0    201187    251869   4564176     23.14     34.41
1140.52/1140.54	c  N dy 23362   6177778       670     47205         0    112322    251869   1013546     23.14     24.39
1144.42/1144.46	c  N dy 23500   6197886       670     47205         0    132267    251869   1764462     23.15     24.44
1148.52/1148.57	c  N dy 23528   6217905       670     47205         0    151905    251869   2433829     23.15     26.78
1153.32/1153.37	c  N dy 23643   6238563       670     47205         0    172376    251869   3198356     23.15     24.42
1158.12/1158.16	c  N dy 23744   6258639       670     47205         0    192295    251869   3959242     23.16     29.52
1163.63/1163.65	c  N dy 23875   6278738       670     47205         0    212207    251869   4704091     23.16     27.32
1168.32/1168.39	c  N dy 23983   6299345       670     47205         0    122856    251869   1366307     23.17     24.39
1177.33/1177.31	c  N dy 24046   6344492       670     47205         0    167250    251869   3079668     23.15     24.53
1182.33/1182.35	c  N dy 24147   6365867       670     47205         0    188404    251869   3867061     23.15     24.51
1187.94/1188.00	c  N dy 24221   6385940       670     47205         0    208290    251869   4622353     23.15     28.28
1194.23/1194.22	c  N dy 24309   6405961       670     47205         0    117583    251869   1161464     23.15     24.38
1199.43/1199.44	c  N dy 24445   6425974       670     47205         0    137426    251869   1890384     23.16     25.24
1207.13/1207.18	c  N dy 24528   6454039       670     47205         0    165218    251869   2973349     23.15     24.59
1214.03/1214.00	c  N dy 24666   6475316       670     47205         0    186290    251869   3754681     23.16     24.41
1221.04/1221.02	c  N dy 24816   6495324       670     47205         0    206134    251869   4484212     23.17     24.64
1228.74/1228.78	c  N dy 24941   6516213       670     47205         0    115118    251869   1028530     23.17     24.63
1233.93/1233.91	c  N dy 25011   6536950       670     47205         0    135695    251869   1796137     23.17     24.56
1238.64/1238.68	c  N dy 25111   6556973       670     47205         0    155534    251869   2548884     23.17     30.01
1259.63/1259.68	c  N dy 25162   6639330       670     47205         0    124350    251869   1379734     23.14     24.38
1263.63/1263.69	c  N dy 25262   6659377       670     47205         0    144241    251869   2135869     23.14     24.39
1268.83/1268.81	c  N dy 25358   6683927       670     47205         0    168537    251869   3060708     23.15     24.65
1273.13/1273.17	c  N dy 25447   6703976       670     47205         0    188375    251869   3817596     23.15     27.11
1278.03/1278.06	c  N dy 25562   6724333       670     47205         0    208514    251869   4543830     23.15     24.41
1283.53/1283.58	c  N dy 25696   6744616       670     47205         0    114849    251869    965047     23.16     24.65
1287.33/1287.31	c  N dy 25827   6764667       670     47205         0    134733    251869   1708522     23.16     25.49
1298.33/1298.30	c  N dy 25831   6814268       670     47205         0    184028    251869   3789248     23.14     24.36

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: 961)

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.56 3.88 3.91 5/367 16088
/proc/meminfo: memFree=23726076/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=29884 CPUtime=0 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 785 0 0 0 0 0 0 0 25 0 1 0 631539324 30601216 725 33554432000 4194304 4580011 140735767308832 18446744073709551615 228095148217 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 7471 726 322 95 0 2453 0

[startup+0.093481 s]
/proc/loadavg: 3.56 3.88 3.91 5/367 16088
/proc/meminfo: memFree=23726076/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=37580 CPUtime=0.08 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 3476 0 0 0 8 0 0 0 25 0 1 0 631539324 38481920 3383 33554432000 4194304 4580011 140735767308832 18446744073709551615 4293648 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 9395 3383 339 95 0 4377 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37580

[startup+0.10048 s]
/proc/loadavg: 3.56 3.88 3.91 5/367 16088
/proc/meminfo: memFree=23726076/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=37580 CPUtime=0.09 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 3476 0 0 0 9 0 0 0 25 0 1 0 631539324 38481920 3383 33554432000 4194304 4580011 140735767308832 18446744073709551615 4293051 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 9395 3383 339 95 0 4377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37580

[startup+0.300443 s]
/proc/loadavg: 3.56 3.88 3.91 5/367 16088
/proc/meminfo: memFree=23726076/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=37580 CPUtime=0.29 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 3476 0 0 0 29 0 0 0 25 0 1 0 631539324 38481920 3383 33554432000 4194304 4580011 140735767308832 18446744073709551615 4293653 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 9395 3383 339 95 0 4377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37580

[startup+0.700381 s]
/proc/loadavg: 3.56 3.88 3.91 5/367 16088
/proc/meminfo: memFree=23726076/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=62424 CPUtime=0.69 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 9114 0 0 0 68 1 0 0 25 0 1 0 631539324 63922176 8869 33554432000 4194304 4580011 140735767308832 18446744073709551615 4451588 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 15606 8869 352 95 0 10588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62424

[startup+1.50023 s]
/proc/loadavg: 3.60 3.89 3.91 5/368 16089
/proc/meminfo: memFree=23697448/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=78404 CPUtime=1.49 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 15949 0 0 0 147 2 0 0 18 0 1 0 631539324 80285696 13989 33554432000 4194304 4580011 140735767308832 18446744073709551615 4338942 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 19601 13989 364 95 0 14583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78404

[startup+3.10093 s]
/proc/loadavg: 3.60 3.89 3.91 5/368 16089
/proc/meminfo: memFree=23670540/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=111220 CPUtime=3.09 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 16613 0 0 0 307 2 0 0 20 0 1 0 631539324 113889280 14653 33554432000 4194304 4580011 140735767308832 18446744073709551615 4318832 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 27805 14653 364 95 0 22787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111220

[startup+6.30033 s]
/proc/loadavg: 3.79 3.92 3.92 5/368 16089
/proc/meminfo: memFree=23673764/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=102836 CPUtime=6.29 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 20339 0 0 0 627 2 0 0 25 0 1 0 631539324 105304064 15642 33554432000 4194304 4580011 140735767308832 18446744073709551615 4295809 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 25709 15642 366 95 0 20691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102836

[startup+12.7002 s]
/proc/loadavg: 3.80 3.92 3.92 5/368 16089
/proc/meminfo: memFree=23655552/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=103108 CPUtime=12.69 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 26436 0 0 0 1266 3 0 0 25 0 1 0 631539324 105582592 15383 33554432000 4194304 4580011 140735767308832 18446744073709551615 4318676 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 25777 15383 366 95 0 20759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103108

[startup+25.5008 s]
/proc/loadavg: 3.85 3.92 3.92 5/368 16089
/proc/meminfo: memFree=23651584/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=103356 CPUtime=25.49 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 35107 0 0 0 2544 5 0 0 25 0 1 0 631539324 105836544 15969 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294346 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 25839 15969 367 95 0 20821 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103356

[startup+51.1011 s]
/proc/loadavg: 3.90 3.93 3.92 5/368 16090
/proc/meminfo: memFree=23611040/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=103772 CPUtime=51.09 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 50395 0 0 0 5102 7 0 0 25 0 1 0 631539324 106262528 15793 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294354 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 25943 15793 367 95 0 20925 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 103772

[startup+102.314 s]
/proc/loadavg: 3.99 3.95 3.93 5/368 16091
/proc/meminfo: memFree=23601444/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=104256 CPUtime=102.31 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 74375 0 0 0 10219 12 0 0 25 0 1 0 631539324 106758144 17790 33554432000 4194304 4580011 140735767308832 18446744073709551615 4306518 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 26064 17790 367 95 0 21046 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 104256

[startup+162.301 s]
/proc/loadavg: 4.19 4.00 3.94 5/368 16093
/proc/meminfo: memFree=23578736/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=106128 CPUtime=162.29 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 100961 0 0 0 16211 18 0 0 25 0 1 0 631539324 108675072 17187 33554432000 4194304 4580011 140735767308832 18446744073709551615 4318654 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 26532 17187 367 95 0 21514 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 106128

[startup+222.301 s]
/proc/loadavg: 4.14 4.02 3.95 5/368 16095
/proc/meminfo: memFree=23550284/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=107028 CPUtime=222.29 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 123075 0 0 0 22203 26 0 0 25 0 1 0 631539324 109596672 17601 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294557 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 26757 17601 367 95 0 21739 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 107028

[startup+282.301 s]
/proc/loadavg: 4.05 4.01 3.95 5/368 16096
/proc/meminfo: memFree=23565116/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=107832 CPUtime=282.29 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 144369 0 0 0 28198 31 0 0 25 0 1 0 631539324 110419968 18378 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294501 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 26958 18378 367 95 0 21940 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 107832

[startup+342.301 s]
/proc/loadavg: 4.12 4.05 3.97 5/368 16098
/proc/meminfo: memFree=23515588/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=109132 CPUtime=342.29 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 163717 0 0 0 34193 36 0 0 25 0 1 0 631539324 111751168 19290 33554432000 4194304 4580011 140735767308832 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 27283 19290 367 95 0 22265 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 109132

[startup+402.301 s]
/proc/loadavg: 4.07 4.05 3.97 5/368 16099
/proc/meminfo: memFree=23523872/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=110896 CPUtime=402.3 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 183409 0 0 0 40188 42 0 0 25 0 1 0 631539324 113557504 19227 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294498 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 27724 19227 367 95 0 22706 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 110896

[startup+462.301 s]
/proc/loadavg: 4.02 4.04 3.97 5/368 16101
/proc/meminfo: memFree=23475472/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=111716 CPUtime=462.31 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 200765 0 0 0 46181 50 0 0 25 0 1 0 631539324 114397184 19776 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 27929 19776 367 95 0 22911 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 111716

[startup+522.301 s]
/proc/loadavg: 4.01 4.03 3.97 5/368 16103
/proc/meminfo: memFree=23412304/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=112856 CPUtime=522.3 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 219000 0 0 0 52175 55 0 0 25 0 1 0 631539324 115564544 20349 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294526 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 28214 20349 367 95 0 23196 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 112856

[startup+582.301 s]
/proc/loadavg: 4.13 4.05 3.98 5/368 16104
/proc/meminfo: memFree=23443752/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=113564 CPUtime=582.3 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 236830 0 0 0 58170 60 0 0 25 0 1 0 631539324 116289536 19916 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294660 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 28391 19916 367 95 0 23373 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 113564

[startup+642.3 s]
/proc/loadavg: 4.20 4.08 3.99 5/368 16106
/proc/meminfo: memFree=23379376/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=172860 CPUtime=642.31 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 253397 0 0 0 64166 65 0 0 25 0 1 0 631539324 177008640 22140 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294436 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 43215 22140 367 95 0 38197 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 172860

[startup+702.3 s]
/proc/loadavg: 4.15 4.08 4.00 5/368 16107
/proc/meminfo: memFree=23449280/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=114944 CPUtime=702.31 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 270870 0 0 0 70161 70 0 0 25 0 1 0 631539324 117702656 19903 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 28736 19903 367 95 0 23718 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 114944

[startup+762.313 s]
/proc/loadavg: 4.09 4.07 4.00 5/368 16109
/proc/meminfo: memFree=23525480/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=116328 CPUtime=762.32 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 287302 0 0 0 76158 74 0 0 25 0 1 0 631539324 119119872 20986 33554432000 4194304 4580011 140735767308832 18446744073709551615 4295372 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 29082 20986 367 95 0 24064 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 116328

[startup+822.3 s]
/proc/loadavg: 4.03 4.06 4.00 5/368 16111
/proc/meminfo: memFree=23436536/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=116480 CPUtime=822.31 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 302833 0 0 0 82153 78 0 0 25 0 1 0 631539324 119275520 20814 33554432000 4194304 4580011 140735767308832 18446744073709551615 4293179 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 29120 20814 367 95 0 24102 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 116480

[startup+882.3 s]
/proc/loadavg: 4.06 4.06 4.00 5/368 16112
/proc/meminfo: memFree=23444180/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=177120 CPUtime=882.31 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 315290 0 0 0 88147 84 0 0 25 0 1 0 631539324 181370880 22608 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 44280 22608 367 95 0 39262 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 177120

[startup+942.3 s]
/proc/loadavg: 4.02 4.05 4.00 5/368 16114
/proc/meminfo: memFree=23487536/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=118488 CPUtime=942.32 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 331013 0 0 0 94143 89 0 0 25 0 1 0 631539324 121331712 21342 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 29622 21342 367 95 0 24604 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 118488

[startup+1002.3 s]
/proc/loadavg: 4.00 4.04 4.00 5/368 16115
/proc/meminfo: memFree=23414816/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=181104 CPUtime=1002.32 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 344688 0 0 0 100137 95 0 0 25 0 1 0 631539324 185450496 23636 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294553 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 45276 23636 367 95 0 40258 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 181104

[startup+1062.3 s]
/proc/loadavg: 4.00 4.03 4.00 5/368 16117
/proc/meminfo: memFree=23402376/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=184764 CPUtime=1062.32 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 357620 0 0 0 106131 101 0 0 25 0 1 0 631539324 189198336 24880 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 46191 24880 367 95 0 41173 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 184764

[startup+1122.3 s]
/proc/loadavg: 4.00 4.02 4.00 5/368 16119
/proc/meminfo: memFree=23477244/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=122888 CPUtime=1122.32 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 373081 0 0 0 112127 105 0 0 25 0 1 0 631539324 125837312 22481 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 30722 22481 367 95 0 25704 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 122888

[startup+1182.3 s]
/proc/loadavg: 4.03 4.03 4.00 5/368 16120
/proc/meminfo: memFree=23476968/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=186048 CPUtime=1182.33 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 386573 0 0 0 118123 110 0 0 25 0 1 0 631539324 190513152 24010 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 46512 24010 367 95 0 41494 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 186048

[startup+1242.3 s]
/proc/loadavg: 4.05 4.03 4.00 5/368 16131
/proc/meminfo: memFree=23395648/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=187388 CPUtime=1242.32 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 398145 0 0 0 124115 117 0 0 25 0 1 0 631539324 191885312 23510 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294346 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 46847 23510 367 95 0 41829 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 187388



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.79 3.72 3.90 2/350 16186
/proc/meminfo: memFree=24185744/32951124 swapFree=65980216/67111528
[pid=16088] ppid=16086 vsize=188716 CPUtime=1300.04 cores=5,7
/proc/16088/stat : 16088 (strangenight2-s) R 16086 16088 15582 0 -1 4202496 411573 0 0 0 129882 122 0 0 25 0 1 0 631539324 193245184 24518 33554432000 4194304 4580011 140735767308832 18446744073709551615 4294602 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16088/statm: 47179 24518 367 95 0 42161 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 188716

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.02
CPU time (s): 1300.06
CPU user time (s): 1298.83
CPU system time (s): 1.22581
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 201572

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

runsolver used 4.44532 second user time and 10.9303 second system time

The end

Launcher Data

Begin job on node142 at 2011-05-14 18:40:39
IDJOB=3367918
IDBENCH=83253
IDSOLVER=1845
FILE ID=node142/3367918-1305391238
RUNJOBID= node142-1305391205-16021
PBS_JOBID= 13324407
Free space on /tmp= 73380 MiB

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

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

MD5SUM BENCH= 337bdbc5d8bf0013ca73aeffa06cffe8
RANDOM SEED=645359954

node142.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	: 5131.95
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.82
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.67
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.81
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.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.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.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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23726108 kB
Buffers:        309260 kB
Cached:        3874320 kB
SwapCached:      11520 kB
Active:        6565728 kB
Inactive:      2324772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23726108 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:           70156 kB
Writeback:           0 kB
AnonPages:     4704132 kB
Mapped:          21216 kB
Slab:           234580 kB
PageTables:      33748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77680232 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= 73436 MiB
End job on node142 at 2011-05-14 19:02:21