Trace number 3308323

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.1 1300.04

General information on the benchmark

Nameindustrial/anbulagan/
hard-sat/partial-10-13-s.cnf
MD5SUMd90571b4b69632567da9d3ebfd25979e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark200.647
Satisfiable
(Un)Satisfiability was proved
Number of variables234673
Number of clauses1071339
Sum of the clauses size2453820
Maximum clause length10
Minimum clause length1
Number of clauses of size 117679
Number of clauses of size 2856659
Number of clauses of size 3153061
Number of clauses of size 44880
Number of clauses of size 519520
Number of clauses of size over 519540

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-3308323-1303983195.cnf
0.00/0.00	c found header 'p cnf 234673 1071339'
0.89/0.94	c finished parsing
0.89/0.94	c
0.89/0.94	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.89/0.94	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.89/0.94	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.89/0.94	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.89/0.94	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.89/0.94	c --random=1 --spread=2000 --seed=0 --skip=25
0.89/0.94	c
0.89/0.94	c sizeof     vars[0] = 16   alignment = 0       4 MB
0.89/0.94	c sizeof     orgs[0] =  8   alignment = 0       2 MB
0.89/0.94	c sizeof     occs[0] =  8   alignment = 0       2 MB
0.89/0.94	c sizeof iirfs[0..1] =  8   alignment = 0       2 MB
0.89/0.94	c
0.89/0.94	c starting search after 0.9 seconds
0.89/0.94	c no decision limit
0.89/0.96	c
0.89/0.96	c       original/binary      fixed     eliminated      learned       agility
0.89/0.96	c   seconds        variables     equivalent    conflicts       height       MB
0.89/0.96	c
0.89/0.96	c *    1.0  1052492  170853   8856 54964      0       0      0    0.0   0   82
3.69/3.72	c s    3.7   554059   85058  49923 54092  45600       0      0    0.0   0   57
3.69/3.72	c l    3.7   554059   85058  49923 54092  45600       0 237686    0.0   0   57
3.79/3.81	c R    3.8   560020   84446  50522 54105  45600     156    139  130.3   1   58
6.69/6.77	c R    6.8  1030803   78897  55842 54334  45600     752    710  362.3   7   88
7.19/7.28	c B    7.3  1090608   77939  56786 54348  45600    1000    949  356.5   3   91
10.19/10.21	c s   10.2   937566   75589  57919 54388  46777    1583   1406  597.4   3   82
10.19/10.21	c -   10.2   937566   75589  57919 54388  46777    1583 202034  597.4   3   82
11.09/11.12	c B   11.1   969427   74972  58531 54393  46777    2001   1815  639.2   6   85
20.59/20.63	c s   20.6  1149762   68449  63870 54599  47755    6103   5474  520.5   0   99
20.59/20.63	c -   20.6  1149762   68449  63870 54599  47755    6103 185872  520.5   0   99
22.39/22.41	c R   22.4  1248220   68109  64125 54684  47755    7329   6685  532.6   2  108
23.69/23.71	c B   23.7  1304358   67132  65073 54713  47755    8004   7346  533.3   6  120
34.59/34.64	c s   34.6  1605449   65407  66060 55186  48020   13748  10193  598.4   1  137
34.59/34.64	c -   34.6  1605449   65407  66060 55186  48020   13748 180296  598.4   1  137
48.99/49.04	c B   49.1  2129827   63047  68197 55409  48020   24015  20355  604.6   1  187
54.39/54.43	c s   54.4  2041276   62501  68454 55447  48271   25887  16858  605.9   2  164
54.39/54.43	c -   54.4  2041276   62501  68454 55447  48271   25887 174888  605.9   2  164
82.59/82.60	c s   82.6  2321316   58063  71380 56093  49137   40807  18875  600.8   1  176
82.59/82.60	c
82.59/82.60	c       original/binary      fixed     eliminated      learned       agility
82.59/82.60	c   seconds        variables     equivalent    conflicts       height       MB
82.59/82.60	c
82.59/82.60	c -   82.6  2321316   58063  71380 56093  49137   40807 164395  600.8   1  176
92.60/92.67	c R   92.7  2582884   56680  72445 56411  49137   47670  25708  596.1   2  224
121.39/121.48	c s  121.5  2660181   53623  73738 57165  50147   60850  22140  594.5   1  211
121.39/121.48	c -  121.5  2660181   53623  73738 57165  50147   60850 156176  594.5   1  211
126.19/126.22	c B  126.2  2787425   52427  74678 57421  50147   64023  25300  592.0   9  227
161.20/161.23	c s  161.2  2761075   49287  76124 58056  51206   83573  30554  585.6   2  227
161.20/161.23	c -  161.2  2761075   49287  76124 58056  51206   83573 145244  585.6   2  227
202.10/202.14	c s  202.2  3119937   44214  79328 59744  51387  110774  46804  572.6   5  272
202.10/202.14	c -  202.2  3119937   44214  79328 59744  51387  110774 139435  572.6   5  272
240.60/240.67	c +  240.7  3291462   43217  79889 60180  51387  139435 153378  562.8   6  358
264.30/264.33	c s  264.3  2700354   39365  79987 60311  55010  152695  15097  560.1   2  204
264.30/264.33	c -  264.3  2700354   39365  79987 60311  55010  152695 148777  560.1   2  204
271.40/271.43	c B  271.4  2751690   39245  80056 60362  55010  160061  22449  558.5   8  224
280.30/280.37	c +  280.4  2814021   39126  80119 60418  55010  169062 163654  556.5   2  249
293.61/293.63	c R  293.6  2929148   38964  80250 60449  55010  181980  44343  553.2   8  282
312.21/312.28	c s  312.3  2776916   38663  80380 60484  55146  193993  44166  551.1   4  256
312.21/312.28	c -  312.3  2776916   38663  80380 60484  55146  193993 157108  551.1   4  256
322.71/322.77	c +  322.8  2810921   38601  80427 60499  55146  202873 172818  548.9   1  282
356.01/356.04	c R  356.1  2887621   38412  80602 60513  55146  229426  79572  544.6   2  351
373.81/373.85	c
373.81/373.85	c       original/binary      fixed     eliminated      learned       agility
373.81/373.85	c   seconds        variables     equivalent    conflicts       height       MB
373.81/373.85	c
373.81/373.85	c s  373.9  2864543   38315  80678 60530  55150  238515  88496  542.4   2  361
391.41/391.46	c R  391.5  2918778   38166  80824 60533  55150  251912 101890  542.5   3  407
393.31/393.38	c +  393.4  2927943   38150  80839 60534  55150  253597 190099  542.5   4  412
444.61/444.66	c s  444.7  2725368   37477  81078 60536  55582  286815  30625  540.2   5  215
444.61/444.66	c -  444.7  2725368   37477  81078 60536  55582  286815 186298  540.2   5  215
471.51/471.50	c +  471.5  2774787   37422  81130 60539  55582  310656 204927  537.9   5  279
501.91/501.97	c s  502.0  2765356   37324  81178 60541  55630  332491  56649  537.0   2  260
559.62/559.63	c s  559.7  2787760   37175  81300 60551  55647  377853  83827  535.3   6  319
567.02/567.06	c B  567.1  2790416   37172  81302 60552  55647  384140  90112  534.9   5  341
571.92/571.94	c +  572.0  2791601   37087  81386 60553  55647  388320 225419  534.3   7  352
621.72/621.74	c s  621.8  2778543   36962  81404 60565  55742  424848  51276  533.7   2  236
682.63/682.68	c s  682.7  2813442   36930  81422 60568  55753  470957  96335  530.3   4  345
701.53/701.52	c +  701.6  2822539   36924  81426 60570  55753  485402 247960  529.7   9  392
754.83/754.82	c s  754.9  2846313   36918  81431 60571  55753  519503 144845  526.4   5  466
838.13/838.11	c s  838.2  2843059   36773  81486 60573  55841  568490  68116  523.4   1  252
847.43/847.47	c R  847.5  2853722   36765  81494 60573  55841  576666  76290  523.5   2  276
882.73/882.77	c +  882.8  2867156   36747  81511 60574  55841  606751 272756  520.6   7  349
900.64/900.63	c s  900.7  2849272   36725  81519 60575  55854  616423 116029  519.8  10  362
974.83/974.86	c s  974.9  2854039   36693  81548 60577  55855  665122 164635  516.4   7  472
1057.54/1057.53	c
1057.54/1057.53	c       original/binary      fixed     eliminated      learned       agility
1057.54/1057.53	c   seconds        variables     equivalent    conflicts       height       MB
1057.54/1057.53	c
1057.54/1057.53	c s 1057.6  2845359   36570  81613 60578  55912  714070  91480  513.8   2  277
1114.25/1114.27	c + 1114.3  2851537   36556  81627 60578  55912  758435 300031  508.9   5  389
1128.25/1128.21	c s 1128.3  2851566   36548  81629 60579  55917  763751 137962  508.6   3  380
1204.64/1204.67	c s 1204.7  2869282   36513  81661 60582  55917  812528 186651  506.8   4  501
1284.35/1284.35	c s 1284.4  2876308   36428  81679 60584  55982  863055 119289  506.7   6  307
1300.06/1300.00	c
1300.06/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.06/1300.00	c
1300.06/1300.00	c 876660 conflicts, 7205096 decisions, 3497 random
1300.06/1300.00	c 273 iterations, 3297 restarts, 0 skipped
1300.06/1300.00	c 9 enlarged, 34001 shrunken, 8576 rescored, 253 rebiased
1300.06/1300.00	c 25 simplifications, 0 reductions
1300.06/1300.00	c
1300.06/1300.00	c vars: 81683 fixed, 60584 equiv, 55982 elim, 62395 merged
1300.06/1300.00	c elim: 10203267 resolutions, 25 phases, 7 rounds
1300.06/1300.00	c sbst: 59% substituted, 15.6% nots, 84.4% ands, 0.0% xors, 0.0% ites
1300.06/1300.00	c arty: 3.25 and 0.00 xor average arity
1300.06/1300.00	c prbe: 269827 probed, 2068 phases, 3 rounds
1300.06/1300.00	c prbe: 6147 failed, 6092 lifted, 992 merged
1300.06/1300.00	c sccs: 712 non trivial, 0 fixed, 1453 merged
1300.06/1300.00	c hash: 315 units, 59950 merged
1300.06/1300.00	c mins: 530316441 learned, 19% deleted, 70 strong, 296 depth
1300.06/1300.00	c subs: 92658 forward, 141360 backward, 210268 doms
1300.06/1300.00	c strs: 44117 forward, 82 backward
1300.06/1300.00	c doms: 847323 dominators, 239237 high, 523 low
1300.06/1300.00	c prps: 2467417037 propagations, 1.90 megaprops
1300.06/1300.00	c
1300.06/1300.00	c 1300.1 seconds, 652 MB max, 2054 MB recycled
1300.06/1300.00	c
1300.06/1300.00	c *** CAUGHT SIGNAL 15 ***
1300.06/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-3308323-1303983195/watcher-3308323-1303983195 -o /tmp/evaluation-result-3308323-1303983195/solver-3308323-1303983195 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308323-1303983195.cnf 

