Trace number 3365819

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 1004.3 1004.31

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
MD5SUM9059f458d76edcc4dc5681746a6de6e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark245.654
Satisfiable
(Un)Satisfiability was proved
Number of variables88352
Number of clauses262658
Sum of the clauses size612866
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2175104
Number of clauses of size 387552
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.01	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.01	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.01	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.01	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.01	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.01	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.01	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.01	c
0.00/0.01	c reading HOME/instance-3365819-1305318590.cnf
0.00/0.01	c found header 'p cnf 88352 262658'
0.18/0.21	c finished parsing
0.18/0.21	c
0.18/0.21	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.18/0.21	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.18/0.21	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.18/0.21	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.18/0.21	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.18/0.21	c --random=1 --spread=2000 --seed=0 --skip=25
0.18/0.21	c
0.18/0.21	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.18/0.21	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.18/0.21	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.18/0.21	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.18/0.21	c
0.18/0.21	c starting search after 0.2 seconds
0.18/0.21	c no decision limit
0.18/0.21	c
0.18/0.21	c       original/binary      fixed     eliminated      learned       agility
0.18/0.21	c   seconds        variables     equivalent    conflicts       height       MB
0.18/0.21	c
0.18/0.21	c *    0.2   262656   88350      2     0      0       0      0    0.0   0   23
2.19/2.27	c s    2.3   129787   20235    172    93  67852       0      0    0.0   0   18
2.19/2.27	c l    2.3   129787   20235    172    93  67852       0 106304    0.0   0   18
2.28/2.31	c R    2.3   129952   20227    178    95  67852     100     99  674.4   7   19
2.28/2.33	c R    2.3   130021   20217    178   105  67852     200    178  442.6   5   19
2.48/2.50	c B    2.5   130838   20191    192   117  67852    1001    930  403.0   9   20
2.88/2.94	c B    2.9   162739   19532    662   306  67852    2002   1918  371.7   4   22
3.29/3.34	c R    3.3   172500   19431    728   341  67852    3529   3406  350.6   9   23
3.98/4.06	c s    4.1   165775   19394    753   353  67852    6053   5817  330.7   4   22
3.98/4.06	c -    4.1   165775   19394    753   353  67852    6053 102052  330.7   4   22
4.48/4.59	c B    4.6   168432   19370    764   366  67852    8003   7745  345.2  10   23
4.98/5.06	c R    5.1   170379   19353    770   377  67852   10486  10214  347.0  10   24
5.88/5.91	c R    5.9   177446   19332    779   389  67852   14503  14212  341.6  12   26
6.89/6.95	c s    6.9   166165   18612    783   395  68562   16401  12563  337.0   9   21
8.70/8.74	c B    8.7   224674   18577    801   412  68562   24007  20116  339.7  13   28
9.98/10.04	c s   10.0   275488   18546    825   419  68562   27031  22991  331.9   7   31
13.09/13.18	c R   13.2   301411   18492    862   436  68562   39337  35245  318.6   4   39
15.29/15.38	c s   15.4   202078   18387    876   436  68653   45092  28176  319.9   7   25
19.08/19.11	c s   19.1   258496   18325    916   456  68655   59224  42114  312.6   7   33
19.58/19.61	c
19.58/19.61	c       original/binary      fixed     eliminated      learned       agility
19.58/19.61	c   seconds        variables     equivalent    conflicts       height       MB
19.58/19.61	c
19.58/19.61	c R   19.6   259725   18320    921   456  68655   61777  44665  313.3  11   36
20.08/20.17	c B   20.2   261078   18310    931   456  68655   64014  46899  313.7   7   37
23.78/23.84	c s   23.8   291475   18301    936   460  68655   75749  58568  308.7   9   41
30.08/30.18	c s   30.2   219047   18204    945   475  68728   95844  57577  295.7   8   32
31.79/31.86	c +   31.9   219182   18203    945   476  68728  102054 112257  295.2  13   36
34.88/34.94	c s   34.9   221576   18187    952   483  68730  111728  72956  293.3  10   38
39.59/39.68	c +   39.7   222967   18184    952   486  68730  127566 123482  287.4   6   48
40.37/40.49	c s   40.5   222948   18184    952   486  68730  128160  89362  286.8   5   45
46.68/46.76	c s   46.8   225471   18127    966   501  68758  144802  92507  279.7  14   35
51.38/51.49	c +   51.5   236206   18124    968   502  68758  159457 135830  273.6   8   47
51.69/51.71	c B   51.7   236225   18124    968   502  68758  160031 107726  273.5   4   48
52.68/52.71	c s   52.7   235533   18122    968   502  68760  161176 103848  273.1  17   43
59.29/59.36	c s   59.4   236739   18116    971   505  68760  180117 122756  273.3  11   56
65.89/65.98	c +   66.0   239052   18102    979   511  68760  199321 149413  268.1   8   69
67.09/67.17	c s   67.2   210369   18086    979   512  68775  199963 125220  268.0   0   45
74.48/74.59	c s   74.6   213426   18080    982   515  68775  218317 143539  262.9   4   55
82.67/82.76	c s   82.8   214643   18070    987   520  68775  237824 150023  259.2   6   66
87.38/87.43	c +   87.4   214906   18067    988   522  68775  249150 164354  255.5  11   75
91.38/91.41	c s   91.4   215271   18048    991   527  68786  257432 141008  254.4   7   48
99.38/99.41	c
99.38/99.41	c       original/binary      fixed     eliminated      learned       agility
99.38/99.41	c   seconds        variables     equivalent    conflicts       height       MB
99.38/99.41	c
99.38/99.41	c s   99.4   215551   18044    993   529  68786  277956 161508  253.2   5   59
103.48/103.57	c R  103.6   216041   18044    993   529  68786  287924 165129  250.8   5   68
108.47/108.52	c s  108.5   216319   18042    995   529  68786  298208 165759  248.7  12   69
114.29/114.37	c +  114.4   223602   18013   1009   544  68786  311437 180789  246.4   9   80
117.98/118.00	c s  118.0   220652   17971   1014   563  68804  316400 168944  245.9  12   77
127.78/127.89	c s  127.9   223899   17953   1022   573  68804  335672 181079  242.9  13   85
137.68/137.74	c s  137.7   224574   17952   1022   574  68804  355862 181488  239.7  13   91
147.98/148.08	c s  148.1   224410   17940   1022   576  68814  380008 181052  237.6   2   98
149.98/150.05	c B  150.0   224559   17939   1022   577  68814  384078 181425  237.3  10  103
152.08/152.14	c +  152.1   224687   17938   1023   577  68814  389295 198867  237.9  14  105
158.17/158.30	c s  158.3   224923   17937   1024   577  68814  399955 192901  236.4   7  106
168.88/168.93	c s  168.9   225219   17936   1024   578  68814  421305 199200  234.2   3  110
178.98/179.04	c s  179.0   225387   17936   1024   578  68814  444257 200073  232.8   5  111
191.48/191.59	c s  191.6   225856   17929   1024   583  68816  464542 199441  230.7  10  113
203.87/203.90	c s  203.9   214109   17828   1076   612  68836  485982 198191  228.2   4  115
204.17/204.28	c +  204.3   214109   17828   1076   612  68836  486615 218753  228.2  14  118
216.28/216.30	c s  216.3   224330   17759   1107   650  68836  506212 218304  225.3   9  130
228.38/228.49	c s  228.5   223113   17652   1127   671  68902  526840 202881  224.0   4  116
242.08/242.17	c s  242.2   224064   17642   1129   676  68905  549381 214046  221.0   1  122
255.48/255.58	c
255.48/255.58	c       original/binary      fixed     eliminated      learned       agility
255.48/255.58	c   seconds        variables     equivalent    conflicts       height       MB
255.48/255.58	c
255.48/255.58	c s  255.6   224973   17634   1132   677  68909  569788 219561  219.3  11  128
268.48/268.50	c s  268.5   225833   17630   1134   679  68909  591363 219318  217.2  11  127
271.59/271.68	c R  271.7   225850   17628   1134   681  68909  598598 220155  216.6  12  134
276.18/276.29	c +  276.3   226983   17628   1134   681  68909  608265 240628  215.7  11  135
282.08/282.16	c s  282.2   227346   17620   1136   681  68915  615678 227216  214.9  12  133
295.99/296.01	c s  296.0   227194   17612   1142   683  68915  637793 241229  213.3   6  145
311.58/311.61	c s  311.6   227641   17602   1144   683  68923  659051 241620  211.9   8  144
327.39/327.49	c s  327.5   228369   17600   1145   684  68923  681951 241337  210.1  10  146
342.78/342.81	c s  342.8   228524   17596   1145   686  68925  701836 240875  208.7   6  146
358.08/358.17	c s  358.2   228583   17596   1145   686  68925  726299 243122  208.8  11  151
372.99/373.02	c s  373.0   228721   17596   1145   686  68925  746944 241296  207.0   8  149
381.78/381.83	c +  381.8   233702   17492   1246   689  68925  760330 264690  205.7   6  156
388.68/388.78	c s  388.8   222382   17397   1258   703  68994  767583 246476  205.1   4  151
388.68/388.78	c -  388.8   222382   17397   1258   703  68994  767583 262044  205.1   4  151
403.88/403.99	c s  404.0   227480   17320   1294   741  68997  788804 257478  203.8   6  158
418.78/418.88	c s  418.9   230145   17259   1315   755  69023  812980 254646  202.1   8  154
433.40/433.46	c s  433.5   230885   17254   1319   756  69023  833880 263215  201.0   9  158
449.08/449.12	c s  449.1   230828   17240   1323   757  69032  862358 261211  200.3  13  163
464.89/464.91	c s  464.9   231534   17239   1323   758  69032  884952 262846  199.0   7  160
471.59/471.67	c
471.59/471.67	c       original/binary      fixed     eliminated      learned       agility
471.59/471.67	c   seconds        variables     equivalent    conflicts       height       MB
471.59/471.67	c
471.59/471.67	c B  471.7   231707   17238   1324   758  69032  896216 263005  198.3  11  165
480.39/480.42	c s  480.4   231564   17235   1324   759  69034  908053 261805  197.5  10  157
496.10/496.15	c s  496.1   231772   17233   1324   761  69034  930352 262738  195.7   5  158
502.88/502.90	c +  502.9   247051   17227   1325   766  69034  940907 288248  194.9  11  165
511.59/511.67	c s  511.7   246774   17223   1325   767  69037  951352 273663  194.4   5  165
527.78/527.80	c s  527.8   261729   17219   1327   769  69037  979012 288901  193.8   8  177
544.59/544.62	c s  544.6   261840   17219   1327   769  69037 1005787 288827  192.5   7  178
564.38/564.46	c s  564.5   261728   17206   1332   773  69041 1029416 287222  191.2   8  174
584.58/584.60	c s  584.6   263466   17194   1338   778  69042 1053871 288359  190.0  11  166
605.18/605.26	c s  605.3   263207   17176   1348   781  69047 1077755 288490  188.4   4  165
622.88/622.93	c s  622.9   267112   17173   1350   782  69047 1101005 288703  187.3   3  162
643.27/643.37	c s  643.4   267780   17161   1359   785  69047 1125269 288167  186.0   9  161
663.88/663.94	c s  663.9   268741   17150   1366   789  69047 1150032 288437  184.5   7  154
684.38/684.47	c s  684.5   269508   17136   1373   793  69050 1174812 288815  182.8  12  150
685.29/685.38	c +  685.4   269644   17136   1373   793  69050 1176131 317072  182.8   8  155
703.48/703.50	c s  703.5   262587   17085   1400   796  69071 1198742 295330  181.7   6  152
723.58/723.66	c s  723.7   265460   17018   1423   814  69097 1222595 312172  180.3  11  159
745.99/746.08	c s  746.1   275619   16871   1521   820  69140 1249490 309036  178.8  11  159
745.99/746.08	c -  746.1   275619   16871   1521   820  69140 1249490 313902  178.8  11  159
767.80/767.84	c
767.80/767.84	c       original/binary      fixed     eliminated      learned       agility
767.80/767.84	c   seconds        variables     equivalent    conflicts       height       MB
767.80/767.84	c
767.80/767.84	c s  767.8   284329   16599   1647   840  69266 1274887 270451  177.4  10  106
767.80/767.84	c -  767.8   284329   16599   1647   840  69266 1274887 310763  177.4  10  106
785.68/785.71	c s  785.7   299789   16533   1690   863  69266 1302229 297593  176.2  12  122
806.08/806.18	c s  806.2   303292   16466   1705   885  69296 1328879 309610  175.0   9  132
828.58/828.60	c s  828.6   307500   16444   1722   890  69296 1355384 311029  173.7  11  136
849.98/850.07	c s  850.1   308863   16422   1729   894  69307 1383096 287269  172.5   4  124
870.79/870.87	c s  870.9   304496   16400   1745   900  69307 1411335 309867  171.2  10  137
891.99/892.05	c s  892.0   304438   16359   1755   913  69325 1438758 294622  169.9  10  122
893.48/893.53	c +  893.5   304526   16359   1755   913  69325 1440906 341839  169.8  10  127
914.10/914.15	c s  914.2   303404   16352   1759   916  69325 1468686 324532  168.6  10  140
940.49/940.51	c s  940.5   280816   15165   2487  1081  69619 1496751 164256  167.3   9   58
940.49/940.51	c -  940.5   280816   15165   2487  1081  69619 1496751 317911  167.3   9   58
952.19/952.27	c s  952.3   285933   15102   2537  1094  69619 1518880 185468  166.2  12   68
965.18/965.27	c s  965.3   192389   11968   4562  1402  70420 1539745 152843  165.2  13   50
965.18/965.27	c -  965.3   192389   11968   4562  1402  70420 1539745 254329  165.2  13   50
965.18/965.27	c +  965.3   192389   11968   4562  1402  70420 1539745 279761  165.2  13   50
974.60/974.65	c s  974.7   193020   11857   4643  1432  70420 1556859 168828  164.4  11   57
974.60/974.65	c -  974.7   193020   11857   4643  1432  70420 1556859 276964  164.4  11   57
985.19/985.24	c s  985.2   194851   11614   4720  1487  70531 1574492 167573  163.6  13   54
985.19/985.24	c
985.19/985.24	c       original/binary      fixed     eliminated      learned       agility
985.19/985.24	c   seconds        variables     equivalent    conflicts       height       MB
985.19/985.24	c
985.19/985.24	c -  985.2   194851   11614   4720  1487  70531 1574492 274195  163.6  13   54
995.29/995.34	c s  995.3   196027   11551   4769  1500  70532 1592137 183398  162.8  11   59
1004.20/1004.29	c 0 1004.3   302189    1756  13553  2511  70532 1610261 201431  162.0  12   74
1004.20/1004.29	c
1004.20/1004.29	s UNSATISFIABLE
1004.20/1004.29	c
1004.20/1004.29	c 1610261 conflicts, 5383165 decisions, 1941 random
1004.20/1004.29	c 61 iterations, 4610 restarts, 0 skipped
1004.20/1004.29	c 14 enlarged, 5250 shrunken, 15749 rescored, 442 rebiased
1004.20/1004.29	c 75 simplifications, 0 reductions
1004.20/1004.29	c
1004.20/1004.29	c vars: 13553 fixed, 2511 equiv, 70532 elim, 3448 merged
1004.20/1004.29	c elim: 19370805 resolutions, 71 phases, 32 rounds
1004.20/1004.29	c sbst: 81% substituted, 0.7% nots, 92.1% ands, 1.2% xors, 6.0% ites
1004.20/1004.29	c arty: 2.06 and 2.00 xor average arity
1004.20/1004.29	c prbe: 1960233 probed, 1176 phases, 57 rounds
1004.20/1004.29	c prbe: 1829 failed, 2351 lifted, 607 merged
1004.20/1004.29	c sccs: 15 non trivial, 0 fixed, 73 merged
1004.20/1004.29	c hash: 590 units, 2768 merged
1004.20/1004.29	c mins: 231447508 learned, 39% deleted, 1478 strong, 234 depth
1004.20/1004.29	c subs: 70896 forward, 27178 backward, 108896 doms
1004.20/1004.29	c strs: 15256 forward, 1356 backward
1004.20/1004.29	c doms: 143351 dominators, 94320 high, 1011 low
1004.20/1004.29	c prps: 1329026109 propagations, 1.32 megaprops
1004.20/1004.29	c
1004.20/1004.29	c 1004.3 seconds, 188 MB max, 927 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: 961)

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-3365819-1305318590/watcher-3365819-1305318590 -o /tmp/evaluation-result-3365819-1305318590/solver-3365819-1305318590 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365819-1305318590.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/349 30161
/proc/meminfo: memFree=24396592/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=4844 CPUtime=0 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 1062 0 0 0 0 0 0 0 25 0 1 0 643461658 4960256 1019 33554432000 134512640 135151029 4289564416 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30161/statm: 1211 1020 60 156 0 1054 0

