Trace number 3308371

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/crypto/
mizh-sha0-36-2.cnf
MD5SUM82bf685774b76ba263c886940c3aa94d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.3281
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210239
Sum of the clauses size628391
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286996
Number of clauses of size 338042
Number of clauses of size 485024
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-3308371-1303983199.cnf
0.00/0.00	c found header 'p cnf 50073 210239'
0.09/0.13	c finished parsing
0.09/0.13	c
0.09/0.13	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.13	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.13	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.13	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.13	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.13	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.13	c
0.09/0.13	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.09/0.13	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.13	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.13	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.13	c
0.09/0.13	c starting search after 0.1 seconds
0.09/0.13	c no decision limit
0.09/0.13	c
0.09/0.13	c       original/binary      fixed     eliminated      learned       agility
0.09/0.13	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.13	c
0.09/0.13	c *    0.1   180234   39184   4496  6393      0       0      0    0.0   0   15
0.69/0.76	c s    0.8   118028   17249   4814  8121  19889       0      0    0.0   0   12
0.69/0.76	c l    0.8   118028   17249   4814  8121  19889       0 111437    0.0   0   12
0.69/0.77	c R    0.8   118036   17248   4814  8122  19889     100     99   38.6  11   12
0.69/0.77	c R    0.8   118042   17247   4814  8123  19889     201    199   41.8  18   12
0.69/0.78	c N    0.8   118101   17241   4814  8129  19889     806    793   41.7  26   12
0.69/0.78	c B    0.8   118101   17241   4814  8129  19889    1001    988   43.4  32   12
0.79/0.81	c B    0.8   118180   17234   4815  8135  19889    2002   1981   66.8  21   12
0.89/0.95	c B    1.0   120073   17165   4844  8175  19889    8005   7896  103.7  28   13
0.89/0.99	c N    1.0   120521   17160   4846  8178  19889    9875   9760   98.5  26   13
1.39/1.42	c B    1.4   135694   16833   5036  8315  19889   24011  23725   92.4  28   16
3.30/3.34	c s    3.3   165794   15704   5553  8927  19889   60985  29862  106.4  23   17
3.30/3.34	c -    3.3   165794   15704   5553  8927  19889   60985 103637  106.4  23   17
3.49/3.51	c B    3.5   167007   15675   5561  8948  19889   64020  32863  109.5  27   18
6.19/6.21	c R    6.2   204131   15242   5701  9241  19889  100375  68929  136.8  21   25
6.50/6.50	c +    6.5   209366   15233   5705  9246  19889  103637 114000  140.6  14   26
7.89/7.97	c s    8.0   120231   14877   5713  9289  20194  112820  53034  147.7  18   17
7.89/7.97	c -    8.0   120231   14877   5713  9289  20194  112820 109440  147.7  18   17
10.19/10.24	c +   10.2   121538   14843   5722  9314  20194  124364 120384  154.0  26   25
11.49/11.50	c
11.49/11.50	c       original/binary      fixed     eliminated      learned       agility
11.49/11.50	c   seconds        variables     equivalent    conflicts       height       MB
11.49/11.50	c
11.49/11.50	c s   11.5   123057   14811   5730  9338  20194  130603  65100  157.8  37   23
13.09/13.20	c N   13.2   124468   14795   5733  9351  20194  141337  75799  165.4  30   28
15.79/15.83	c s   15.8   119817   14751   5734  9363  20225  152057  82552  169.4  20   27
16.50/16.53	c +   16.5   119837   14748   5734  9366  20225  155456 132422  171.0  26   31
17.89/17.92	c B   17.9   119840   14748   5734  9366  20225  160032  90520  172.3  41   34
18.49/18.53	c N   18.5   119872   14735   5734  9379  20225  163783  94239  173.2  28   36
19.99/20.04	c s   20.0   119840   14735   5734  9379  20225  167454  97853  174.1  30   35
25.59/25.60	c s   25.6   119491   14682   5745  9415  20231  183454 107760  179.4  22   38
29.70/29.75	c +   29.7   119494   14681   5745  9416  20231  194322 145664  182.0  20   50
31.69/31.79	c s   31.8   119524   14674   5746  9422  20231  198157 122089  183.1  31   48
39.39/39.41	c s   39.4   119440   14636   5753  9443  20241  220152 137974  190.0  31   53
46.88/46.90	c s   46.9   119442   14632   5753  9447  20241  237266 153084  194.1  36   66
49.09/49.19	c +   49.2   119447   14632   5753  9447  20241  242900 160230  195.0  34   72
55.29/55.36	c s   55.4   119415   14631   5753  9448  20241  257723 161259  197.5  32   75
64.29/64.33	c s   64.3   119369   14624   5754  9454  20241  278589 160905  200.0  26   84
73.09/73.14	c s   73.1   119205   14609   5755  9460  20249  302129 158470  202.7  37   83
73.59/73.62	c +   73.6   119207   14609   5755  9460  20249  303626 176253  202.9  32   87
83.09/83.12	c s   83.1   119230   14608   5755  9461  20249  324839 177181  205.3  30   93
92.19/92.22	c s   92.2   119191   14604   5756  9463  20250  344567 176543  207.0  37   96
101.40/101.48	c
101.40/101.48	c       original/binary      fixed     eliminated      learned       agility
101.40/101.48	c   seconds        variables     equivalent    conflicts       height       MB
101.40/101.48	c
101.40/101.48	c s  101.5   119193   14603   5756  9464  20250  366033 177281  209.4  32  102
107.10/107.18	c +  107.2   119197   14602   5756  9465  20250  379533 193878  210.8  37  111
109.49/109.51	c B  109.5   119197   14602   5756  9465  20250  384082 186118  211.0  33  115
111.19/111.20	c s  111.2   119158   14602   5756  9465  20250  384630 186666  211.1  32  110
121.29/121.39	c s  121.4   119163   14601   5756  9466  20250  406081 196294  213.2  39  118
124.30/124.37	c R  124.4   119168   14600   5756  9467  20250  414728 194941  214.1  22  123
132.19/132.21	c s  132.2   119145   14599   5756  9468  20250  427452 197373  215.2  38  123
159.80/159.89	c +  159.9   119145   14599   5756  9468  20250  474416 213265  219.2  37  156
202.50/202.51	c s  202.5   119146   14599   5756  9468  20250  519438 267972  222.9  32  199
207.00/207.01	c N  207.0   119147   14599   5756  9468  20250  530087 249301  223.6  32  196
218.40/218.41	c s  218.4   119048   14587   5760  9473  20253  545263 241167  224.7  34  183
233.50/233.57	c s  233.6   119977   14581   5761  9478  20253  570949 214163  225.8  34  164
242.20/242.26	c +  242.3   119978   14580   5761  9479  20253  593020 234591  227.0  36  168
246.20/246.23	c s  246.2   119005   14580   5761  9479  20253  599451 220820  227.4  25  165
259.90/259.91	c s  259.9   119008   14579   5761  9480  20253  622857 235786  228.0  39  175
273.80/273.83	c s  273.8   119009   14579   5761  9480  20253  648098 235683  229.6  35  171
289.50/289.53	c s  289.5   118997   14572   5762  9484  20255  676596 235498  231.3  35  156
303.50/303.58	c s  303.6   118997   14569   5762  9487  20255  701664 235796  232.1  35  146
316.00/316.04	c s  316.1   118999   14569   5762  9487  20255  725226 235622  232.7  30  143
324.80/324.81	c
324.80/324.81	c       original/binary      fixed     eliminated      learned       agility
324.80/324.81	c   seconds        variables     equivalent    conflicts       height       MB
324.80/324.81	c
324.80/324.81	c +  324.8   119001   14569   5762  9487  20255  741275 258050  233.3  29  150
330.80/330.86	c s  330.9   118980   14568   5762  9488  20255  748632 243009  233.7  36  148
346.10/346.14	c s  346.2   118981   14568   5762  9488  20255  773321 259104  234.6  25  157
361.20/361.23	c s  361.2   118986   14568   5762  9488  20255  800830 270386  235.2  38  166
376.11/376.14	c s  376.2   118988   14568   5762  9488  20255  824928 259190  235.8  29  161
415.40/415.45	c B  415.5   118988   14568   5762  9488  20255  896175 300631  238.9  35  213
434.11/434.13	c +  434.2   118988   14568   5762  9488  20255  926590 283855  240.1  35  225
440.02/440.03	c s  440.1   118989   14568   5762  9488  20255  936015 316810  240.5  22  222
455.21/455.23	c s  455.3   118983   14566   5762  9490  20255  970831 290655  242.4  36  208
511.31/511.36	c s  511.4   118984   14566   5762  9490  20255 1057221 291859  245.2  19  230
532.72/532.77	c s  532.8   118978   14565   5762  9491  20255 1083061 285142  245.6  29  226
551.51/551.59	c s  551.6   118983   14565   5762  9491  20255 1110066 285045  246.7  27  221
567.71/567.71	c N  567.7   118985   14565   5762  9491  20255 1135893 285104  247.1  41  224
569.31/569.36	c s  569.4   118985   14565   5762  9491  20255 1136287 285090  247.1  35  216
584.22/584.28	c +  584.3   118986   14564   5762  9492  20255 1158235 312240  247.5  33  223
589.52/589.52	c s  589.5   118973   14564   5762  9492  20255 1162502 289200  247.5  36  217
605.81/605.87	c s  605.9   118979   14564   5762  9492  20255 1188851 313318  246.9  39  234
624.62/624.65	c s  624.7   118980   14564   5762  9492  20255 1218174 313480  247.8  32  238
647.92/647.91	c s  647.9   118990   14563   5762  9493  20255 1249822 313375  248.2  37  238
690.32/690.38	c
690.32/690.38	c       original/binary      fixed     eliminated      learned       agility
690.32/690.38	c   seconds        variables     equivalent    conflicts       height       MB
690.32/690.38	c
690.32/690.38	c s  690.4   118991   14563   5762  9493  20255 1299736 316589  248.9  16  241
712.92/712.93	c s  713.0   118998   14563   5762  9493  20255 1334675 313368  249.5  25  222
734.52/734.59	c s  734.6   118926   14553   5764  9501  20255 1363779 312464  250.0  36  218
754.72/754.74	c s  754.8   118930   14552   5764  9502  20255 1388141 322167  250.6  34  231
773.33/773.37	c s  773.4   118909   14550   5764  9504  20255 1416135 313336  250.9  36  222
791.02/791.02	c s  791.1   118929   14550   5764  9504  20255 1444853 313419  251.6  40  225
792.42/792.41	c +  792.4   118930   14549   5764  9505  20255 1447791 343464  251.6  34  229
806.13/806.19	c s  806.2   118936   14549   5764  9505  20255 1472677 338277  252.1  33  242
831.73/831.70	c s  831.7   118938   14549   5764  9505  20255 1509994 344666  252.8  32  246
852.83/852.81	c s  852.9   118939   14549   5764  9505  20255 1539762 344678  252.9  37  246
875.83/875.83	c s  875.9   118927   14548   5764  9506  20255 1569740 344787  253.4  32  243
896.13/896.17	c s  896.2   118940   14547   5764  9507  20255 1599982 344570  253.4  24  240
935.63/935.62	c s  935.7   118941   14547   5764  9507  20255 1668947 354983  254.9  35  257
954.74/954.77	c s  954.8   118946   14547   5764  9507  20255 1692507 347648  255.0  39  253
974.83/974.84	c s  974.9   118948   14547   5764  9507  20255 1717971 355419  255.0  32  258
998.84/998.85	c s  998.9   118944   14546   5764  9508  20255 1756008 344796  255.5  35  244
1033.54/1033.59	c + 1033.6   118944   14546   5764  9508  20255 1809735 377810  256.6  35  262
1052.24/1052.24	c s 1052.3   118943   14545   5764  9509  20255 1836675 374940  257.0  35  275
1069.63/1069.60	c s 1069.7   118945   14545   5764  9509  20255 1867191 389142  257.6  36  286
1089.83/1089.84	c
1089.83/1089.84	c       original/binary      fixed     eliminated      learned       agility
1089.83/1089.84	c   seconds        variables     equivalent    conflicts       height       MB
1089.83/1089.84	c
1089.83/1089.84	c s 1089.9   118946   14545   5764  9509  20255 1902719 382742  258.0  27  283
1110.54/1110.53	c s 1110.6   118948   14545   5764  9509  20255 1932171 383975  258.3  39  287
1132.64/1132.66	c s 1132.7   118942   14544   5764  9510  20255 1965967 379091  258.7  30  276
1154.74/1154.71	c s 1154.8   118946   14544   5764  9510  20255 2001194 379404  259.0  30  276
1173.65/1173.70	c s 1173.8   118951   14544   5764  9510  20255 2034222 379073  259.3  34  268
1180.64/1180.68	c B 1180.7   118951   14544   5764  9510  20255 2048348 378822  259.4  35  272
1266.65/1266.69	c s 1266.7   118952   14544   5764  9510  20255 2189717 378651  260.6  21  268
1300.05/1300.00	c
1300.05/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.05/1300.00	c
1300.05/1300.00	c 2245899 conflicts, 4465947 decisions, 14 random
1300.05/1300.00	c 111 iterations, 883 restarts, 4786 skipped
1300.05/1300.00	c 14 enlarged, 8747 shrunken, 21979 rescored, 510 rebiased
1300.05/1300.00	c 65 simplifications, 0 reductions
1300.05/1300.00	c
1300.05/1300.00	c vars: 5764 fixed, 9510 equiv, 20255 elim, 9907 merged
1300.05/1300.00	c elim: 9929058 resolutions, 47 phases, 24 rounds
1300.05/1300.00	c sbst: 100% substituted, 0.2% nots, 95.8% ands, 4.0% xors, 0.0% ites
1300.05/1300.00	c arty: 2.00 and 2.01 xor average arity
1300.05/1300.00	c prbe: 5702187 probed, 186 phases, 193 rounds
1300.05/1300.00	c prbe: 57 failed, 121 lifted, 202 merged
1300.05/1300.00	c sccs: 40 non trivial, 0 fixed, 68 merged
1300.05/1300.00	c hash: 51 units, 9637 merged
1300.05/1300.00	c mins: 399616480 learned, 16% deleted, 1854 strong, 80 depth
1300.05/1300.00	c subs: 14550 forward, 89105 backward, 194155 doms
1300.05/1300.00	c strs: 12654 forward, 126 backward
1300.05/1300.00	c doms: 195410 dominators, 186051 high, 130 low
1300.05/1300.00	c prps: 1275912016 propagations, 0.98 megaprops
1300.05/1300.00	c
1300.05/1300.00	c 1300.1 seconds, 302 MB max, 1313 MB recycled
1300.05/1300.00	c
1300.05/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.05/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-3308371-1303983199/watcher-3308371-1303983199 -o /tmp/evaluation-result-3308371-1303983199/solver-3308371-1303983199 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308371-1303983199.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: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=5576 CPUtime=0 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 1297 0 0 0 0 0 0 0 21 0 1 0 490735582 5709824 1253 33554432000 134512640 135151029 4287406144 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 1394 1253 65 156 0 1237 0

