Trace number 3308881

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.07 1300.02

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
MD5SUM16e1f2a4ab0c9df60ac0d098f9f252bb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables62686
Number of clauses210488
Sum of the clauses size537842
Maximum clause length1941
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2106681
Number of clauses of size 3102739
Number of clauses of size 4299
Number of clauses of size 522
Number of clauses of size over 5746

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-3308881-1303984567.cnf
0.00/0.00	c found header 'p cnf 62686 210488'
0.09/0.13	c finished parsing
0.09/0.13	c
0.09/0.13	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.13	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.13	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.13	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.13	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.13	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.13	c
0.09/0.13	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.09/0.13	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.13	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.13	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.13	c
0.09/0.13	c starting search after 0.1 seconds
0.09/0.13	c no decision limit
0.09/0.14	c
0.09/0.14	c       original/binary      fixed     eliminated      learned       agility
0.09/0.14	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.14	c
0.09/0.14	c *    0.1   197331   58939   2016  1731      0       0      0    0.0   0   16
1.39/1.41	c s    1.4   124309   20973   2650  3016  36047       0      0    0.0   0   14
1.39/1.41	c l    1.4   124309   20973   2650  3016  36047       0 112188    0.0   0   14
1.39/1.43	c R    1.4   124947   20973   2650  3016  36047     100     87  299.3  23   15
1.39/1.44	c R    1.4   125145   20973   2650  3016  36047     201    188  204.5  17   15
1.49/1.51	c N    1.5   126326   20973   2650  3016  36047     807    793  149.2  32   15
1.49/1.56	c B    1.6   126531   20973   2650  3016  36047    1000    986  153.1  15   16
1.99/2.05	c B    2.1   292355   20131   3462  3046  36047    2001   1986  130.9  12   27
1.99/2.08	c R    2.1   292369   20131   3462  3046  36047    2410   2395  125.5   6   27
2.70/2.79	c R    2.8   292457   20129   3462  3048  36047    6426   6411  134.4  23   28
3.00/3.05	c s    3.1   232686   20123   3468  3048  36047    6831   6804  134.5  11   22
3.00/3.05	c -    3.1   232686   20123   3468  3048  36047    6831 107701  134.5  11   22
3.20/3.23	c B    3.2   232686   20123   3468  3048  36047    8008   7981  137.0  29   23
6.09/6.19	c B    6.2   278482   20007   3543  3089  36047   24010  23978  119.8  14   31
6.69/6.76	c s    6.8   246052   19436   3559  3089  36602   24059  21395  119.8  12   27
6.69/6.76	c -    6.8   246052   19436   3559  3089  36602   24059 106624  119.8  12   27
7.79/7.83	c R    7.8   247126   19423   3572  3089  36602   29286  26620  121.6  15   30
11.09/11.12	c s   11.1   259104   19265   3648  3104  36669   41125  33518  120.6  13   29
15.89/15.97	c s   16.0   266569   18588   3851  3157  37090   59919  50833  115.2  17   33
15.89/15.97	c
15.89/15.97	c       original/binary      fixed     eliminated      learned       agility
15.89/15.97	c   seconds        variables     equivalent    conflicts       height       MB
15.89/15.97	c
15.89/15.97	c -   16.0   266569   18588   3851  3157  37090   59919 104492  115.2  17   33
16.89/16.96	c B   17.0   267776   18582   3852  3162  37090   64018  54929  114.9  20   37
21.49/21.54	c s   21.5   254574   17698   4545  3218  37225   82230  67799  110.9  15   36
21.49/21.54	c -   21.5   254574   17698   4545  3218  37225   82230 100313  110.9  15   36
26.09/26.13	c +   26.1   261269   17440   4780  3241  37225  100314 110344  109.4  14   43
26.30/26.37	c R   26.4   261566   17411   4826  3224  37225  101645  87211  109.1  15   44
27.50/27.53	c s   27.5   234893   17354   4829  3224  37279  103424  88428  110.0  11   39
27.50/27.53	c -   27.5   234893   17354   4829  3224  37279  103424 109241  110.0  11   39
33.89/33.92	c s   33.9   233787   17222   4941  3237  37286  121871 105524  109.6  17   44
34.49/34.54	c +   34.5   233817   17221   4941  3238  37286  124137 120165  109.6  15   47
40.60/40.65	c s   40.7   233308   17133   4997  3245  37311  141936 120158  107.7  16   48
44.69/44.76	c +   44.8   233853   17087   5041  3247  37311  155170 132181  108.0  15   54
46.09/46.11	c B   46.1   233911   17087   5041  3247  37311  160058 125345  107.4  14   55
47.79/47.80	c s   47.8   232386   17082   5045  3245  37314  162498 127619  107.1  18   51
54.50/54.56	c s   54.6   232324   17077   5048  3245  37316  181775 132708  107.7  28   54
58.70/58.79	c +   58.8   232657   17076   5049  3245  37316  193961 145399  107.8  21   60
62.70/62.76	c s   62.8   231881   17076   5049  3245  37316  204477 143228  106.9  16   58
70.80/70.86	c s   70.9   214441   17070   5055  3245  37316  224716 145830  106.5  20   57
71.80/71.89	c R   71.9   214441   17070   5055  3245  37316  227629 145672  106.5  18   61
76.30/76.33	c
76.30/76.33	c       original/binary      fixed     eliminated      learned       agility
76.30/76.33	c   seconds        variables     equivalent    conflicts       height       MB
76.30/76.33	c
76.30/76.33	c +   76.3   214456   17070   5055  3245  37316  242452 159938  105.1  12   62
79.29/79.37	c s   79.4   214518   17070   5055  3245  37316  249952 153001  104.7  15   59
87.40/87.47	c s   87.5   214449   17069   5056  3245  37316  270969 160044  104.4  20   62
96.80/96.87	c s   96.9   214470   17069   5056  3245  37316  296160 160276  102.6  17   62
99.69/99.70	c +   99.7   214470   17069   5056  3245  37316  303065 175931  103.1  11   67
104.70/104.79	c s  104.8   214494   17069   5056  3245  37316  314198 171295  103.2  11   66
112.59/112.70	c s  112.7   214556   17069   5056  3245  37316  332273 176239  102.8  20   68
116.60/116.62	c R  116.6   214565   17069   5056  3245  37316  343066 176534  103.3  22   74
119.91/119.91	c s  119.9   214569   17069   5056  3245  37316  350481 176170  103.4  10   71
128.00/128.05	c s  128.1   214537   17068   5057  3245  37316  367244 176236  104.2  15   73
133.00/133.04	c +  133.1   214577   17068   5057  3245  37316  378833 193524  104.5  18   79
135.20/135.27	c B  135.3   214700   17068   5057  3245  37316  384132 181232  104.6  19   82
137.40/137.43	c s  137.4   214697   17068   5057  3245  37316  386739 183838  104.5  13   76
147.20/147.25	c s  147.3   214689   17067   5057  3246  37316  407604 193768  104.7  14   80
156.79/156.84	c s  156.9   214690   17067   5057  3246  37316  427326 193732  104.9  12   81
166.40/166.40	c s  166.4   214700   17067   5057  3246  37316  448550 193837  104.4  31   82
175.20/175.20	c +  175.2   214709   17066   5058  3246  37316  473540 212876  103.6   8   87
177.01/177.07	c s  177.1   214589   17066   5058  3246  37316  475192 195453  103.6  19   80
188.19/188.20	c s  188.2   214624   17066   5058  3246  37316  496017 213095  103.0  11   86
199.50/199.54	c
199.50/199.54	c       original/binary      fixed     eliminated      learned       agility
199.50/199.54	c   seconds        variables     equivalent    conflicts       height       MB
199.50/199.54	c
199.50/199.54	c s  199.6   213848   17065   5059  3246  37316  519343 213135  103.1  12   83
211.10/211.16	c s  211.2   214170   17065   5059  3246  37316  543165 213064  102.6  16   80
221.20/221.24	c s  221.3   214191   17065   5059  3246  37316  565801 212935  102.4  13   81
230.60/230.63	c s  230.6   214193   17065   5059  3246  37316  586870 213391  101.6  17   83
232.30/232.31	c +  232.3   214193   17065   5059  3246  37316  591926 234163  101.5  21   86
235.40/235.49	c R  235.5   214193   17065   5059  3246  37316  599557 220566  101.4  15   91
239.90/239.94	c s  240.0   214198   17065   5059  3246  37316  608815 229824  101.6  19   90
256.80/256.85	c s  256.9   214210   17065   5059  3246  37316  650757 234571  102.9  16   96
269.90/269.98	c s  270.0   214367   17065   5059  3246  37316  677681 234233  102.6  10   97
283.00/283.07	c s  283.1   202114   17059   5065  3246  37316  703962 234565  102.0  13   96
296.20/296.23	c s  296.2   202124   17059   5065  3246  37316  729539 234502  101.7  19   97
300.50/300.53	c +  300.5   202124   17059   5065  3246  37316  739906 257579  102.0  22  103
308.21/308.23	c s  308.2   202125   17059   5065  3246  37316  756735 251572  101.8  15  104
321.70/321.72	c s  321.7   202210   17059   5065  3246  37316  782094 257948  101.5  20  105
334.50/334.52	c s  334.5   202211   17059   5065  3246  37316  806355 258052  101.7  20  105
347.10/347.13	c s  347.1   202216   17059   5065  3246  37316  831563 258048  101.7  12  103
357.70/357.73	c s  357.7   202217   17059   5065  3246  37316  854056 258073  102.1  16  101
368.52/368.55	c s  368.6   202222   17059   5065  3246  37316  873468 258056  102.3  16  104
379.42/379.43	c B  379.4   202224   17059   5065  3246  37316  896240 258009  102.5  13  115
381.11/381.13	c
381.11/381.13	c       original/binary      fixed     eliminated      learned       agility
381.11/381.13	c   seconds        variables     equivalent    conflicts       height       MB
381.11/381.13	c
381.11/381.13	c s  381.2   202224   17059   5065  3246  37316  898720 257785  102.5  15  106
392.31/392.34	c +  392.4   202235   17059   5065  3246  37316  924883 283336  102.3  12  113
393.71/393.79	c s  393.8   202235   17059   5065  3246  37316  927044 259897  102.3  18  105
406.10/406.13	c s  406.1   202247   17059   5065  3246  37316  949038 281890  102.4  17  113
418.50/418.50	c s  418.5   202250   17059   5065  3246  37316  972560 284063  102.7  17  115
431.41/431.45	c s  431.5   202284   17059   5065  3246  37316  997098 283623  102.6  10  118
444.81/444.88	c s  444.9   202524   17059   5065  3246  37316 1021669 283702  102.7  25  116
460.41/460.43	c s  460.5   202543   17059   5065  3246  37316 1046069 283842  102.4  17  116
475.31/475.38	c s  475.4   202552   17059   5065  3246  37316 1071632 283652  102.2  12  115
498.01/498.08	c s  498.1   202553   17059   5065  3246  37316 1112804 283646  101.9  17  113
519.12/519.20	c +  519.2   202553   17059   5065  3246  37316 1156100 311669  101.3  11  125
522.61/522.63	c R  522.7   202553   17059   5065  3246  37316 1163758 291183  101.3  15  127
544.51/544.57	c s  544.6   202554   17059   5065  3246  37316 1226210 311744   99.7   8  116
563.91/563.99	c s  564.0   202471   17056   5066  3247  37317 1269143 311194   99.1  16  107
581.11/581.10	c s  581.1   202360   17054   5067  3247  37318 1296784 311618   99.1  14  107
597.22/597.21	c s  597.2   202383   17054   5067  3247  37318 1324729 312050   98.8   8  108
614.21/614.23	c s  614.3   202414   17054   5067  3247  37318 1352247 312099   98.6  23  107
628.51/628.58	c s  628.6   202418   17054   5067  3247  37318 1382846 311921   98.6  13  103
643.52/643.58	c s  643.6   202492   17054   5067  3247  37318 1408107 312072   98.7  14  104
657.61/657.67	c
657.61/657.67	c       original/binary      fixed     eliminated      learned       agility
657.61/657.67	c   seconds        variables     equivalent    conflicts       height       MB
657.61/657.67	c
657.61/657.67	c s  657.7   202504   17054   5067  3247  37318 1433528 312132   98.7  15  107
663.61/663.61	c +  663.6   202504   17054   5067  3247  37318 1445125 342835   98.7  20  118
672.71/672.70	c s  672.7   202514   17054   5067  3247  37318 1459078 326327   98.7   8  115
687.61/687.62	c s  687.6   202518   17054   5067  3247  37318 1485668 343518   98.5  17  124
718.61/718.66	c s  718.7   202521   17054   5067  3247  37318 1532145 343247   98.7   9  138
736.71/736.75	c s  736.8   202529   17054   5067  3247  37318 1559007 342851   98.8  10  139
757.02/757.02	c s  757.0   202534   17054   5067  3247  37318 1587093 342884   98.6  17  137
774.92/774.93	c s  775.0   202546   17054   5067  3247  37318 1616412 343597   98.3  17  139
793.13/793.13	c s  793.2   202566   17054   5067  3247  37318 1646826 343083   98.2  15  139
811.83/811.82	c s  811.9   202575   17054   5067  3247  37318 1675445 343288   98.1  11  139
831.82/831.87	c s  831.9   202576   17054   5067  3247  37318 1705172 343607   97.9  16  139
848.12/848.12	c s  848.2   202595   17054   5067  3247  37318 1732978 343137   97.9  15  138
864.52/864.57	c s  864.6   202596   17054   5067  3247  37318 1760236 343158   97.8  11  135
878.63/878.65	c s  878.7   202602   17054   5067  3247  37318 1788353 343591   98.0  22  134
891.13/891.11	c +  891.1   202604   17054   5067  3247  37318 1806405 377118   98.0  19  145
897.73/897.73	c s  897.8   202604   17054   5067  3247  37318 1814899 351489   98.0  15  137
916.92/916.90	c s  916.9   202630   17054   5067  3247  37318 1843649 377571   97.9  15  146
955.03/955.02	c s  955.1   202631   17054   5067  3247  37318 1904236 377450   98.3  18  147
975.32/975.31	c s  975.3   202632   17054   5067  3247  37318 1932405 377821   98.4  21  147
993.82/993.85	c
993.82/993.85	c       original/binary      fixed     eliminated      learned       agility
993.82/993.85	c   seconds        variables     equivalent    conflicts       height       MB
993.82/993.85	c
993.82/993.85	c s  993.9   202640   17054   5067  3247  37318 1959382 377355   98.6  11  147
1046.63/1046.69	c B 1046.7   202640   17054   5067  3247  37318 2048483 377439   98.8  15  166
1074.33/1074.31	c s 1074.4   202641   17054   5067  3247  37318 2089523 377576   98.9  19  147
1091.64/1091.63	c s 1091.7   202699   17054   5067  3247  37318 2118005 377770   99.0  17  150
1109.94/1109.91	c s 1110.0   202724   17054   5067  3247  37318 2150730 377464   99.0  11  149
1127.24/1127.26	c s 1127.3   202730   17054   5067  3247  37318 2180434 377450   98.9  16  147
1144.54/1144.52	c s 1144.6   202745   17054   5067  3247  37318 2209359 377452   99.0  13  148
1170.04/1170.05	c + 1170.1   202745   17054   5067  3247  37318 2258005 414829   99.2  23  166
1256.64/1256.67	c s 1256.7   202746   17054   5067  3247  37318 2400090 415341   98.4  19  200
1282.94/1282.98	c s 1283.0   203096   17054   5067  3247  37318 2436504 415002   98.1  17  194
1300.05/1300.00	c
1300.05/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.05/1300.00	c
1300.05/1300.00	c 2460640 conflicts, 4919969 decisions, 237 random
1300.05/1300.00	c 8 iterations, 4714 restarts, 147 skipped
1300.05/1300.00	c 15 enlarged, 2392 shrunken, 24061 rescored, 572 rebiased
1300.05/1300.00	c 82 simplifications, 0 reductions
1300.05/1300.00	c
1300.05/1300.00	c vars: 5067 fixed, 3247 equiv, 37318 elim, 3588 merged
1300.05/1300.00	c elim: 8888074 resolutions, 27 phases, 14 rounds
1300.05/1300.00	c sbst: 86% substituted, 1.6% nots, 78.2% ands, 17.3% xors, 3.0% ites
1300.05/1300.00	c arty: 2.12 and 2.00 xor average arity
1300.05/1300.00	c prbe: 8202192 probed, 1185 phases, 239 rounds
1300.05/1300.00	c prbe: 1419 failed, 285 lifted, 860 merged
1300.05/1300.00	c sccs: 120 non trivial, 0 fixed, 231 merged
1300.05/1300.00	c hash: 191 units, 2497 merged
1300.05/1300.00	c mins: 223684851 learned, 22% deleted, 734 strong, 96 depth
1300.05/1300.00	c subs: 2862 forward, 4680 backward, 10133 doms
1300.05/1300.00	c strs: 3259 forward, 1203 backward
1300.05/1300.00	c doms: 20325 dominators, 5398 high, 6 low
1300.05/1300.00	c prps: 1871654229 propagations, 1.44 megaprops
1300.05/1300.00	c
1300.05/1300.00	c 1300.1 seconds, 218 MB max, 759 MB recycled
1300.05/1300.00	c
1300.05/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.05/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-3308881-1303984567/watcher-3308881-1303984567 -o /tmp/evaluation-result-3308881-1303984567/solver-3308881-1303984567 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308881-1303984567.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.91 3.92 3.02 4/189 23352
/proc/meminfo: memFree=15604428/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=6040 CPUtime=0 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 1408 0 0 0 0 0 0 0 21 0 1 0 588687388 6184960 1364 33554432000 134512640 135151029 4291208272 18446744073709551615 134515933 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23352/statm: 1510 1370 61 156 0 1353 0

