Trace number 3308794

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 236UNSAT 1166.09 1166.07

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
MD5SUM8dae13531986e2a9bdb6559418f57130
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1166.09
Satisfiable
(Un)Satisfiability was proved
Number of variables89190
Number of clauses265718
Sum of the clauses size620006
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2177144
Number of clauses of size 388572
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-3308794-1303984527.cnf
0.00/0.00	c found header 'p cnf 89190 265718'
0.09/0.19	c finished parsing
0.09/0.19	c
0.09/0.19	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.19	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.19	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.19	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.19	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.19	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.19	c
0.09/0.19	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.09/0.19	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.09/0.19	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.09/0.19	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.09/0.19	c
0.09/0.19	c starting search after 0.2 seconds
0.09/0.19	c no decision limit
0.19/0.20	c
0.19/0.20	c       original/binary      fixed     eliminated      learned       agility
0.19/0.20	c   seconds        variables     equivalent    conflicts       height       MB
0.19/0.20	c
0.19/0.20	c *    0.2   265716   89188      2     0      0       0      0    0.0   0   23
2.48/2.57	c s    2.6   136144   20774    213   199  68004       0      0    0.0   0   18
2.48/2.57	c l    2.6   136144   20774    213   199  68004       0 119909    0.0   0   18
2.58/2.62	c R    2.6   136164   20774    213   199  68004     100    100  367.5  16   19
2.68/2.77	c R    2.8   136211   20772    213   201  68004     209    209 1298.1   2   20
2.88/2.91	c N    2.9   136321   20762    213   211  68004     813    813 1095.5  29   20
2.88/2.93	c B    2.9   136321   20762    213   211  68004    1000   1000 1089.9  30   20
3.38/3.42	c B    3.4   140113   20472    221   493  68004    2001   1995  979.5  29   21
3.38/3.44	c R    3.4   140121   20472    221   493  68004    2416   2408  960.1  16   21
4.18/4.28	c R    4.3   140324   20451    221   514  68004    6428   6411  826.0  21   24
4.58/4.65	c B    4.6   140339   20451    221   514  68004    8004   7987  841.1   9   25
5.39/5.45	c s    5.4   139351   20439    222   525  68004   11038  10980  794.8  12   25
6.19/6.22	c R    6.2   139357   20439    222   525  68004   16049  15990  727.8  14   28
7.98/8.03	c B    8.0   139573   20430    223   533  68004   24011  23947  657.4  28   34
9.38/9.40	c s    9.4   134673   19432    223   534  69001   25876  21884  643.9  22   28
9.38/9.40	c -    9.4   134673   19432    223   534  69001   25876 118710  643.9  22   28
12.28/12.30	c R   12.3   134863   19423    227   539  69001   38486  34485  652.3  15   39
13.38/13.47	c s   13.5   134498   19408    229   543  69010   39803  34883  647.4  18   37
18.19/18.28	c s   18.3   132881   18999    233   549  69409   53661  45410  609.8   5   46
18.19/18.28	c
18.19/18.28	c       original/binary      fixed     eliminated      learned       agility
18.19/18.28	c   seconds        variables     equivalent    conflicts       height       MB
18.19/18.28	c
18.19/18.28	c -   18.3   132881   18999    233   549  69409   53661 117523  609.8   5   46
20.48/20.55	c B   20.6   132997   18992    235   554  69409   64021  55764  635.1   6   54
22.88/22.99	c s   23.0   132925   18985    236   560  69409   70503  62210  645.1  11   54
28.79/28.85	c s   28.9   132983   18979    236   566  69409   91703  83377  644.3  16   67
35.19/35.27	c +   35.3   135011   18958    240   583  69409  117523 129275  618.9  29   85
37.08/37.11	c s   37.1   133093   18775    240   583  69592  118916 106067  617.9  16   79
44.28/44.38	c +   44.4   133240   18768    241   589  69592  146900 142202  599.1  12   97
45.88/45.92	c s   45.9   133135   18768    241   589  69592  148141 130532  598.5  12   92
48.68/48.70	c B   48.7   133142   18766    241   591  69592  160049 142434  599.2  22  103
54.08/54.12	c s   54.1   133177   18751    242   605  69592  182371 142295  596.4  18   93
54.58/54.63	c +   54.6   133177   18751    242   605  69592  183627 156422  596.1  14   97
65.69/65.70	c s   65.7   133258   18708    246   626  69610  218460 155121  593.3  24   95
68.49/68.51	c +   68.5   133371   18700    247   633  69610  229530 172064  591.0  33  100
77.99/78.04	c s   78.0   133763   18678    251   649  69612  258513 164648  584.6  16  102
85.79/85.83	c +   85.8   133993   18666    252   660  69612  286911 189270  580.5  15  116
90.09/90.11	c s   90.1   133593   18659    253   666  69612  298177 184434  576.7  11  115
104.59/104.62	c s  104.6   133695   18623    257   685  69625  341859 187767  566.0  21  115
107.49/107.52	c +  107.5   133706   18623    257   685  69625  358636 208197  567.3  30  131
114.18/114.20	c B  114.2   133727   18619    257   689  69625  384106 208627  564.9  27  164
119.89/119.94	c
119.89/119.94	c       original/binary      fixed     eliminated      learned       agility
119.89/119.94	c   seconds        variables     equivalent    conflicts       height       MB
119.89/119.94	c
119.89/119.94	c s  119.9   133624   18616    257   691  69626  398075 208887  562.9  31  161
126.59/126.68	c R  126.7   134792   18611    258   695  69626  426982 213574  562.3  19  180
131.49/131.58	c +  131.6   135049   18610    258   696  69626  448297 229016  564.1  24  185
134.09/134.12	c s  134.1   134913   18610    258   696  69626  448410 210471  564.1  24  177
151.99/152.04	c s  152.0   135949   18561    268   718  69643  490316 227262  551.3  15  181
169.19/169.25	c s  169.3   136157   18539    274   731  69646  536984 220549  545.5  17  175
177.59/177.65	c +  177.7   137280   18521    277   746  69646  560371 251917  544.4  19  180
188.00/188.06	c s  188.1   136690   18515    278   751  69646  581068 249816  541.6  14  188
205.69/205.78	c s  205.8   136319   18502    278   757  69653  634897 250950  541.5  15  167
228.99/229.06	c s  229.1   136522   18484    283   770  69653  693630 251888  539.8  14  189
230.90/230.96	c +  231.0   136529   18481    283   773  69653  700460 277108  539.2  17  195
248.70/248.77	c s  248.8   136663   18447    291   799  69653  748179 276696  535.0  14  200
271.39/271.45	c s  271.5   136413   18433    293   810  69654  801751 274203  532.5  24  199
289.69/289.70	c s  289.7   136529   18422    294   820  69654  865057 277082  537.9  22  186
292.79/292.81	c +  292.8   136532   18420    294   822  69654  875577 304818  537.5  16  193
297.99/298.00	c B  298.0   136649   18416    295   825  69654  896203 299712  539.7  13  218
310.00/310.06	c s  310.1   136800   18416    295   825  69654  927142 307205  540.6  22  214
331.59/331.63	c s  331.6   136714   18401    297   837  69655  996989 304720  542.2  25  235
360.49/360.51	c s  360.5   137843   18372    304   858  69656 1065942 301377  539.3  14  233
371.89/371.91	c
371.89/371.91	c       original/binary      fixed     eliminated      learned       agility
371.89/371.91	c   seconds        variables     equivalent    conflicts       height       MB
371.89/371.91	c
371.89/371.91	c +  371.9   137901   18368    305   861  69656 1094470 335299  538.7  27  245
384.69/384.73	c s  384.7   138077   18364    307   863  69656 1115010 325406  536.7  10  252
412.90/412.95	c s  413.0   137876   18327    312   894  69657 1180958 335888  531.7  26  236
439.50/439.53	c s  439.5   137248   18301    314   917  69658 1241295 335263  528.2  20  226
471.39/471.46	c s  471.5   138428   18284    320   928  69658 1309379 335553  523.4  32  225
493.59/493.68	c +  493.7   141174   18255    328   949  69658 1368090 368828  520.5  29  239
501.19/501.22	c s  501.2   138883   18252    328   951  69659 1380724 348766  520.7  25  234
527.60/527.66	c s  527.7   138909   18243    329   959  69659 1469438 368947  521.8  33  264
563.11/563.19	c s  563.2   139898   18210    341   980  69659 1534979 369073  515.7  26  257
593.80/593.86	c s  593.9   139882   18171    350  1005  69664 1600238 363233  511.8  12  213
624.40/624.40	c s  624.4   140145   18151    353  1022  69664 1677573 369967  508.1  18  217
638.00/638.05	c +  638.1   141823   18120    366  1040  69664 1710110 405710  506.2  33  220
656.61/656.67	c s  656.7   142806   18100    368  1058  69664 1753157 405037  505.1  20  234
694.11/694.11	c s  694.1   142031   18053    379  1088  69670 1834167 406278  501.9  26  234
722.61/722.66	c s  722.7   141543   18012    388  1117  69673 1916879 405564  500.2  19  244
755.00/755.08	c s  755.1   141424   17968    392  1157  69673 2019362 408594  497.6  17  242
765.90/765.94	c B  766.0   141430   17967    392  1158  69673 2048393 406109  497.2  16  264
784.90/784.94	c s  785.0   140832   17938    396  1179  69677 2101510 405312  494.1  17  240
795.21/795.30	c +  795.3   140922   17929    400  1184  69677 2137635 446281  492.9  24  249
813.80/813.89	c
813.80/813.89	c       original/binary      fixed     eliminated      learned       agility
813.80/813.89	c   seconds        variables     equivalent    conflicts       height       MB
813.80/813.89	c
813.80/813.89	c s  813.9   140490   17919    401  1192  69678 2184247 447227  492.3  15  259
847.02/847.05	c s  847.1   141056   17890    411  1211  69678 2277536 446492  489.2  16  254
885.01/885.09	c s  885.1   140597   17822    422  1266  69680 2366183 446559  483.4  17  229
922.41/922.43	c s  922.4   140837   17777    429  1304  69680 2444743 447208  478.8  18  213
957.31/957.31	c s  957.3   142640   17715    441  1354  69680 2535419 446525  474.0  22  192
1000.41/1000.40	c s 1000.4   142147   17650    457  1396  69687 2633393 444334  468.9  23  174
1011.51/1011.54	c + 1011.6   142159   17643    457  1403  69687 2672041 490909  467.7  16  193
1032.41/1032.49	c s 1032.5   142061   17639    457  1407  69687 2725143 491091  465.8  12  202
1076.21/1076.20	c s 1076.2   144028   17573    480  1450  69687 2819406 490021  460.4  17  188
1120.01/1120.07	c s 1120.1   144966   17505    499  1498  69688 2909159 489146  455.1  31  185
1166.02/1166.05	c 0 1166.1   166170   16003   1447  2052  69688 3016981 490908  449.5  23  195
1166.02/1166.05	c
1166.02/1166.05	s UNSATISFIABLE
1166.02/1166.05	c
1166.02/1166.05	c 3016981 conflicts, 12690841 decisions, 782 random
1166.02/1166.05	c 137 iterations, 6678 restarts, 3145 skipped
1166.02/1166.05	c 15 enlarged, 3635 shrunken, 29502 rescored, 731 rebiased
1166.02/1166.05	c 50 simplifications, 0 reductions
1166.02/1166.05	c
1166.02/1166.05	c vars: 1447 fixed, 2052 equiv, 69688 elim, 2075 merged
1166.02/1166.05	c elim: 12463012 resolutions, 49 phases, 17 rounds
1166.02/1166.05	c sbst: 81% substituted, 0.2% nots, 95.4% ands, 1.7% xors, 2.8% ites
1166.02/1166.05	c arty: 2.05 and 2.00 xor average arity
1166.02/1166.05	c prbe: 12735219 probed, 693 phases, 349 rounds
1166.02/1166.05	c prbe: 101 failed, 50 lifted, 49 merged
1166.02/1166.05	c sccs: 0 non trivial, 0 fixed, 0 merged
1166.02/1166.05	c hash: 70 units, 2026 merged
1166.02/1166.05	c mins: 454768465 learned, 7% deleted, 2614 strong, 165 depth
1166.02/1166.05	c subs: 7762 forward, 8194 backward, 96545 doms
1166.02/1166.05	c strs: 2421 forward, 269 backward
1166.02/1166.05	c doms: 98301 dominators, 88800 high, 56 low
1166.02/1166.05	c prps: 836300287 propagations, 0.72 megaprops
1166.02/1166.05	c
1166.02/1166.05	c 1166.1 seconds, 282 MB max, 1681 MB recycled

