Trace number 3308791

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT09 reference solver:precosat 236? (TO) 1300.05 1300.02

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
MD5SUMee159af2e208d290f7f3fefd15c344f2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark731.23
Satisfiable
(Un)Satisfiability was proved
Number of variables44692
Number of clauses129620
Sum of the clauses size302444
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 286412
Number of clauses of size 343206
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-3308791-1303984527.cnf
0.00/0.00	c found header 'p cnf 44692 129620'
0.06/0.09	c finished parsing
0.06/0.09	c
0.06/0.09	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.06/0.09	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.06/0.09	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.06/0.09	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.06/0.09	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.06/0.09	c --random=1 --spread=2000 --seed=0 --skip=25
0.06/0.09	c
0.06/0.09	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.06/0.09	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.06/0.09	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.06/0.09	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.06/0.09	c
0.06/0.09	c starting search after 0.1 seconds
0.06/0.09	c no decision limit
0.09/0.10	c
0.09/0.10	c       original/binary      fixed     eliminated      learned       agility
0.09/0.10	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.10	c
0.09/0.10	c *    0.1   129618   44690      2     0      0       0      0    0.0   0   11
0.99/1.02	c s    1.0    64620   11138   1981   385  31188       0      0    0.0   0    9
0.99/1.02	c l    1.0    64620   11138   1981   385  31188       0  50781    0.0   0    9
0.99/1.04	c R    1.0    64750   11138   1981   385  31188     102    100  330.2  13   10
0.99/1.06	c R    1.1    64882   11137   1982   385  31188     202    194  297.0   6   10
1.09/1.16	c R    1.2    65206   11135   1982   387  31188     805    788  335.6   6   10
1.09/1.19	c B    1.2    65727   11129   1988   387  31188    1000    974  314.0   6   10
1.28/1.31	c B    1.3    66624   11118   1997   389  31188    2000   1936  279.2   8   11
1.98/2.00	c s    2.0    82838   10688   2318   498  31188    5910   5607  244.4  10   13
1.98/2.00	c -    2.0    82838   10688   2318   498  31188    5910  48242  244.4  10   13
2.19/2.27	c B    2.3    83407   10674   2322   508  31188    8001   7684  244.4  13   14
2.28/2.39	c R    2.4    89310   10572   2383   549  31188    8683   8354  242.2  10   15
3.48/3.58	c s    3.6    89777   10192   2430   590  31480   15468  13123  228.8   6   15
3.48/3.58	c -    3.6    89777   10192   2430   590  31480   15468  47278  228.8   6   15
4.68/4.78	c B    4.8   100677   10079   2503   630  31480   24003  21548  223.5   8   20
5.09/5.11	c s    5.1    98072   10067   2509   636  31480   26192  23463  223.5  12   20
5.09/5.11	c -    5.1    98072   10067   2509   636  31480   26192  46806  223.5  12   20
7.59/7.66	c s    7.7   112289    9850   2562   681  31599   39604  34439  223.0   6   25
7.59/7.66	c -    7.7   112289    9850   2562   681  31599   39604  46338  223.0   6   25
8.79/8.87	c
8.79/8.87	c       original/binary      fixed     eliminated      learned       agility
8.79/8.87	c   seconds        variables     equivalent    conflicts       height       MB
8.79/8.87	c
8.79/8.87	c +    8.9   127110    9722   2649   722  31599   46338  50971  219.3  21   31
10.69/10.74	c s   10.7   133690    9647   2697   749  31599   55354  49535  216.8  25   36
10.69/10.74	c -   10.7   133690    9647   2697   749  31599   55354  49442  216.8  25   36
10.69/10.76	c R   10.8   133690    9647   2697   749  31599   55476  49573  217.2  15   37
10.89/10.90	c +   10.9   133725    9646   2697   750  31599   56185  54386  216.5  14   37
12.19/12.25	c B   12.3   144050    9636   2702   755  31599   64021  54577  214.1   7   41
12.39/12.43	c N   12.4   144097    9636   2702   755  31599   65099  54922  213.8  26   42
13.19/13.23	c +   13.2   145743    9630   2706   757  31599   70230  59824  212.1  16   42
14.78/14.87	c s   14.9   142768    9431   2734   765  31762   76866  47058  210.5  15   20
14.78/14.87	c -   14.9   142768    9431   2734   765  31762   76866  59226  210.5  15   20
16.58/16.67	c +   16.7   155509    9406   2739   785  31762   86909  65148  207.3  12   29
20.18/20.26	c s   20.3   165976    9334   2753   799  31806  100740  64041  204.7  12   39
21.48/21.53	c +   21.5   170105    9316   2761   809  31806  108636  71662  203.2  11   43
26.39/26.42	c s   26.4   171798    9142   2818   825  31907  127104  63824  201.1  13   39
26.39/26.42	c -   26.4   171798    9142   2818   825  31907  127104  70946  201.1  13   39
27.99/28.05	c +   28.0   177139    9126   2828   831  31907  134439  78040  199.8  19   47
33.38/33.48	c s   33.5   180497    9077   2833   846  31936  158029  75970  201.3   6   52
33.88/33.96	c B   34.0   181152    9070   2837   849  31936  160040  77979  200.9  29   55
35.59/35.69	c +   35.7   184116    9054   2844   858  31936  168046  85844  200.4  13   57
40.28/40.37	c
40.28/40.37	c       original/binary      fixed     eliminated      learned       agility
40.28/40.37	c   seconds        variables     equivalent    conflicts       height       MB
40.28/40.37	c
40.28/40.37	c s   40.4   182312    8958   2859   871  32004  186164  81827  201.1  14   56
46.49/46.55	c +   46.6   198888    8934   2867   887  32004  210055  94428  198.6  25   64
48.19/48.26	c s   48.3   194990    8915   2867   889  32021  213881  87713  198.1   8   61
52.69/52.72	c R   52.7   197929    8905   2870   896  32021  231469  94792  195.3  15   67
56.48/56.53	c s   56.5   200415    8814   2891   915  32072  243354  93551  193.6  27   60
61.28/61.32	c +   61.3   210207    8801   2895   924  32072  262566 103870  192.0   9   66
66.19/66.27	c s   66.3   210345    8764   2898   932  32098  277458 100607  190.3  10   66
78.59/78.64	c s   78.6   216390    8706   2921   953  32112  316722 100986  184.3  27   77
82.19/82.29	c +   82.3   219666    8703   2923   954  32112  328206 114257  182.9  20   84
89.00/89.04	c s   89.0   218921    8621   2947   969  32155  348362 105537  183.2  14   76
98.09/98.11	c B   98.1   233717    8602   2956   979  32155  384088 115172  181.4  30   88
101.49/101.51	c s  101.5   231291    8565   2957   980  32190  391794 113731  180.6  25   84
106.39/106.42	c +  106.4   234111    8559   2957   986  32190  410258 125682  180.5  30   86
110.58/110.61	c s  110.6   235852    8543   2966   991  32192  421624 125656  180.3  11   88
122.29/122.35	c s  122.4   240390    8532   2969   993  32198  457373 123489  178.9  28   81
138.28/138.33	c s  138.3   245004    8502   2982  1004  32204  503260 126042  176.0  27   90
141.69/141.73	c +  141.7   247889    8501   2983  1004  32204  512821 138250  175.6  16   97
152.49/152.60	c s  152.6   254360    8466   2988  1019  32219  541475 132993  174.1  14   99
168.30/168.33	c s  168.3   256537    8439   2999  1024  32230  583272 138013  172.0  12   98
183.19/183.28	c
183.19/183.28	c       original/binary      fixed     eliminated      learned       agility
183.19/183.28	c   seconds        variables     equivalent    conflicts       height       MB
183.19/183.28	c
183.19/183.28	c s  183.3   263084    8426   3002  1027  32237  628690 137947  170.3  12   96
187.19/187.25	c +  187.3   263721    8426   3002  1027  32237  641027 152075  169.7  28  104
190.79/190.83	c R  190.8   263853    8426   3002  1027  32237  651039 149287  168.6   4  115
200.09/200.16	c s  200.2   264222    8416   3010  1028  32238  670116 152566  167.8  41  117
218.90/218.95	c s  219.0   262430    8338   3030  1052  32272  716624 149993  165.4  11  114
237.50/237.57	c s  237.6   264957    8331   3031  1057  32273  760261 145931  162.9   7  107
252.90/252.98	c +  253.0   267638    8321   3034  1064  32273  801280 167282  161.3  30  120
254.79/254.83	c s  254.8   266701    8319   3035  1064  32274  802266 153730  161.2  13  114
270.50/270.52	c s  270.5   265951    8295   3040  1070  32287  842617 163011  159.8  15  112
289.30/289.30	c s  289.3   267024    8278   3043  1072  32299  891850 168015  158.6  33  122
290.99/291.01	c B  291.0   267213    8278   3043  1072  32299  896208 167754  158.5   9  125
308.40/308.42	c s  308.4   267930    8266   3044  1082  32300  943313 166715  156.7  14  125
326.39/326.45	c s  326.5   269178    8258   3045  1087  32302  990609 167478  155.5   6  122
330.39/330.44	c +  330.4   269246    8258   3045  1087  32302 1001600 184010  155.1  19  124
336.59/336.67	c N  336.7   269584    8253   3048  1089  32302 1020138 184830  154.8  31  138
346.59/346.67	c s  346.7   269362    8248   3048  1089  32307 1039978 184668  154.2  21  131
368.79/368.87	c s  368.9   270048    8225   3055  1102  32310 1087571 184112  153.2  16  133
392.40/392.40	c s  392.4   270627    8216   3057  1108  32311 1141157 184165  151.7   6  129
414.39/414.47	c s  414.5   271552    8203   3059  1117  32313 1191130 184424  150.0  34  129
436.00/436.02	c
436.00/436.02	c       original/binary      fixed     eliminated      learned       agility
436.00/436.02	c   seconds        variables     equivalent    conflicts       height       MB
436.00/436.02	c
436.00/436.02	c s  436.0   272377    8194   3061  1121  32316 1239630 177515  148.4  31  117
441.00/441.03	c +  441.0   273341    8185   3065  1126  32316 1252001 202411  148.3   9  128
455.40/455.46	c s  455.5   274622    8173   3067  1130  32322 1282992 195028  147.5  13  126
474.99/475.02	c s  475.0   276112    8164   3073  1133  32322 1328872 202784  146.6  17  136
494.90/494.93	c s  494.9   276549    8147   3077  1143  32325 1371563 200935  145.4  10  131
514.71/514.72	c s  514.7   276541    8140   3081  1145  32326 1422839 202300  144.2  16  134
532.80/532.82	c s  532.8   277683    8123   3083  1156  32330 1470767 202590  143.2  15  127
555.20/555.29	c s  555.3   278389    8120   3083  1159  32330 1519252 202850  142.1  11  129
573.00/573.05	c +  573.1   280097    8113   3086  1163  32330 1565002 222652  140.8  14  136
579.09/579.12	c s  579.1   279184    8111   3086  1164  32331 1575037 212422  140.4  11  135
603.60/603.67	c s  603.7   280547    8090   3094  1173  32335 1631710 223062  139.5  10  145
625.50/625.52	c s  625.5   281647    8081   3096  1176  32339 1680511 222802  138.8  25  142
650.60/650.64	c s  650.7   282285    8072   3096  1181  32343 1734361 221323  137.6  11  143
675.50/675.51	c s  675.5   282240    8044   3107  1189  32352 1785952 222187  136.6  17  146
698.10/698.12	c s  698.1   282511    8033   3112  1193  32354 1837834 222531  135.6  15  148
720.61/720.66	c s  720.7   283085    8030   3114  1193  32355 1895383 220330  134.6  27  136
742.71/742.79	c s  742.8   282744    8019   3117  1198  32358 1949198 222586  133.9   7  143
745.71/745.74	c +  745.8   283413    8018   3117  1199  32358 1956251 244917  133.7  19  147
763.61/763.61	c s  763.6   284224    8016   3117  1201  32358 1998435 245475  133.0  13  153
782.01/782.06	c
782.01/782.06	c       original/binary      fixed     eliminated      learned       agility
782.01/782.06	c   seconds        variables     equivalent    conflicts       height       MB
782.01/782.06	c
782.01/782.06	c s  782.1   285534    8016   3117  1201  32358 2042711 245891  132.9  32  153
784.31/784.36	c B  784.4   286621    8013   3120  1201  32358 2048484 245555  132.8  12  158
803.01/803.02	c s  803.0   288113    8011   3120  1203  32358 2090336 245708  132.0  14  149
826.11/826.11	c s  826.1   288771    8007   3121  1204  32360 2142121 245617  131.3  27  154
849.51/849.55	c s  849.6   289353    8006   3121  1205  32360 2200072 245668  130.9  27  155
871.31/871.39	c s  871.4   291087    8006   3121  1205  32360 2255432 245729  129.9  17  153
883.41/883.44	c N  883.5   291167    8006   3121  1205  32360 2287908 245905  129.2  54  152
889.21/889.24	c s  889.3   291167    8006   3121  1205  32360 2301060 245828  129.0  39  147
918.61/918.60	c s  918.6   291259    7990   3126  1211  32365 2367038 238884  127.9  32  142
941.01/941.03	c s  941.1   292328    7962   3137  1219  32374 2413759 245151  127.3  31  146
954.91/954.92	c +  954.9   292875    7961   3138  1219  32374 2445311 269408  126.6  31  163
968.51/968.53	c s  968.6   292667    7960   3138  1219  32375 2473483 269697  126.2  14  174
994.21/994.21	c s  994.2   292768    7955   3140  1222  32375 2522927 269676  125.6   9  168
1021.51/1021.55	c s 1021.6   292769    7950   3142  1224  32376 2572813 269586  125.0   4  169
1051.41/1051.47	c s 1051.5   292995    7944   3145  1226  32377 2626483 269368  124.3  13  166
1094.52/1094.52	c s 1094.5   293176    7941   3146  1227  32378 2730867 269451  123.3  12  200
1123.51/1123.57	c s 1123.6   293266    7903   3147  1231  32411 2783472 269675  122.6   8  197
1123.51/1123.57	c - 1123.6   293266    7903   3147  1231  32411 2783472 266714  122.6   8  197
1157.51/1157.54	c s 1157.6   293193    7891   3154  1235  32412 2842954 266436  121.8   9  199
1186.12/1186.19	c
1186.12/1186.19	c       original/binary      fixed     eliminated      learned       agility
1186.12/1186.19	c   seconds        variables     equivalent    conflicts       height       MB
1186.12/1186.19	c
1186.12/1186.19	c s 1186.2   294819    7885   3156  1237  32414 2890259 266299  121.2   6  178
1208.93/1208.90	c s 1208.9   295518    7885   3156  1237  32414 2942563 267523  120.7  27  163
1241.12/1241.19	c s 1241.2   295963    7883   3158  1237  32414 3003671 267495  119.8  29  158
1251.83/1251.82	c + 1251.8   296577    7883   3158  1237  32414 3026069 293385  119.6  16  166
1266.32/1266.30	c s 1266.3   296575    7874   3163  1241  32414 3049098 290239  119.2  13  168
1296.52/1296.54	c s 1296.6   296398    7856   3171  1250  32415 3107203 281191  118.6  12  162
1300.03/1300.00	c
1300.03/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.03/1300.00	c
1300.03/1300.00	c 3114657 conflicts, 6257635 decisions, 602 random
1300.03/1300.00	c 132 iterations, 4770 restarts, 4402 skipped
1300.03/1300.00	c 20 enlarged, 2986 shrunken, 30435 rescored, 763 rebiased
1300.03/1300.00	c 71 simplifications, 0 reductions
1300.03/1300.00	c
1300.03/1300.00	c vars: 3172 fixed, 1250 equiv, 32415 elim, 1407 merged
1300.03/1300.00	c elim: 14856685 resolutions, 64 phases, 64 rounds
1300.03/1300.00	c sbst: 76% substituted, 2.1% nots, 92.9% ands, 3.9% xors, 1.1% ites
1300.03/1300.00	c arty: 2.05 and 2.00 xor average arity
1300.03/1300.00	c prbe: 926398 probed, 1013 phases, 55 rounds
1300.03/1300.00	c prbe: 537 failed, 1354 lifted, 87 merged
1300.03/1300.00	c sccs: 57 non trivial, 0 fixed, 71 merged
1300.03/1300.00	c hash: 78 units, 1249 merged
1300.03/1300.00	c mins: 541556954 learned, 19% deleted, 802 strong, 94 depth
1300.03/1300.00	c subs: 36668 forward, 33540 backward, 70833 doms
1300.03/1300.00	c strs: 2141 forward, 501 backward
1300.03/1300.00	c doms: 91781 dominators, 68217 high, 187 low
1300.03/1300.00	c prps: 1189229717 propagations, 0.91 megaprops
1300.03/1300.00	c
1300.03/1300.00	c 1300.0 seconds, 214 MB max, 2018 MB recycled
1300.03/1300.00	c
1300.03/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.03/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-3308791-1303984527/watcher-3308791-1303984527 -o /tmp/evaluation-result-3308791-1303984527/solver-3308791-1303984527 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308791-1303984527.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.91 3.92 2.99 4/189 21902
/proc/meminfo: memFree=14409420/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=11800 CPUtime=0 cores=4,6
/proc/21902/stat : 21902 (runsolver) R 21900 21902 21693 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 1 0 588683404 12083200 53 33554432000 4194304 5434984 140735296045856 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/21902/statm: 2950 53 31 303 0 2644 0