[startup+0.0244 s]
/proc/loadavg: 3.91 3.92 3.02 4/189 23352
/proc/meminfo: memFree=15604428/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=8148 CPUtime=0.01 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 2001 0 0 0 1 0 0 0 21 0 1 0 588687388 8343552 1924 33554432000 134512640 135151029 4291208272 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 2070 1925 65 156 0 1913 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8148

[startup+0.100397 s]
/proc/loadavg: 3.91 3.92 3.02 4/189 23352
/proc/meminfo: memFree=15604428/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=15912 CPUtime=0.09 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 4126 0 0 0 8 1 0 0 21 0 1 0 588687388 16293888 3855 33554432000 134512640 135151029 4291208272 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 3978 3856 65 156 0 3821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15912

[startup+0.300347 s]
/proc/loadavg: 3.91 3.92 3.02 4/189 23352
/proc/meminfo: memFree=15604428/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=20648 CPUtime=0.29 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 5808 0 0 0 28 1 0 0 22 0 1 0 588687388 21143552 5034 33554432000 134512640 135151029 4291208272 18446744073709551615 134521511 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 5162 5034 80 156 0 5005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20648

[startup+0.700277 s]
/proc/loadavg: 3.91 3.92 3.02 4/189 23352
/proc/meminfo: memFree=15604428/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=29356 CPUtime=0.69 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 8486 0 0 0 68 1 0 0 24 0 1 0 588687388 30060544 7197 33554432000 134512640 135151029 4291208272 18446744073709551615 134562435 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 7339 7197 80 156 0 7182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29356