Verifier Data 

No possible verification on an UNSAT instance

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-3308794-1303984527/watcher-3308794-1303984527 -o /tmp/evaluation-result-3308794-1303984527/solver-3308794-1303984527 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308794-1303984527.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.85 3.93 3.00 3/184 16423
/proc/meminfo: memFree=13819736/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=4880 CPUtime=0 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 1100 0 0 0 0 0 0 0 21 0 1 0 510053695 4997120 1057 33554432000 134512640 135151029 4294509776 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16423/statm: 1220 1059 60 156 0 1063 0

[startup+0.0829 s]
/proc/loadavg: 3.85 3.93 3.00 3/184 16423
/proc/meminfo: memFree=13819736/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=16444 CPUtime=0.07 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 4201 0 0 0 7 0 0 0 21 0 1 0 510053695 16838656 3931 33554432000 134512640 135151029 4294509776 18446744073709551615 134647469 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/16423/statm: 4111 3931 64 156 0 3954 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16444

[startup+0.100896 s]
/proc/loadavg: 3.85 3.93 3.00 3/184 16423
/proc/meminfo: memFree=13819736/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=18292 CPUtime=0.09 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 4673 0 0 0 9 0 0 0 22 0 1 0 510053695 18731008 4403 33554432000 134512640 135151029 4294509776 18446744073709551615 134546308 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/16423/statm: 4573 4403 64 156 0 4416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18292

