Trace number 3308947

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

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
MD5SUMe560aa6505ddce6d3784f70d5b7aff66
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 variables57800
Number of clauses193923
Sum of the clauses size495331
Maximum clause length1803
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 298497
Number of clauses of size 394437
Number of clauses of size 4275
Number of clauses of size 521
Number of clauses of size over 5692

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-3308947-1303984718.cnf
0.00/0.00	c found header 'p cnf 57800 193923'
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   181861   54290   1875  1635      0       0      0    0.0   0   15
1.39/1.41	c s    1.4   114507   19199   2486  2830  33285       0      0    0.0   0   13
1.39/1.41	c l    1.4   114507   19199   2486  2830  33285       0 102903    0.0   0   13
1.39/1.44	c R    1.4   115214   19199   2486  2830  33285     101     91  257.4  23   14
1.39/1.45	c R    1.5   115309   19199   2486  2830  33285     201    191  205.9  22   14
1.49/1.50	c R    1.5   115421   19199   2486  2830  33285     806    794  118.1  17   14
1.49/1.53	c B    1.5   116196   19198   2486  2831  33285    1000    985  131.7   5   14
1.59/1.67	c B    1.7   118073   19198   2486  2831  33285    2000   1983  116.1  14   15
1.99/2.03	c R    2.0   254026   18657   2991  2867  33285    2408   2391  117.0  13   24
2.79/2.89	c R    2.9   263552   18392   3244  2879  33285    6425   6407  118.9  16   25
2.99/3.06	c s    3.1   211602   18392   3244  2879  33285    6630   6605  118.8  16   20
2.99/3.06	c -    3.1   211602   18392   3244  2879  33285    6630  98787  118.8  16   20
3.29/3.35	c B    3.3   229611   18392   3244  2879  33285    8004   7979  123.2  23   22
6.59/6.66	c s    6.7   218706   17809   3272  2896  33823   21463  18944  114.4  18   23
7.19/7.23	c B    7.2   218742   17809   3272  2896  33823   24010  21491  112.6  22   25
8.09/8.14	c R    8.1   224293   17784   3283  2910  33823   29098  26578  109.6  11   27
10.79/10.86	c s   10.9   210330   17329   3593  2971  33907   37815  31247  106.5  16   25
10.79/10.86	c -   10.9   210330   17329   3593  2971  33907   37815  96812  106.5  16   25
15.30/15.37	c s   15.4   194967   16366   4242  3041  34151   55132  45431  105.0  15   27
15.30/15.37	c
15.30/15.37	c       original/binary      fixed     eliminated      learned       agility
15.30/15.37	c   seconds        variables     equivalent    conflicts       height       MB
15.30/15.37	c
15.30/15.37	c -   15.4   194967   16366   4242  3041  34151   55132  92940  105.0  15   27
17.79/17.89	c B   17.9   199853   16145   4461  3043  34151   64027  54324  106.3  17   32
19.69/19.77	c s   19.8   195361   16009   4589  3047  34155   68663  58599  106.7  16   31
19.69/19.77	c -   19.8   195361   16009   4589  3047  34155   68663  91082  106.7  16   31
23.79/23.85	c R   23.9   197584   15822   4749  3074  34155   82758  72691  105.0  13   37
24.39/24.49	c s   24.5   192443   15747   4750  3074  34229   82855  71951  104.9  15   34
24.39/24.49	c -   24.5   192443   15747   4750  3074  34229   82855  90172  104.9  15   34
26.40/26.44	c +   26.4   192831   15745   4750  3076  34229   90177  99189  104.7  24   38
30.09/30.17	c s   30.2   191217   15651   4811  3095  34243   98815  79908  104.2  15   34
34.39/34.46	c +   34.5   191610   15630   4831  3096  34243  112720 109107  105.1  17   42
35.69/35.72	c s   35.7   190836   15613   4831  3096  34260  114413  95364  104.9  20   39
41.99/42.03	c s   42.0   189026   15608   4833  3096  34263  130752 105543  104.0  17   41
43.29/43.33	c R   43.3   189026   15608   4833  3096  34263  134057 108848  103.9  11   45
45.39/45.41	c +   45.4   189035   15608   4833  3096  34263  140902 120017  104.2  15   46
47.59/47.64	c s   47.6   189043   15608   4833  3096  34263  147678 115942  104.5  17   44
51.60/51.69	c B   51.7   189062   15608   4833  3096  34263  160061 120127  104.0  12   50
53.99/54.07	c s   54.1   189076   15608   4833  3096  34263  168975 120029  104.0  15   46
55.89/55.91	c +   55.9   189175   15607   4834  3096  34263  176125 132018  102.5  15   50
60.79/60.88	c s   60.9   189022   15603   4834  3096  34267  190730 132018  103.6  14   50
69.20/69.20	c
69.20/69.20	c       original/binary      fixed     eliminated      learned       agility
69.20/69.20	c   seconds        variables     equivalent    conflicts       height       MB
69.20/69.20	c
69.20/69.20	c s   69.2   181845   15600   4837  3096  34267  210451 132160  102.0  11   51
72.69/72.71	c +   72.7   182087   15600   4837  3096  34267  220156 145219  101.7  18   56
77.00/77.02	c s   77.0   174058   15595   4842  3096  34267  228331 140509  101.4  21   54
84.40/84.42	c s   84.4   174059   15595   4842  3096  34267  248382 145594   99.7  18   56
84.90/84.90	c R   84.9   174059   15595   4842  3096  34267  249513 145247   99.5  16   59
92.60/92.65	c +   92.7   174059   15595   4842  3096  34267  275196 159740   99.0  14   61
95.79/95.86	c s   95.9   174068   15595   4842  3096  34267  283643 153709   98.5  22   58
104.30/104.31	c s  104.3   174074   15595   4842  3096  34267  304495 160173   97.7  25   61
113.80/113.87	c s  113.9   174033   15593   4843  3096  34268  325154 159798   97.2  12   62
121.00/121.01	c +  121.0   174344   15593   4843  3096  34268  343999 175714   96.7  16   68
122.90/122.91	c s  122.9   174345   15593   4843  3096  34268  345846 161756   96.6   9   63
131.60/131.63	c s  131.6   174177   15590   4846  3096  34268  364467 175817   97.0   9   68
140.40/140.49	c s  140.5   174152   15588   4846  3096  34270  383078 175000   97.6  17   68
140.90/140.93	c B  140.9   174152   15588   4846  3096  34270  384128 176050   97.7  26   70
149.70/149.75	c s  149.8   174156   15588   4846  3096  34270  407803 176043   97.2  16   69
158.09/158.11	c s  158.1   174170   15588   4846  3096  34270  425720 175954   97.5  16   69
159.29/159.37	c +  159.4   174170   15588   4846  3096  34270  430000 193285   97.3  18   73
167.50/167.51	c s  167.5   174198   15588   4846  3096  34270  449425 193765   97.2  14   76
178.21/178.28	c s  178.3   174230   15588   4846  3096  34270  474410 193973   96.2  28   76
188.50/188.59	c
188.50/188.59	c       original/binary      fixed     eliminated      learned       agility
188.50/188.59	c   seconds        variables     equivalent    conflicts       height       MB
188.50/188.59	c
188.50/188.59	c s  188.6   174242   15588   4846  3096  34270  503931 193603   94.7  17   74
189.70/189.71	c R  189.7   174414   15588   4846  3096  34270  505988 193678   94.6  21   79
196.10/196.13	c s  196.1   174414   15588   4846  3096  34270  520979 193702   95.1  12   77
200.90/200.95	c +  201.0   174414   15588   4846  3096  34270  537501 212613   95.0  14   79
218.00/218.06	c s  218.1   174418   15588   4846  3096  34270  580859 212885   94.1  15   78
228.50/228.52	c s  228.5   174420   15588   4846  3096  34270  601525 213050   94.4  17   78
240.00/240.01	c s  240.0   174433   15588   4846  3096  34270  625460 212881   94.5  16   78
257.41/257.40	c s  257.4   174435   15588   4846  3096  34270  659839 213310   94.5  23   84
263.91/263.96	c +  264.0   174435   15588   4846  3096  34270  671875 233874   94.6  11   93
269.61/269.62	c s  269.6   174453   15588   4846  3096  34270  681216 222131   94.6  12   89
283.10/283.15	c s  283.2   174458   15587   4847  3096  34270  705970 234222   94.3  15   93
296.00/296.06	c s  296.1   174467   15587   4847  3096  34270  728682 234135   94.5  10   93
309.30/309.35	c s  309.4   174468   15587   4847  3096  34270  750324 234179   94.6   9   97
322.51/322.56	c s  322.6   174474   15587   4847  3096  34270  772168 233918   94.2  17   99
338.51/338.53	c s  338.6   174475   15587   4847  3096  34270  799402 234220   94.3  17   99
350.50/350.59	c s  350.6   174490   15587   4847  3096  34270  824459 234128   94.7  13   99
359.11/359.17	c +  359.2   174491   15587   4847  3096  34270  839840 257261   94.7  23  104
363.30/363.38	c s  363.4   174519   15587   4847  3096  34270  846369 240797   94.7  24   99
385.50/385.58	c s  385.6   174520   15587   4847  3096  34270  888488 257949   95.1  20  106
389.20/389.25	c
389.20/389.25	c       original/binary      fixed     eliminated      learned       agility
389.20/389.25	c   seconds        variables     equivalent    conflicts       height       MB
389.20/389.25	c
389.20/389.25	c B  389.3   174520   15587   4847  3096  34270  896234 257560   95.3  11  112
402.81/402.87	c s  402.9   174640   15587   4847  3096  34270  919864 257890   95.6  11  110
416.92/416.99	c s  417.0   174667   15587   4847  3096  34270  944669 257698   95.5  18  108
431.12/431.15	c s  431.2   174668   15587   4847  3096  34270  968251 257615   95.5  13  109
445.61/445.69	c s  445.7   174697   15587   4847  3096  34270  990213 257690   95.5  14  109
468.41/468.43	c s  468.5   174708   15587   4847  3096  34270 1029152 257612   95.6  20  110
482.01/482.06	c +  482.1   174710   15587   4847  3096  34270 1049801 282987   95.4  15  119
484.31/484.34	c s  484.4   174710   15587   4847  3096  34270 1053078 260844   95.4  15  111
501.41/501.40	c s  501.4   174877   15587   4847  3096  34270 1077903 283573   95.0  15  119
516.61/516.62	c s  516.7   174878   15587   4847  3096  34270 1103148 283659   95.3  25  122
530.71/530.74	c s  530.8   174879   15587   4847  3096  34270 1132426 283078   94.5  12  114
545.12/545.16	c s  545.2   174881   15587   4847  3096  34270 1158793 283257   94.1  13  111
559.72/559.71	c s  559.7   174882   15587   4847  3096  34270 1183028 283368   94.3  15  117
574.72/574.77	c s  574.8   174888   15587   4847  3096  34270 1206827 283333   94.4  19  116
591.92/591.94	c s  592.0   174918   15587   4847  3096  34270 1232959 283254   94.3  26  114
609.11/609.15	c s  609.2   175106   15587   4847  3096  34270 1259367 283497   94.1  22  113
625.71/625.73	c s  625.8   175115   15587   4847  3096  34270 1283633 283457   94.0  18  114
641.11/641.17	c s  641.2   175122   15587   4847  3096  34270 1306272 283270   94.1  14  114
644.91/645.00	c +  645.0   175124   15587   4847  3096  34270 1312251 311285   94.1  21  122
658.52/658.57	c
658.52/658.57	c       original/binary      fixed     eliminated      learned       agility
658.52/658.57	c   seconds        variables     equivalent    conflicts       height       MB
658.52/658.57	c
658.52/658.57	c s  658.6   176092   15587   4847  3096  34270 1332981 304286   94.0  10  122
677.02/677.07	c s  677.1   176107   15587   4847  3096  34270 1360116 311753   94.0  11  125
720.12/720.16	c s  720.2   176108   15587   4847  3096  34270 1430388 311392   93.8  11  126
738.32/738.37	c s  738.4   176128   15587   4847  3096  34270 1457751 311548   93.9  13  124
758.72/758.75	c s  758.8   176132   15587   4847  3096  34270 1485842 311503   93.9  10  125
777.82/777.89	c s  777.9   176133   15587   4847  3096  34270 1515939 312013   93.6  22  125
796.72/796.75	c s  796.8   176136   15587   4847  3096  34270 1545912 311841   93.7  12  121
817.72/817.74	c s  817.8   176264   15587   4847  3096  34270 1576190 311772   93.4  19  120
839.23/839.29	c s  839.3   176266   15587   4847  3096  34270 1604805 311543   93.3  14  119
860.13/860.16	c +  860.2   176266   15587   4847  3096  34270 1640311 342413   93.6  10  130
904.03/904.02	c R  904.1   176266   15587   4847  3096  34270 1707233 342895   93.8  19  154
991.44/991.47	c s  991.5   176268   15587   4847  3096  34270 1811060 378912   92.6   9  183
1015.24/1015.27	c s 1015.3   176291   15587   4847  3096  34270 1841734 342724   92.8   8  172
1035.54/1035.54	c s 1035.6   176292   15587   4847  3096  34270 1868490 342923   93.0  12  174
1055.04/1055.09	c s 1055.1   176293   15587   4847  3096  34270 1897895 342825   93.1  24  173
1095.94/1095.90	c s 1096.0   176294   15587   4847  3096  34270 1954020 342827   93.4  22  166
1135.94/1135.98	c s 1136.0   176300   15587   4847  3096  34270 2014864 342803   93.7  13  155
1152.75/1152.76	c s 1152.8   176306   15587   4847  3096  34270 2042178 342714   94.2  19  150
1157.25/1157.21	c B 1157.3   176306   15587   4847  3096  34270 2048490 342869   94.2  13  157
1158.35/1158.35	c
1158.35/1158.35	c       original/binary      fixed     eliminated      learned       agility
1158.35/1158.35	c   seconds        variables     equivalent    conflicts       height       MB
1158.35/1158.35	c
1158.35/1158.35	c + 1158.4   176306   15587   4847  3096  34270 2050385 376654   94.2  13  157
1173.54/1173.55	c s 1173.6   176319   15587   4847  3096  34270 2068405 360544   94.3  12  155
1192.45/1192.42	c s 1192.5   176343   15587   4847  3096  34270 2097011 376898   94.3  12  158
1224.64/1224.66	c s 1224.7   176350   15587   4847  3096  34270 2145706 377082   94.6   9  156
1244.85/1244.80	c s 1244.9   176369   15587   4847  3096  34270 2174743 377086   94.7  14  156
1264.45/1264.41	c s 1264.5   176372   15587   4847  3096  34270 2201559 377299   94.8  22  157
1284.45/1284.45	c s 1284.5   176356   15586   4847  3097  34270 2230546 377446   94.9  22  156
1300.06/1300.00	c
1300.06/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.06/1300.00	c
1300.06/1300.00	c 2254478 conflicts, 4377196 decisions, 138 random
1300.06/1300.00	c 4 iterations, 4475 restarts, 119 skipped
1300.06/1300.00	c 15 enlarged, 2147 shrunken, 22044 rescored, 510 rebiased
1300.06/1300.00	c 79 simplifications, 0 reductions
1300.06/1300.00	c
1300.06/1300.00	c vars: 4847 fixed, 3097 equiv, 34270 elim, 3402 merged
1300.06/1300.00	c elim: 6294052 resolutions, 20 phases, 10 rounds
1300.06/1300.00	c sbst: 86% substituted, 1.7% nots, 77.9% ands, 17.3% xors, 3.1% ites
1300.06/1300.00	c arty: 2.13 and 2.00 xor average arity
1300.06/1300.00	c prbe: 8120479 probed, 1027 phases, 259 rounds
1300.06/1300.00	c prbe: 1406 failed, 305 lifted, 835 merged
1300.06/1300.00	c sccs: 110 non trivial, 0 fixed, 212 merged
1300.06/1300.00	c hash: 155 units, 2355 merged
1300.06/1300.00	c mins: 211287039 learned, 24% deleted, 645 strong, 113 depth
1300.06/1300.00	c subs: 2430 forward, 3441 backward, 8607 doms
1300.06/1300.00	c strs: 2509 forward, 1252 backward
1300.06/1300.00	c doms: 18256 dominators, 4530 high, 0 low
1300.06/1300.00	c prps: 1617960590 propagations, 1.24 megaprops
1300.06/1300.00	c
1300.06/1300.00	c 1300.1 seconds, 200 MB max, 742 MB recycled
1300.06/1300.00	c
1300.06/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.06/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-3308947-1303984718/watcher-3308947-1303984718 -o /tmp/evaluation-result-3308947-1303984718/solver-3308947-1303984718 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308947-1303984718.cnf 

