Trace number 3308458

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) 1300.05 1300.03

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
MD5SUM4b75ef7fb46928f50793af1d74c176e2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4342.44
Satisfiable
(Un)Satisfiability was proved
Number of variables98048
Number of clauses293759
Sum of the clauses size685435
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2195838
Number of clauses of size 397919
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3308458-1303983223.cnf
0.00/0.00	c found header 'p cnf 98048 293759'
0.19/0.20	c finished parsing
0.19/0.20	c
0.19/0.20	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.19/0.20	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.19/0.20	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.19/0.20	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.19/0.20	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.19/0.20	c --random=1 --spread=2000 --seed=0 --skip=25
0.19/0.20	c
0.19/0.20	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.19/0.20	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.19/0.20	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.19/0.20	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.19/0.20	c
0.19/0.20	c starting search after 0.2 seconds
0.19/0.20	c no decision limit
0.19/0.21	c
0.19/0.21	c       original/binary      fixed     eliminated      learned       agility
0.19/0.21	c   seconds        variables     equivalent    conflicts       height       MB
0.19/0.21	c
0.19/0.21	c *    0.2   293757   98046      2     0      0       0      0    0.0   0   25
1.99/2.08	c s    2.1   160731   28442      2     0  69604       0      0    0.0   0   21
1.99/2.08	c l    2.1   160731   28442      2     0  69604       0  98204    0.0   0   21
2.29/2.35	c R    2.4   160858   28442      2     0  69604     101    100   93.0   3   21
2.39/2.48	c R    2.5   160874   28442      2     0  69604     245    243  115.2   1   22
2.99/3.04	c R    3.0   232411   28315    129     0  69604     896    875  655.0   6   28
3.20/3.23	c B    3.2   288272   27659    785     0  69604    1025   1004  621.0   0   31
3.59/3.69	c B    3.7   298882   26584   1840    20  69604    2025   1918  349.2   3   32
5.19/5.27	c s    5.3   253941   23533   4094    98  70323    3609   2514  270.2   7   28
5.19/5.27	c -    5.3   253941   23533   4094    98  70323    3609  74636  270.2   7   28
6.89/6.96	c B    7.0   308421   20822   6741   162  70323    8025   6647  196.2  15   33
7.49/7.59	c N    7.6   351277   20192   7261   272  70323    9671   8279  187.6  31   38
11.29/11.31	c s   11.3   308870   17096  10036   292  70624   16097  10210  162.0  37   32
11.29/11.31	c -   11.3   308870   17096  10036   292  70624   16097  46275  162.0  37   32
13.99/14.06	c B   14.1   400018   15602  11493   329  70624   24032  17976  144.7  39   44
19.29/19.34	c s   19.3   310730   14827  12099   369  70753   36192  21387  135.2  36   36
19.29/19.34	c -   19.3   310730   14827  12099   369  70753   36192  36558  135.2  36   36
19.39/19.46	c +   19.5   310933   14826  12100   369  70753   36559  40213  134.7  14   37
20.59/20.65	c N   20.7   315232   14801  12124   370  70753   40515  25693  132.2  27   41
21.49/21.53	c
21.49/21.53	c       original/binary      fixed     eliminated      learned       agility
21.49/21.53	c   seconds        variables     equivalent    conflicts       height       MB
21.49/21.53	c
21.49/21.53	c +   21.5   318964   14790  12130   375  70753   45696  44234  131.7  29   44
23.19/23.28	c R   23.3   330642   14789  12131   375  70753   50138  35270  128.6  25   54
25.59/25.61	c +   25.6   350316   14672  12244   379  70753   57121  48657  123.1  36   66
27.09/27.17	c B   27.2   361856   14577  12334   384  70753   64046  48886  120.3  49   70
29.59/29.67	c s   29.7   355208   14391  12500   386  70771   68909  37813  119.5  42   41
29.59/29.67	c -   29.7   355208   14391  12500   386  70771   68909  46225  119.5  42   41
29.59/29.67	c +   29.7   355208   14391  12500   386  70771   68909  50847  119.5  42   41
35.09/35.17	c +   35.2   380179   13989  12865   423  70771   86136  55931  120.0  37   56
41.70/41.72	c s   41.7   326323   13553  13190   439  70866   99858  45659  117.8  34   42
41.70/41.72	c -   41.7   326323   13553  13190   439  70866   99858  50338  117.8  34   42
41.70/41.72	c +   41.7   326323   13553  13190   439  70866   99858  55371  117.8  34   42
50.29/50.32	c +   50.3   342172   13445  13282   455  70866  124822  60908  114.8  10   84
53.99/54.01	c s   54.0   329717   13351  13317   464  70916  130146  48627  113.4  39   44
53.99/54.01	c -   54.0   329717   13351  13317   464  70916  130146  59690  113.4  39   44
60.89/60.99	c +   61.0   337298   13240  13420   472  70916  152906  65659  113.1  24   71
62.49/62.51	c B   62.5   340017   13219  13432   481  70916  160064  66743  113.6  32   78
65.59/65.66	c s   65.7   320746   13104  13463   488  70993  168621  53289  113.6  37   43
65.59/65.66	c -   65.7   320746   13104  13463   488  70993  168621  63690  113.6  37   43
69.69/69.73	c N   69.7   322476   13102  13464   489  70993  183040  63891  114.5  33   65
70.19/70.24	c
70.19/70.24	c       original/binary      fixed     eliminated      learned       agility
70.19/70.24	c   seconds        variables     equivalent    conflicts       height       MB
70.19/70.24	c
70.19/70.24	c +   70.2   322949   13102  13464   489  70993  185397  70059  114.1  15   67
78.00/78.02	c s   78.0   309692   12903  13593   498  71054  204670  56019  113.5  26   44
78.00/78.02	c -   78.0   309692   12903  13593   498  71054  204670  67958  113.5  26   44
84.49/84.59	c +   84.6   313624   12887  13603   504  71054  224796  74753  111.6  16   68
90.10/90.20	c s   90.2   310655   12841  13609   511  71087  240772  62607  109.8  28   45
101.69/101.79	c s  101.8   299489   12764  13642   523  71119  275280  64749  111.4  35   48
101.69/101.79	c -  101.8   299489   12764  13642   523  71119  275280  74006  111.4  35   48
102.49/102.58	c +  102.6   299549   12764  13642   523  71119  278186  81406  111.3  44   50
115.50/115.52	c s  115.5   300054   12755  13642   527  71124  313278  81281  110.1   4   81
126.89/126.92	c +  126.9   301726   12750  13646   528  71124  347731  89546  109.1  33  146
131.19/131.21	c R  131.2   303274   12747  13648   529  71124  364304  89701  109.1  10  166
133.89/133.99	c s  134.0   291649   12727  13650   529  71142  366277  85947  109.1  14  146
139.19/139.26	c B  139.3   292163   12726  13651   529  71142  384105  89886  110.0  41  152
145.79/145.87	c s  145.9   291369   12714  13652   531  71151  402081  81233  110.3  33  100
154.09/154.10	c +  154.1   292899   12714  13652   531  71151  434662  98500  111.0  47   93
155.49/155.59	c s  155.6   292996   12714  13652   531  71151  437185  92191  111.0  12   92
168.30/168.39	c R  168.4   294233   12714  13652   531  71151  479721  98762  109.0  24  108
172.09/172.16	c s  172.2   292062   12706  13652   532  71158  489992  93263  108.0  24   94
186.79/186.87	c s  186.9   288262   12687  13658   536  71167  539012  93537  107.7  34   93
187.90/187.93	c
187.90/187.93	c       original/binary      fixed     eliminated      learned       agility
187.90/187.93	c   seconds        variables     equivalent    conflicts       height       MB
187.90/187.93	c
187.90/187.93	c +  187.9   288406   12687  13658   536  71167  543326 108350  107.3   8   96
205.50/205.54	c s  205.5   287905   12682  13659   536  71171  587893 106290  106.4  15  126
216.50/216.58	c s  216.6   288389   12682  13659   536  71171  624576 108756  106.7  22  126
232.00/232.06	c s  232.1   289027   12682  13659   536  71171  669049 108491  106.0  29  112
235.70/235.77	c +  235.8   289284   12682  13659   536  71171  679157 119185  106.7  45  116
249.50/249.54	c s  249.5   289849   12682  13659   536  71171  724529 119228  106.8  27  153
271.10/271.11	c s  271.1   288042   12672  13660   536  71180  771518 110523  105.6  40  130
287.90/287.99	c s  288.0   288790   12672  13660   536  71180  824034 119526  106.2  19  160
295.70/295.79	c +  295.8   289263   12672  13660   536  71180  848945 131103  106.3  33  168
303.89/303.93	c s  303.9   285192   12662  13660   537  71189  867850 126044  106.6  44  151
311.79/311.80	c B  311.8   285392   12661  13660   538  71189  896230 131658  107.8  35  151
320.90/320.95	c s  321.0   282609   12655  13660   538  71195  922538 122842  107.8  34  131
330.90/330.96	c N  331.0   282879   12655  13660   538  71195  966605 131683  107.4  28  124
333.30/333.35	c s  333.4   282902   12655  13660   538  71195  973383 131870  107.2  41  118
344.70/344.73	c s  344.7   283339   12655  13660   538  71195 1007873 131820  106.8  28  114
361.30/361.32	c s  361.3   281515   12645  13660   539  71204 1054251 130197  106.4  42  110
364.00/364.00	c +  364.0   281537   12645  13660   539  71204 1061180 144213  106.7   7  117
378.30/378.38	c s  378.4   281695   12645  13660   539  71204 1095805 144541  106.2  40  143
399.50/399.55	c s  399.6   281763   12642  13660   540  71206 1146153 143730  105.5  37  172
417.70/417.70	c
417.70/417.70	c       original/binary      fixed     eliminated      learned       agility
417.70/417.70	c   seconds        variables     equivalent    conflicts       height       MB
417.70/417.70	c
417.70/417.70	c s  417.7   282131   12642  13660   540  71206 1190596 144714  105.1  41  184
436.30/436.37	c s  436.4   282373   12641  13660   541  71206 1243156 144539  104.8  17  180
457.10/457.16	c s  457.2   282743   12641  13660   541  71206 1290653 144492  104.5  20  195
472.80/472.85	c +  472.9   282906   12641  13660   541  71206 1326477 158634  104.6  38  209
480.11/480.18	c s  480.2   282985   12641  13660   541  71206 1342312 158669  104.2   9  216
497.80/497.89	c s  497.9   283396   12641  13660   541  71206 1386404 158915  104.2  13  219
516.90/517.00	c s  517.0   282085   12567  13682   584  71215 1440843 154344  104.5  32  169
537.60/537.62	c s  537.6   282458   12567  13682   584  71215 1501438 158864  104.3  31  194
549.70/549.72	c R  549.7   282829   12567  13682   584  71215 1530656 158779  103.5   9  195
556.80/556.83	c s  556.8   282831   12565  13682   585  71216 1549643 152935  103.6  37  172
580.81/580.85	c s  580.9   283005   12564  13682   586  71216 1608133 158955  102.6  25  208
596.21/596.21	c +  596.2   283319   12564  13682   586  71216 1658095 174497  102.3  31  202
600.10/600.14	c s  600.2   283364   12564  13682   586  71216 1666328 167386  102.3  42  201
626.60/626.62	c s  626.6   283757   12561  13683   586  71218 1716578 162852  101.8  36  192
647.91/647.99	c s  648.0   284078   12561  13683   586  71218 1769999 174747  102.1  17  200
673.41/673.46	c s  673.5   284377   12561  13683   586  71218 1827874 174968  101.8  31  240
691.10/691.12	c s  691.1   282878   12550  13685   591  71222 1877275 166497  102.1  25  209
705.71/705.77	c s  705.8   283077   12550  13685   591  71222 1915405 175439  102.4  16  196
723.72/723.72	c s  723.7   283273   12550  13685   591  71222 1967852 175437  102.9  34  156
739.61/739.61	c
739.61/739.61	c       original/binary      fixed     eliminated      learned       agility
739.61/739.61	c   seconds        variables     equivalent    conflicts       height       MB
739.61/739.61	c
739.61/739.61	c s  739.6   280841   12546  13686   591  71225 2009159 175163  103.2  17  151
753.01/753.02	c B  753.0   280890   12546  13686   591  71225 2048448 175000  103.8  41  173
757.41/757.46	c s  757.5   280932   12546  13686   591  71225 2062488 174965  103.9  27  166
761.41/761.45	c +  761.5   280946   12546  13686   591  71225 2072615 191946  104.0  23  172
775.91/775.98	c s  776.0   280981   12546  13686   591  71225 2113686 193048  104.2  31  199
789.61/789.60	c s  789.6   281111   12546  13686   591  71225 2146776 192658  104.0  33  193
805.22/805.27	c s  805.3   281263   12546  13686   591  71225 2189093 192175  104.1  44  187
822.41/822.45	c s  822.5   281318   12546  13686   591  71225 2232139 193015  104.2  18  187
838.81/838.89	c s  838.9   281378   12546  13686   591  71225 2273106 192088  104.1  29  165
859.61/859.62	c s  859.6   280555   12543  13686   592  71227 2328928 192418  104.0  23  180
880.02/880.01	c s  880.0   280609   12543  13686   592  71227 2383179 192642  103.5  30  182
906.11/906.19	c s  906.2   280597   12526  13691   603  71228 2436264 186731  102.7  24  195
925.51/925.52	c s  925.5   280897   12526  13691   603  71228 2488000 192045  102.7  18  213
954.01/954.06	c s  954.1   281135   12526  13691   603  71228 2553010 192425  103.0  42  229
970.31/970.35	c +  970.4   281397   12526  13691   603  71228 2590766 211140  103.0  29  243
977.22/977.20	c s  977.2   281437   12526  13691   603  71228 2603857 205276  102.7  23  253
1003.12/1003.17	c s 1003.2   281727   12526  13691   603  71228 2671923 211578  102.3  19  263
1021.42/1021.43	c s 1021.5   281951   12526  13691   603  71228 2720093 211920  102.4  48  241
1044.92/1044.91	c s 1044.9   276050   12501  13698   618  71231 2774429 196842  102.3  42  180
1070.91/1070.95	c
1070.91/1070.95	c       original/binary      fixed     eliminated      learned       agility
1070.91/1070.95	c   seconds        variables     equivalent    conflicts       height       MB
1070.91/1070.95	c
1070.91/1070.95	c s 1071.0   272633   12497  13699   618  71234 2829302 210948  102.2  28  213
1094.52/1094.56	c s 1094.6   272773   12497  13699   618  71234 2879065 211496  102.1  30  206
1117.82/1117.86	c s 1117.9   272934   12497  13699   618  71234 2934190 211639  102.0  33  241
1146.72/1146.75	c s 1146.8   273191   12496  13699   619  71234 2999265 211561  101.1  27  239
1170.52/1170.56	c s 1170.6   273300   12496  13699   619  71234 3045383 211518  101.2  29  254
1196.52/1196.50	c s 1196.5   273400   12496  13699   619  71234 3101202 211562  101.5  27  253
1218.92/1218.95	c s 1219.0   273509   12496  13699   619  71234 3163699 212351  101.8  43  251
1237.82/1237.81	c s 1237.8   273565   12496  13699   619  71234 3224094 211395  102.1  17  216
1241.22/1241.29	c + 1241.3   273591   12496  13699   619  71234 3238455 232254  102.2  23  210
1256.62/1256.69	c s 1256.7   273618   12495  13699   620  71234 3284974 233220  102.2  39  220
1277.62/1277.63	c s 1277.7   273649   12495  13699   620  71234 3332552 232481  102.4  13  209
1300.02/1300.00	c
1300.02/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.02/1300.00	c
1300.02/1300.00	c 3380678 conflicts, 5116023 decisions, 240 random
1300.02/1300.00	c 208 iterations, 1810 restarts, 5587 skipped
1300.02/1300.00	c 22 enlarged, 5473 shrunken, 33064 rescored, 794 rebiased
1300.02/1300.00	c 72 simplifications, 0 reductions
1300.02/1300.00	c
1300.02/1300.00	c vars: 13699 fixed, 620 equiv, 71234 elim, 815 merged
1300.02/1300.00	c elim: 11296035 resolutions, 35 phases, 33 rounds
1300.02/1300.00	c sbst: 88% substituted, 1.3% nots, 85.4% ands, 13.0% xors, 0.2% ites
1300.02/1300.00	c arty: 2.17 and 2.00 xor average arity
1300.02/1300.00	c prbe: 98151 probed, 1088 phases, 3 rounds
1300.02/1300.00	c prbe: 183 failed, 5655 lifted, 52 merged
1300.02/1300.00	c sccs: 75 non trivial, 0 fixed, 110 merged
1300.02/1300.00	c hash: 362 units, 653 merged
1300.02/1300.00	c mins: 971039263 learned, 24% deleted, 906 strong, 453 depth
1300.02/1300.00	c subs: 22622 forward, 25387 backward, 76625 doms
1300.02/1300.00	c strs: 16817 forward, 939 backward
1300.02/1300.00	c doms: 132581 dominators, 96417 high, 978 low
1300.02/1300.00	c prps: 1231394500 propagations, 0.95 megaprops
1300.02/1300.00	c
1300.02/1300.00	c 1300.0 seconds, 276 MB max, 3608 MB recycled
1300.02/1300.00	c
1300.02/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.02/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-3308458-1303983223/watcher-3308458-1303983223 -o /tmp/evaluation-result-3308458-1303983223/solver-3308458-1303983223 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308458-1303983223.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/174 16229
/proc/meminfo: memFree=13956332/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=5224 CPUtime=0 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 1125 0 0 0 0 0 0 0 21 0 1 0 509923258 5349376 1081 33554432000 134512640 135151029 4288516240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16229/statm: 1306 1082 60 156 0 1149 0