[startup+0.0707381 s]
/proc/loadavg: 3.91 3.92 2.99 4/189 21902
/proc/meminfo: memFree=14409420/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=11140 CPUtime=0.06 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 2793 0 0 0 6 0 0 0 22 0 1 0 588683404 11407360 2652 33554432000 134512640 135151029 4293001136 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 2785 2653 64 156 0 2628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11140

[startup+0.100728 s]
/proc/loadavg: 3.91 3.92 2.99 4/189 21902
/proc/meminfo: memFree=14409420/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=13892 CPUtime=0.09 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 3619 0 0 0 9 0 0 0 22 0 1 0 588683404 14225408 3348 33554432000 134512640 135151029 4293001136 18446744073709551615 134520344 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 3473 3348 76 156 0 3316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13892

[startup+0.300696 s]
/proc/loadavg: 3.91 3.92 2.99 4/189 21902
/proc/meminfo: memFree=14409420/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=16172 CPUtime=0.28 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 4816 0 0 0 28 0 0 0 23 0 1 0 588683404 16560128 3904 33554432000 134512640 135151029 4293001136 18446744073709551615 134528789 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 4043 3904 80 156 0 3886 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16172

[startup+0.700623 s]
/proc/loadavg: 3.91 3.92 2.99 4/189 21902
/proc/meminfo: memFree=14409420/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=22216 CPUtime=0.68 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 6670 0 0 0 68 0 0 0 25 0 1 0 588683404 22749184 5292 33554432000 134512640 135151029 4293001136 18446744073709551615 134573909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 5554 5292 80 156 0 5397 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22216