running on 2 cores: 0,2

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: 4.06 3.99 3.24 5/189 17457
/proc/meminfo: memFree=16223588/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=3840 CPUtime=0 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 808 0 0 0 0 0 0 0 24 0 1 0 510068459 3932160 764 33554432000 134512640 135151029 4294044432 18446744073709551615 134534687 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17457/statm: 960 776 60 156 0 803 0

[startup+0.0681981 s]
/proc/loadavg: 4.06 3.99 3.24 5/189 17457
/proc/meminfo: memFree=16223588/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=11840 CPUtime=0.05 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 2970 0 0 0 5 0 0 0 24 0 1 0 510068459 12124160 2828 33554432000 134512640 135151029 4294044432 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 2960 2829 65 156 0 2803 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11840

[startup+0.101193 s]
/proc/loadavg: 4.06 3.99 3.24 5/189 17457
/proc/meminfo: memFree=16223588/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=14744 CPUtime=0.09 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 3702 0 0 0 9 0 0 0 24 0 1 0 510068459 15097856 3560 33554432000 134512640 135151029 4294044432 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 3686 3561 65 156 0 3529 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14744

[startup+0.301151 s]
/proc/loadavg: 4.06 3.99 3.24 5/189 17457
/proc/meminfo: memFree=16223588/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=19224 CPUtime=0.29 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 5426 0 0 0 28 1 0 0 25 0 1 0 510068459 19685376 4671 33554432000 134512640 135151029 4294044432 18446744073709551615 134521744 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 4806 4671 80 156 0 4649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19224