[startup+0.300866 s]
/proc/loadavg: 3.85 3.93 3.00 3/184 16423
/proc/meminfo: memFree=13819736/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=29792 CPUtime=0.29 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 8135 0 0 0 28 1 0 0 22 0 1 0 510053695 30507008 7258 33554432000 134512640 135151029 4294509776 18446744073709551615 134550581 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/16423/statm: 7448 7258 80 156 0 7291 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29792

[startup+0.700793 s]
/proc/loadavg: 3.85 3.93 3.00 3/184 16423
/proc/meminfo: memFree=13819736/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=40676 CPUtime=0.69 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 12608 0 0 0 68 1 0 0 24 0 1 0 510053695 41652224 9933 33554432000 134512640 135151029 4294509776 18446744073709551615 134578749 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/16423/statm: 10169 9933 80 156 0 10012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40676

[startup+1.50071 s]
/proc/loadavg: 3.85 3.93 3.00 5/185 16424
/proc/meminfo: memFree=13790968/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=44396 CPUtime=1.48 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 13373 0 0 0 147 1 0 0 25 0 1 0 510053695 45461504 10698 33554432000 134512640 135151029 4294509776 18446744073709551615 134548024 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 11099 10698 80 156 0 10942 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44396

[startup+3.10043 s]
/proc/loadavg: 3.85 3.93 3.00 5/184 16437
/proc/meminfo: memFree=13835740/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=38680 CPUtime=3.08 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 13570 0 0 0 307 1 0 0 25 0 1 0 510053695 39608320 9334 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 9670 9334 80 156 0 9513 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38680