[startup+1.50049 s]
/proc/loadavg: 3.91 3.92 2.99 5/190 21903
/proc/meminfo: memFree=14377664/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=19996 CPUtime=1.48 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 6912 0 0 0 148 0 0 0 25 0 1 0 588683404 20475904 4751 33554432000 134512640 135151029 4293001136 18446744073709551615 134579324 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 4999 4751 80 156 0 4842 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19996

[startup+3.10118 s]
/proc/loadavg: 3.91 3.92 2.99 6/188 21906
/proc/meminfo: memFree=14474648/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=23284 CPUtime=3.08 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 8037 0 0 0 308 0 0 0 25 0 1 0 588683404 23842816 5572 33554432000 134512640 135151029 4293001136 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 5821 5572 80 156 0 5664 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23284

[startup+6.30063 s]
/proc/loadavg: 3.84 3.91 2.99 4/185 21920
/proc/meminfo: memFree=14481908/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=27996 CPUtime=6.29 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 10476 0 0 0 628 1 0 0 25 0 1 0 588683404 28667904 6733 33554432000 134512640 135151029 4293001136 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 6999 6733 80 156 0 6842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27996

[startup+12.7005 s]
/proc/loadavg: 3.85 3.91 2.99 5/190 21957
/proc/meminfo: memFree=14412488/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=46512 CPUtime=12.69 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 17284 0 0 0 1267 2 0 0 25 0 1 0 588683404 47628288 11380 33554432000 134512640 135151029 4293001136 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 11628 11380 80 156 0 11471 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46512