[startup+0.701075 s]
/proc/loadavg: 4.06 3.99 3.24 5/189 17457
/proc/meminfo: memFree=16223588/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=27428 CPUtime=0.69 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 8097 0 0 0 68 1 0 0 25 0 1 0 510068459 28086272 6667 33554432000 134512640 135151029 4294044432 18446744073709551615 134575445 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 6857 6667 80 156 0 6700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27428

[startup+1.50091 s]
/proc/loadavg: 4.06 3.99 3.24 5/190 17458
/proc/meminfo: memFree=16197424/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=25652 CPUtime=1.49 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 8597 0 0 0 147 2 0 0 25 0 1 0 510068459 26267648 6232 33554432000 134512640 135151029 4294044432 18446744073709551615 134554531 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 6413 6232 80 156 0 6256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25652

[startup+3.1006 s]
/proc/loadavg: 4.05 3.99 3.24 5/190 17458
/proc/meminfo: memFree=16198012/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=29280 CPUtime=3.09 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 10720 0 0 0 307 2 0 0 25 0 1 0 510068459 29982720 7101 33554432000 134512640 135151029 4294044432 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 7320 7101 80 156 0 7163 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29280

[startup+6.30095 s]
/proc/loadavg: 4.05 3.99 3.24 5/190 17458
/proc/meminfo: memFree=16190264/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=34516 CPUtime=6.29 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 13432 0 0 0 627 2 0 0 25 0 1 0 510068459 35344384 8431 33554432000 134512640 135151029 4294044432 18446744073709551615 134698015 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 8629 8431 80 156 0 8472 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34516

