Trace number 1820915

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
minisat_cumr r-2009-03-18? (TO) 1200.03 1199.94

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
MD5SUMf21954c654ab1cfd9e2c1aa6fdf49c58
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables138559
Number of clauses415292
Sum of the clauses size969012
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2276860
Number of clauses of size 3138430
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.31/0.38	c ==============================================================================
0.31/0.38	c |           |     ORIGINAL     |              LEARNT              |          |
0.31/0.38	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.31/0.38	c ==============================================================================
0.31/0.38	c |         0 |  415290   969010 |  124586       0        0     nan |  0.000 % |
2.31/2.36	c |         0 |  316116   885852 |      --       0       --      -- |     --   | -99172/-83153
2.31/2.36	c ==============================================================================
2.31/2.36	c Result  :   #vars: 76931   #clauses: 316116   #literals: 885852
2.31/2.36	c CPU time:   2.26 s
2.31/2.36	c ==============================================================================
2.61/2.69	c This is MiniSat 2.0 beta
2.61/2.69	c WARNING: for repeatability, setting FPU to use double precision
2.61/2.69	c ============================[ Problem Statistics ]=============================
2.61/2.69	c |                                                                             |
2.61/2.69	c |  Number of variables:  76931                                                |
2.61/2.69	c |  Number of clauses:    316116                                               |
2.69/2.89	c |  Parsing time:         0.18         s                                       |
2.69/2.91	c ============================[ Search Statistics ]==============================
2.69/2.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.91	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.69/2.91	c ===============================================================================
2.69/2.91	c |         0 |   76931   316116   885852 |   105372        0    nan |  0.000 % |
4.42/4.47	c |       512 |   76931   316116   885852 |   105372      512    120 |  0.000 % |
22.51/22.56	c |      1025 |   76931   316116   885852 |   105372     1025    207 |  0.000 % |
32.02/32.02	c |      1538 |   76931   316116   885852 |   105372     1538    190 |  0.000 % |
71.12/71.19	c |      2562 |   76931   316116   885852 |   105372     2562    179 |  0.000 % |
89.92/89.94	c |      3074 |   76931   316116   885852 |   105372     3074    171 |  0.000 % |
93.22/93.23	c |      3587 |   76931   316116   885852 |   105372     3587    165 |  0.000 % |
109.82/109.83	c |      4612 |   76931   316116   885852 |   105372     4612    165 |  0.000 % |
187.04/187.05	c |      6661 |   76931   316116   885852 |   105372     6661    158 |  0.000 % |
206.94/206.99	c |      7173 |   76931   316116   885852 |   105372     7173    156 |  0.000 % |
228.44/228.42	c |      7685 |   76931   316116   885852 |   105372     7685    154 |  0.000 % |
252.44/252.42	c |      8709 |   76931   316116   885852 |   105372     8709    151 |  0.000 % |
259.85/259.83	c |      9223 |   76931   316116   885852 |   105372     9223    149 |  0.000 % |
273.64/273.64	c |      9735 |   76931   316116   885852 |   105372     9735    148 |  0.000 % |
281.64/281.69	c |     10759 |   76931   316116   885852 | 2147483647    10759    145 |  0.000 % |
300.14/300.18	c |     12808 |   76931   316116   885852 | 2147483647    12808    142 |  0.000 % |
470.05/470.10	c |     16904 |   76931   316116   885852 | 2147483647    16904    136 |  0.000 % |
478.76/478.78	c |     17416 |   76931   316116   885852 | 2147483647    17416    135 |  0.000 % |
486.96/486.98	c |     17929 |   76931   316116   885852 | 2147483647    17929    135 |  0.000 % |
531.86/531.84	c |     18954 |   76931   316116   885852 | 2147483647    18954    135 |  0.000 % |
552.66/552.61	c |     19467 |   76931   316116   885852 | 2147483647    19467    137 |  0.000 % |
555.96/555.91	c |     19980 |   76931   316116   885852 | 2147483647    19980    135 |  0.000 % |
566.06/566.10	c |     21005 |   76931   316116   885852 | 2147483647    21005    136 |  0.000 % |
643.56/643.51	c |     23053 |   76931   316116   885852 | 2147483647    23053    136 |  0.000 % |
650.36/650.39	c |     23565 |   76931   316116   885852 | 2147483647    23565    137 |  0.000 % |
669.77/669.80	c |     24077 |   76931   316116   885852 | 2147483647    24077    137 |  0.000 % |
686.48/686.43	c |     25101 |   76931   316116   885852 | 2147483647    25101    137 |  0.000 % |
705.78/705.76	c |     25613 |   76931   316116   885852 | 2147483647    25613    136 |  0.000 % |
722.48/722.50	c |     26126 |   76931   316116   885852 | 2147483647    26126    136 |  0.000 % |
729.78/729.81	c |     27150 |   76931   316116   885852 | 2147483647    27150    135 |  0.000 % |
765.48/765.43	c |     29199 |   76931   316116   885852 | 2147483647    29199    135 |  0.000 % |
805.78/805.71	c |     33296 |   76931   316116   885852 | 2147483647    33296    135 |  0.000 % |
1060.00/1059.94	c |     41489 |   76931   316116   885852 | 2147483647    41489    149 |  0.000 % |
1080.90/1080.88	c |     42001 |   76931   316116   885852 | 2147483647    42001    148 |  0.000 % |
1100.30/1100.24	c |     42513 |   76931   316116   885852 | 2147483647    42513    148 |  0.000 % |
1135.40/1135.31	c |     43538 |   76931   316116   885852 | 2147483647    43538    148 |  0.000 % |
1150.51/1150.47	c |     44051 |   76931   316116   885852 | 2147483647    44051    148 |  0.000 % |
1165.92/1165.92	c |     44564 |   76931   316116   885852 | 2147483647    44564    147 |  0.000 % |
1176.42/1176.34	c |     45588 |   76931   316116   885852 | 2147483647    45588    147 |  0.000 % |
1200.02/1199.92	HOME/SatELiteGTI: line 36: 28968 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1820915-1242487317/watcher-1820915-1242487317 -o /tmp/evaluation-result-1820915-1242487317/solver-1820915-1242487317 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820915-1242487317.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 28962
/proc/meminfo: memFree=1466788/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2416 CPUtime=0
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013232312 2473984 277 4294967295 134512640 135169312 3216727808 3216726344 3085893358 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28962/statm: 604 277 235 161 0 43 0
[pid=28966] ppid=28962 vsize=948 CPUtime=0
/proc/28966/stat : 28966 (SatELite_releas) R 28962 28962 10436 0 -1 4202496 98 0 0 0 0 0 0 0 25 0 1 0 1013232312 970752 34 4294967295 134512640 135223648 3215637984 3215637804 134541552 0 0 0 0 0 0 0 17 2 0 0 0
/proc/28966/statm: 237 49 40 174 0 62 0