[startup+1.50113 s]
/proc/loadavg: 3.91 3.92 3.02 5/190 23353
/proc/meminfo: memFree=15573800/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=28104 CPUtime=1.49 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 9028 0 0 0 148 1 0 0 25 0 1 0 588687388 28778496 6869 33554432000 134512640 135151029 4291208272 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 7026 6869 80 156 0 6869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28104

[startup+3.10082 s]
/proc/loadavg: 3.92 3.92 3.03 5/190 23353
/proc/meminfo: memFree=15569956/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=32360 CPUtime=3.09 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 11347 0 0 0 307 2 0 0 25 0 1 0 588687388 33136640 7915 33554432000 134512640 135151029 4291208272 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 8090 7915 80 156 0 7933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32360

[startup+6.30021 s]
/proc/loadavg: 3.92 3.92 3.03 5/190 23353
/proc/meminfo: memFree=15564684/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=36176 CPUtime=6.29 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 13318 0 0 0 627 2 0 0 25 0 1 0 588687388 37044224 8871 33554432000 134512640 135151029 4291208272 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 9044 8871 80 156 0 8887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36176

[startup+12.701 s]
/proc/loadavg: 3.93 3.92 3.04 5/190 23353
/proc/meminfo: memFree=15541372/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=39828 CPUtime=12.69 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 19032 0 0 0 1266 3 0 0 25 0 1 0 588687388 40783872 9787 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 9957 9787 80 156 0 9800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39828

