Trace number 3308386

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
SAT09 reference solver:precosat 236? (TO) 1299.37 1300.02

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
MD5SUMcf1b8194ff6d413d396ac9e26bb031ef
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark202.908
Satisfiable
(Un)Satisfiability was proved
Number of variables50797
Number of clauses177980
Sum of the clauses size470252
Maximum clause length37
Minimum clause length1
Number of clauses of size 11318
Number of clauses of size 295086
Number of clauses of size 374860
Number of clauses of size 4486
Number of clauses of size 5945
Number of clauses of size over 55285

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-3308386-1303983200.cnf
0.00/0.01	c found header 'p cnf 50797 177980'
0.09/0.12	c finished parsing
0.09/0.12	c
0.09/0.12	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.12	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.12	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.12	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.12	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.12	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.12	c
0.09/0.12	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.09/0.12	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.12	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.12	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.12	c
0.09/0.12	c starting search after 0.1 seconds
0.09/0.12	c no decision limit
0.09/0.13	c
0.09/0.13	c       original/binary      fixed     eliminated      learned       agility
0.09/0.13	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.13	c
0.09/0.13	c *    0.1   176662   32569   1318 16910      0       0      0    0.0   0   14
3.79/3.80	c s    3.8   124764   15437   1324 16981  17055       0      0    0.0   0   13
3.79/3.80	c l    3.8   124764   15437   1324 16981  17055       0  82226    0.0   0   13
3.79/3.81	c R    3.8   124777   15437   1324 16981  17055     101    101   79.1   7   13
3.79/3.82	c R    3.8   124781   15437   1324 16981  17055     201    201  113.4  11   13
3.79/3.87	c N    3.9   126889   15435   1324 16983  17055     802    796  124.0  41   14
3.89/3.91	c B    3.9   126889   15435   1324 16983  17055    1000    994  129.5  36   14
3.89/3.99	c B    4.0   126889   15435   1324 16983  17055    2000   1994  150.7  42   14
3.99/4.00	c N    4.0   126889   15435   1324 16983  17055    2405   2399  150.8  44   14
4.30/4.38	c N    4.4   130973   15402   1324 17016  17055    6410   6365  142.7  45   16
4.49/4.53	c B    4.5   134424   15352   1324 17066  17055    8000   7955  148.4  42   16
5.09/5.15	c s    5.1   143932   15248   1324 17170  17055   11536  11459  158.2  57   17
5.50/5.55	c N    5.5   146456   15102   1324 17316  17055   16034  15951  171.7  46   19
6.60/6.62	c B    6.6   206813   14694   1324 17724  17055   24005  23913  167.9  54   25
7.29/7.32	c s    7.3   242051   14613   1324 17796  17064   27641  27241  166.8  54   25
8.80/8.89	c N    8.9   344720   14133   1510 18090  17064   38474  38073  163.7  59   39
14.28/14.54	c s   14.3   194562   13891   1510 18330  17066   54525  53906  163.5  34   33
14.28/14.54	c -   14.3   194562   13891   1510 18330  17066   54525  80582  163.5  34   33
16.11/16.49	c B   16.2   234884   13642   1510 18579  17066   64015  63394  162.3  48   41
18.33/18.77	c
18.33/18.77	c       original/binary      fixed     eliminated      learned       agility
18.33/18.77	c   seconds        variables     equivalent    conflicts       height       MB
18.33/18.77	c
18.33/18.77	c s   18.4   127145   12393   1510 18579  18315   68139  60246  161.7  37   31
18.33/18.77	c -   18.4   127145   12393   1510 18579  18315   68139  74942  161.7  37   31
18.82/19.22	c +   18.8   127237   12355   1510 18617  18315   74942  82436  157.7  50   35
19.52/19.93	c N   19.6   127237   12355   1510 18617  18315   89741  81838  147.3  57   40
20.32/20.71	c +   20.3   127347   12349   1510 18623  18315   93675  90679  146.2  43   41
23.61/24.07	c s   23.7   127015   12328   1510 18643  18316  100706  89287  146.5  33   40
26.81/27.27	c +   26.9   128367   12222   1510 18749  18316  117090  99746  157.9  33   46
27.81/28.24	c s   27.9   126320   12184   1510 18749  18354  120169  68439  158.0  35   31
33.10/33.56	c s   33.2   125920   11859   1510 19074  18354  138120  86369  157.0  61   36
34.70/35.19	c +   34.8   126445   11815   1510 19118  18354  146360 109720  159.2  45   42
36.90/37.37	c s   37.0   125694   11789   1510 19143  18355  157879 104765  163.7  37   42
37.60/38.03	c B   37.6   125696   11788   1510 19144  18355  160032 106918  164.1  33   44
42.40/42.84	c s   42.4   125482   11755   1510 19177  18355  168940 109740  166.0  29   46
44.80/45.25	c +   44.8   125617   11715   1510 19217  18355  182951 120692  167.6  54   49
46.99/47.45	c s   47.0   123834   11704   1510 19217  18366  195174 105799  168.0  45   41
48.69/49.19	c N   48.8   123838   11704   1510 19217  18366  205096 115720  167.1  37   46
53.50/53.96	c s   53.6   123862   11704   1510 19217  18366  218625 120775  165.8  48   47
55.49/55.97	c +   55.6   123865   11704   1510 19217  18366  228686 132761  167.0  42   50
59.18/59.64	c s   59.2   123865   11704   1510 19217  18366  242381 132912  166.0  41   52
66.69/67.12	c
66.69/67.12	c       original/binary      fixed     eliminated      learned       agility
66.69/67.12	c   seconds        variables     equivalent    conflicts       height       MB
66.69/67.12	c
66.69/67.12	c s   66.7   123682   11698   1510 19219  18370  283860 107286  165.5  41   43
66.79/67.29	c +   66.9   123682   11698   1510 19219  18370  285856 146037  165.5  38   45
73.38/73.81	c s   73.4   123858   11684   1510 19233  18370  309345 132731  163.5  58   52
77.59/78.01	c s   77.6   123927   11595   1510 19316  18376  316955 138624  163.0  52   55
84.88/85.38	c s   85.0   123896   11401   1510 19510  18376  330785 146181  162.8  50   59
91.69/92.16	c s   91.7   124663   11166   1510 19741  18380  356974 136660  164.1  44   55
91.79/92.22	c +   91.8   124663   11166   1510 19741  18380  357321 160640  164.2  49   57
99.49/99.95	c B   99.5   124663   11166   1510 19741  18380  384075 160784  166.2  48   68
112.59/113.00	c +  112.6   124663   11166   1510 19741  18380  446651 176704  169.2  49   87
117.09/117.55	c N  117.1   124663   11166   1510 19741  18380  461407 215806  169.8  47   93
142.88/143.38	c s  143.0   124605   11151   1510 19756  18380  532287 132650  170.3  50   65
148.48/148.98	c s  148.6   122581   10970   1510 19934  18383  554942  84483  168.4  53   40
148.98/149.42	c +  149.0   122583   10970   1510 19934  18383  558311 194374  168.7  50   42
154.18/154.60	c s  154.2   122579   10969   1510 19935  18383  573678 103218  168.0  40   46
159.09/159.51	c s  159.1   122329   10962   1510 19937  18388  602776 125413  167.6  41   50
204.78/205.21	c +  204.8   122329   10962   1510 19937  18388  697885 213811  169.1  37   87
270.09/270.59	c s  270.2   122330   10962   1510 19937  18388  757212 213830  170.3  46   99
281.69/282.12	c s  281.7   122333   10956   1510 19941  18390  804771 210143  168.0  38   96
290.39/290.80	c s  290.4   122824   10749   1510 20148  18390  829209 213940  170.3  20   97
303.39/303.84	c
303.39/303.84	c       original/binary      fixed     eliminated      learned       agility
303.39/303.84	c   seconds        variables     equivalent    conflicts       height       MB
303.39/303.84	c
303.39/303.84	c s  303.4   121525   10704   1510 20192  18391  865419 213729  173.0  50   90
306.39/306.85	c +  306.4   121697   10698   1510 20198  18391  872355 235192  173.4  45   95
312.39/312.85	c s  312.4   121826   10680   1510 20216  18391  883948 225081  173.4  39   96
315.49/315.95	c B  315.5   122110   10642   1510 20254  18391  896157 235378  175.0  41  105
322.29/322.73	c s  322.3   121266   10640   1510 20254  18393  916221 229247  174.5  46   99
334.29/334.74	c s  334.3   121349   10635   1510 20259  18393  943261 235334  175.7  37   97
346.59/347.01	c s  346.6   121350   10635   1510 20259  18393  984095 235347  175.6  45   90
359.09/359.52	c s  359.1   121351   10635   1510 20259  18393 1009664 235392  175.8  64   93
364.39/364.83	c N  364.4   121396   10629   1510 20265  18393 1025237 235300  175.8  44  101
372.09/372.53	c s  372.1   121184   10623   1510 20265  18399 1049574 244303  175.3  23   97
378.59/379.09	c +  378.7   121989   10555   1510 20333  18399 1090441 258711  173.3  23  103
383.99/384.41	c s  384.0   121227   10555   1510 20333  18399 1098368 243365  173.0  33   99
399.19/399.61	c s  399.2   121320   10555   1510 20333  18399 1156719 258845  170.8  40  103
411.19/411.60	c s  411.2   120752   10552   1510 20334  18401 1194878 250146  171.2  43   97
423.80/424.28	c s  423.9   120749   10551   1510 20335  18401 1221428 258954  170.9  33  104
439.50/439.92	c s  439.5   120432   10540   1516 20337  18404 1268076 168181  170.4  40   54
450.80/451.21	c s  450.8   120417   10537   1516 20340  18404 1287525 187623  170.3  44   64
462.30/462.76	c s  462.4   120392   10531   1516 20344  18406 1337333 209388  174.4  51   71
467.30/467.72	c +  467.3   120392   10531   1516 20344  18406 1363050 284582  173.5  43   87
474.10/474.58	c
474.10/474.58	c       original/binary      fixed     eliminated      learned       agility
474.10/474.58	c   seconds        variables     equivalent    conflicts       height       MB
474.10/474.58	c
474.10/474.58	c s  474.2   120391   10530   1516 20345  18406 1390340 262390  172.7  36   92
487.10/487.57	c s  487.2   120405   10511   1516 20364  18406 1446982 284686  171.5  47  103
504.44/505.18	c s  504.5   120415   10497   1516 20378  18406 1496871 284352  173.5  49  105
522.53/523.29	c s  522.6   122205   10490   1516 20384  18407 1522931 284827  173.8  37  111
540.12/540.84	c s  540.2   122206   10490   1516 20384  18407 1575307 288375  172.3  59  111
589.12/589.84	c +  589.2   122206   10490   1516 20384  18407 1703811 313040  170.2  46  149
677.23/677.99	c s  677.3   122207   10490   1516 20384  18407 1829815 421271  168.3  40  182
692.53/693.24	c s  692.6   122159   10484   1516 20388  18409 1874457 416372  169.2  52  179
730.03/730.72	c s  730.0   122940   10407   1516 20465  18409 1920963 366011  169.6  47  163
747.83/748.53	c s  747.9   121990   10289   1516 20583  18409 1961877 360258  169.9  35  161
763.53/764.25	c s  763.6   132813   10283   1516 20589  18409 1981918 313180  171.3  53  137
776.13/776.82	c s  776.2   132197   10263   1516 20601  18417 2003665 259697  171.2  52  110
788.43/789.12	c s  788.5   132194   10259   1516 20605  18417 2043459 299463  171.7  44  124
789.63/790.39	c B  789.7   132207   10256   1516 20608  18417 2048305 304301  171.5  55  131
802.53/803.22	c +  802.5   132217   10256   1516 20608  18417 2129761 344344  170.3  33  129
807.13/807.88	c s  807.2   131482   10254   1516 20609  18418 2150733 305319  170.0  26  108
819.73/820.41	c N  819.7   131544   10247   1516 20616  18418 2255247 344528  167.5  47  121
823.63/824.35	c s  823.7   131475   10247   1516 20616  18418 2257021 344508  167.5  52  109
846.13/846.81	c s  846.1   131394   10222   1516 20640  18419 2400467 339748  167.6  38  101
864.53/865.23	c
864.53/865.23	c       original/binary      fixed     eliminated      learned       agility
864.53/865.23	c   seconds        variables     equivalent    conflicts       height       MB
864.53/865.23	c
864.53/865.23	c s  864.6   131424   10210   1516 20652  18419 2457777 344474  166.0  28  106
877.53/878.29	c s  877.6   131293   10192   1516 20663  18426 2479135 321684  167.5  39   98
896.23/896.96	c s  896.3   131316   10189   1516 20666  18426 2511779 344502  167.5  35  110
915.43/916.16	c s  915.5   121086   10188   1516 20667  18426 2548094 344555  168.0  42  117
934.13/934.84	c s  934.2   121097   10178   1516 20677  18426 2601188 344256  168.0  46  120
954.83/955.58	c s  954.9   121049   10175   1516 20680  18426 2642224 344471  167.8  43  120
961.53/962.25	c +  961.6   121054   10173   1516 20682  18426 2662200 378778  167.8  38  132
976.53/977.20	c s  976.5   121051   10173   1516 20682  18426 2680745 362900  167.8  31  129
1003.93/1004.68	c s 1004.0   121052   10173   1516 20682  18426 2725937 378948  168.8  44  142
1023.93/1024.66	c s 1024.0   121041   10168   1516 20687  18426 2749866 378862  169.6  34  147
1047.54/1048.29	c s 1047.6   121042   10154   1516 20701  18426 2837399 403554  168.0  47  164
1082.63/1083.39	c s 1082.7   121019   10153   1516 20702  18426 2915553 379052  167.1  38  176
1099.63/1100.33	c s 1099.7   121037   10153   1516 20702  18426 2956318 378989  167.2  53  184
1121.03/1121.73	c s 1121.1   121022   10152   1516 20703  18426 2973088 378946  167.2  43  186
1148.44/1149.19	c s 1148.5   121023   10152   1516 20703  18426 3055020 434923  166.4  40  210
1180.14/1180.82	c s 1180.2   121017   10150   1516 20705  18426 3142225 429801  165.6  43  219
1205.24/1205.96	c s 1205.3   121048   10141   1516 20714  18426 3222794 378672  165.1  52  199
1232.94/1233.67	c s 1233.0   120999   10130   1516 20724  18427 3250850 375715  165.3  31  184
1257.44/1258.17	c s 1257.5   120992   10122   1516 20732  18427 3303536 379039  165.4  36  169
1271.34/1272.02	c
1271.34/1272.02	c       original/binary      fixed     eliminated      learned       agility
1271.34/1272.02	c   seconds        variables     equivalent    conflicts       height       MB
1271.34/1272.02	c
1271.34/1272.02	c + 1271.4   120998   10121   1516 20733  18427 3327750 416655  165.4  34  184
1278.84/1279.59	c s 1278.9   120737   10121   1516 20733  18427 3337504 388755  165.5  39  182
1299.35/1300.00	c
1299.35/1300.00	c *** CAUGHT SIGNAL 15 ***
1299.35/1300.00	c
1299.35/1300.00	c 3398691 conflicts, 4580621 decisions, 33 random
1299.35/1300.00	c 0 iterations, 100 restarts, 6038 skipped
1299.35/1300.00	c 18 enlarged, 2284 shrunken, 33200 rescored, 796 rebiased
1299.35/1300.00	c 73 simplifications, 1 reductions
1299.35/1300.00	c
1299.35/1300.00	c vars: 1516 fixed, 20734 equiv, 18427 elim, 20825 merged
1299.35/1300.00	c elim: 15692169 resolutions, 66 phases, 33 rounds
1299.35/1300.00	c sbst: 78% substituted, 0.7% nots, 30.6% ands, 68.6% xors, 0.0% ites
1299.35/1300.00	c arty: 2.49 and 2.00 xor average arity
1299.35/1300.00	c prbe: 1433750 probed, 438 phases, 68 rounds
1299.35/1300.00	c prbe: 99 failed, 0 lifted, 21 merged
1299.35/1300.00	c sccs: 6 non trivial, 0 fixed, 9 merged
1299.35/1300.00	c hash: 0 units, 20795 merged
1299.35/1300.00	c mins: 306600985 learned, 14% deleted, 150 strong, 114 depth
1299.35/1300.00	c subs: 8074 forward, 22802 backward, 19790 doms
1299.35/1300.00	c strs: 2719 forward, 941 backward
1299.35/1300.00	c doms: 21804 dominators, 17445 high, 3 low
1299.35/1300.00	c prps: 1251855127 propagations, 0.96 megaprops
1299.35/1300.00	c
1299.35/1300.00	c 1299.3 seconds, 236 MB max, 1089 MB recycled
1299.35/1300.00	c
1299.35/1300.00	c *** CAUGHT SIGNAL 15 ***
1299.35/1300.00	c

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-3308386-1303983200/watcher-3308386-1303983200 -o /tmp/evaluation-result-3308386-1303983200/solver-3308386-1303983200 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308386-1303983200.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: 0.00 0.00 0.00 2/172 15821
/proc/meminfo: memFree=15938048/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=868 CPUtime=0 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 101 0 0 0 0 0 0 0 21 0 1 0 509919673 888832 58 33554432000 134512640 135151029 4293869120 18446744073709551615 134703758 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15821/statm: 217 58 49 156 0 60 0