[startup+6.30086 s]
/proc/loadavg: 3.78 3.92 3.00 4/185 16478
/proc/meminfo: memFree=13809396/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=42204 CPUtime=6.29 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 14791 0 0 0 627 2 0 0 25 0 1 0 510053695 43216896 10206 33554432000 134512640 135151029 4294509776 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 10551 10206 80 156 0 10394 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42204

[startup+12.7007 s]
/proc/loadavg: 3.80 3.92 3.00 5/185 16509
/proc/meminfo: memFree=13766580/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=51088 CPUtime=12.68 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 18448 0 0 0 1266 2 0 0 25 0 1 0 510053695 52314112 12466 33554432000 134512640 135151029 4294509776 18446744073709551615 134580721 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 12772 12466 80 156 0 12615 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51088

[startup+25.5005 s]
/proc/loadavg: 3.84 3.92 3.02 5/190 16516
/proc/meminfo: memFree=13635804/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=70496 CPUtime=25.49 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 27487 0 0 0 2545 4 0 0 25 0 1 0 510053695 72187904 17314 33554432000 134512640 135151029 4294509776 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 17624 17314 80 156 0 17467 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70496

[startup+51.1009 s]
/proc/loadavg: 3.96 3.94 3.05 5/190 16516
/proc/meminfo: memFree=13536000/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=110544 CPUtime=51.09 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 41666 0 0 0 5102 7 0 0 25 0 1 0 510053695 113197056 27302 33554432000 134512640 135151029 4294509776 18446744073709551615 134567902 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 27636 27302 80 156 0 27479 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110544

[startup+102.307 s]
/proc/loadavg: 3.98 3.95 3.09 5/190 16518
/proc/meminfo: memFree=13241720/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=134088 CPUtime=102.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 53161 0 0 0 10220 10 0 0 25 0 1 0 510053695 137306112 33209 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 33522 33209 80 156 0 33365 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 134088