[startup+25.5006 s]
/proc/loadavg: 3.94 3.92 3.05 5/190 23354
/proc/meminfo: memFree=15517812/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=48224 CPUtime=25.49 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 26693 0 0 0 2544 5 0 0 25 0 1 0 588687388 49381376 11893 33554432000 134512640 135151029 4291208272 18446744073709551615 134542819 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 12056 11893 80 156 0 11899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48224

[startup+51.1007 s]
/proc/loadavg: 3.96 3.93 3.07 5/190 23355
/proc/meminfo: memFree=15486388/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=63132 CPUtime=51.09 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 41494 0 0 0 5101 8 0 0 25 0 1 0 588687388 64647168 15614 33554432000 134512640 135151029 4291208272 18446744073709551615 134574103 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 15783 15614 80 156 0 15626 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 63132

[startup+102.307 s]
/proc/loadavg: 4.03 3.95 3.13 5/190 23356
/proc/meminfo: memFree=15399444/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=76216 CPUtime=102.3 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 57468 0 0 0 10219 11 0 0 25 0 1 0 588687388 78045184 18867 33554432000 134512640 135151029 4291208272 18446744073709551615 134520456 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 19054 18867 80 156 0 18897 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76216

[startup+162.301 s]
/proc/loadavg: 4.01 3.96 3.18 5/190 23357
/proc/meminfo: memFree=15338288/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=95432 CPUtime=162.29 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 71074 0 0 0 16215 14 0 0 25 0 1 0 588687388 97722368 23700 33554432000 134512640 135151029 4291208272 18446744073709551615 134578161 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 23858 23700 80 156 0 23701 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 95432