[startup+12.7007 s]
/proc/loadavg: 4.04 3.99 3.25 5/190 17458
/proc/meminfo: memFree=16176768/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=35328 CPUtime=12.69 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 16258 0 0 0 1266 3 0 0 25 0 1 0 510068459 36175872 8616 33554432000 134512640 135151029 4294044432 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 8832 8616 80 156 0 8675 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35328

[startup+25.5011 s]
/proc/loadavg: 3.96 3.97 3.25 5/190 17486
/proc/meminfo: memFree=18822720/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=42212 CPUtime=25.49 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 23035 0 0 0 2545 4 0 0 25 0 1 0 510068459 43225088 10334 33554432000 134512640 135151029 4294044432 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 10553 10334 80 156 0 10396 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42212

[startup+51.101 s]
/proc/loadavg: 3.97 3.97 3.27 5/190 17487
/proc/meminfo: memFree=18793992/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=55696 CPUtime=51.09 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 31997 0 0 0 5104 5 0 0 25 0 1 0 510068459 57032704 13689 33554432000 134512640 135151029 4294044432 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 13924 13689 80 156 0 13767 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 55696

[startup+102.307 s]
/proc/loadavg: 3.99 3.97 3.31 5/190 17488
/proc/meminfo: memFree=18758880/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=71316 CPUtime=102.3 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 43787 0 0 0 10221 9 0 0 25 0 1 0 510068459 73027584 17616 33554432000 134512640 135151029 4294044432 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 17829 17616 80 156 0 17672 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 71316