[startup+0.041814 s]
/proc/loadavg: 2.00 2.00 1.91 3/349 30161
/proc/meminfo: memFree=24396592/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=11380 CPUtime=0.03 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 2748 0 0 0 3 0 0 0 25 0 1 0 643461658 11653120 2672 33554432000 134512640 135151029 4289564416 18446744073709551615 134647378 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 2845 2673 64 156 0 2688 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11380

[startup+0.100839 s]
/proc/loadavg: 2.00 2.00 1.91 3/349 30161
/proc/meminfo: memFree=24396592/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=17296 CPUtime=0.09 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 4421 0 0 0 9 0 0 0 25 0 1 0 643461658 17711104 4151 33554432000 134512640 135151029 4289564416 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 4324 4152 64 156 0 4167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17296

[startup+0.300812 s]
/proc/loadavg: 2.00 2.00 1.91 3/349 30161
/proc/meminfo: memFree=24396592/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=29372 CPUtime=0.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 7676 0 0 0 28 0 0 0 25 0 1 0 643461658 30076928 7148 33554432000 134512640 135151029 4289564416 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 7343 7148 80 156 0 7186 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29372

[startup+0.700745 s]
/proc/loadavg: 2.00 2.00 1.91 3/349 30161
/proc/meminfo: memFree=24396592/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=39924 CPUtime=0.68 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 12525 0 0 0 67 1 0 0 25 0 1 0 643461658 40882176 9761 33554432000 134512640 135151029 4289564416 18446744073709551615 134519079 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 9981 9761 80 156 0 9824 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 39924