[startup+25.5012 s]
/proc/loadavg: 3.88 3.91 3.01 5/190 22012
/proc/meminfo: memFree=14281204/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=59280 CPUtime=25.49 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 22856 0 0 0 2546 3 0 0 25 0 1 0 588683404 60702720 14555 33554432000 134512640 135151029 4293001136 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 14820 14555 80 156 0 14663 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59280

[startup+51.1007 s]
/proc/loadavg: 3.98 3.93 3.04 5/190 22012
/proc/meminfo: memFree=14266336/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=73712 CPUtime=51.09 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 35698 0 0 0 5104 5 0 0 25 0 1 0 588683404 75481088 18160 33554432000 134512640 135151029 4293001136 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 18428 18160 80 156 0 18271 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73712

[startup+102.307 s]
/proc/loadavg: 3.99 3.94 3.09 5/190 22042
/proc/meminfo: memFree=14265300/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=98968 CPUtime=102.29 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 54209 0 0 0 10220 9 0 0 25 0 1 0 588683404 101343232 24455 33554432000 134512640 135151029 4293001136 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 24742 24455 80 156 0 24585 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 98968

[startup+162.301 s]
/proc/loadavg: 3.99 3.95 3.14 5/190 22043
/proc/meminfo: memFree=14206244/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=120144 CPUtime=162.29 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 69238 0 0 0 16217 12 0 0 25 0 1 0 588683404 123027456 29719 33554432000 134512640 135151029 4293001136 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 30036 29719 80 156 0 29879 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 120144