[startup+162.301 s]
/proc/loadavg: 4.03 3.99 3.36 5/190 17499
/proc/meminfo: memFree=18724472/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=83740 CPUtime=162.29 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 55320 0 0 0 16218 11 0 0 25 0 1 0 510068459 85749760 20705 33554432000 134512640 135151029 4294044432 18446744073709551615 134580618 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 20935 20705 80 156 0 20778 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 83740

[startup+222.301 s]
/proc/loadavg: 4.01 3.99 3.39 5/190 17501
/proc/meminfo: memFree=18692976/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=91624 CPUtime=222.3 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 60505 0 0 0 22218 12 0 0 25 0 1 0 510068459 93822976 22698 33554432000 134512640 135151029 4294044432 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 22906 22698 80 156 0 22749 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 91624

[startup+282.301 s]
/proc/loadavg: 4.04 4.00 3.43 5/190 17502
/proc/meminfo: memFree=18664196/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=108600 CPUtime=282.3 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 67847 0 0 0 28216 14 0 0 25 0 1 0 510068459 111206400 26864 33554432000 134512640 135151029 4294044432 18446744073709551615 134578440 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 27150 26864 80 156 0 26993 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 108600

[startup+342.301 s]
/proc/loadavg: 4.01 4.00 3.47 5/190 17504
/proc/meminfo: memFree=18602052/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=115440 CPUtime=342.31 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 74299 0 0 0 34215 16 0 0 25 0 1 0 510068459 118210560 28648 33554432000 134512640 135151029 4294044432 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 28860 28648 80 156 0 28703 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 115440

