Trace number 3308446

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.03 1300.01

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
MD5SUM4f9c883534eb89cad9b9cad9e6eccbd0
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 variables75103
Number of clauses225116
Sum of the clauses size525268
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2150076
Number of clauses of size 375038
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-3308446-1303983221.cnf
0.00/0.00	c found header 'p cnf 75103 225116'
0.09/0.16	c finished parsing
0.09/0.16	c
0.09/0.16	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.16	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.16	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.16	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.16	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.16	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.16	c
0.09/0.16	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.09/0.16	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.09/0.16	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.09/0.16	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.09/0.16	c
0.09/0.16	c starting search after 0.2 seconds
0.09/0.16	c no decision limit
0.09/0.16	c
0.09/0.16	c       original/binary      fixed     eliminated      learned       agility
0.09/0.16	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.16	c
0.09/0.16	c *    0.2   225114   75101      2     0      0       0      0    0.0   0   20
1.79/1.88	c s    1.9   154589   13161  12547  7826  41569       0      0    0.0   0   18
1.79/1.88	c l    1.9   154589   13161  12547  7826  41569       0  84897    0.0   0   18
2.09/2.11	c R    2.1   154692   13161  12547  7826  41569     101    101   73.8   9   19
2.09/2.13	c R    2.1   154703   13161  12547  7826  41569     201    201  158.4   9   19
2.39/2.42	c B    2.4   166557   13039  12616  7879  41569    1000    998  173.8  13   20
2.59/2.66	c N    2.7   166681   13039  12616  7879  41569    1518   1511  175.2  32   20
2.89/2.91	c B    2.9   183223   12756  12895  7883  41569    2000   1992  183.2  16   21
4.40/4.46	c s    4.5   184944   11325  14106  7937  41735    5870   3750  153.3  26   21
4.40/4.46	c -    4.5   184944   11325  14106  7937  41735    5870  77257  153.3  26   21
5.19/5.29	c R    5.3   188395   11325  14106  7937  41735    6638   4518  143.7  22   22
5.89/5.92	c B    5.9   189239   11321  14110  7937  41735    8000   5866  138.1  25   22
6.89/6.99	c N    7.0   192347   11270  14161  7937  41735   14309  12166  133.7  27   24
7.79/7.87	c s    7.9   189841   11270  14161  7937  41735   14773  12588  132.9   4   23
11.49/11.55	c s   11.6   199072   11213  14187  7939  41764   22558  15567  127.7   6   23
11.69/11.72	c R   11.7   199095   11213  14187  7939  41764   23930  16939  125.8  10   24
11.69/11.74	c B   11.7   199099   11213  14187  7939  41764   24005  17014  125.6  19   24
15.59/15.65	c s   15.7   202460   11211  14189  7939  41764   30579  23583  116.9  15   25
19.99/20.06	c s   20.1   202097   11192  14199  7939  41773   38138  28920  113.9  20   26
24.89/25.00	c
24.89/25.00	c       original/binary      fixed     eliminated      learned       agility
24.89/25.00	c   seconds        variables     equivalent    conflicts       height       MB
24.89/25.00	c
24.89/25.00	c s   25.0   203717   11188  14203  7939  41773   51413  42181  108.9  14   28
30.09/30.15	c s   30.2   203114   11176  14203  7941  41783   62132  50931  106.2   6   30
30.99/31.04	c B   31.0   204738   11176  14203  7941  41783   64013  52812  107.0  22   33
34.89/34.95	c R   35.0   205408   11176  14203  7941  41783   70549  59348  105.6  11   35
35.69/35.79	c s   35.8   205403   11176  14203  7941  41783   70760  59555  105.5   8   33
36.69/36.70	c +   36.7   205581   11176  14203  7941  41783   77257  84982  104.3  23   36
41.39/41.46	c s   41.5   205938   11176  14203  7941  41783   84367  73157  102.5   4   36
48.09/48.18	c s   48.2   188767   10849  14206  7952  42096   95156  65943  100.5  10   32
48.89/48.96	c +   49.0   188959   10849  14206  7952  42096   96571  93480  100.2  33   34
53.79/53.85	c s   53.9   190662   10849  14206  7952  42096  107530  78310   98.5   8   35
59.58/59.65	c +   59.7   191742   10849  14206  7952  42096  120710 102828   98.4  16   41
59.88/59.94	c s   59.9   191735   10849  14206  7952  42096  120980  91753   98.4   9   38
66.99/67.08	c s   67.1   191886   10843  14208  7953  42099  132967 102558   97.5  13   40
73.99/74.09	c s   74.1   193050   10843  14208  7953  42099  145141 103377   97.1  13   42
77.19/77.28	c +   77.3   193282   10842  14208  7954  42099  150886 113110   96.3  24   46
81.49/81.55	c s   81.6   193837   10842  14208  7954  42099  159408 111502   97.4   5   44
81.79/81.84	c B   81.8   193948   10842  14208  7954  42099  160036 112130   97.3  27   46
89.79/89.89	c s   89.9   224143   10836  14210  7958  42099  173536 113082   95.3  15   46
96.49/96.52	c +   96.5   225152   10836  14210  7958  42099  188607 124421   94.9  25   52
99.09/99.11	c
99.09/99.11	c       original/binary      fixed     eliminated      learned       agility
99.09/99.11	c   seconds        variables     equivalent    conflicts       height       MB
99.09/99.11	c
99.09/99.11	c s   99.1   225806   10836  14210  7958  42099  193543 118272   95.1   1   48
108.99/109.09	c s  109.1   189105   10636  14212  7965  42290  209986 104804   93.1   8   38
116.29/116.33	c s  116.3   193277   10636  14212  7965  42290  222462 117269   92.4  19   42
122.49/122.58	c +  122.6   194612   10636  14212  7965  42290  235756 136863   92.9  24   48
124.39/124.40	c s  124.4   194846   10636  14212  7965  42290  240050 129700   92.4  12   45
133.69/133.70	c s  133.7   193666   10567  14213  7968  42355  255946 130923   91.9   8   44
142.09/142.17	c s  142.2   194608   10567  14213  7968  42355  264985 137354   92.0  16   46
150.39/150.48	c s  150.5   197894   10567  14213  7968  42355  275541 136997   91.3  12   47
160.19/160.29	c s  160.3   199485   10497  14214  7971  42421  290535 127711   90.2  13   43
161.69/161.75	c +  161.8   200739   10497  14214  7971  42421  294696 150549   90.1   7   47
169.29/169.32	c s  169.3   204900   10497  14214  7971  42421  303652 140810   90.1  20   47
179.39/179.47	c s  179.5   206157   10427  14215  7974  42487  315916 142578   89.7  10   46
189.39/189.40	c s  189.4   210372   10422  14216  7978  42487  332164 150305   89.3   4   49
199.39/199.49	c s  199.5   211778   10422  14216  7978  42487  349609 151106   89.3  12   50
209.59/209.67	c s  209.7   212087   10422  14216  7978  42487  365790 150731   89.1  10   52
210.49/210.58	c +  210.6   212087   10422  14216  7978  42487  368370 165603   89.1  21   54
219.09/219.19	c s  219.2   212742   10422  14216  7978  42487  381250 165121   88.5   4   56
221.10/221.15	c B  221.2   212943   10422  14216  7978  42487  384085 166218   88.6  17   60
226.79/226.87	c R  226.9   213287   10422  14216  7978  42487  394090 166597   89.2  19   62
229.29/229.32	c
229.29/229.32	c       original/binary      fixed     eliminated      learned       agility
229.29/229.32	c   seconds        variables     equivalent    conflicts       height       MB
229.29/229.32	c
229.29/229.32	c s  229.3   213326   10422  14216  7978  42487  399152 166094   89.3  11   57
240.99/241.02	c s  241.0   214037   10422  14216  7978  42487  420027 166317   89.3   7   58
251.59/251.66	c s  251.7   214756   10422  14216  7978  42487  433810 166734   89.4  27   61
262.29/262.39	c s  262.4   215712   10422  14216  7978  42487  451710 165987   89.0   3   60
267.89/267.99	c +  268.0   215956   10422  14216  7978  42487  460462 182163   89.2  31   66
274.39/274.49	c s  274.5   208165   10287  14217  7981  42618  468471 149678   88.8   1   47
284.80/284.85	c s  284.9   209840   10287  14217  7981  42618  485356 166559   88.5  26   52
296.39/296.46	c s  296.5   212518   10287  14217  7981  42618  505086 182289   88.3   5   56
309.59/309.66	c s  309.7   212399   10217  14218  7984  42684  526382 169053   87.9   8   51
320.89/320.99	c s  321.0   215391   10217  14218  7984  42684  538249 180917   87.6  11   54
331.99/332.03	c s  332.0   215545   10217  14218  7984  42684  548701 182674   87.2  13   56
344.39/344.48	c s  344.5   216671   10217  14218  7984  42684  569336 182214   86.6   3   57
349.39/349.41	c +  349.4   235773   10213  14219  7987  42684  575577 200379   86.4  21   64
358.79/358.89	c s  358.9   213396   10144  14219  7987  42753  589461 181278   86.3  20   53
370.89/370.93	c s  370.9   214283   10143  14220  7987  42753  606318 198131   86.3   6   58
383.29/383.39	c s  383.4   214884   10143  14220  7987  42753  621784 201248   86.1   8   60
396.19/396.25	c s  396.3   215713   10143  14220  7987  42753  637242 201096   85.6   9   62
410.69/410.73	c s  410.7   217795   10143  14220  7987  42753  657520 200644   85.5  10   63
417.69/417.73	c N  417.7   217818   10143  14220  7987  42753  671410 201600   85.3  31   69
424.89/424.95	c
424.89/424.95	c       original/binary      fixed     eliminated      learned       agility
424.89/424.95	c   seconds        variables     equivalent    conflicts       height       MB
424.89/424.95	c
424.89/424.95	c s  425.0   217825   10143  14220  7987  42753  677229 200506   85.0   6   63
441.89/441.98	c s  442.0   215137   10073  14221  7990  42819  702313 181711   84.9  27   52
454.79/454.84	c s  454.8   216152   10073  14221  7990  42819  718598 197995   84.8  14   57
455.59/455.65	c +  455.7   216339   10073  14221  7990  42819  719470 220416   84.8  11   60
471.19/471.25	c s  471.3   214916    9999  14223  7993  42888  744748 209018   84.4   1   57
485.40/485.41	c s  485.4   215739    9998  14224  7993  42888  759521 220495   84.2   4   61
499.70/499.71	c s  499.7   217352    9998  14224  7993  42888  775481 220973   84.0   4   63
515.70/515.75	c s  515.8   218873    9998  14224  7993  42888  800367 220854   83.7  14   66
531.00/531.07	c s  531.1   219789    9998  14224  7993  42888  825556 221229   83.6  11   67
546.60/546.63	c s  546.6   221029    9998  14224  7993  42888  848055 220734   83.5  15   70
562.01/562.08	c s  562.1   221572    9998  14224  7993  42888  868171 221460   83.6  15   72
578.40/578.47	c s  578.5   222593    9998  14224  7993  42888  890672 221193   83.8  29   73
583.20/583.27	c B  583.3   222605    9998  14224  7993  42888  896184 221220   83.7  22   79
585.10/585.10	c +  585.1   222615    9998  14224  7993  42888  899335 242457   83.7  11   80
593.79/593.82	c s  593.8   223612    9998  14224  7993  42888  910391 231902   83.7  12   76
610.51/610.57	c s  610.6   223901    9998  14224  7993  42888  930208 243498   83.9  29   80
626.90/626.96	c s  627.0   224012    9998  14224  7993  42888  954417 243527   84.1  18   83
644.69/644.74	c s  644.7   225798    9998  14224  7993  42888  982772 243043   83.9  13   82
662.11/662.17	c s  662.2   226286    9998  14224  7993  42888 1001315 242711   83.7  30   84
678.30/678.34	c
678.30/678.34	c       original/binary      fixed     eliminated      learned       agility
678.30/678.34	c   seconds        variables     equivalent    conflicts       height       MB
678.30/678.34	c
678.30/678.34	c s  678.4   227324    9998  14224  7993  42888 1019837 242966   83.5  16   85
696.59/696.62	c s  696.6   228470    9998  14224  7993  42888 1037840 242796   83.4  18   86
714.91/714.92	c s  714.9   228774    9998  14224  7993  42888 1056017 243653   83.2  17   87
733.71/733.74	c s  733.8   229185    9998  14224  7993  42888 1077179 242814   83.1  41   86
753.20/753.28	c s  753.3   230678    9998  14224  7993  42888 1103709 243497   83.2  13   85
772.50/772.55	c s  772.6   227299    9921  14225  7997  42960 1121808 206560   82.8  14   62
774.50/774.50	c +  774.5   227313    9921  14225  7997  42960 1124168 266702   82.8  26   67
789.20/789.26	c s  789.3   227727    9921  14225  7997  42960 1143816 228567   82.8  28   68
806.70/806.71	c s  806.7   227914    9921  14225  7997  42960 1167341 252088   82.8  10   75
827.80/827.81	c s  827.8   228834    9921  14225  7997  42960 1202880 267216   82.7  21   79
828.60/828.64	c R  828.7   228993    9921  14225  7997  42960 1203545 267507   82.7  16   82
849.89/849.99	c s  850.0   229445    9921  14225  7997  42960 1231377 267548   82.7  19   81
870.10/870.18	c s  870.2   228106    9848  14226  8000  43029 1252628 246030   82.7   3   70
888.00/888.08	c s  888.1   228387    9848  14226  8000  43029 1271721 265122   82.5   8   76
909.10/909.17	c s  909.2   229330    9848  14226  8000  43029 1300225 267725   82.3  16   78
930.70/930.71	c s  930.7   230236    9848  14226  8000  43029 1327122 267334   82.1  25   79
951.60/951.62	c s  951.6   226476    9775  14227  8004  43097 1348278 245502   82.0   4   68
969.80/969.85	c s  969.9   227400    9775  14227  8004  43097 1369159 266378   82.0   8   74
989.10/989.17	c s  989.2   227644    9775  14227  8004  43097 1391104 267480   82.1  12   76
1002.20/1002.20	c
1002.20/1002.20	c       original/binary      fixed     eliminated      learned       agility
1002.20/1002.20	c   seconds        variables     equivalent    conflicts       height       MB
1002.20/1002.20	c
1002.20/1002.20	c + 1002.2   227704    9775  14227  8004  43097 1405211 293372   82.0  21   87
1010.11/1010.16	c s 1010.2   228008    9775  14227  8004  43097 1414841 277750   82.1  18   81
1032.30/1032.32	c s 1032.3   228232    9775  14227  8004  43097 1443166 294158   82.2  22   88
1054.00/1054.02	c s 1054.0   228558    9775  14227  8004  43097 1466416 293511   82.0  26   88
1080.40/1080.40	c s 1080.4   228687    9775  14227  8004  43097 1498735 294341   82.1  27   90
1104.50/1104.50	c s 1104.5   229308    9775  14227  8004  43097 1524776 293575   81.8   8   91
1126.51/1126.51	c s 1126.5   229940    9775  14227  8004  43097 1547199 294035   81.7  12   92
1150.31/1150.37	c s 1150.4   230314    9775  14227  8004  43097 1572718 294004   81.7  11   90
1173.10/1173.14	c s 1173.2   228073    9698  14228  8007  43170 1594447 261885   81.5  12   71
1191.51/1191.51	c s 1191.5   228599    9698  14228  8007  43170 1611854 279290   81.4   9   78
1210.01/1210.09	c s 1210.1   228859    9698  14228  8007  43170 1632069 294621   81.5  11   85
1232.51/1232.55	c s 1232.6   229519    9698  14228  8007  43170 1656728 294509   81.5   5   87
1256.80/1256.86	c s 1256.9   229941    9698  14228  8007  43170 1688508 293942   81.3  19   90
1281.30/1281.38	c s 1281.4   230254    9698  14228  8007  43170 1713175 293500   81.2   4   94
1300.01/1300.00	c
1300.01/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.01/1300.00	c
1300.01/1300.00	c 1729590 conflicts, 3093044 decisions, 389 random
1300.01/1300.00	c 16 iterations, 2995 restarts, 1169 skipped
1300.01/1300.00	c 14 enlarged, 3143 shrunken, 16901 rescored, 475 rebiased
1300.01/1300.00	c 93 simplifications, 0 reductions
1300.01/1300.00	c
1300.01/1300.00	c vars: 14229 fixed, 8010 equiv, 43170 elim, 8091 merged
1300.01/1300.00	c elim: 10720985 resolutions, 41 phases, 21 rounds
1300.01/1300.00	c sbst: 84% substituted, 2.1% nots, 92.3% ands, 5.3% xors, 0.3% ites
1300.01/1300.00	c arty: 2.11 and 2.00 xor average arity
1300.01/1300.00	c prbe: 1825423 probed, 1247 phases, 88 rounds
1300.01/1300.00	c prbe: 247 failed, 12754 lifted, 4034 merged
1300.01/1300.00	c sccs: 97 non trivial, 0 fixed, 1841 merged
1300.01/1300.00	c hash: 39 units, 2216 merged
1300.01/1300.00	c mins: 115147627 learned, 54% deleted, 287 strong, 334 depth
1300.01/1300.00	c subs: 5016 forward, 435157 backward, 551354 doms
1300.01/1300.00	c strs: 3409 forward, 1058 backward
1300.01/1300.00	c doms: 584667 dominators, 547357 high, 145 low
1300.01/1300.00	c prps: 1490862740 propagations, 1.15 megaprops
1300.01/1300.00	c
1300.01/1300.00	c 1300.0 seconds, 109 MB max, 454 MB recycled
1300.01/1300.00	c
1300.01/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.01/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-3308446-1303983221/watcher-3308446-1303983221 -o /tmp/evaluation-result-3308446-1303983221/solver-3308446-1303983221 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308446-1303983221.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: 0.00 0.00 0.00 3/184 10925
/proc/meminfo: memFree=18534496/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=6824 CPUtime=0 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 1469 0 0 0 0 0 0 0 21 0 1 0 588552834 6987776 1426 33554432000 134512640 135151029 4293227184 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10925/statm: 1706 1440 60 156 0 1549 0