[startup+0.010381 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 16229
/proc/meminfo: memFree=13956332/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=8488 CPUtime=0 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 1676 0 0 0 0 0 0 0 21 0 1 0 509923258 8691712 1632 33554432000 134512640 135151029 4288516240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16229/statm: 2122 1647 60 156 0 1965 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8488

[startup+0.100393 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 16229
/proc/meminfo: memFree=13956332/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=19392 CPUtime=0.08 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 4949 0 0 0 8 0 0 0 21 0 1 0 509923258 19857408 4678 33554432000 134512640 135151029 4288516240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 4848 4679 64 156 0 4691 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19392

[startup+0.300359 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 16229
/proc/meminfo: memFree=13956332/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=32640 CPUtime=0.29 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 8900 0 0 0 28 1 0 0 22 0 1 0 509923258 33423360 7987 33554432000 134512640 135151029 4288516240 18446744073709551615 134673033 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 8160 7987 80 156 0 8003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32640

[startup+0.700284 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 16229
/proc/meminfo: memFree=13956332/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=45680 CPUtime=0.68 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 13921 0 0 0 67 1 0 0 24 0 1 0 509923258 46776320 11210 33554432000 134512640 135151029 4288516240 18446744073709551615 134563159 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 11420 11210 80 156 0 11263 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45680

[startup+1.50114 s]
/proc/loadavg: 0.00 0.00 0.00 5/187 16254
/proc/meminfo: memFree=13862104/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=51428 CPUtime=1.49 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 15265 0 0 0 147 2 0 0 25 0 1 0 509923258 52662272 12554 33554432000 134512640 135151029 4288516240 18446744073709551615 134548475 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 12857 12554 80 156 0 12700 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51428

[startup+3.10085 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 16260
/proc/meminfo: memFree=13800080/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=48536 CPUtime=3.09 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 16768 0 0 0 307 2 0 0 25 0 1 0 509923258 49700864 11879 33554432000 134512640 135151029 4288516240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 12134 11879 80 156 0 11977 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48536

[startup+6.30029 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 16261
/proc/meminfo: memFree=13759892/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=46400 CPUtime=6.29 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 19977 0 0 0 627 2 0 0 25 0 1 0 509923258 47513600 11349 33554432000 134512640 135151029 4288516240 18446744073709551615 134552560 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 11600 11349 80 156 0 11443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46400

[startup+12.7002 s]
/proc/loadavg: 0.61 0.13 0.04 5/190 16261
/proc/meminfo: memFree=13747640/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=58284 CPUtime=12.69 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 28656 0 0 0 1265 4 0 0 25 0 1 0 509923258 59682816 14322 33554432000 134512640 135151029 4288516240 18446744073709551615 134567902 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 14571 14322 80 156 0 14414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58284

[startup+25.5009 s]
/proc/loadavg: 1.36 0.32 0.11 5/190 16261
/proc/meminfo: memFree=13710500/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=75012 CPUtime=25.49 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 38525 0 0 0 2543 6 0 0 25 0 1 0 509923258 76812288 18491 33554432000 134512640 135151029 4288516240 18446744073709551615 134520487 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 18753 18491 80 156 0 18596 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 75012

[startup+51.1003 s]
/proc/loadavg: 2.26 0.62 0.21 5/190 16262
/proc/meminfo: memFree=13673876/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=94888 CPUtime=51.09 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 52801 0 0 0 5101 8 0 0 25 0 1 0 509923258 97165312 23472 33554432000 134512640 135151029 4288516240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 23722 23472 80 156 0 23565 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94888

[startup+102.306 s]
/proc/loadavg: 3.24 1.14 0.40 5/190 16263
/proc/meminfo: memFree=13597292/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=102592 CPUtime=102.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 60899 0 0 0 10221 9 0 0 25 0 1 0 509923258 105054208 25401 33554432000 134512640 135151029 4288516240 18446744073709551615 134530905 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 25648 25401 80 156 0 25491 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 102592

[startup+162.301 s]
/proc/loadavg: 3.72 1.65 0.63 5/190 16265
/proc/meminfo: memFree=13446980/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=182156 CPUtime=162.29 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 82325 0 0 0 16217 12 0 0 25 0 1 0 509923258 186527744 45291 33554432000 134512640 135151029 4288516240 18446744073709551615 134552157 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 45539 45291 80 156 0 45382 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 182156

[startup+222.301 s]
/proc/loadavg: 3.89 2.08 0.83 5/190 16266
/proc/meminfo: memFree=13398464/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=182156 CPUtime=222.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 82327 0 0 0 22218 12 0 0 25 0 1 0 509923258 186527744 45293 33554432000 134512640 135151029 4288516240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 45539 45293 80 156 0 45382 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 182156

[startup+282.3 s]
/proc/loadavg: 4.03 2.44 1.04 5/190 16268
/proc/meminfo: memFree=13328520/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=189072 CPUtime=282.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 85782 0 0 0 28217 13 0 0 25 0 1 0 509923258 193609728 47022 33554432000 134512640 135151029 4288516240 18446744073709551615 134567902 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 47268 47022 80 156 0 47111 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 189072

[startup+342.301 s]
/proc/loadavg: 4.09 2.74 1.22 5/190 16269
/proc/meminfo: memFree=13298004/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=193112 CPUtime=342.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 94836 0 0 0 34216 14 0 0 25 0 1 0 509923258 197746688 47998 33554432000 134512640 135151029 4288516240 18446744073709551615 134567933 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 48278 47998 80 156 0 48121 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 193112

[startup+402.301 s]
/proc/loadavg: 4.03 2.97 1.39 5/190 16271
/proc/meminfo: memFree=13261900/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=194884 CPUtime=402.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 101509 0 0 0 40215 15 0 0 25 0 1 0 509923258 199561216 48437 33554432000 134512640 135151029 4288516240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 48721 48437 80 156 0 48564 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 194884

[startup+462.3 s]
/proc/loadavg: 4.01 3.15 1.55 5/190 16273
/proc/meminfo: memFree=13180288/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=220716 CPUtime=462.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 113874 0 0 0 46213 17 0 0 25 0 1 0 509923258 226013184 54902 33554432000 134512640 135151029 4288516240 18446744073709551615 134530961 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 55179 54902 80 156 0 55022 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 220716

[startup+522.301 s]
/proc/loadavg: 4.04 3.32 1.71 5/190 16274
/proc/meminfo: memFree=13133648/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=242272 CPUtime=522.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 124901 0 0 0 52211 19 0 0 25 0 1 0 509923258 248086528 60287 33554432000 134512640 135151029 4288516240 18446744073709551615 134578320 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 60568 60287 80 156 0 60411 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 242272

[startup+582.3 s]
/proc/loadavg: 4.01 3.44 1.85 5/190 16276
/proc/meminfo: memFree=13113044/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=241844 CPUtime=582.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 129262 0 0 0 58210 20 0 0 25 0 1 0 509923258 247648256 60215 33554432000 134512640 135151029 4288516240 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 60461 60215 80 156 0 60304 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 241844

[startup+642.301 s]
/proc/loadavg: 4.00 3.54 1.98 5/190 16277
/proc/meminfo: memFree=13064284/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=249344 CPUtime=642.31 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 135007 0 0 0 64210 21 0 0 25 0 1 0 509923258 255328256 62058 33554432000 134512640 135151029 4288516240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 62336 62058 80 156 0 62179 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 249344

[startup+702.301 s]
/proc/loadavg: 4.00 3.62 2.11 5/190 16279
/proc/meminfo: memFree=13044048/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=268380 CPUtime=702.3 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 145538 0 0 0 70207 23 0 0 25 0 1 0 509923258 274821120 66818 33554432000 134512640 135151029 4288516240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 67095 66818 80 156 0 66938 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 268380

[startup+762.306 s]
/proc/loadavg: 4.00 3.69 2.22 5/190 16281
/proc/meminfo: memFree=13012272/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=266328 CPUtime=762.32 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 147589 0 0 0 76208 24 0 0 25 0 1 0 509923258 272719872 66305 33554432000 134512640 135151029 4288516240 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 66582 66305 80 156 0 66425 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 266328

[startup+822.301 s]
/proc/loadavg: 4.00 3.74 2.33 5/190 16282
/proc/meminfo: memFree=12986096/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=266328 CPUtime=822.31 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 147589 0 0 0 82207 24 0 0 25 0 1 0 509923258 272719872 66305 33554432000 134512640 135151029 4288516240 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 66582 66305 80 156 0 66425 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 266328

[startup+882.301 s]
/proc/loadavg: 4.04 3.80 2.44 5/190 16284
/proc/meminfo: memFree=12975164/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=266328 CPUtime=882.31 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 148357 0 0 0 88207 24 0 0 25 0 1 0 509923258 272719872 66305 33554432000 134512640 135151029 4288516240 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 66582 66305 80 156 0 66425 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 266328

[startup+942.3 s]
/proc/loadavg: 4.05 3.85 2.54 5/190 16285
/proc/meminfo: memFree=12975008/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=265752 CPUtime=942.31 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 149125 0 0 0 94207 24 0 0 25 0 1 0 509923258 272130048 66193 33554432000 134512640 135151029 4288516240 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 66438 66193 80 156 0 66281 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 265752

[startup+1002.3 s]
/proc/loadavg: 4.02 3.87 2.63 5/190 16287
/proc/meminfo: memFree=12904440/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=293468 CPUtime=1002.31 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 158000 0 0 0 100205 26 0 0 25 0 1 0 509923258 300511232 73017 33554432000 134512640 135151029 4288516240 18446744073709551615 134521728 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 73367 73017 80 156 0 73210 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 293468

[startup+1062.3 s]
/proc/loadavg: 4.06 3.91 2.71 5/190 16289
/proc/meminfo: memFree=12877896/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=295520 CPUtime=1062.32 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 161525 0 0 0 106205 27 0 0 25 0 1 0 509923258 302612480 73592 33554432000 134512640 135151029 4288516240 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 73880 73592 80 156 0 73723 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 295520

[startup+1122.3 s]
/proc/loadavg: 4.02 3.92 2.79 5/190 16290
/proc/meminfo: memFree=12873668/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=293468 CPUtime=1122.32 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 162957 0 0 0 112205 27 0 0 25 0 1 0 509923258 300511232 73101 33554432000 134512640 135151029 4288516240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 73367 73101 80 156 0 73210 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 293468

[startup+1182.3 s]
/proc/loadavg: 4.00 3.93 2.86 5/190 16292
/proc/meminfo: memFree=12865960/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=299624 CPUtime=1182.32 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 165234 0 0 0 118205 27 0 0 25 0 1 0 509923258 306814976 74610 33554432000 134512640 135151029 4288516240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 74906 74610 80 156 0 74749 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 299624

[startup+1242.3 s]
/proc/loadavg: 4.04 3.96 2.94 5/190 16293
/proc/meminfo: memFree=12828992/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=303480 CPUtime=1242.32 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 169668 0 0 0 124204 28 0 0 25 0 1 0 509923258 310763520 75581 33554432000 134512640 135151029 4288516240 18446744073709551615 134577935 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 75870 75581 80 156 0 75713 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 303480



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 3.96 3.00 5/190 16295
/proc/meminfo: memFree=12782728/32951124 swapFree=67111528/67111528
[pid=16229] ppid=16227 vsize=303480 CPUtime=1300.02 cores=1,3
/proc/16229/stat : 16229 (precosat) R 16227 16229 16199 0 -1 4202496 172939 0 0 0 129974 28 0 0 25 0 1 0 509923258 310763520 75585 33554432000 134512640 135151029 4288516240 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/16229/statm: 75870 75585 80 156 0 75713 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 303480

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.03
CPU time (s): 1300.05
CPU user time (s): 1299.75
CPU system time (s): 0.300954
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 305268

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

runsolver used 2.04069 second user time and 5.07223 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-28 11:33:43
IDJOB=3308458
IDBENCH=70799
IDSOLVER=1690
FILE ID=node108/3308458-1303983223
RUNJOBID= node108-1303983222-16219
PBS_JOBID= 13168718
Free space on /tmp= 72116 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308458-1303983223/watcher-3308458-1303983223 -o /tmp/evaluation-result-3308458-1303983223/solver-3308458-1303983223 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3308458-1303983223.cnf

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

MD5SUM BENCH= 4b75ef7fb46928f50793af1d74c176e2
RANDOM SEED=992399535

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13956736 kB
Buffers:       2290544 kB
Cached:       16059032 kB
SwapCached:          0 kB
Active:       10180512 kB
Inactive:      8232868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13956736 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5492 kB
Writeback:           0 kB
AnonPages:       62992 kB
Mapped:          14428 kB
Slab:           517628 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186956 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= 72100 MiB
End job on node108 at 2011-04-28 11:55:25