[startup+1.50059 s]
/proc/loadavg: 2.00 2.00 1.91 3/350 30162
/proc/meminfo: memFree=24355920/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=44020 CPUtime=1.48 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 13381 0 0 0 147 1 0 0 25 0 1 0 643461658 45076480 10617 33554432000 134512640 135151029 4289564416 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 11005 10617 80 156 0 10848 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44020

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.91 3/350 30162
/proc/meminfo: memFree=24352076/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=38548 CPUtime=3.08 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 13808 0 0 0 307 1 0 0 25 0 1 0 643461658 39473152 9295 33554432000 134512640 135151029 4289564416 18446744073709551615 134567832 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 9637 9295 80 156 0 9480 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38548

[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 1.91 3/350 30162
/proc/meminfo: memFree=24357352/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=40576 CPUtime=6.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 15179 0 0 0 627 1 0 0 25 0 1 0 643461658 41549824 9805 33554432000 134512640 135151029 4289564416 18446744073709551615 134531808 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 10144 9805 80 156 0 9987 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40576

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.91 3/350 30162
/proc/meminfo: memFree=24352780/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=44468 CPUtime=12.68 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 21931 0 0 0 1266 2 0 0 25 0 1 0 643461658 45535232 10786 33554432000 134512640 135151029 4289564416 18446744073709551615 134554911 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/30161/statm: 11117 10786 80 156 0 10960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44468

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/350 30163
/proc/meminfo: memFree=24343100/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=52048 CPUtime=25.48 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 30828 0 0 0 2544 4 0 0 25 0 1 0 643461658 53297152 12679 33554432000 134512640 135151029 4289564416 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 13012 12679 80 156 0 12855 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52048

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.91 3/350 30163
/proc/meminfo: memFree=24269112/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=65616 CPUtime=51.08 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 44253 0 0 0 5102 6 0 0 25 0 1 0 643461658 67190784 16073 33554432000 134512640 135151029 4289564416 18446744073709551615 134554799 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 16404 16073 80 156 0 16247 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65616

[startup+102.313 s]
/proc/loadavg: 2.00 2.00 1.91 3/350 30165
/proc/meminfo: memFree=24199028/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=87268 CPUtime=102.29 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 66502 0 0 0 10219 10 0 0 25 0 1 0 643461658 89362432 21483 33554432000 134512640 135151029 4289564416 18446744073709551615 134520448 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 21817 21483 80 156 0 21660 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 87268

[startup+162.301 s]
/proc/loadavg: 2.07 2.03 1.92 3/350 30166
/proc/meminfo: memFree=24229488/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=123720 CPUtime=162.27 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 87077 0 0 0 16214 13 0 0 25 0 1 0 643461658 126689280 30595 33554432000 134512640 135151029 4289564416 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 30930 30595 80 156 0 30773 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 123720

[startup+222.301 s]
/proc/loadavg: 2.06 2.03 1.93 3/350 30168
/proc/meminfo: memFree=24091452/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=145620 CPUtime=222.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 101910 0 0 0 22212 16 0 0 25 0 1 0 643461658 149114880 36072 33554432000 134512640 135151029 4289564416 18446744073709551615 134574816 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 36405 36072 80 156 0 36248 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 145620

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 1.93 3/350 30170
/proc/meminfo: memFree=24219260/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=149812 CPUtime=282.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 113728 0 0 0 28211 17 0 0 25 0 1 0 643461658 153407488 37110 33554432000 134512640 135151029 4289564416 18446744073709551615 134578155 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 37453 37110 80 156 0 37296 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 149812

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/350 30171
/proc/meminfo: memFree=23998624/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=164336 CPUtime=342.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 125848 0 0 0 34208 20 0 0 25 0 1 0 643461658 168280064 40735 33554432000 134512640 135151029 4289564416 18446744073709551615 134522076 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 41084 40735 80 156 0 40927 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 164336

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/350 30173
/proc/meminfo: memFree=23914272/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=181552 CPUtime=402.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 135913 0 0 0 40206 22 0 0 25 0 1 0 643461658 185909248 45024 33554432000 134512640 135151029 4289564416 18446744073709551615 134521885 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 45388 45024 80 156 0 45231 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 181552

[startup+462.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/350 30174
/proc/meminfo: memFree=23909664/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=185360 CPUtime=462.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 144889 0 0 0 46205 23 0 0 25 0 1 0 643461658 189808640 45979 33554432000 134512640 135151029 4289564416 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 46340 45979 80 156 0 46183 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 185360

[startup+522.301 s]
/proc/loadavg: 2.02 2.02 1.93 3/350 30176
/proc/meminfo: memFree=23867956/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=197712 CPUtime=522.29 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 157124 0 0 0 52203 26 0 0 25 0 1 0 643461658 202457088 49032 33554432000 134512640 135151029 4289564416 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49428 49032 80 156 0 49271 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 197712

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/350 30205
/proc/meminfo: memFree=26232072/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199096 CPUtime=582.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 165148 0 0 0 58199 29 0 0 25 0 1 0 643461658 203874304 49447 33554432000 134512640 135151029 4289564416 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49774 49447 80 156 0 49617 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 199096

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/350 30206
/proc/meminfo: memFree=26210552/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=201196 CPUtime=642.29 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 176977 0 0 0 64198 31 0 0 25 0 1 0 643461658 206024704 49972 33554432000 134512640 135151029 4289564416 18446744073709551615 134564425 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 50299 49972 80 156 0 50142 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 201196

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/350 30208
/proc/meminfo: memFree=26201712/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=201196 CPUtime=702.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 186523 0 0 0 70195 33 0 0 25 0 1 0 643461658 206024704 49972 33554432000 134512640 135151029 4289564416 18446744073709551615 134572452 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 50299 49972 80 156 0 50142 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 201196

[startup+762.313 s]
/proc/loadavg: 2.00 2.00 1.93 3/350 30209
/proc/meminfo: memFree=26185156/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=762.3 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 193852 0 0 0 76196 34 0 0 25 0 1 0 643461658 203862016 49441 33554432000 134512640 135151029 4289564416 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49441 80 156 0 49614 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 199084

[startup+822.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/350 30211
/proc/meminfo: memFree=26169968/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=822.29 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 203400 0 0 0 82194 35 0 0 25 0 1 0 643461658 203862016 49443 33554432000 134512640 135151029 4289564416 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49443 80 156 0 49614 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 199084

[startup+882.301 s]
/proc/loadavg: 2.07 2.02 1.94 3/350 30213
/proc/meminfo: memFree=26162984/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=882.29 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 212946 0 0 0 88193 36 0 0 25 0 1 0 643461658 203862016 49443 33554432000 134512640 135151029 4289564416 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49443 80 156 0 49614 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 199084

[startup+942.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/350 30241
/proc/meminfo: memFree=26260176/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=942.28 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 222648 0 0 0 94191 37 0 0 25 0 1 0 643461658 203862016 49445 33554432000 134512640 135151029 4289564416 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49445 80 156 0 49614 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 199084

[startup+1002.3 s]
/proc/loadavg: 2.08 2.03 1.95 3/350 30243
/proc/meminfo: memFree=26235328/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=198060 CPUtime=1002.29 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 234459 0 0 0 100190 39 0 0 25 0 1 0 643461658 202813440 49194 33554432000 134512640 135151029 4289564416 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49515 49194 80 156 0 49358 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 198060

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

[startup+1003.1 s]
/proc/loadavg: 2.07 2.03 1.95 3/350 30243
/proc/meminfo: memFree=26233840/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=1003.1 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 234972 0 0 0 100271 39 0 0 25 0 1 0 643461658 203862016 49450 33554432000 134512640 135151029 4289564416 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49450 80 156 0 49614 0
Current children cumulated CPU time (s) 1003.1
Current children cumulated vsize (KiB) 199084

[startup+1003.9 s]
/proc/loadavg: 2.07 2.03 1.95 3/350 30243
/proc/meminfo: memFree=26233840/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=1003.89 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 234972 0 0 0 100350 39 0 0 25 0 1 0 643461658 203862016 49450 33554432000 134512640 135151029 4289564416 18446744073709551615 134552184 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49450 80 156 0 49614 0
Current children cumulated CPU time (s) 1003.89
Current children cumulated vsize (KiB) 199084

[startup+1004.1 s]
/proc/loadavg: 2.07 2.03 1.95 3/350 30243
/proc/meminfo: memFree=26233840/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=1004.09 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 234972 0 0 0 100370 39 0 0 25 0 1 0 643461658 203862016 49450 33554432000 134512640 135151029 4289564416 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49450 80 156 0 49614 0
Current children cumulated CPU time (s) 1004.09
Current children cumulated vsize (KiB) 199084

[startup+1004.2 s]
/proc/loadavg: 2.07 2.03 1.95 3/350 30243
/proc/meminfo: memFree=26233216/32951124 swapFree=53501236/67111528
[pid=30161] ppid=30159 vsize=199084 CPUtime=1004.2 cores=0,2,4,6
/proc/30161/stat : 30161 (precosat) R 30159 30161 29726 0 -1 4202496 234972 0 0 0 100381 39 0 0 25 0 1 0 643461658 203862016 49450 33554432000 134512640 135151029 4289564416 18446744073709551615 134554596 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/30161/statm: 49771 49450 80 156 0 49614 0
Current children cumulated CPU time (s) 1004.2
Current children cumulated vsize (KiB) 199084

Child status: 20
Real time (s): 1004.31
CPU time (s): 1004.3
CPU user time (s): 1003.9
CPU system time (s): 0.403938
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 201196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1003.9
system time used= 0.403938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2914

runsolver used 3.51047 second user time and 7.46186 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-13 22:29:50
IDJOB=3365819
IDBENCH=82469
IDSOLVER=1843
FILE ID=node103/3365819-1305318590
RUNJOBID= node103-1305315334-29744
PBS_JOBID= 13324329
Free space on /tmp= 48248 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365819-1305318590/watcher-3365819-1305318590 -o /tmp/evaluation-result-3365819-1305318590/solver-3365819-1305318590 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365819-1305318590.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9059f458d76edcc4dc5681746a6de6e5
RANDOM SEED=753077775

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24396748 kB
Buffers:        249592 kB
Cached:        3795324 kB
SwapCached:     340160 kB
Active:        3389164 kB
Inactive:      4894460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24396748 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            5100 kB
Writeback:          28 kB
AnonPages:     3909304 kB
Mapped:          11224 kB
Slab:           149644 kB
PageTables:      56864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 80297412 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= 48412 MiB
End job on node103 at 2011-05-13 22:46:35