[startup+402.301 s]
/proc/loadavg: 4.04 4.01 3.50 5/190 17508
/proc/meminfo: memFree=18579740/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=124540 CPUtime=402.31 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 79212 0 0 0 40213 18 0 0 25 0 1 0 510068459 127528960 30918 33554432000 134512640 135151029 4294044432 18446744073709551615 134522046 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 31135 30918 80 156 0 30978 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 124540

[startup+462.301 s]
/proc/loadavg: 4.01 4.01 3.53 5/190 17510
/proc/meminfo: memFree=18578240/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=127388 CPUtime=462.31 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 82039 0 0 0 46212 19 0 0 25 0 1 0 510068459 130445312 31646 33554432000 134512640 135151029 4294044432 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 31847 31646 80 156 0 31690 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 127388

[startup+522.301 s]
/proc/loadavg: 4.05 4.02 3.56 5/190 17512
/proc/meminfo: memFree=18563356/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=139900 CPUtime=522.31 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 87312 0 0 0 52211 20 0 0 25 0 1 0 510068459 143257600 34729 33554432000 134512640 135151029 4294044432 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 34975 34729 80 156 0 34818 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 139900

[startup+582.301 s]
/proc/loadavg: 4.01 4.01 3.58 5/190 17513
/proc/meminfo: memFree=18562332/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=139900 CPUtime=582.32 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 89772 0 0 0 58211 21 0 0 25 0 1 0 510068459 143257600 34741 33554432000 134512640 135151029 4294044432 18446744073709551615 134554859 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 34975 34741 80 156 0 34818 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 139900