[startup+222.301 s]
/proc/loadavg: 3.99 3.95 3.19 5/190 22045
/proc/meminfo: memFree=14159708/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=134276 CPUtime=222.29 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 82171 0 0 0 22215 14 0 0 25 0 1 0 588683404 137498624 33302 33554432000 134512640 135151029 4293001136 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 33569 33302 80 156 0 33412 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 134276

[startup+282.301 s]
/proc/loadavg: 3.99 3.96 3.24 5/190 22046
/proc/meminfo: memFree=14132776/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=138564 CPUtime=282.3 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 90449 0 0 0 28214 16 0 0 25 0 1 0 588683404 141889536 34327 33554432000 134512640 135151029 4293001136 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 34641 34327 80 156 0 34484 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 138564

[startup+342.301 s]
/proc/loadavg: 4.13 4.00 3.29 5/190 22057
/proc/meminfo: memFree=14087556/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=147996 CPUtime=342.3 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 99634 0 0 0 34212 18 0 0 25 0 1 0 588683404 151547904 36644 33554432000 134512640 135151029 4293001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 36999 36644 80 156 0 36842 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 147996

[startup+402.301 s]
/proc/loadavg: 4.04 4.00 3.33 4/185 22076
/proc/meminfo: memFree=14235924/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=153756 CPUtime=402.29 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 108081 0 0 0 40210 19 0 0 25 0 1 0 588683404 157446144 38189 33554432000 134512640 135151029 4293001136 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 38439 38189 80 156 0 38282 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 153756

