Trace number 1821416

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
BinMiniSat 2009-03-21UNSAT 1029.51 1029.43

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
MD5SUMa61ef2b7b3d16661e8162c430ffb1a51
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark241.72
Satisfiable
(Un)Satisfiability was proved
Number of variables135543
Number of clauses404326
Sum of the clauses size943426
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2269550
Number of clauses of size 3134775
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.32/0.36	c ==============================================================================
0.32/0.36	c |           |     ORIGINAL     |              LEARNT              |          |
0.32/0.36	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.32/0.36	c ==============================================================================
0.32/0.36	c |         0 |  404200   943125 |  121259       0        0     nan |  0.000 % |
3.72/3.78	c |         0 |  103664   388086 |      --       0       --      -- |     --   | -300210/-554257
3.72/3.78	c ==============================================================================
3.72/3.78	c Result  :   #vars: 14948   #clauses: 103664   #literals: 388086
3.72/3.78	c CPU time:   3.56 s
3.72/3.78	c ==============================================================================
3.92/3.92	This is MiniSat 2.0 beta
3.92/3.92	WARNING: for repeatability, setting FPU to use double precision
3.92/3.92	============================[ Problem Statistics ]=============================
3.92/3.92	|                                                                             |
3.92/3.92	|  Number of variables:  14948                                                |
3.92/3.92	|  Number of clauses:    103664                                               |
3.92/3.99	|  Parsing time:         0.07         s                                       |
3.92/4.00	============================[ Search Statistics ]==============================
3.92/4.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.92/4.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.92/4.00	===============================================================================
3.92/4.00	|         0 |   14948   103664   388086 |    34554        0    nan |  0.000 % |
3.92/4.01	|       100 |   14947   103664   388086 |    38010       99      9 |  0.007 % |
4.42/4.50	|       251 |   14946   103664   388086 |    41811      249     34 |  0.013 % |
4.72/4.73	|       477 |   14945   103595   387822 |    45992      473     32 |  0.020 % |
5.02/5.05	|       814 |   14944   103595   387822 |    50591      809     35 |  0.027 % |
5.12/5.18	|      1320 |   14943   103463   387306 |    55650     1314     28 |  0.033 % |
5.22/5.25	|      2079 |   14942   103463   387306 |    61215     2070     22 |  0.462 % |
5.32/5.33	|      3219 |   14940   103463   387306 |    67337     3208     21 |  0.475 % |
5.52/5.58	|      4927 |   14875   103064   385987 |    74070     4911     20 |  1.104 % |
7.52/7.61	|      7491 |   14779   102322   383421 |    81478     7471     25 |  1.131 % |
8.22/8.29	|     11336 |   14543   101305   380130 |    89625    11299     24 |  3.071 % |
10.42/10.50	|     17102 |   14332    99852   375235 |    98588    17023     27 |  4.121 % |
12.82/12.84	|     25751 |   14134    98805   371831 |   108447    25628     28 |  5.760 % |
17.92/17.92	|     38725 |   13994    97721   368063 |   119292    38575     29 |  6.382 % |
30.63/30.70	|     58189 |   13839    96653   364387 |   131221    57998     33 |  7.426 % |
57.12/57.21	|     87381 |   13714    94977   358082 |   144343    84157     38 |  8.255 % |
107.03/107.06	|    131170 |   13563    93730   353467 |   158777   124824     47 |  9.386 % |
181.73/181.80	|    196856 |   13476    92558   348948 |   174655    59396     45 |  9.847 % |
318.14/318.15	|    295383 |   13468    92492   348684 |   192121   157911     61 |  9.908 % |
496.26/496.25	|    443172 |   13251    90585   341408 |   211333   143832     57 | 11.580 % |
783.98/784.00	|    664856 |   13081    88993   335091 |   232466   187909     57 | 12.510 % |
1029.40/1029.41	===============================================================================
1029.40/1029.41	restarts              : 21
1029.40/1029.41	conflicts             : 839463         (819 /sec)
1029.40/1029.41	decisions             : 1162135        (1.56 % random) (1134 /sec)
1029.40/1029.41	propagations          : 375976481      (366713 /sec)
1029.40/1029.41	conflict literals     : 48558623       (53.45 % deleted)
1029.40/1029.41	Memory used           : 71.93 MB
1029.40/1029.41	CPU time              : 1025.26 s
1029.40/1029.41	
1029.40/1029.41	UNSATISFIABLE
1029.50/1029.42	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821416-1242525993/watcher-1821416-1242525993 -o /tmp/evaluation-result-1821416-1242525993/solver-1821416-1242525993 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821416-1242525993.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: 1.00 1.00 1.00 2/91 30006
/proc/meminfo: memFree=1359984/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2412 CPUtime=0
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1017097479 2469888 276 4294967295 134512640 135169312 3219794416 3219792952 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30006/statm: 603 276 235 161 0 42 0
[pid=30010] ppid=30006 vsize=952 CPUtime=0
/proc/30010/stat : 30010 (SatELite_releas) R 30006 30006 15108 0 -1 4202496 89 0 0 0 0 0 0 0 25 0 1 0 1017097480 974848 26 4294967295 134512640 135223648 3221035792 3221035560 134927997 0 0 0 0 0 0 0 17 3 0 0 0
/proc/30010/statm: 238 38 29 174 0 63 0