[startup+642.301 s]
/proc/loadavg: 4.06 4.02 3.61 5/190 17515
/proc/meminfo: memFree=18561696/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=139900 CPUtime=642.32 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 92222 0 0 0 64211 21 0 0 25 0 1 0 510068459 143257600 34743 33554432000 134512640 135151029 4294044432 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 34975 34743 80 156 0 34818 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 139900

[startup+702.301 s]
/proc/loadavg: 4.02 4.02 3.64 5/190 17516
/proc/meminfo: memFree=18537996/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=150316 CPUtime=702.32 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 95802 0 0 0 70209 23 0 0 25 0 1 0 510068459 153923584 37228 33554432000 134512640 135151029 4294044432 18446744073709551615 134580721 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 37579 37228 80 156 0 37422 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 150316

[startup+762.307 s]
/proc/loadavg: 4.07 4.03 3.66 5/190 17518
/proc/meminfo: memFree=18521604/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=151752 CPUtime=762.33 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 97123 0 0 0 76210 23 0 0 25 0 1 0 510068459 155394048 37693 33554432000 134512640 135151029 4294044432 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 37938 37693 80 156 0 37781 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 151752

[startup+822.3 s]
/proc/loadavg: 4.02 4.02 3.68 5/190 17520
/proc/meminfo: memFree=18516760/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=151752 CPUtime=822.32 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 97907 0 0 0 82209 23 0 0 25 0 1 0 510068459 155394048 37706 33554432000 134512640 135151029 4294044432 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 37938 37706 80 156 0 37781 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 151752

[startup+882.3 s]
/proc/loadavg: 4.01 4.02 3.70 5/190 17521
/proc/meminfo: memFree=18506080/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=158584 CPUtime=882.33 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 99845 0 0 0 88209 24 0 0 25 0 1 0 510068459 162390016 39387 33554432000 134512640 135151029 4294044432 18446744073709551615 134552050 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 39646 39387 80 156 0 39489 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 158584