[startup+0.086652 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 15821
/proc/meminfo: memFree=15938048/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=12952 CPUtime=0.07 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 3225 0 0 0 7 0 0 0 21 0 1 0 509919673 13262848 3084 33554432000 134512640 135151029 4293869120 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 3238 3086 64 156 0 3081 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12952

[startup+0.100646 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 15821
/proc/meminfo: memFree=15938048/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=14404 CPUtime=0.09 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 3593 0 0 0 9 0 0 0 21 0 1 0 509919673 14749696 3452 33554432000 134512640 135151029 4293869120 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 3601 3453 64 156 0 3444 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14404

[startup+0.300602 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 15821
/proc/meminfo: memFree=15938048/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=21236 CPUtime=0.28 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 6261 0 0 0 28 0 0 0 22 0 1 0 509919673 21745664 5148 33554432000 134512640 135151029 4293869120 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 5309 5148 80 156 0 5152 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21236

[startup+0.700541 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 15821
/proc/meminfo: memFree=15938048/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=25000 CPUtime=0.69 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 7191 0 0 0 68 1 0 0 24 0 1 0 509919673 25600000 6078 33554432000 134512640 135151029 4293869120 18446744073709551615 134547915 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 6250 6078 80 156 0 6093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25000

[startup+1.50039 s]
/proc/loadavg: 0.00 0.00 0.00 5/185 15846
/proc/meminfo: memFree=15821832/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=25000 CPUtime=1.49 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 7220 0 0 0 148 1 0 0 25 0 1 0 509919673 25600000 6107 33554432000 134512640 135151029 4293869120 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 6250 6107 80 156 0 6093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25000

[startup+3.10112 s]
/proc/loadavg: 0.00 0.00 0.00 5/188 15852
/proc/meminfo: memFree=15727312/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=25000 CPUtime=3.09 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 7220 0 0 0 308 1 0 0 25 0 1 0 509919673 25600000 6107 33554432000 134512640 135151029 4293869120 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 6250 6107 80 156 0 6093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25000

[startup+6.30056 s]
/proc/loadavg: 0.32 0.07 0.02 5/188 15852
/proc/meminfo: memFree=15674984/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=25336 CPUtime=6.28 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 8371 0 0 0 627 1 0 0 25 0 1 0 509919673 25944064 6174 33554432000 134512640 135151029 4293869120 18446744073709551615 134552225 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 6334 6174 80 156 0 6177 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25336

[startup+12.7004 s]
/proc/loadavg: 0.69 0.15 0.05 5/188 15852
/proc/meminfo: memFree=15654432/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=49568 CPUtime=12.52 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 17745 0 0 0 1247 5 0 0 25 0 1 0 509919673 50757632 12196 33554432000 134512640 135151029 4293869120 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/15821/statm: 12392 12196 80 156 0 12235 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 49568

[startup+25.5002 s]
/proc/loadavg: 1.49 0.35 0.12 5/188 15853
/proc/meminfo: memFree=15628204/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=50588 CPUtime=25.11 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 18723 0 0 0 2500 11 0 0 25 0 1 0 509919673 51802112 12378 33554432000 134512640 135151029 4293869120 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 12647 12378 80 156 0 12490 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 50588

[startup+51.1008 s]
/proc/loadavg: 2.35 0.64 0.22 5/188 15853
/proc/meminfo: memFree=15597776/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=57548 CPUtime=50.69 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 23924 0 0 0 5055 14 0 0 25 0 1 0 509919673 58929152 14131 33554432000 134512640 135151029 4293869120 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 14387 14131 80 156 0 14230 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 57548

[startup+102.307 s]
/proc/loadavg: 3.36 1.18 0.42 5/188 15855
/proc/meminfo: memFree=15522292/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=74560 CPUtime=101.89 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 32911 0 0 0 10172 17 0 0 25 0 1 0 509919673 76349440 18337 33554432000 134512640 135151029 4293869120 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 18640 18337 80 156 0 18483 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 74560

[startup+162.3 s]
/proc/loadavg: 3.76 1.69 0.64 5/188 15856
/proc/meminfo: memFree=15392848/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=127452 CPUtime=161.88 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 46781 0 0 0 16168 20 0 0 25 0 1 0 509919673 130510848 31333 33554432000 134512640 135151029 4293869120 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 31863 31333 80 156 0 31706 0
Current children cumulated CPU time (s) 161.88
Current children cumulated vsize (KiB) 127452

[startup+222.301 s]
/proc/loadavg: 3.91 2.10 0.85 5/188 15858
/proc/meminfo: memFree=15338876/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=127452 CPUtime=221.89 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 46785 0 0 0 22169 20 0 0 25 0 1 0 509919673 130510848 31337 33554432000 134512640 135151029 4293869120 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 31863 31337 80 156 0 31706 0
Current children cumulated CPU time (s) 221.89
Current children cumulated vsize (KiB) 127452

[startup+282.301 s]
/proc/loadavg: 4.09 2.48 1.05 5/188 15860
/proc/meminfo: memFree=15318164/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=127452 CPUtime=281.89 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 47238 0 0 0 28169 20 0 0 25 0 1 0 509919673 130510848 31392 33554432000 134512640 135151029 4293869120 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 31863 31392 80 156 0 31706 0
Current children cumulated CPU time (s) 281.89
Current children cumulated vsize (KiB) 127452

[startup+342.3 s]
/proc/loadavg: 4.03 2.75 1.23 5/188 15861
/proc/meminfo: memFree=15296948/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=127452 CPUtime=341.89 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 48235 0 0 0 34169 20 0 0 25 0 1 0 509919673 130510848 31394 33554432000 134512640 135151029 4293869120 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 31863 31394 80 156 0 31706 0
Current children cumulated CPU time (s) 341.89
Current children cumulated vsize (KiB) 127452

[startup+402.301 s]
/proc/loadavg: 4.01 2.98 1.40 5/188 15863
/proc/meminfo: memFree=15296180/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=127452 CPUtime=401.89 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 48719 0 0 0 40169 20 0 0 25 0 1 0 509919673 130510848 31480 33554432000 134512640 135151029 4293869120 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 31863 31480 80 156 0 31706 0
Current children cumulated CPU time (s) 401.89
Current children cumulated vsize (KiB) 127452

[startup+462.3 s]
/proc/loadavg: 4.08 3.18 1.57 5/188 15864
/proc/meminfo: memFree=15273480/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=127452 CPUtime=461.9 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 49320 0 0 0 46169 21 0 0 25 0 1 0 509919673 130510848 31484 33554432000 134512640 135151029 4293869120 18446744073709551615 134548416 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 31863 31484 80 156 0 31706 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 127452

[startup+522.301 s]
/proc/loadavg: 4.08 3.34 1.72 5/188 15893
/proc/meminfo: memFree=15355520/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=128840 CPUtime=521.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 50354 0 0 0 52136 27 0 0 25 0 1 0 509919673 131932160 31954 33554432000 134512640 135151029 4293869120 18446744073709551615 134578366 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 32210 31954 80 156 0 32053 0
Current children cumulated CPU time (s) 521.63
Current children cumulated vsize (KiB) 128840

[startup+582.301 s]
/proc/loadavg: 4.03 3.46 1.86 5/188 15895
/proc/meminfo: memFree=15286364/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=146656 CPUtime=581.62 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 55935 0 0 0 58132 30 0 0 25 0 1 0 509919673 150175744 36230 33554432000 134512640 135151029 4293869120 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 36664 36230 80 156 0 36507 0
Current children cumulated CPU time (s) 581.62
Current children cumulated vsize (KiB) 146656

[startup+642.301 s]
/proc/loadavg: 4.01 3.55 1.99 5/188 15896
/proc/meminfo: memFree=15231168/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=197408 CPUtime=641.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 68176 0 0 0 64128 35 0 0 25 0 1 0 509919673 202145792 48471 33554432000 134512640 135151029 4293869120 18446744073709551615 134554837 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 49352 48471 80 156 0 49195 0
Current children cumulated CPU time (s) 641.63
Current children cumulated vsize (KiB) 197408

[startup+702.301 s]
/proc/loadavg: 4.00 3.63 2.12 5/188 15898
/proc/meminfo: memFree=15175228/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=701.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75104 0 0 0 70126 37 0 0 25 0 1 0 509919673 223744000 54018 33554432000 134512640 135151029 4293869120 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54018 80 156 0 54468 0
Current children cumulated CPU time (s) 701.63
Current children cumulated vsize (KiB) 218500

[startup+762.306 s]
/proc/loadavg: 4.00 3.70 2.23 5/188 15899
/proc/meminfo: memFree=15171232/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=761.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75159 0 0 0 76126 37 0 0 25 0 1 0 509919673 223744000 54073 33554432000 134512640 135151029 4293869120 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54073 80 156 0 54468 0
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (KiB) 218500

[startup+822.301 s]
/proc/loadavg: 4.00 3.75 2.34 5/188 15901
/proc/meminfo: memFree=15147636/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=821.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75202 0 0 0 82126 37 0 0 25 0 1 0 509919673 223744000 54116 33554432000 134512640 135151029 4293869120 18446744073709551615 134521570 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54116 80 156 0 54468 0
Current children cumulated CPU time (s) 821.63
Current children cumulated vsize (KiB) 218500

[startup+882.3 s]
/proc/loadavg: 4.04 3.81 2.45 5/188 15903
/proc/meminfo: memFree=15124548/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=881.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75222 0 0 0 88126 37 0 0 25 0 1 0 509919673 223744000 54136 33554432000 134512640 135151029 4293869120 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54136 80 156 0 54468 0
Current children cumulated CPU time (s) 881.63
Current children cumulated vsize (KiB) 218500

[startup+942.301 s]
/proc/loadavg: 4.01 3.84 2.54 5/188 15904
/proc/meminfo: memFree=15087576/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=941.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75222 0 0 0 94126 37 0 0 25 0 1 0 509919673 223744000 54136 33554432000 134512640 135151029 4293869120 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54136 80 156 0 54468 0
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (KiB) 218500

[startup+1002.3 s]
/proc/loadavg: 4.00 3.86 2.63 5/188 15906
/proc/meminfo: memFree=15085068/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=1001.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75223 0 0 0 100126 37 0 0 25 0 1 0 509919673 223744000 54137 33554432000 134512640 135151029 4293869120 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54137 80 156 0 54468 0
Current children cumulated CPU time (s) 1001.63
Current children cumulated vsize (KiB) 218500

[startup+1062.3 s]
/proc/loadavg: 4.00 3.89 2.71 5/188 15907
/proc/meminfo: memFree=15084676/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=1061.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75227 0 0 0 106126 37 0 0 25 0 1 0 509919673 223744000 54141 33554432000 134512640 135151029 4293869120 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54141 80 156 0 54468 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 218500

[startup+1122.3 s]
/proc/loadavg: 4.00 3.90 2.79 5/188 15909
/proc/meminfo: memFree=15057868/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=218500 CPUtime=1121.63 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 75418 0 0 0 112126 37 0 0 25 0 1 0 509919673 223744000 54332 33554432000 134512640 135151029 4293869120 18446744073709551615 134580584 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 54625 54332 80 156 0 54468 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 218500

[startup+1182.3 s]
/proc/loadavg: 4.00 3.92 2.86 5/188 15911
/proc/meminfo: memFree=15023636/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=247008 CPUtime=1181.64 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 83366 0 0 0 118124 40 0 0 25 0 1 0 509919673 252936192 61318 33554432000 134512640 135151029 4293869120 18446744073709551615 134574657 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 61752 61318 80 156 0 61595 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 247008

[startup+1242.3 s]
/proc/loadavg: 4.00 3.93 2.93 5/188 15912
/proc/meminfo: memFree=15019768/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=247008 CPUtime=1241.64 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 83688 0 0 0 124124 40 0 0 25 0 1 0 509919673 252936192 61441 33554432000 134512640 135151029 4293869120 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 61752 61441 80 156 0 61595 0
Current children cumulated CPU time (s) 1241.64
Current children cumulated vsize (KiB) 247008



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.94 3.00 5/188 15914
/proc/meminfo: memFree=15013428/32951132 swapFree=67111528/67111528
[pid=15821] ppid=15819 vsize=247008 CPUtime=1299.35 cores=1,3
/proc/15821/stat : 15821 (precosat) R 15819 15821 15791 0 -1 4202496 83693 0 0 0 129895 40 0 0 25 0 1 0 509919673 252936192 61446 33554432000 134512640 135151029 4293869120 18446744073709551615 134552108 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/15821/statm: 61752 61446 80 156 0 61595 0
Current children cumulated CPU time (s) 1299.35
Current children cumulated vsize (KiB) 247008

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): 1299.37
CPU user time (s): 1298.95
CPU system time (s): 0.411937
CPU usage (%): 99.9498
Max. virtual memory (cumulated for all children) (KiB): 247008

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

runsolver used 2.11568 second user time and 4.99324 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-28 11:33:20
IDJOB=3308386
IDBENCH=20536
IDSOLVER=1690
FILE ID=node131/3308386-1303983200
RUNJOBID= node131-1303983198-15811
PBS_JOBID= 13168695
Free space on /tmp= 71380 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308386-1303983200/watcher-3308386-1303983200 -o /tmp/evaluation-result-3308386-1303983200/solver-3308386-1303983200 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3308386-1303983200.cnf

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

MD5SUM BENCH= cf1b8194ff6d413d396ac9e26bb031ef
RANDOM SEED=1547676936

node131.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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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.830
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.77
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.830
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:     32951132 kB
MemFree:      15938212 kB
Buffers:       1024924 kB
Cached:       15401132 kB
SwapCached:          0 kB
Active:        6383880 kB
Inactive:     10108500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15938212 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5320 kB
Writeback:           0 kB
AnonPages:       66216 kB
Mapped:          14644 kB
Slab:           455892 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   192176 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71348 MiB
End job on node131 at 2011-04-28 11:55:02