[startup+462.3 s]
/proc/loadavg: 3.04 3.73 3.28 3/178 22094
/proc/meminfo: memFree=14400564/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=153624 CPUtime=462.29 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 114709 0 0 0 46209 20 0 0 25 0 1 0 588683404 157310976 38139 33554432000 134512640 135151029 4293001136 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 38406 38139 80 156 0 38249 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 153624

[startup+522.301 s]
/proc/loadavg: 2.38 3.41 3.20 3/178 22096
/proc/meminfo: memFree=14398556/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=155348 CPUtime=522.3 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 121264 0 0 0 52209 21 0 0 25 0 1 0 588683404 159076352 38595 33554432000 134512640 135151029 4293001136 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 38837 38595 80 156 0 38680 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 155348

[startup+582.301 s]
/proc/loadavg: 2.14 3.15 3.12 3/178 22097
/proc/meminfo: memFree=14398404/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=157348 CPUtime=582.29 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 127051 0 0 0 58208 21 0 0 25 0 1 0 588683404 161124352 39062 33554432000 134512640 135151029 4293001136 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 39337 39062 80 156 0 39180 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 157348

[startup+642.301 s]
/proc/loadavg: 2.08 2.96 3.06 3/178 22099
/proc/meminfo: memFree=14385352/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=167180 CPUtime=642.3 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 131666 0 0 0 64208 22 0 0 25 0 1 0 588683404 171192320 41450 33554432000 134512640 135151029 4293001136 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 41795 41450 80 156 0 41638 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 167180