[startup+0.033179 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 10925
/proc/meminfo: memFree=18534496/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=10444 CPUtime=0.02 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 2491 0 0 0 2 0 0 0 21 0 1 0 588552834 10694656 2415 33554432000 134512640 135151029 4293227184 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 2611 2416 64 156 0 2454 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10444

[startup+0.10017 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 10925
/proc/meminfo: memFree=18534496/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=17680 CPUtime=0.09 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 4510 0 0 0 9 0 0 0 21 0 1 0 588552834 18104320 4240 33554432000 134512640 135151029 4293227184 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 4420 4241 64 156 0 4263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17680

[startup+0.301138 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 10925
/proc/meminfo: memFree=18534496/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=30392 CPUtime=0.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 7801 0 0 0 28 1 0 0 22 0 1 0 588552834 31121408 7273 33554432000 134512640 135151029 4293227184 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 7598 7273 80 156 0 7441 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30392

[startup+0.701064 s]
/proc/loadavg: 0.00 0.00 0.00 3/184 10925
/proc/meminfo: memFree=18534496/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=35248 CPUtime=0.69 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 10748 0 0 0 68 1 0 0 24 0 1 0 588552834 36093952 8388 33554432000 134512640 135151029 4293227184 18446744073709551615 134521507 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 8812 8388 80 156 0 8655 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35248

[startup+1.50093 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 10936
/proc/meminfo: memFree=18432364/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=40988 CPUtime=1.49 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 13282 0 0 0 148 1 0 0 25 0 1 0 588552834 41971712 9894 33554432000 134512640 135151029 4293227184 18446744073709551615 134516439 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 10247 9894 80 156 0 10090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40988

[startup+3.10066 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 10936
/proc/meminfo: memFree=18410024/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=36948 CPUtime=3.09 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 13450 0 0 0 308 1 0 0 25 0 1 0 588552834 37834752 8923 33554432000 134512640 135151029 4293227184 18446744073709551615 134552296 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 9237 8923 80 156 0 9080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36948

[startup+6.30113 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 10936
/proc/meminfo: memFree=18340840/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=37460 CPUtime=6.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 15659 0 0 0 627 2 0 0 25 0 1 0 588552834 38359040 9055 33554432000 134512640 135151029 4293227184 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 9365 9055 80 156 0 9208 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37460

[startup+12.7011 s]
/proc/loadavg: 0.61 0.13 0.04 5/190 10936
/proc/meminfo: memFree=18319524/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=37460 CPUtime=12.69 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 19555 0 0 0 1267 2 0 0 25 0 1 0 588552834 38359040 9055 33554432000 134512640 135151029 4293227184 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 9365 9055 80 156 0 9208 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37460

[startup+25.5009 s]
/proc/loadavg: 1.36 0.32 0.11 5/190 10936
/proc/meminfo: memFree=18300284/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=37604 CPUtime=25.49 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 25502 0 0 0 2546 3 0 0 25 0 1 0 588552834 38506496 9092 33554432000 134512640 135151029 4293227184 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 9401 9092 80 156 0 9244 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37604

[startup+51.1006 s]
/proc/loadavg: 2.26 0.62 0.21 5/190 10938
/proc/meminfo: memFree=18271080/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=52124 CPUtime=51.09 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 35579 0 0 0 5103 6 0 0 25 0 1 0 588552834 53374976 12443 33554432000 134512640 135151029 4293227184 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 13031 12443 80 156 0 12874 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52124

[startup+102.307 s]
/proc/loadavg: 3.30 1.18 0.42 5/190 10938
/proc/meminfo: memFree=18224148/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=59136 CPUtime=102.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 48505 0 0 0 10221 8 0 0 25 0 1 0 588552834 60555264 14203 33554432000 134512640 135151029 4293227184 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 14784 14203 80 156 0 14627 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 59136

[startup+162.301 s]
/proc/loadavg: 3.72 1.65 0.63 5/190 10940
/proc/meminfo: memFree=18173916/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=63400 CPUtime=162.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 58653 0 0 0 16220 9 0 0 25 0 1 0 588552834 64921600 15258 33554432000 134512640 135151029 4293227184 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 15850 15258 80 156 0 15693 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 63400

[startup+222.301 s]
/proc/loadavg: 3.95 2.09 0.84 5/190 10942
/proc/meminfo: memFree=18132596/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=67728 CPUtime=222.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 67233 0 0 0 22218 11 0 0 25 0 1 0 588552834 69353472 16359 33554432000 134512640 135151029 4293227184 18446744073709551615 134551358 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 16932 16359 80 156 0 16775 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 67728

[startup+282.301 s]
/proc/loadavg: 3.98 2.44 1.03 5/190 10944
/proc/meminfo: memFree=18111876/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=76216 CPUtime=282.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 73508 0 0 0 28217 12 0 0 25 0 1 0 588552834 78045184 18482 33554432000 134512640 135151029 4293227184 18446744073709551615 134551328 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 19054 18482 80 156 0 18897 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 76216

[startup+342.301 s]
/proc/loadavg: 3.99 2.72 1.22 5/190 10949
/proc/meminfo: memFree=18077376/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=76216 CPUtime=342.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 79561 0 0 0 34216 13 0 0 25 0 1 0 588552834 78045184 18510 33554432000 134512640 135151029 4293227184 18446744073709551615 134554859 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 19054 18510 80 156 0 18897 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 76216

[startup+402.301 s]
/proc/loadavg: 4.06 2.97 1.39 5/190 10949
/proc/meminfo: memFree=18049192/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=77072 CPUtime=402.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 85565 0 0 0 40215 14 0 0 25 0 1 0 588552834 78921728 18707 33554432000 134512640 135151029 4293227184 18446744073709551615 134551361 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 19268 18707 80 156 0 19111 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 77072

[startup+462.301 s]
/proc/loadavg: 4.02 3.15 1.55 5/190 10951
/proc/meminfo: memFree=18022388/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=79328 CPUtime=462.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 90864 0 0 0 46214 15 0 0 25 0 1 0 588552834 81231872 19266 33554432000 134512640 135151029 4293227184 18446744073709551615 134580724 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 19832 19266 80 156 0 19675 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 79328

[startup+522.301 s]
/proc/loadavg: 4.01 3.30 1.70 5/190 10953
/proc/meminfo: memFree=17990996/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=81656 CPUtime=522.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 97222 0 0 0 52214 16 0 0 25 0 1 0 588552834 83615744 19859 33554432000 134512640 135151029 4293227184 18446744073709551615 134554922 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 20414 19859 80 156 0 20257 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 81656

[startup+582.301 s]
/proc/loadavg: 4.00 3.43 1.84 5/190 10955
/proc/meminfo: memFree=17979080/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=88404 CPUtime=582.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 103831 0 0 0 58212 18 0 0 25 0 1 0 588552834 90525696 21556 33554432000 134512640 135151029 4293227184 18446744073709551615 134574646 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 22101 21556 80 156 0 21944 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 88404

[startup+642.301 s]
/proc/loadavg: 4.00 3.54 1.99 5/190 10957
/proc/meminfo: memFree=17963936/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=101072 CPUtime=642.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 110458 0 0 0 64210 20 0 0 25 0 1 0 588552834 103497728 24604 33554432000 134512640 135151029 4293227184 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 25268 24604 80 156 0 25111 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 101072

[startup+702.301 s]
/proc/loadavg: 4.00 3.61 2.10 5/190 10957
/proc/meminfo: memFree=17934028/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=103624 CPUtime=702.29 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 115816 0 0 0 70208 21 0 0 25 0 1 0 588552834 106110976 25340 33554432000 134512640 135151029 4293227184 18446744073709551615 134552306 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 25906 25340 80 156 0 25749 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 103624

[startup+762.307 s]
/proc/loadavg: 4.00 3.68 2.23 5/190 10959
/proc/meminfo: memFree=17896932/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=104796 CPUtime=762.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 119250 0 0 0 76208 22 0 0 25 0 1 0 588552834 107311104 25582 33554432000 134512640 135151029 4293227184 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 26199 25582 80 156 0 26042 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 104796

[startup+822.301 s]
/proc/loadavg: 4.07 3.75 2.33 5/190 10961
/proc/meminfo: memFree=17887476/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=104796 CPUtime=822.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 126426 0 0 0 82207 23 0 0 25 0 1 0 588552834 107311104 25617 33554432000 134512640 135151029 4293227184 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 26199 25617 80 156 0 26042 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 104796

[startup+882.3 s]
/proc/loadavg: 4.06 3.81 2.45 5/190 10963
/proc/meminfo: memFree=17874320/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=104436 CPUtime=882.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 132069 0 0 0 88206 24 0 0 25 0 1 0 588552834 106942464 25585 33554432000 134512640 135151029 4293227184 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 26109 25585 80 156 0 25952 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 104436

[startup+942.3 s]
/proc/loadavg: 4.06 3.86 2.54 5/190 10965
/proc/meminfo: memFree=17861284/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=104436 CPUtime=942.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 137718 0 0 0 94205 25 0 0 25 0 1 0 588552834 106942464 25585 33554432000 134512640 135151029 4293227184 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 26109 25585 80 156 0 25952 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 104436

[startup+1002.3 s]
/proc/loadavg: 4.02 3.88 2.63 5/190 10965
/proc/meminfo: memFree=17853332/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=104436 CPUtime=1002.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 145017 0 0 0 100204 26 0 0 25 0 1 0 588552834 106942464 25585 33554432000 134512640 135151029 4293227184 18446744073709551615 134554954 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 26109 25585 80 156 0 25952 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 104436

[startup+1062.3 s]
/proc/loadavg: 4.00 3.90 2.71 5/190 10967
/proc/meminfo: memFree=17838568/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=106828 CPUtime=1062.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 149208 0 0 0 106203 27 0 0 25 0 1 0 588552834 109391872 26169 33554432000 134512640 135151029 4293227184 18446744073709551615 134554586 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 26707 26169 80 156 0 26550 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 106828

[startup+1122.3 s]
/proc/loadavg: 4.00 3.91 2.79 5/190 10969
/proc/meminfo: memFree=17825172/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=112796 CPUtime=1122.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 152934 0 0 0 112202 28 0 0 25 0 1 0 588552834 115503104 27622 33554432000 134512640 135151029 4293227184 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 28199 27622 80 156 0 28042 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 112796

[startup+1182.3 s]
/proc/loadavg: 4.00 3.93 2.86 5/190 10971
/proc/meminfo: memFree=17807676/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=112668 CPUtime=1182.3 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 157838 0 0 0 118201 29 0 0 25 0 1 0 588552834 115372032 27637 33554432000 134512640 135151029 4293227184 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 28167 27637 80 156 0 28010 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 112668

[startup+1242.3 s]
/proc/loadavg: 4.00 3.94 2.93 5/190 10973
/proc/meminfo: memFree=17798728/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=112668 CPUtime=1242.31 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 162394 0 0 0 124201 30 0 0 25 0 1 0 588552834 115372032 27643 33554432000 134512640 135151029 4293227184 18446744073709551615 134542823 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 28167 27643 80 156 0 28010 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 112668



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.95 2.99 3/186 10975
/proc/meminfo: memFree=18260032/32951124 swapFree=67110396/67111528
[pid=10925] ppid=10923 vsize=118396 CPUtime=1300.01 cores=5,7
/proc/10925/stat : 10925 (precosat) R 10923 10925 10875 0 -1 4202496 165903 0 0 0 129970 31 0 0 25 0 1 0 588552834 121237504 28895 33554432000 134512640 135151029 4293227184 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/10925/statm: 29599 28895 80 156 0 29442 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 118396

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.01
CPU time (s): 1300.03
CPU user time (s): 1299.71
CPU system time (s): 0.317951
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 118396

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

runsolver used 2.00669 second user time and 5.10522 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-28 11:33:42
IDJOB=3308446
IDBENCH=70781
IDSOLVER=1690
FILE ID=node118/3308446-1303983221
RUNJOBID= node118-1303983220-10896
PBS_JOBID= 13168708
Free space on /tmp= 71600 MiB

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

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

MD5SUM BENCH= 4f9c883534eb89cad9b9cad9e6eccbd0
RANDOM SEED=1303314544

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18534900 kB
Buffers:       1893376 kB
Cached:       11873912 kB
SwapCached:        600 kB
Active:        9315260 kB
Inactive:      4565420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18534900 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           19660 kB
Writeback:           0 kB
AnonPages:      112252 kB
Mapped:          15740 kB
Slab:           471448 kB
PageTables:       5296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   280096 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= 71604 MiB
End job on node118 at 2011-04-28 11:55:24