[startup+222.3 s]
/proc/loadavg: 4.04 3.98 3.23 5/190 23386
/proc/meminfo: memFree=15485532/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=101264 CPUtime=222.3 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 80658 0 0 0 22214 16 0 0 25 0 1 0 588687388 103694336 25142 33554432000 134512640 135151029 4291208272 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 25316 25142 80 156 0 25159 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 101264

[startup+282.301 s]
/proc/loadavg: 4.01 3.98 3.28 5/190 23443
/proc/meminfo: memFree=16168504/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=115424 CPUtime=282.3 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 87363 0 0 0 28212 18 0 0 25 0 1 0 588687388 118194176 28693 33554432000 134512640 135151029 4291208272 18446744073709551615 134564115 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 28856 28693 80 156 0 28699 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 115424

[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.32 5/190 23453
/proc/meminfo: memFree=16078940/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=122792 CPUtime=342.3 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 92576 0 0 0 34211 19 0 0 25 0 1 0 588687388 125739008 30532 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 30698 30532 80 156 0 30541 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 122792

[startup+402.301 s]
/proc/loadavg: 4.00 3.98 3.36 6/190 23455
/proc/meminfo: memFree=15998084/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=127280 CPUtime=402.3 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 96435 0 0 0 40210 20 0 0 25 0 1 0 588687388 130334720 31623 33554432000 134512640 135151029 4291208272 18446744073709551615 134542608 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 31820 31623 80 156 0 31663 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 127280

[startup+462.301 s]
/proc/loadavg: 4.00 3.98 3.40 5/190 23456
/proc/meminfo: memFree=15969428/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=136196 CPUtime=462.31 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 101304 0 0 0 46210 21 0 0 25 0 1 0 588687388 139464704 33853 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 34049 33853 80 156 0 33892 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 136196

[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.43 5/190 23458
/proc/meminfo: memFree=15944112/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=136328 CPUtime=522.31 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 102391 0 0 0 52210 21 0 0 25 0 1 0 588687388 139599872 33936 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 34082 33936 80 156 0 33925 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 136328

[startup+582.301 s]
/proc/loadavg: 4.04 3.99 3.47 5/190 23460
/proc/meminfo: memFree=15907020/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=141840 CPUtime=582.31 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 107535 0 0 0 58209 22 0 0 25 0 1 0 588687388 145244160 35267 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 35460 35267 80 156 0 35303 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 141840

[startup+642.301 s]
/proc/loadavg: 4.01 3.99 3.50 5/190 23461
/proc/meminfo: memFree=15897708/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=141840 CPUtime=642.32 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 109438 0 0 0 64210 22 0 0 25 0 1 0 588687388 145244160 35277 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 35460 35277 80 156 0 35303 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 141840

[startup+702.301 s]
/proc/loadavg: 3.77 3.94 3.51 4/184 23480
/proc/meminfo: memFree=16192604/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=154228 CPUtime=702.32 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 115039 0 0 0 70208 24 0 0 25 0 1 0 588687388 157929472 38354 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 38557 38354 80 156 0 38400 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 154228

[startup+762.307 s]
/proc/loadavg: 3.35 3.79 3.48 4/184 23481
/proc/meminfo: memFree=16178448/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=161860 CPUtime=762.33 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 118670 0 0 0 76208 25 0 0 25 0 1 0 588687388 165744640 40314 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 40465 40314 80 156 0 40308 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 161860

[startup+822.3 s]
/proc/loadavg: 3.13 3.64 3.45 4/184 23483
/proc/meminfo: memFree=16178188/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=162204 CPUtime=822.32 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 120494 0 0 0 82207 25 0 0 25 0 1 0 588687388 166096896 40364 33554432000 134512640 135151029 4291208272 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 40551 40364 80 156 0 40394 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 162204

[startup+882.301 s]
/proc/loadavg: 3.05 3.52 3.42 4/184 23485
/proc/meminfo: memFree=16169620/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=161868 CPUtime=882.33 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 122700 0 0 0 88207 26 0 0 25 0 1 0 588687388 165752832 40333 33554432000 134512640 135151029 4291208272 18446744073709551615 134554797 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 40467 40333 80 156 0 40310 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 161868

[startup+942.301 s]
/proc/loadavg: 3.02 3.42 3.39 4/184 23486
/proc/meminfo: memFree=16159436/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=173064 CPUtime=942.33 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 126442 0 0 0 94206 27 0 0 25 0 1 0 588687388 177217536 42942 33554432000 134512640 135151029 4291208272 18446744073709551615 134580485 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 43266 42942 80 156 0 43109 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 173064

[startup+1002.3 s]
/proc/loadavg: 3.00 3.34 3.36 4/184 23488
/proc/meminfo: memFree=16156444/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=175072 CPUtime=1002.33 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 128559 0 0 0 100206 27 0 0 25 0 1 0 588687388 179273728 43553 33554432000 134512640 135151029 4291208272 18446744073709551615 134557023 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 43768 43553 80 156 0 43611 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 175072

[startup+1062.3 s]
/proc/loadavg: 3.00 3.28 3.34 4/184 23489
/proc/meminfo: memFree=16151472/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=178360 CPUtime=1062.34 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 129275 0 0 0 106206 28 0 0 25 0 1 0 588687388 182640640 44269 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 44590 44269 80 156 0 44433 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 178360

[startup+1122.3 s]
/proc/loadavg: 2.47 3.09 3.27 3/178 23508
/proc/meminfo: memFree=16356712/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=175912 CPUtime=1122.34 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 131242 0 0 0 112206 28 0 0 25 0 1 0 588687388 180133888 43805 33554432000 134512640 135151029 4291208272 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 43978 43805 80 156 0 43821 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 175912

[startup+1182.3 s]
/proc/loadavg: 2.19 2.90 3.19 3/178 23510
/proc/meminfo: memFree=16337348/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=197744 CPUtime=1182.33 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 137936 0 0 0 118204 29 0 0 25 0 1 0 588687388 202489856 49237 33554432000 134512640 135151029 4291208272 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 49436 49237 80 156 0 49279 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 197744

[startup+1242.3 s]
/proc/loadavg: 2.06 2.72 3.11 3/178 23511
/proc/meminfo: memFree=16305336/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=229620 CPUtime=1242.34 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 145558 0 0 0 124202 32 0 0 25 0 1 0 588687388 235130880 56859 33554432000 134512640 135151029 4291208272 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 57405 56859 80 156 0 57248 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 229620



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.07 2.61 3.05 3/178 23513
/proc/meminfo: memFree=16302596/32950928 swapFree=67111528/67111528
[pid=23352] ppid=23350 vsize=231128 CPUtime=1300.05 cores=5,7
/proc/23352/stat : 23352 (precosat) R 23350 23352 23061 0 -1 4202496 147209 0 0 0 129973 32 0 0 25 0 1 0 588687388 236675072 57506 33554432000 134512640 135151029 4291208272 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23352/statm: 57782 57506 80 156 0 57625 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 231128

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1300.07
CPU user time (s): 1299.73
CPU system time (s): 0.333949
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 232108

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

runsolver used 2.08168 second user time and 5.02823 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-28 11:56:07
IDJOB=3308881
IDBENCH=83105
IDSOLVER=1690
FILE ID=node114/3308881-1303984567
RUNJOBID= node114-1303983220-23082
PBS_JOBID= 13168712
Free space on /tmp= 71776 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom24.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308881-1303984567/watcher-3308881-1303984567 -o /tmp/evaluation-result-3308881-1303984567/solver-3308881-1303984567 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3308881-1303984567.cnf

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

MD5SUM BENCH= 16e1f2a4ab0c9df60ac0d098f9f252bb
RANDOM SEED=327286428

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15604708 kB
Buffers:       2319932 kB
Cached:       13403296 kB
SwapCached:          0 kB
Active:        8078736 kB
Inactive:      8677648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15604708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5248 kB
Writeback:           0 kB
AnonPages:     1032964 kB
Mapped:          16060 kB
Slab:           524444 kB
PageTables:       6672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1219924 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= 71800 MiB
End job on node114 at 2011-04-28 12:17:49