[startup+0.0988101 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=14540 CPUtime=0.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 3625 0 0 0 9 0 0 0 21 0 1 0 490735582 14888960 3483 33554432000 134512640 135151029 4287406144 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 3635 3484 65 156 0 3478 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14540

[startup+0.100817 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=14672 CPUtime=0.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 3675 0 0 0 9 0 0 0 21 0 1 0 490735582 15024128 3533 33554432000 134512640 135151029 4287406144 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 3668 3533 65 156 0 3511 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14672

[startup+0.300812 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=21100 CPUtime=0.29 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 5844 0 0 0 29 0 0 0 22 0 1 0 490735582 21606400 5119 33554432000 134512640 135151029 4287406144 18446744073709551615 134579324 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 5275 5119 80 156 0 5118 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21100

[startup+0.700717 s]
/proc/loadavg: 0.24 0.05 0.02 4/189 30415
/proc/meminfo: memFree=14024072/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=25772 CPUtime=0.69 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 7372 0 0 0 68 1 0 0 23 0 1 0 490735582 26390528 6261 33554432000 134512640 135151029 4287406144 18446744073709551615 134517289 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 6443 6261 80 156 0 6286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25772

[startup+1.50057 s]
/proc/loadavg: 0.24 0.05 0.02 4/185 30433
/proc/meminfo: memFree=14081760/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=22120 CPUtime=1.49 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 7374 0 0 0 148 1 0 0 25 0 1 0 490735582 22650880 5350 33554432000 134512640 135151029 4287406144 18446744073709551615 134552520 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 5530 5350 80 156 0 5373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22120

[startup+3.10025 s]
/proc/loadavg: 0.24 0.05 0.02 4/185 30433
/proc/meminfo: memFree=14079776/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=27736 CPUtime=3.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 8776 0 0 0 308 1 0 0 25 0 1 0 490735582 28401664 6752 33554432000 134512640 135151029 4287406144 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 6934 6752 80 156 0 6777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27736

[startup+6.30058 s]
/proc/loadavg: 0.46 0.10 0.03 4/185 30433
/proc/meminfo: memFree=14071344/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=29192 CPUtime=6.29 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 9314 0 0 0 628 1 0 0 25 0 1 0 490735582 29892608 7094 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 7298 7094 80 156 0 7141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29192

[startup+12.7003 s]
/proc/loadavg: 0.66 0.15 0.05 5/190 30444
/proc/meminfo: memFree=13980496/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=32284 CPUtime=12.68 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 11601 0 0 0 1266 2 0 0 25 0 1 0 490735582 33058816 7879 33554432000 134512640 135151029 4287406144 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 8071 7879 80 156 0 7914 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32284

[startup+25.5008 s]
/proc/loadavg: 1.47 0.35 0.12 5/190 30444
/proc/meminfo: memFree=13835804/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=51760 CPUtime=25.49 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 18739 0 0 0 2545 4 0 0 25 0 1 0 490735582 53002240 12762 33554432000 134512640 135151029 4287406144 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 12940 12762 80 156 0 12783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51760

[startup+51.1007 s]
/proc/loadavg: 2.33 0.64 0.22 5/190 30445
/proc/meminfo: memFree=13805428/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=81940 CPUtime=51.09 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 28519 0 0 0 5102 7 0 0 25 0 1 0 490735582 83906560 20286 33554432000 134512640 135151029 4287406144 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 20485 20286 80 156 0 20328 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81940

[startup+102.307 s]
/proc/loadavg: 3.27 1.16 0.41 5/190 30446
/proc/meminfo: memFree=13760812/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=115936 CPUtime=102.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 41544 0 0 0 10220 10 0 0 25 0 1 0 490735582 118718464 28803 33554432000 134512640 135151029 4287406144 18446744073709551615 134580752 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 28984 28803 80 156 0 28827 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 115936

[startup+162.301 s]
/proc/loadavg: 3.73 1.67 0.64 5/190 30448
/proc/meminfo: memFree=13708204/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=168704 CPUtime=162.29 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 56937 0 0 0 16215 14 0 0 25 0 1 0 490735582 172752896 41940 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 42176 41940 80 156 0 42019 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 168704

[startup+222.301 s]
/proc/loadavg: 3.90 2.09 0.84 5/190 30449
/proc/meminfo: memFree=13654868/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=222.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 70550 0 0 0 22210 20 0 0 25 0 1 0 490735582 222244864 54049 33554432000 134512640 135151029 4287406144 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54049 80 156 0 54102 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 217036

[startup+282.301 s]
/proc/loadavg: 3.96 2.44 1.04 5/190 30451
/proc/meminfo: memFree=13636744/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=282.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 72520 0 0 0 28210 20 0 0 25 0 1 0 490735582 222244864 54059 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54059 80 156 0 54102 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 217036

[startup+342.301 s]
/proc/loadavg: 3.98 2.72 1.22 5/190 30452
/proc/meminfo: memFree=13617848/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=342.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 74483 0 0 0 34210 20 0 0 25 0 1 0 490735582 222244864 54062 33554432000 134512640 135151029 4287406144 18446744073709551615 134520409 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54062 80 156 0 54102 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 217036

[startup+402.301 s]
/proc/loadavg: 3.99 2.95 1.39 5/190 30454
/proc/meminfo: memFree=13613608/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=217036 CPUtime=402.3 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 74487 0 0 0 40210 20 0 0 25 0 1 0 490735582 222244864 54066 33554432000 134512640 135151029 4287406144 18446744073709551615 134551501 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 54259 54066 80 156 0 54102 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 217036

[startup+462.301 s]
/proc/loadavg: 4.13 3.17 1.56 5/190 30483
/proc/meminfo: memFree=13609836/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=243916 CPUtime=462.31 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 81749 0 0 0 46207 24 0 0 25 0 1 0 490735582 249769984 60740 33554432000 134512640 135151029 4287406144 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 60979 60740 80 156 0 60822 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 243916

[startup+522.301 s]
/proc/loadavg: 4.05 3.32 1.71 5/190 30484
/proc/meminfo: memFree=13297004/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=253280 CPUtime=522.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 84898 0 0 0 52207 25 0 0 25 0 1 0 490735582 259358720 63138 33554432000 134512640 135151029 4287406144 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 63320 63138 80 156 0 63163 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 253280

[startup+582.301 s]
/proc/loadavg: 4.02 3.44 1.85 5/190 30486
/proc/meminfo: memFree=13137800/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=253280 CPUtime=582.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 86597 0 0 0 58207 25 0 0 25 0 1 0 490735582 259358720 63139 33554432000 134512640 135151029 4287406144 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 63320 63139 80 156 0 63163 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 253280

[startup+642.3 s]
/proc/loadavg: 4.00 3.54 1.98 5/190 30487
/proc/meminfo: memFree=12897884/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=266356 CPUtime=642.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 91454 0 0 0 64206 26 0 0 25 0 1 0 490735582 272748544 66298 33554432000 134512640 135151029 4287406144 18446744073709551615 134574226 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 66589 66298 80 156 0 66432 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 266356

[startup+702.3 s]
/proc/loadavg: 4.00 3.62 2.11 5/190 30489
/proc/meminfo: memFree=12836840/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=702.32 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 96329 0 0 0 70204 28 0 0 25 0 1 0 490735582 286851072 69832 33554432000 134512640 135151029 4287406144 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69832 80 156 0 69875 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 280128

[startup+762.306 s]
/proc/loadavg: 4.03 3.70 2.23 5/190 30491
/proc/meminfo: memFree=12739472/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=762.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 96733 0 0 0 76205 28 0 0 25 0 1 0 490735582 286851072 69844 33554432000 134512640 135151029 4287406144 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69844 80 156 0 69875 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 280128

[startup+822.3 s]
/proc/loadavg: 4.01 3.75 2.34 5/190 30492
/proc/meminfo: memFree=12621784/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=822.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 97321 0 0 0 82205 28 0 0 25 0 1 0 490735582 286851072 69844 33554432000 134512640 135151029 4287406144 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69844 80 156 0 69875 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 280128

[startup+882.301 s]
/proc/loadavg: 4.00 3.79 2.44 5/190 30494
/proc/meminfo: memFree=12491676/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=882.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 97713 0 0 0 88205 28 0 0 25 0 1 0 490735582 286851072 69844 33554432000 134512640 135151029 4287406144 18446744073709551615 134578267 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69844 80 156 0 69875 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 280128

[startup+942.301 s]
/proc/loadavg: 4.00 3.83 2.53 5/190 30495
/proc/meminfo: memFree=12470204/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=280128 CPUtime=942.33 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 97917 0 0 0 94205 28 0 0 25 0 1 0 490735582 286851072 69852 33554432000 134512640 135151029 4287406144 18446744073709551615 134552952 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70032 69852 80 156 0 69875 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 280128

[startup+1002.3 s]
/proc/loadavg: 4.00 3.86 2.62 5/190 30497
/proc/meminfo: memFree=12059240/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=281428 CPUtime=1002.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 99639 0 0 0 100205 29 0 0 25 0 1 0 490735582 288182272 70179 33554432000 134512640 135151029 4287406144 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 70357 70179 80 156 0 70200 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 281428

[startup+1062.3 s]
/proc/loadavg: 4.00 3.88 2.70 5/190 30499
/proc/meminfo: memFree=12053004/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=298320 CPUtime=1062.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 104612 0 0 0 106204 30 0 0 25 0 1 0 490735582 305479680 74401 33554432000 134512640 135151029 4287406144 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 74580 74401 80 156 0 74423 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 298320

[startup+1122.3 s]
/proc/loadavg: 4.00 3.90 2.78 5/190 30500
/proc/meminfo: memFree=12009320/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=312760 CPUtime=1122.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 108769 0 0 0 112203 31 0 0 25 0 1 0 490735582 320266240 77970 33554432000 134512640 135151029 4287406144 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78190 77970 80 156 0 78033 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 312760

[startup+1182.3 s]
/proc/loadavg: 4.00 3.91 2.86 5/190 30502
/proc/meminfo: memFree=11980280/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=313224 CPUtime=1182.34 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 110260 0 0 0 118203 31 0 0 25 0 1 0 490735582 320741376 78089 33554432000 134512640 135151029 4287406144 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78306 78089 80 156 0 78149 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 313224

[startup+1242.3 s]
/proc/loadavg: 4.05 3.94 2.93 5/190 30503
/proc/meminfo: memFree=11885644/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=313224 CPUtime=1242.35 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 110261 0 0 0 124204 31 0 0 25 0 1 0 490735582 320741376 78090 33554432000 134512640 135151029 4287406144 18446744073709551615 134554547 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78306 78090 80 156 0 78149 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 313224



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.94 3.93 2.99 3/186 30507
/proc/meminfo: memFree=11893316/32951124 swapFree=67111528/67111528
[pid=30415] ppid=30413 vsize=315212 CPUtime=1300.05 cores=4,6
/proc/30415/stat : 30415 (precosat) R 30413 30415 30355 0 -1 4202496 110978 0 0 0 129974 31 0 0 25 0 1 0 490735582 322777088 78611 33554432000 134512640 135151029 4287406144 18446744073709551615 134546762 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30415/statm: 78803 78611 80 156 0 78646 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 315212

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1300.08
CPU user time (s): 1299.75
CPU system time (s): 0.331949
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 315212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.75
system time used= 0.331949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110979
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= 3
involuntary context switches= 1871

runsolver used 2.23166 second user time and 4.87426 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-28 11:33:20
IDJOB=3308371
IDBENCH=20483
IDSOLVER=1690
FILE ID=node143/3308371-1303983199
RUNJOBID= node143-1303983194-30374
PBS_JOBID= 13168683
Free space on /tmp= 72908 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/crypto/mizh-sha0-36-2.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308371-1303983199/watcher-3308371-1303983199 -o /tmp/evaluation-result-3308371-1303983199/solver-3308371-1303983199 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3308371-1303983199.cnf

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

MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED=1079550348

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.83
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.846
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.846
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.83
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.846
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.74
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.846
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:      14024104 kB
Buffers:       2288840 kB
Cached:       15935028 kB
SwapCached:          0 kB
Active:        6946932 kB
Inactive:     11418008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14024104 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18224 kB
Writeback:           8 kB
AnonPages:      139568 kB
Mapped:          16248 kB
Slab:           496424 kB
PageTables:       5072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   321720 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= 72880 MiB
End job on node143 at 2011-04-28 11:55:02