[startup+0.046396 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 30006
/proc/meminfo: memFree=1359984/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2412 CPUtime=0
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1017097479 2469888 276 4294967295 134512640 135169312 3219794416 3219792952 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30006/statm: 603 276 235 161 0 42 0
[pid=30010] ppid=30006 vsize=8068 CPUtime=0.05
/proc/30010/stat : 30010 (SatELite_releas) R 30006 30006 15108 0 -1 4202496 1659 0 0 0 2 3 0 0 25 0 1 0 1017097480 8261632 1595 4294967295 134512640 135223648 3221035792 3221034376 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30010/statm: 2017 1595 47 174 0 1842 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10480

[startup+0.116391 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 30006
/proc/meminfo: memFree=1359984/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2412 CPUtime=0
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1017097479 2469888 276 4294967295 134512640 135169312 3219794416 3219792952 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30006/statm: 603 276 235 161 0 42 0
[pid=30010] ppid=30006 vsize=18440 CPUtime=0.12
/proc/30010/stat : 30010 (SatELite_releas) R 30006 30006 15108 0 -1 4202496 4104 0 0 0 7 5 0 0 25 0 1 0 1017097480 18882560 4040 4294967295 134512640 135223648 3221035792 3221034672 134543095 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30010/statm: 4610 4040 47 174 0 4435 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20852

[startup+0.316375 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 30006
/proc/meminfo: memFree=1359984/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2412 CPUtime=0
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1017097479 2469888 276 4294967295 134512640 135169312 3219794416 3219792952 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30006/statm: 603 276 235 161 0 42 0
[pid=30010] ppid=30006 vsize=55528 CPUtime=0.32
/proc/30010/stat : 30010 (SatELite_releas) R 30006 30006 15108 0 -1 4202496 10750 0 0 0 22 10 0 0 25 0 1 0 1017097480 56860672 10686 4294967295 134512640 135223648 3221035792 3221034376 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30010/statm: 13882 10686 47 174 0 13707 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 57940

[startup+0.716344 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 30006
/proc/meminfo: memFree=1359984/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2412 CPUtime=0
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1017097479 2469888 276 4294967295 134512640 135169312 3219794416 3219792952 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30006/statm: 603 276 235 161 0 42 0
[pid=30010] ppid=30006 vsize=68096 CPUtime=0.72
/proc/30010/stat : 30010 (SatELite_releas) R 30006 30006 15108 0 -1 4202496 13900 0 0 0 61 11 0 0 25 0 1 0 1017097480 69730304 13502 4294967295 134512640 135223648 3221035792 3221033560 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30010/statm: 17024 13502 73 174 0 16849 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 70508

[startup+1.51628 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30011
/proc/meminfo: memFree=1298448/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2412 CPUtime=0
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1017097479 2469888 276 4294967295 134512640 135169312 3219794416 3219792952 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30006/statm: 603 276 235 161 0 42 0
[pid=30010] ppid=30006 vsize=74500 CPUtime=1.52
/proc/30010/stat : 30010 (SatELite_releas) R 30006 30006 15108 0 -1 4202496 15406 0 0 0 139 13 0 0 25 0 1 0 1017097480 76288000 14994 4294967295 134512640 135223648 3221035792 3221033888 134598357 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30010/statm: 18625 14994 73 174 0 18450 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 76912

[startup+3.11616 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30012
/proc/meminfo: memFree=1291256/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2412 CPUtime=0
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1017097479 2469888 276 4294967295 134512640 135169312 3219794416 3219792952 3085397742 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30006/statm: 603 276 235 161 0 42 0
[pid=30010] ppid=30006 vsize=74440 CPUtime=3.12
/proc/30010/stat : 30010 (SatELite_releas) R 30006 30006 15108 0 -1 4202496 20996 0 0 0 294 18 0 0 25 0 1 0 1017097480 76226560 15121 4294967295 134512640 135223648 3221035792 3221033808 134586647 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30010/statm: 18610 15121 73 174 0 18435 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 76852

[startup+6.31591 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 30013
/proc/meminfo: memFree=1338500/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=9192 CPUtime=2.4
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 2142 0 0 0 239 1 0 0 25 0 1 0 1017097872 9412608 2077 4294967295 134512640 135216011 3219749424 3219747776 134527402 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30013/statm: 2298 2077 71 172 0 2125 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11608

[startup+12.7154 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30013
/proc/meminfo: memFree=1335728/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=11996 CPUtime=8.8
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 2845 0 0 0 879 1 0 0 25 0 1 0 1017097872 12283904 2780 4294967295 134512640 135216011 3219749424 3219747776 134527521 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30013/statm: 2999 2780 71 172 0 2826 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14412

[startup+25.5244 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30014
/proc/meminfo: memFree=1330832/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=16596 CPUtime=21.61
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 3989 0 0 0 2159 2 0 0 25 0 1 0 1017097872 16994304 3924 4294967295 134512640 135216011 3219749424 3219747776 134527368 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30013/statm: 4149 3924 71 172 0 3976 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 19012

[startup+51.1225 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30201
/proc/meminfo: memFree=1324380/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=22528 CPUtime=47.21
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 5482 0 0 0 4717 4 0 0 25 0 1 0 1017097872 23068672 5417 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30013/statm: 5632 5417 71 172 0 5459 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 24944

[startup+102.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30386
/proc/meminfo: memFree=1311656/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=35024 CPUtime=98.41
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 8601 0 0 0 9833 8 0 0 25 0 1 0 1017097872 35864576 8536 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30013/statm: 8756 8536 71 172 0 8583 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 37440

[startup+162.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30576
/proc/meminfo: memFree=1300504/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=46992 CPUtime=158.41
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 11559 0 0 0 15830 11 0 0 25 0 1 0 1017097872 48119808 11494 4294967295 134512640 135216011 3219749424 3219747568 134537342 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 11748 11494 71 172 0 11575 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 49408

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 30768
/proc/meminfo: memFree=1300364/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=46992 CPUtime=218.41
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 11560 0 0 0 21830 11 0 0 25 0 1 0 1017097872 48119808 11495 4294967295 134512640 135216011 3219749424 3219747504 134524547 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 11748 11495 71 172 0 11575 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 49408

[startup+282.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 30957
/proc/meminfo: memFree=1300256/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=47140 CPUtime=278.42
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 11597 0 0 0 27831 11 0 0 25 0 1 0 1017097872 48271360 11532 4294967295 134512640 135216011 3219749424 3219747504 134524605 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 11785 11532 71 172 0 11612 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 49556

[startup+342.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 31143
/proc/meminfo: memFree=1290568/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=56776 CPUtime=338.42
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 13999 0 0 0 33829 13 0 0 25 0 1 0 1017097872 58138624 13934 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 14194 13934 71 172 0 14021 0
Current children cumulated CPU time (s) 342.34

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


[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 32277
/proc/meminfo: memFree=1279052/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=68280 CPUtime=698.45
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 16795 0 0 0 69829 16 0 0 25 0 1 0 1017097872 69918720 16730 4294967295 134512640 135216011 3219749424 3219747776 134527539 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 17070 16730 71 172 0 16897 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 70696

[startup+762.328 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 32465
/proc/meminfo: memFree=1279036/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=68280 CPUtime=758.47
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 16795 0 0 0 75831 16 0 0 25 0 1 0 1017097872 69918720 16730 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 17070 16730 71 172 0 16897 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 70696

[startup+822.313 s]
/proc/loadavg: 1.07 1.03 1.01 2/93 32653
/proc/meminfo: memFree=1279044/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=68280 CPUtime=818.46
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 16797 0 0 0 81829 17 0 0 25 0 1 0 1017097872 69918720 16732 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 17070 16732 71 172 0 16897 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 70696

[startup+882.319 s]
/proc/loadavg: 1.09 1.04 1.00 2/93 374
/proc/meminfo: memFree=1273936/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=878.47
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18126 0 0 0 87821 26 0 0 25 0 1 0 1017097872 75423744 18061 4294967295 134512640 135216011 3219749424 3219747568 134537342 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18061 71 172 0 18241 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 76072

[startup+942.314 s]
/proc/loadavg: 1.11 1.04 1.00 2/93 564
/proc/meminfo: memFree=1273796/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=938.47
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18126 0 0 0 93820 27 0 0 25 0 1 0 1017097872 75423744 18061 4294967295 134512640 135216011 3219749424 3219747592 134525963 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18061 71 172 0 18241 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 76072

[startup+1002.31 s]
/proc/loadavg: 1.10 1.05 1.00 2/93 752
/proc/meminfo: memFree=1273828/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=998.47
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 99816 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 76072

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

[startup+1011.12 s]
/proc/loadavg: 1.09 1.05 1.00 2/93 752
/proc/meminfo: memFree=1273892/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=1007.28
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 100697 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747776 134527395 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1011.2
Current children cumulated vsize (KiB) 76072

[startup+1017.52 s]
/proc/loadavg: 1.08 1.04 1.00 2/93 753
/proc/meminfo: memFree=1273924/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=1013.68
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 101337 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747504 134524468 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1017.6
Current children cumulated vsize (KiB) 76072

[startup+1023.92 s]
/proc/loadavg: 1.07 1.04 1.00 2/93 755
/proc/meminfo: memFree=1273932/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=1020.08
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 101977 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747776 134527311 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1024
Current children cumulated vsize (KiB) 76072

[startup+1027.12 s]
/proc/loadavg: 1.07 1.04 1.00 2/93 756
/proc/meminfo: memFree=1273932/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=1023.28
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 102297 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747776 134527243 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1027.2
Current children cumulated vsize (KiB) 76072

[startup+1028.72 s]
/proc/loadavg: 1.07 1.04 1.00 2/93 756
/proc/meminfo: memFree=1273932/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=1024.88
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 102457 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1028.8
Current children cumulated vsize (KiB) 76072

[startup+1029.12 s]
/proc/loadavg: 1.07 1.04 1.00 2/93 756
/proc/meminfo: memFree=1273932/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=1025.28
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 102497 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747776 134527548 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1029.2
Current children cumulated vsize (KiB) 76072

[startup+1029.32 s]
/proc/loadavg: 1.07 1.04 1.00 2/93 756
/proc/meminfo: memFree=1273932/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=73656 CPUtime=1025.48
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202496 18127 0 0 0 102517 31 0 0 25 0 1 0 1017097872 75423744 18062 4294967295 134512640 135216011 3219749424 3219747776 134527531 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 18414 18062 71 172 0 18241 0
Current children cumulated CPU time (s) 1029.4
Current children cumulated vsize (KiB) 76072

[startup+1029.42 s]
/proc/loadavg: 1.07 1.04 1.00 2/93 756
/proc/meminfo: memFree=1273932/2074464 swapFree=1952056/1959888
[pid=30006] ppid=30004 vsize=2416 CPUtime=3.92
/proc/30006/stat : 30006 (SatELiteGTI) S 30004 30006 15108 0 -1 4194304 385 28131 0 0 0 0 370 22 18 0 1 0 1017097479 2473984 277 4294967295 134512640 135169312 3219794416 3219790632 3085397742 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30006/statm: 604 277 235 161 0 43 0
[pid=30013] ppid=30006 vsize=0 CPUtime=1025.58
/proc/30013/stat : 30013 (minisat_static) R 30006 30006 15108 0 -1 4202500 18138 0 0 0 102526 32 0 0 25 0 1 0 1017097872 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30013/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1029.5
Current children cumulated vsize (KiB) 2416

Child status: 20
Real time (s): 1029.43
CPU time (s): 1029.51
CPU user time (s): 1028.96
CPU system time (s): 0.55
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 83156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1028.96
system time used= 0.55
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46927
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= 21
involuntary context switches= 1008

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi24 at 2009-05-17 04:06:33
IDJOB=1821416
IDBENCH=70952
IDSOLVER=661
FILE ID=tipi24/1821416-1242525993
PBS_JOBID=
Free space on /tmp= 9922 MiB

SOLVER NAME= BinMiniSat 2009-03-21
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821416-1242525993/watcher-1821416-1242525993 -o /tmp/evaluation-result-1821416-1242525993/solver-1821416-1242525993 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821416-1242525993.cnf

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

MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED= 893995761

Linux tipi24 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.461
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.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
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.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1360000 kB
Buffers:         31160 kB
Cached:         601900 kB
SwapCached:       3828 kB
Active:         103456 kB
Inactive:       539080 kB
HighTotal:     1178688 kB
HighFree:       656972 kB
LowTotal:       895776 kB
LowFree:        703028 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:            8776 kB
Writeback:           0 kB
AnonPages:        8900 kB
Mapped:           3356 kB
Slab:            63100 kB
PageTables:        488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9922 MiB
End job on tipi24 at 2009-05-17 04:23:43