[startup+702.3 s]
/proc/loadavg: 2.03 2.78 2.99 3/178 22101
/proc/meminfo: memFree=14369576/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=170892 CPUtime=702.3 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 138679 0 0 0 70207 23 0 0 25 0 1 0 588683404 174993408 42443 33554432000 134512640 135151029 4293001136 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 42723 42443 80 156 0 42566 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 170892

[startup+762.307 s]
/proc/loadavg: 2.01 2.64 2.92 3/178 22102
/proc/meminfo: memFree=14364064/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=172016 CPUtime=762.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 142648 0 0 0 76207 24 0 0 25 0 1 0 588683404 176144384 42674 33554432000 134512640 135151029 4293001136 18446744073709551615 134521840 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 43004 42674 80 156 0 42847 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 172016

[startup+822.301 s]
/proc/loadavg: 2.00 2.52 2.86 3/178 22104
/proc/meminfo: memFree=14360940/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=175644 CPUtime=822.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 148220 0 0 0 82206 25 0 0 25 0 1 0 588683404 179859456 43601 33554432000 134512640 135151029 4293001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 43911 43601 80 156 0 43754 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 175644

[startup+882.301 s]
/proc/loadavg: 2.07 2.44 2.81 3/178 22105
/proc/meminfo: memFree=14357928/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=177660 CPUtime=882.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 154231 0 0 0 88205 26 0 0 25 0 1 0 588683404 181923840 44185 33554432000 134512640 135151029 4293001136 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 44415 44185 80 156 0 44258 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 177660