[startup+942.3 s]
/proc/loadavg: 3.72 3.94 3.69 4/184 17540
/proc/meminfo: memFree=18608764/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=177916 CPUtime=942.33 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 104542 0 0 0 94206 27 0 0 25 0 1 0 510068459 182185984 44084 33554432000 134512640 135151029 4294044432 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 44479 44084 80 156 0 44322 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 177916

[startup+1002.3 s]
/proc/loadavg: 3.32 3.79 3.65 4/184 17541
/proc/meminfo: memFree=18570372/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=211744 CPUtime=1002.34 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 113910 0 0 0 100203 31 0 0 25 0 1 0 510068459 216825856 52620 33554432000 134512640 135151029 4294044432 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 52936 52620 80 156 0 52779 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 211744

[startup+1062.3 s]
/proc/loadavg: 3.12 3.64 3.61 4/184 17543
/proc/meminfo: memFree=18563416/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=211904 CPUtime=1062.34 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 115837 0 0 0 106202 32 0 0 25 0 1 0 510068459 216989696 52711 33554432000 134512640 135151029 4294044432 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 52976 52711 80 156 0 52819 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 211904

[startup+1122.3 s]
/proc/loadavg: 3.04 3.52 3.57 4/184 17545
/proc/meminfo: memFree=18554476/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=211904 CPUtime=1122.34 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 116461 0 0 0 112202 32 0 0 25 0 1 0 510068459 216989696 52723 33554432000 134512640 135151029 4294044432 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 52976 52723 80 156 0 52819 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 211904

[startup+1182.3 s]
/proc/loadavg: 2.89 3.40 3.52 3/178 17564
/proc/meminfo: memFree=18768028/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=211904 CPUtime=1182.34 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 117920 0 0 0 118202 32 0 0 25 0 1 0 510068459 216989696 52733 33554432000 134512640 135151029 4294044432 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 52976 52733 80 156 0 52819 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 211904

[startup+1242.3 s]
/proc/loadavg: 2.33 3.15 3.42 3/178 17566
/proc/meminfo: memFree=18767292/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=211904 CPUtime=1242.34 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 118886 0 0 0 124202 32 0 0 25 0 1 0 510068459 216989696 52733 33554432000 134512640 135151029 4294044432 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 52976 52733 80 156 0 52819 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 211904



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.17 2.97 3.34 3/178 17567
/proc/meminfo: memFree=18767404/32950928 swapFree=67111528/67111528
[pid=17457] ppid=17455 vsize=211904 CPUtime=1300.06 cores=0,2
/proc/17457/stat : 17457 (precosat) R 17455 17457 16948 0 -1 4202496 121044 0 0 0 129973 33 0 0 25 0 1 0 510068459 216989696 52733 33554432000 134512640 135151029 4294044432 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/17457/statm: 52976 52733 80 156 0 52819 0
Current children cumulated CPU time (s) 1300.06
Current children cumulated vsize (KiB) 211904

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.08
CPU user time (s): 1299.73
CPU system time (s): 0.343947
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 213124

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

runsolver used 2.24266 second user time and 4.79927 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-28 11:58:38
IDJOB=3308947
IDBENCH=83137
IDSOLVER=1690
FILE ID=node149/3308947-1303984718
RUNJOBID= node149-1303983193-16966
PBS_JOBID= 13168677
Free space on /tmp= 71876 MiB

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

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

MD5SUM BENCH= e560aa6505ddce6d3784f70d5b7aff66
RANDOM SEED=150302661

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      16223992 kB
Buffers:       2197364 kB
Cached:       11157044 kB
SwapCached:          0 kB
Active:        7224828 kB
Inactive:      8956368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16223992 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4100 kB
Writeback:           0 kB
AnonPages:     2826644 kB
Mapped:          16144 kB
Slab:           475312 kB
PageTables:      10700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3036744 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= 71928 MiB
End job on node149 at 2011-04-28 12:20:20