[startup+0.038802 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 28962
/proc/meminfo: memFree=1466788/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2416 CPUtime=0
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013232312 2473984 277 4294967295 134512640 135169312 3216727808 3216726344 3085893358 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28962/statm: 604 277 235 161 0 43 0
[pid=28966] ppid=28962 vsize=5900 CPUtime=0.04
/proc/28966/stat : 28966 (SatELite_releas) R 28962 28962 10436 0 -1 4202496 1313 0 0 0 4 0 0 0 25 0 1 0 1013232312 6041600 1249 4294967295 134512640 135223648 3215637984 3215636568 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28966/statm: 1475 1250 46 174 0 1300 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8316

[startup+0.108796 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 28962
/proc/meminfo: memFree=1466788/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2416 CPUtime=0
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013232312 2473984 277 4294967295 134512640 135169312 3216727808 3216726344 3085893358 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28962/statm: 604 277 235 161 0 43 0
[pid=28966] ppid=28962 vsize=17520 CPUtime=0.11
/proc/28966/stat : 28966 (SatELite_releas) R 28962 28962 10436 0 -1 4202496 3704 0 0 0 9 2 0 0 25 0 1 0 1013232312 17940480 3640 4294967295 134512640 135223648 3215637984 3215636936 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28966/statm: 4380 3641 46 174 0 4205 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19936

[startup+0.308779 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 28962
/proc/meminfo: memFree=1466788/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2416 CPUtime=0
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013232312 2473984 277 4294967295 134512640 135169312 3216727808 3216726344 3085893358 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28962/statm: 604 277 235 161 0 43 0
[pid=28966] ppid=28962 vsize=42976 CPUtime=0.31
/proc/28966/stat : 28966 (SatELite_releas) R 28962 28962 10436 0 -1 4202496 10409 0 0 0 23 8 0 0 25 0 1 0 1013232312 44007424 10345 4294967295 134512640 135223648 3215637984 3215636936 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28966/statm: 10744 10347 46 174 0 10569 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 45392

[startup+0.708746 s]
/proc/loadavg: 0.92 0.98 0.99 3/93 28962
/proc/meminfo: memFree=1466788/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2416 CPUtime=0
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013232312 2473984 277 4294967295 134512640 135169312 3216727808 3216726344 3085893358 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28962/statm: 604 277 235 161 0 43 0
[pid=28966] ppid=28962 vsize=77916 CPUtime=0.71
/proc/28966/stat : 28966 (SatELite_releas) R 28962 28962 10436 0 -1 4202496 17012 0 0 0 62 9 0 0 25 0 1 0 1013232312 79785984 15797 4294967295 134512640 135223648 3215637984 3215635652 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28966/statm: 19479 15797 73 174 0 19304 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 80332

[startup+1.50868 s]
/proc/loadavg: 0.92 0.98 0.99 3/95 28967
/proc/meminfo: memFree=1397812/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2416 CPUtime=0
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1013232312 2473984 277 4294967295 134512640 135169312 3216727808 3216726344 3085893358 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28962/statm: 604 277 235 161 0 43 0
[pid=28966] ppid=28962 vsize=84420 CPUtime=1.51
/proc/28966/stat : 28966 (SatELite_releas) R 28962 28962 10436 0 -1 4202496 18711 0 0 0 140 11 0 0 25 0 1 0 1013232312 86446080 17360 4294967295 134512640 135223648 3215637984 3215636000 134586632 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28966/statm: 21105 17360 73 174 0 20930 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 86836

[startup+3.10855 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 28967
/proc/meminfo: memFree=1393472/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 2420

[startup+6.30829 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 28973
/proc/meminfo: memFree=1435632/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=22180 CPUtime=3.62
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 5057 0 0 0 356 6 0 0 25 0 1 0 1013232581 22712320 4991 4294967295 134512640 135216591 3215888000 3215885904 134532999 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 5545 4991 75 172 0 5372 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 24600

[startup+12.7078 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 28973
/proc/meminfo: memFree=1435564/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=22576 CPUtime=10.02
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 5136 0 0 0 996 6 0 0 25 0 1 0 1013232581 23117824 5070 4294967295 134512640 135216591 3215888000 3215885968 134538519 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 5644 5070 75 172 0 5471 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 24996

[startup+25.5067 s]
/proc/loadavg: 0.95 0.98 0.99 3/95 29158
/proc/meminfo: memFree=1434516/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=23132 CPUtime=22.82
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 5282 0 0 0 2276 6 0 0 25 0 1 0 1013232581 23687168 5216 4294967295 134512640 135216591 3215888000 3215885968 134539045 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 5783 5216 75 172 0 5610 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 25552

[startup+51.1146 s]
/proc/loadavg: 0.96 0.98 0.99 3/95 29159
/proc/meminfo: memFree=1434072/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=23700 CPUtime=48.43
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 5454 0 0 0 4837 6 0 0 25 0 1 0 1013232581 24268800 5388 4294967295 134512640 135216591 3215888000 3215886192 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 5925 5388 75 172 0 5752 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 26120

[startup+102.32 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 29347
/proc/meminfo: memFree=1432644/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=25336 CPUtime=99.64
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 5812 0 0 0 9957 7 0 0 25 0 1 0 1013232581 25944064 5746 4294967295 134512640 135216591 3215888000 3215885968 134538522 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 6334 5746 75 172 0 6161 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 27756

[startup+162.315 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 29534
/proc/meminfo: memFree=1431304/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=26536 CPUtime=159.64
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 6113 0 0 0 15956 8 0 0 25 0 1 0 1013232581 27172864 6047 4294967295 134512640 135216591 3215888000 3215886192 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 6634 6047 75 172 0 6461 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 28956

[startup+222.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 29722
/proc/meminfo: memFree=1430452/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=27432 CPUtime=219.65
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 6333 0 0 0 21956 9 0 0 25 0 1 0 1013232581 28090368 6267 4294967295 134512640 135216591 3215888000 3215885968 134538210 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 6858 6267 75 172 0 6685 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 29852

[startup+282.316 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 29909
/proc/meminfo: memFree=1428700/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=29180 CPUtime=279.65
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 6793 0 0 0 27956 9 0 0 25 0 1 0 1013232581 29880320 6727 4294967295 134512640 135216591 3215888000 3215886192 134529245 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 7295 6727 75 172 0 7122 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 31600

[startup+342.311 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 30104
/proc/meminfo: memFree=1426716/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=30800 CPUtime=339.65
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 7183 0 0 0 33956 9 0 0 25 0 1 0 1013232581 31539200 7117 4294967295 134512640 135216591 3215888000 3215886192 134528833 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 7700 7117 75 172 0 7527 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 33220

[startup+402.316 s]

################
# More data... #
################

/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=33288 CPUtime=519.67
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 7813 0 0 0 51958 9 0 0 25 0 1 0 1013232581 34086912 7747 4294967295 134512640 135216591 3215888000 3215885968 134538534 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 8322 7747 75 172 0 8149 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 35708

[startup+582.311 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30854
/proc/meminfo: memFree=1422532/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=35040 CPUtime=579.67
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 8249 0 0 0 57958 9 0 0 25 0 1 0 1013232581 35880960 8183 4294967295 134512640 135216591 3215888000 3215886192 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 8760 8183 75 172 0 8587 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 37460

[startup+642.306 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 31043
/proc/meminfo: memFree=1421384/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=35964 CPUtime=639.67
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 8480 0 0 0 63958 9 0 0 25 0 1 0 1013232581 36827136 8414 4294967295 134512640 135216591 3215888000 3215886192 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 8991 8414 75 172 0 8818 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 38384

[startup+702.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 31235
/proc/meminfo: memFree=1419856/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=37456 CPUtime=699.69
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 8861 0 0 0 69960 9 0 0 25 0 1 0 1013232581 38354944 8795 4294967295 134512640 135216591 3215888000 3215885904 134532786 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 9364 8795 75 172 0 9191 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 39876

[startup+762.316 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 31422
/proc/meminfo: memFree=1417912/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=39336 CPUtime=759.69
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 9313 0 0 0 75958 11 0 0 25 0 1 0 1013232581 40280064 9247 4294967295 134512640 135216591 3215888000 3215885904 134532786 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 9834 9247 75 172 0 9661 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 41756

[startup+822.321 s]
/proc/loadavg: 0.99 0.98 0.99 4/95 31610
/proc/meminfo: memFree=1415052/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=42144 CPUtime=819.7
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 10035 0 0 0 81959 11 0 0 25 0 1 0 1013232581 43155456 9969 4294967295 134512640 135216591 3215888000 3215885968 134538219 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 10536 9969 75 172 0 10363 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 44564

[startup+882.316 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 31797
/proc/meminfo: memFree=1413588/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=43728 CPUtime=879.7
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 10430 0 0 0 87957 13 0 0 25 0 1 0 1013232581 44777472 10364 4294967295 134512640 135216591 3215888000 3215886192 134528966 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 10932 10364 75 172 0 10759 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 46148

[startup+942.321 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 31986
/proc/meminfo: memFree=1411828/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=45444 CPUtime=939.71
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 10840 0 0 0 93958 13 0 0 25 0 1 0 1013232581 46534656 10774 4294967295 134512640 135216591 3215888000 3215885968 134539467 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 11361 10774 75 172 0 11188 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 47864

[startup+1002.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 32174
/proc/meminfo: memFree=1410060/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=47028 CPUtime=999.7
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 11250 0 0 0 99957 13 0 0 25 0 1 0 1013232581 48156672 11184 4294967295 134512640 135216591 3215888000 3215886192 134529020 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 11757 11184 75 172 0 11584 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 49448

[startup+1062.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 32365
/proc/meminfo: memFree=1408820/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=48700 CPUtime=1059.71
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 11639 0 0 0 105958 13 0 0 25 0 1 0 1013232581 49868800 11573 4294967295 134512640 135216591 3215888000 3215885904 134532810 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 12175 11573 75 172 0 12002 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 51120

[startup+1122.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 32553
/proc/meminfo: memFree=1407992/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=49664 CPUtime=1119.71
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 11905 0 0 0 111958 13 0 0 25 0 1 0 1013232581 50855936 11839 4294967295 134512640 135216591 3215888000 3215885904 134532786 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 12416 11839 75 172 0 12243 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 52084

[startup+1182.32 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 32740
/proc/meminfo: memFree=1406248/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=51512 CPUtime=1179.73
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 12340 0 0 0 117957 16 0 0 25 0 1 0 1013232581 52748288 12274 4294967295 134512640 135216591 3215888000 3215885968 134538522 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 12878 12274 75 172 0 12705 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 53932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 32742
/proc/meminfo: memFree=1405676/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=52040 CPUtime=1197.33
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 12486 0 0 0 119717 16 0 0 25 0 1 0 1013232581 53288960 12420 4294967295 134512640 135216591 3215888000 3215886192 134529346 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 13010 12420 75 172 0 12837 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 54460

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1199.92 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 32742
/proc/meminfo: memFree=1405676/2074464 swapFree=1948616/1959888
[pid=28962] ppid=28960 vsize=2420 CPUtime=2.69
/proc/28962/stat : 28962 (SatELiteGTI) S 28960 28962 10436 0 -1 4194304 387 19903 0 0 0 0 254 15 18 0 1 0 1013232312 2478080 279 4294967295 134512640 135169312 3216727808 3216724024 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28962/statm: 605 279 235 161 0 44 0
[pid=28968] ppid=28962 vsize=52040 CPUtime=1197.33
/proc/28968/stat : 28968 (minisat_static) R 28962 28962 10436 0 -1 4202496 12486 0 0 0 119717 16 0 0 25 0 1 0 1013232581 53288960 12420 4294967295 134512640 135216591 3215888000 3215886192 134529346 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28968/statm: 13010 12420 75 172 0 12837 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 54460

Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.03
CPU user time (s): 1199.71
CPU system time (s): 0.32
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 88548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.71
system time used= 0.32
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33051
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= 22
involuntary context switches= 977

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi16 at 2009-05-16 17:21:57
IDJOB=1820915
IDBENCH=70772
IDSOLVER=658
FILE ID=tipi16/1820915-1242487317
PBS_JOBID=
Free space on /tmp= 5066 MiB

SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820915-1242487317/watcher-1820915-1242487317 -o /tmp/evaluation-result-1820915-1242487317/solver-1820915-1242487317 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820915-1242487317.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f21954c654ab1cfd9e2c1aa6fdf49c58
RANDOM SEED= 1920360572

Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.457
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1467184 kB
Buffers:         34120 kB
Cached:         493288 kB
SwapCached:       5940 kB
Active:          74072 kB
Inactive:       463440 kB
HighTotal:     1178688 kB
HighFree:       722376 kB
LowTotal:       895776 kB
LowFree:        744808 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:            8684 kB
Writeback:           0 kB
AnonPages:        9320 kB
Mapped:           3196 kB
Slab:            61272 kB
PageTables:        492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90764 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5066 MiB
End job on tipi16 at 2009-05-16 17:41:58