[startup+942.3 s]
/proc/loadavg: 2.02 2.35 2.76 3/178 22107
/proc/meminfo: memFree=14358136/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=177148 CPUtime=942.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 160146 0 0 0 94204 27 0 0 25 0 1 0 588683404 181399552 44058 33554432000 134512640 135151029 4293001136 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 44287 44058 80 156 0 44130 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 177148

[startup+1002.3 s]
/proc/loadavg: 2.01 2.29 2.71 3/178 22109
/proc/meminfo: memFree=14338512/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=197412 CPUtime=1002.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 169727 0 0 0 100202 29 0 0 25 0 1 0 588683404 202149888 48993 33554432000 134512640 135151029 4293001136 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 49353 48993 80 156 0 49196 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 197412

[startup+1062.3 s]
/proc/loadavg: 2.00 2.23 2.66 3/178 22110
/proc/meminfo: memFree=14337980/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=197412 CPUtime=1062.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 174878 0 0 0 106202 29 0 0 25 0 1 0 588683404 202149888 49074 33554432000 134512640 135151029 4293001136 18446744073709551615 134551613 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 49353 49074 80 156 0 49196 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 197412

[startup+1122.3 s]
/proc/loadavg: 2.00 2.19 2.62 3/178 22112
/proc/meminfo: memFree=14300628/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=235228 CPUtime=1122.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 186715 0 0 0 112199 32 0 0 25 0 1 0 588683404 240873472 58439 33554432000 134512640 135151029 4293001136 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 58807 58439 80 156 0 58650 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 235228

[startup+1182.3 s]
/proc/loadavg: 2.00 2.15 2.57 3/178 22113
/proc/meminfo: memFree=14299220/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=237120 CPUtime=1182.31 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 188590 0 0 0 118199 32 0 0 25 0 1 0 588683404 242810880 58960 33554432000 134512640 135151029 4293001136 18446744073709551615 134554555 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 59280 58960 80 156 0 59123 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 237120

[startup+1242.3 s]
/proc/loadavg: 2.00 2.12 2.54 3/178 22115
/proc/meminfo: memFree=14300160/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=235068 CPUtime=1242.32 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 189637 0 0 0 124199 33 0 0 25 0 1 0 588683404 240709632 58468 33554432000 134512640 135151029 4293001136 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 58767 58468 80 156 0 58610 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 235068



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.00 2.10 2.50 3/178 22117
/proc/meminfo: memFree=14299980/32950928 swapFree=67111528/67111528
[pid=21902] ppid=21900 vsize=235068 CPUtime=1300.03 cores=4,6
/proc/21902/stat : 21902 (precosat) R 21900 21902 21693 0 -1 4202496 189637 0 0 0 129970 33 0 0 25 0 1 0 588683404 240709632 58468 33554432000 134512640 135151029 4293001136 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/21902/statm: 58767 58468 80 156 0 58610 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 235068

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.05
CPU user time (s): 1299.7
CPU system time (s): 0.341948
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 237792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.7
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1487

runsolver used 1.9947 second user time and 4.34134 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-28 11:55:27
IDJOB=3308791
IDBENCH=82466
IDSOLVER=1690
FILE ID=node112/3308791-1303984527
RUNJOBID= node112-1303983222-21712
PBS_JOBID= 13168714
Free space on /tmp= 72548 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308791-1303984527/watcher-3308791-1303984527 -o /tmp/evaluation-result-3308791-1303984527/solver-3308791-1303984527 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3308791-1303984527.cnf

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

MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=1510113225

node112.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.828
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.65
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.828
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.828
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.67
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.828
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.82
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.828
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	: 5261.27
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.828
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.82
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.828
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.828
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14409452 kB
Buffers:       1991628 kB
Cached:       15737848 kB
SwapCached:          0 kB
Active:        6976524 kB
Inactive:     11007784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14409452 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18012 kB
Writeback:           0 kB
AnonPages:      254236 kB
Mapped:          16252 kB
Slab:           492672 kB
PageTables:       5344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   443368 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= 72560 MiB
End job on node112 at 2011-04-28 12:17:09