running on 2 cores: 1,3

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 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=10304 CPUtime=0 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 2119 0 0 0 0 0 0 0 21 0 1 0 509916281 10551296 2075 33554432000 134512640 135151029 4288057760 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17008/statm: 2576 2076 60 156 0 2419 0

[startup+0.089306 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=28468 CPUtime=0.08 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 7234 0 0 0 8 0 0 0 21 0 1 0 509916281 29151232 6963 33554432000 134512640 135151029 4288057760 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 7117 6965 64 156 0 6960 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28468

[startup+0.100292 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=29656 CPUtime=0.09 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 7539 0 0 0 9 0 0 0 21 0 1 0 509916281 30367744 7268 33554432000 134512640 135151029 4288057760 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 7414 7269 64 156 0 7257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29656

[startup+0.300252 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=46852 CPUtime=0.29 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 12586 0 0 0 28 1 0 0 22 0 1 0 509916281 47976448 11545 33554432000 134512640 135151029 4288057760 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 11713 11546 64 156 0 11556 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46852

[startup+0.701171 s]
/proc/loadavg: 0.24 0.05 0.02 5/189 17008
/proc/meminfo: memFree=18725776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=77744 CPUtime=0.69 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 21357 0 0 0 67 2 0 0 25 0 1 0 509916281 79609856 19291 33554432000 134512640 135151029 4288057760 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 19436 19292 65 156 0 19279 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77744

[startup+1.50101 s]
/proc/loadavg: 0.24 0.05 0.02 5/190 17009
/proc/meminfo: memFree=18605124/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=104388 CPUtime=1.49 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 31385 0 0 0 144 5 0 0 25 0 1 0 509916281 106893312 25839 33554432000 134512640 135151029 4288057760 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 26097 25839 80 156 0 25940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104388

[startup+3.1007 s]
/proc/loadavg: 0.24 0.05 0.02 5/190 17009
/proc/meminfo: memFree=18566560/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=111296 CPUtime=3.09 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 37724 0 0 0 304 5 0 0 25 0 1 0 509916281 113967104 27566 33554432000 134512640 135151029 4288057760 18446744073709551615 134517335 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 27824 27566 80 156 0 27667 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111296

[startup+6.30105 s]
/proc/loadavg: 0.62 0.13 0.04 5/190 17009
/proc/meminfo: memFree=18608584/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=100288 CPUtime=6.29 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 41760 0 0 0 623 6 0 0 25 0 1 0 509916281 102694912 24877 33554432000 134512640 135151029 4288057760 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 25072 24877 80 156 0 24915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100288

[startup+12.7008 s]
/proc/loadavg: 0.89 0.20 0.06 5/190 17009
/proc/meminfo: memFree=18578248/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=110932 CPUtime=12.69 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 57952 0 0 0 1260 9 0 0 25 0 1 0 509916281 113594368 27530 33554432000 134512640 135151029 4288057760 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 27733 27530 80 156 0 27576 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110932

[startup+25.5012 s]
/proc/loadavg: 1.65 0.40 0.13 5/190 17010
/proc/meminfo: memFree=18495876/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=145448 CPUtime=25.5 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 85342 0 0 0 2536 14 0 0 25 0 1 0 509916281 148938752 36180 33554432000 134512640 135151029 4288057760 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 36362 36180 80 156 0 36205 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 145448

[startup+51.1011 s]
/proc/loadavg: 2.47 0.69 0.23 5/187 17031
/proc/meminfo: memFree=17795692/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=220052 CPUtime=51.1 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 124663 0 0 0 5089 21 0 0 25 0 1 0 509916281 225333248 54793 33554432000 134512640 135151029 4288057760 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 55013 54793 80 156 0 54856 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 220052

[startup+102.307 s]
/proc/loadavg: 3.33 1.20 0.43 5/190 17039
/proc/meminfo: memFree=13976736/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=284488 CPUtime=102.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 203001 0 0 0 10201 30 0 0 25 0 1 0 509916281 291315712 70912 33554432000 134512640 135151029 4288057760 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 71122 70912 80 156 0 70965 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 284488

[startup+162.301 s]
/proc/loadavg: 4.29 1.82 0.69 4/187 17057
/proc/meminfo: memFree=14732920/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=330300 CPUtime=162.3 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 288719 0 0 0 16187 43 0 0 25 0 1 0 509916281 338227200 82354 33554432000 134512640 135151029 4288057760 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 82575 82354 80 156 0 82418 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 330300

[startup+222.301 s]
/proc/loadavg: 4.69 2.42 0.96 5/190 17151
/proc/meminfo: memFree=17616260/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=360380 CPUtime=222.3 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 333457 0 0 0 22181 49 0 0 25 0 1 0 509916281 369029120 89918 33554432000 134512640 135151029 4288057760 18446744073709551615 134567891 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 90095 89918 80 156 0 89938 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 360380

[startup+282.301 s]
/proc/loadavg: 4.25 2.70 1.15 5/190 17180
/proc/meminfo: memFree=17120468/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=436900 CPUtime=282.3 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 389687 0 0 0 28170 60 0 0 25 0 1 0 509916281 447385600 108987 33554432000 134512640 135151029 4288057760 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 109225 108987 80 156 0 109068 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 436900

[startup+342.301 s]
/proc/loadavg: 4.09 2.93 1.33 5/190 17181
/proc/meminfo: memFree=16933608/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=436900 CPUtime=342.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 425652 0 0 0 34165 66 0 0 25 0 1 0 509916281 447385600 109016 33554432000 134512640 135151029 4288057760 18446744073709551615 134554596 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 109225 109016 80 156 0 109068 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 436900

[startup+402.301 s]
/proc/loadavg: 4.16 3.16 1.50 5/190 17183
/proc/meminfo: memFree=16620488/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=482416 CPUtime=402.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 472964 0 0 0 40157 74 0 0 25 0 1 0 509916281 493993984 120392 33554432000 134512640 135151029 4288057760 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 120604 120392 80 156 0 120447 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 482416

[startup+462.301 s]
/proc/loadavg: 4.06 3.31 1.65 5/190 17184
/proc/meminfo: memFree=16291208/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=462.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 528179 0 0 0 46147 84 0 0 25 0 1 0 509916281 568971264 138642 33554432000 134512640 135151029 4288057760 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138642 80 156 0 138752 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 555636

[startup+522.301 s]
/proc/loadavg: 4.02 3.43 1.80 5/190 17186
/proc/meminfo: memFree=16074820/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=522.31 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 564634 0 0 0 52143 88 0 0 25 0 1 0 509916281 568971264 138647 33554432000 134512640 135151029 4288057760 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138647 80 156 0 138752 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 555636

[startup+582.301 s]
/proc/loadavg: 4.04 3.55 1.94 5/190 17215
/proc/meminfo: memFree=16256844/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=582.32 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 600579 0 0 0 58140 92 0 0 25 0 1 0 509916281 568971264 138656 33554432000 134512640 135151029 4288057760 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138656 80 156 0 138752 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 555636

[startup+642.301 s]
/proc/loadavg: 4.01 3.63 2.06 5/190 17216
/proc/meminfo: memFree=16148768/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=642.32 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 636547 0 0 0 64136 96 0 0 25 0 1 0 509916281 568971264 138688 33554432000 134512640 135151029 4288057760 18446744073709551615 134577947 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138688 80 156 0 138752 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 555636

[startup+702.301 s]
/proc/loadavg: 4.00 3.69 2.18 5/190 17218
/proc/meminfo: memFree=15916272/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=702.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 672484 0 0 0 70131 102 0 0 25 0 1 0 509916281 568971264 138689 33554432000 134512640 135151029 4288057760 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138689 80 156 0 138752 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 555636

[startup+762.307 s]
/proc/loadavg: 4.00 3.74 2.29 5/190 17219
/proc/meminfo: memFree=15694744/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=555636 CPUtime=762.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 708440 0 0 0 76127 106 0 0 25 0 1 0 509916281 568971264 138709 33554432000 134512640 135151029 4288057760 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 138909 138709 80 156 0 138752 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 555636

[startup+822.301 s]
/proc/loadavg: 4.00 3.79 2.40 5/190 17221
/proc/meminfo: memFree=15388808/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=645912 CPUtime=822.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 730908 0 0 0 82120 113 0 0 25 0 1 0 509916281 661413888 161177 33554432000 134512640 135151029 4288057760 18446744073709551615 134577947 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 161478 161177 80 156 0 161321 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 645912

[startup+882.301 s]
/proc/loadavg: 4.00 3.82 2.49 5/190 17223
/proc/meminfo: memFree=15140968/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=657528 CPUtime=882.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 770877 0 0 0 88114 119 0 0 25 0 1 0 509916281 673308672 164105 33554432000 134512640 135151029 4288057760 18446744073709551615 134554498 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 164382 164105 80 156 0 164225 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 657528

[startup+942.301 s]
/proc/loadavg: 4.03 3.87 2.59 5/190 17224
/proc/meminfo: memFree=14972896/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=657528 CPUtime=942.34 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 807594 0 0 0 94110 124 0 0 25 0 1 0 509916281 673308672 164115 33554432000 134512640 135151029 4288057760 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 164382 164115 80 156 0 164225 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 657528

[startup+1002.3 s]
/proc/loadavg: 4.08 3.91 2.68 5/190 17226
/proc/meminfo: memFree=14946468/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=657528 CPUtime=1002.33 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 844338 0 0 0 100105 128 0 0 25 0 1 0 509916281 673308672 164152 33554432000 134512640 135151029 4288057760 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 164382 164152 80 156 0 164225 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 657528

[startup+1062.3 s]
/proc/loadavg: 4.08 3.94 2.77 5/190 17227
/proc/meminfo: memFree=14770232/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=661440 CPUtime=1062.34 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 882522 0 0 0 106100 134 0 0 25 0 1 0 509916281 677314560 165174 33554432000 134512640 135151029 4288057760 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 165360 165174 80 156 0 165203 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 661440

[startup+1122.3 s]
/proc/loadavg: 4.03 3.94 2.84 5/190 17229
/proc/meminfo: memFree=14746776/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=628668 CPUtime=1122.34 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 883439 0 0 0 112100 134 0 0 25 0 1 0 509916281 643756032 156981 33554432000 134512640 135151029 4288057760 18446744073709551615 134521844 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 157167 156981 80 156 0 157010 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 628668

[startup+1182.3 s]
/proc/loadavg: 4.01 3.95 2.91 5/190 17258
/proc/meminfo: memFree=15134032/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=661440 CPUtime=1182.35 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 919617 0 0 0 118096 139 0 0 25 0 1 0 509916281 677314560 165175 33554432000 134512640 135151029 4288057760 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 165360 165175 80 156 0 165203 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 661440

[startup+1242.3 s]
/proc/loadavg: 4.05 3.97 2.98 5/190 17259
/proc/meminfo: memFree=14780916/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=661440 CPUtime=1242.35 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 956711 0 0 0 124092 143 0 0 25 0 1 0 509916281 677314560 165175 33554432000 134512640 135151029 4288057760 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 165360 165175 80 156 0 165203 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 661440



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 3.97 3.04 4/188 17262
/proc/meminfo: memFree=15609536/32950928 swapFree=67111528/67111528
[pid=17008] ppid=17006 vsize=700176 CPUtime=1300.06 cores=1,3
/proc/17008/stat : 17008 (precosat) R 17006 17008 16948 0 -1 4202496 1003520 0 0 0 129853 153 0 0 25 0 1 0 509916281 716980224 174798 33554432000 134512640 135151029 4288057760 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/17008/statm: 175044 174798 80 156 0 174887 0
Current children cumulated CPU time (s) 1300.06
Current children cumulated vsize (KiB) 700176

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.04
CPU time (s): 1300.1
CPU user time (s): 1298.54
CPU system time (s): 1.56076
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 716676

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

runsolver used 1.9987 second user time and 5.10722 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-28 11:33:16
IDJOB=3308323
IDBENCH=20353
IDSOLVER=1690
FILE ID=node149/3308323-1303983195
RUNJOBID= node149-1303983193-16968
PBS_JOBID= 13168677
Free space on /tmp= 71856 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308323-1303983195/watcher-3308323-1303983195 -o /tmp/evaluation-result-3308323-1303983195/solver-3308323-1303983195 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3308323-1303983195.cnf

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

MD5SUM BENCH= d90571b4b69632567da9d3ebfd25979e
RANDOM SEED=1217693844

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.83
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.806
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.73
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.806
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.806
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.806
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.82
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.806
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:     32950928 kB
MemFree:      18726064 kB
Buffers:       2193800 kB
Cached:       11160944 kB
SwapCached:          0 kB
Active:        3762752 kB
Inactive:      9920284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18726064 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           77744 kB
Writeback:           0 kB
AnonPages:      327788 kB
Mapped:          15960 kB
Slab:           476080 kB
PageTables:       5488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   516284 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= 71792 MiB
End job on node149 at 2011-04-28 11:54:58