[startup+162.3 s]
/proc/loadavg: 3.99 3.95 3.15 5/190 16519
/proc/meminfo: memFree=13078892/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=206396 CPUtime=162.29 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 76794 0 0 0 16216 13 0 0 25 0 1 0 510053695 211349504 51254 33554432000 134512640 135151029 4294509776 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 51599 51254 80 156 0 51442 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 206396

[startup+222.301 s]
/proc/loadavg: 4.04 3.97 3.20 5/190 16521
/proc/meminfo: memFree=12772724/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=210360 CPUtime=222.29 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 81829 0 0 0 22215 14 0 0 25 0 1 0 510053695 215408640 52273 33554432000 134512640 135151029 4294509776 18446744073709551615 134555096 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 52590 52273 80 156 0 52433 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 210360

[startup+282.301 s]
/proc/loadavg: 4.01 3.97 3.25 5/190 16523
/proc/meminfo: memFree=12614732/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=230460 CPUtime=282.29 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 91015 0 0 0 28213 16 0 0 25 0 1 0 510053695 235991040 57268 33554432000 134512640 135151029 4294509776 18446744073709551615 134554558 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 57615 57268 80 156 0 57458 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 230460

[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.29 5/190 16533
/proc/meminfo: memFree=12573124/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=273624 CPUtime=342.29 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 105981 0 0 0 34209 20 0 0 25 0 1 0 510053695 280190976 68043 33554432000 134512640 135151029 4294509776 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 68406 68043 80 156 0 68249 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 273624

[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.33 5/190 16589
/proc/meminfo: memFree=12542000/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=281180 CPUtime=402.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 110509 0 0 0 40209 21 0 0 25 0 1 0 510053695 287928320 69952 33554432000 134512640 135151029 4294509776 18446744073709551615 134556995 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 70295 69952 80 156 0 70138 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 281180

[startup+462.301 s]
/proc/loadavg: 3.40 3.81 3.32 4/184 16607
/proc/meminfo: memFree=12657188/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=281180 CPUtime=462.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 113145 0 0 0 46209 21 0 0 25 0 1 0 510053695 287928320 69969 33554432000 134512640 135151029 4294509776 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 70295 69969 80 156 0 70138 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 281180

[startup+522.3 s]
/proc/loadavg: 3.26 3.69 3.30 4/184 16612
/proc/meminfo: memFree=12652696/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=286900 CPUtime=522.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 116622 0 0 0 52208 22 0 0 25 0 1 0 510053695 293785600 71352 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 71725 71352 80 156 0 71568 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 286900

[startup+582.301 s]
/proc/loadavg: 3.13 3.57 3.29 4/184 16614
/proc/meminfo: memFree=12635064/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=582.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 121809 0 0 0 58207 23 0 0 25 0 1 0 510053695 303128576 73667 33554432000 134512640 135151029 4294509776 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73667 80 156 0 73849 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 296024

[startup+642.301 s]
/proc/loadavg: 3.09 3.48 3.27 4/184 16615
/proc/meminfo: memFree=12603548/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=642.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 124432 0 0 0 64207 23 0 0 25 0 1 0 510053695 303128576 73671 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73671 80 156 0 73849 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 296024

[startup+702.3 s]
/proc/loadavg: 3.03 3.39 3.25 4/184 16617
/proc/meminfo: memFree=12605104/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=702.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 126703 0 0 0 70206 24 0 0 25 0 1 0 510053695 303128576 73673 33554432000 134512640 135151029 4294509776 18446744073709551615 134578164 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73673 80 156 0 73849 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 296024

[startup+762.307 s]
/proc/loadavg: 3.01 3.32 3.23 4/184 16618
/proc/meminfo: memFree=12605060/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=762.31 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 128797 0 0 0 76207 24 0 0 25 0 1 0 510053695 303128576 73673 33554432000 134512640 135151029 4294509776 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73673 80 156 0 73849 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 296024

[startup+822.3 s]
/proc/loadavg: 3.00 3.26 3.22 4/184 16620
/proc/meminfo: memFree=12605056/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=822.3 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 130918 0 0 0 82206 24 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 296024

[startup+882.301 s]
/proc/loadavg: 3.00 3.21 3.20 4/184 16622
/proc/meminfo: memFree=12560356/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=882.31 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 132314 0 0 0 88206 25 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134521940 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 296024

[startup+942.301 s]
/proc/loadavg: 3.00 3.17 3.18 4/184 16623
/proc/meminfo: memFree=12547296/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=942.31 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 134059 0 0 0 94205 26 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 296024

[startup+1002.3 s]
/proc/loadavg: 3.00 3.13 3.17 4/184 16625
/proc/meminfo: memFree=12544556/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1002.31 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 136153 0 0 0 100205 26 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 296024

[startup+1062.3 s]
/proc/loadavg: 3.07 3.12 3.16 4/184 16626
/proc/meminfo: memFree=12541176/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1062.31 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 137200 0 0 0 106205 26 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134531024 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 296024

[startup+1122.3 s]
/proc/loadavg: 3.02 3.10 3.15 4/184 16628
/proc/meminfo: memFree=12520172/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1122.32 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 112205 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 296024

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

[startup+1126.3 s]
/proc/loadavg: 3.02 3.10 3.15 4/184 16628
/proc/meminfo: memFree=12520048/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1126.32 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 112605 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1126.32
Current children cumulated vsize (KiB) 296024

[startup+1151.9 s]
/proc/loadavg: 3.01 3.09 3.15 4/184 16629
/proc/meminfo: memFree=12520660/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1151.92 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 115165 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1151.92
Current children cumulated vsize (KiB) 296024

[startup+1158.31 s]
/proc/loadavg: 3.01 3.08 3.14 4/184 16629
/proc/meminfo: memFree=12522996/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1158.32 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 115805 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134552184 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1158.32
Current children cumulated vsize (KiB) 296024

[startup+1161.5 s]
/proc/loadavg: 3.09 3.10 3.15 4/184 16629
/proc/meminfo: memFree=12522872/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1161.52 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 116125 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1161.52
Current children cumulated vsize (KiB) 296024

[startup+1163.1 s]
/proc/loadavg: 3.09 3.10 3.15 4/184 16629
/proc/meminfo: memFree=12522872/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1163.12 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 116285 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1163.12
Current children cumulated vsize (KiB) 296024

[startup+1164.7 s]
/proc/loadavg: 3.09 3.10 3.15 4/184 16629
/proc/meminfo: memFree=12522872/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1164.72 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 116445 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1164.72
Current children cumulated vsize (KiB) 296024

[startup+1165.5 s]
/proc/loadavg: 3.08 3.10 3.15 4/184 16629
/proc/meminfo: memFree=12522992/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1165.52 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 116525 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1165.52
Current children cumulated vsize (KiB) 296024

[startup+1165.9 s]
/proc/loadavg: 3.08 3.10 3.15 4/184 16629
/proc/meminfo: memFree=12522992/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1165.92 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 116565 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1165.92
Current children cumulated vsize (KiB) 296024

[startup+1166.01 s]
/proc/loadavg: 3.08 3.10 3.15 4/184 16629
/proc/meminfo: memFree=12522992/32951124 swapFree=67111528/67111528
[pid=16423] ppid=16421 vsize=296024 CPUtime=1166.02 cores=0,2
/proc/16423/stat : 16423 (precosat) R 16421 16423 16199 0 -1 4202496 139294 0 0 0 116575 27 0 0 25 0 1 0 510053695 303128576 73700 33554432000 134512640 135151029 4294509776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16423/statm: 74006 73700 80 156 0 73849 0
Current children cumulated CPU time (s) 1166.02
Current children cumulated vsize (KiB) 296024

Child status: 20
Real time (s): 1166.07
CPU time (s): 1166.09
CPU user time (s): 1165.8
CPU system time (s): 0.285956
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 300216

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

runsolver used 2.05869 second user time and 4.31234 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-28 11:55:28
IDJOB=3308794
IDBENCH=82467
IDSOLVER=1690
FILE ID=node108/3308794-1303984527
RUNJOBID= node108-1303983222-16217
PBS_JOBID= 13168718
Free space on /tmp= 72104 MiB

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

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

MD5SUM BENCH= 8dae13531986e2a9bdb6559418f57130
RANDOM SEED=1510113225

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13820016 kB
Buffers:       2290652 kB
Cached:       16072748 kB
SwapCached:          0 kB
Active:       10323024 kB
Inactive:      8227148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13820016 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           19108 kB
Writeback:           0 kB
AnonPages:      186128 kB
Mapped:          15932 kB
Slab:           518184 kB
PageTables:       5008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   355988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72100 MiB
End job on node108 at 2011-04-28 12:14:54