Trace number 1785015

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
SAT07 reference solver: SATzilla CRAFTEDUNSAT 3092.89 3096.11

General information on the benchmark

Namecrafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
MD5SUM9f209556efd81ba93e992e22316c3ed8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark344.237
Satisfiable
(Un)Satisfiability was proved
Number of variables205
Number of clauses4549
Sum of the clauses size12775
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2975
Number of clauses of size 33555
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519

Solver Data 

10.56/13.01	c run March_dl for 5 seconds ... 
10.56/13.01	c Bin: Executing march_dl
10.56/13.01	c child exit by a signal
10.56/13.01	c march_dl returned code 137.
10.56/13.01	c run saps (UBCSAT implementation) for 2 seconds ... 
10.56/13.01	c Bin: Executing ubcsat2006
10.56/13.01	c child exited successfully
10.56/13.01	c ubcsat2006 returned code 0.
10.56/13.01	c satzilla computing base features
10.56/13.01	c satzilla doing unit-prop probe
10.56/13.01	c satzilla doing local search probe
10.56/13.01	c satzilla doing lobjois search-space size estimate
10.56/13.01	c satzilla's ranking:
10.56/13.01	c 1) minisat20: 2.610326
10.56/13.01	c 2) minisat20+P: 2.819889
10.56/13.01	c 3) zchaff_rand+P: 3.082928
10.56/13.01	c 4) march_dl: 3.350851
10.56/13.01	c 5) march_dl+P: 3.399766
10.56/13.01	c 6) vallst+P: 4.399025
10.56/13.01	c 7) kcnfs+P: 999.000000
10.56/13.01	c 8) kcnfs: 999.000000
10.56/13.01	c 9) vallst: 999.000000
10.56/13.01	c 10) zchaff_rand: 999.000000
10.56/13.01	c satzilla running minisat20 ... 
10.56/13.01	This is MiniSat 2.0 beta
10.56/13.01	WARNING: for repeatability, setting FPU to use double precision
10.56/13.01	============================[ Problem Statistics ]=============================
10.56/13.01	|                                                                             |
10.56/13.01	|  Number of variables:  205                                                  |
10.56/13.01	|  Number of clauses:    4549                                                 |
10.56/13.01	|  Parsing time:         0.00         s                                       |
10.56/13.01	============================[ Search Statistics ]==============================
10.56/13.01	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.56/13.01	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.56/13.01	===============================================================================
10.56/13.01	|         0 |     205     4549    12775 |     1516        0    nan |  0.000 % |
10.56/13.01	|       102 |     205     4549    12775 |     1667      102     25 |  0.002 % |
10.56/13.01	|       252 |     205     4549    12775 |     1834      252     27 |  0.043 % |
10.56/13.02	|       482 |     205     4549    12775 |     2018      482     25 |  0.017 % |
10.56/13.02	|       821 |     205     4549    12775 |     2220      821     26 |  0.002 % |
10.56/13.04	|      1327 |     205     4549    12775 |     2442     1327     27 |  0.017 % |
10.56/13.06	|      2086 |     205     4549    12775 |     2686     2086     28 |  0.043 % |
10.57/13.11	|      3225 |     205     4549    12775 |     2954     1823     28 |  0.017 % |
10.57/13.18	|      4933 |     205     4549    12775 |     3250     2028     26 |  0.002 % |
10.85/13.33	|      7498 |     205     4549    12775 |     3575     2944     25 |  0.002 % |
11.15/13.61	|     11343 |     205     4549    12775 |     3932     3163     22 |  0.002 % |
11.45/13.92	|     17111 |     205     4549    12775 |     4326     2912     26 |  0.002 % |
11.85/14.30	|     25760 |     205     4549    12775 |     4758     2727     23 |  0.043 % |
12.35/14.89	|     38734 |     205     4549    12775 |     5234     3611     23 |  0.002 % |
13.25/15.78	|     58195 |     205     4549    12775 |     5758     4489     24 |  0.002 % |
14.85/17.31	|     87388 |     205     4549    12775 |     6334     4553     26 |  0.002 % |
17.25/19.73	|    131177 |     205     4549    12775 |     6967     3510     20 |  0.002 % |
21.05/23.51	|    196862 |     205     4549    12775 |     7664     5852     20 |  0.002 % |
27.04/29.55	|    295390 |     205     4549    12775 |     8430     7703     23 |  0.002 % |
36.53/39.04	|    443179 |     205     4549    12775 |     9273     6777     24 |  0.002 % |
52.33/54.87	|    664862 |     205     4549    12775 |    10201     9131     26 |  0.002 % |
76.62/79.15	|    997388 |     205     4549    12775 |    11221     7996     21 |  0.002 % |
109.91/112.48	|   1496176 |     204     4477    12559 |    12343    10077     28 |  0.490 % |
161.20/163.73	|   2244358 |     204     4477    12559 |    13577    12013     30 |  0.490 % |
234.28/236.87	|   3366634 |     204     4477    12559 |    14935    13633     24 |  0.490 % |
356.65/359.21	|   5050049 |     203     4388    12309 |    16429    10403     29 |  0.978 % |
558.30/560.94	|   7575165 |     203     4388    12309 |    18071     9011     29 |  0.978 % |
856.63/859.30	|  11362841 |     201     4228    11845 |    19879     9766     30 |  1.954 % |
1363.99/1366.82	|  17044354 |     201     4228    11845 |    21867    10913     32 |  1.954 % |
2218.47/2221.56	|  25566624 |     201     4228    11845 |    24053    17400     29 |  1.954 % |
3092.84/3096.11	===============================================================================
3092.84/3096.11	restarts              : 30
3092.84/3096.11	conflicts             : 33979910       (11024 /sec)
3092.84/3096.11	decisions             : 43823386       (1.60 % random) (14218 /sec)
3092.84/3096.11	propagations          : 490835808      (159245 /sec)
3092.84/3096.11	conflict literals     : 1001076327     (29.05 % deleted)
3092.84/3096.11	Memory used           : 14.17 MB
3092.84/3096.11	CPU time              : 3082.27 s
3092.84/3096.11	
3092.84/3096.11	c Bin: Executing minisat20
3092.84/3096.11	c child exited successfully
3092.84/3096.11	c minisat20 returned code 20.
3092.84/3096.11	s UNSATISFIABLE
3092.84/3096.11	c SATZILLA_TIME=3093.350000

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785015-1241881975/watcher-1785015-1241881975 -o /tmp/evaluation-result-1785015-1241881975/solver-1785015-1241881975 -C 5000 -W 6000 -M 1800 --output-limit 1,15 HOME/SATzilla2007_C HOME/instance-1785015-1241881975.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.97 3/65 23509
/proc/meminfo: memFree=1872712/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=0
/proc/23509/stat : 23509 (SATzilla2007_C) R 23507 23509 23430 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 216227521 1474560 110 1992294400 134512640 135579813 4294956224 18446744073709551615 135216547 0 0 4096 0 0 0 0 17 1 0 0
/proc/23509/statm: 360 110 95 260 0 84 0
[pid=23510] ppid=23509 vsize=636 CPUtime=0
/proc/23510/stat : 23510 (march_dl) R 23509 23509 23430 0 -1 4194304 85 0 0 0 0 0 0 0 20 0 1 0 216227521 651264 80 1992294400 134512640 134996440 4294956256 18446744073709551615 134651476 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23510/statm: 159 80 50 118 0 38 0

[startup+0.105745 s]
/proc/loadavg: 0.91 0.98 0.97 3/65 23509
/proc/meminfo: memFree=1872712/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=0
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 216227521 1474560 110 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23509/statm: 360 110 95 260 0 84 0
[pid=23510] ppid=23509 vsize=1380 CPUtime=0.1
/proc/23510/stat : 23510 (march_dl) R 23509 23509 23430 0 -1 4194304 273 0 0 0 10 0 0 0 21 0 1 0 216227521 1413120 265 1992294400 134512640 134996440 4294956256 18446744073709551615 134527807 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23510/statm: 345 265 75 118 0 224 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2820

[startup+0.201754 s]
/proc/loadavg: 0.91 0.98 0.97 3/65 23509
/proc/meminfo: memFree=1872712/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=0
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 216227521 1474560 110 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23509/statm: 360 110 95 260 0 84 0
[pid=23510] ppid=23509 vsize=1380 CPUtime=0.19
/proc/23510/stat : 23510 (march_dl) R 23509 23509 23430 0 -1 4194304 273 0 0 0 19 0 0 0 22 0 1 0 216227521 1413120 265 1992294400 134512640 134996440 4294956256 18446744073709551615 134532728 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23510/statm: 345 265 75 118 0 224 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2820

[startup+0.301765 s]
/proc/loadavg: 0.91 0.98 0.97 3/65 23509
/proc/meminfo: memFree=1872712/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=0
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 216227521 1474560 110 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23509/statm: 360 110 95 260 0 84 0
[pid=23510] ppid=23509 vsize=1380 CPUtime=0.29
/proc/23510/stat : 23510 (march_dl) R 23509 23509 23430 0 -1 4194304 273 0 0 0 29 0 0 0 23 0 1 0 216227521 1413120 265 1992294400 134512640 134996440 4294956256 18446744073709551615 134551415 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23510/statm: 345 265 75 118 0 224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2820

[startup+0.701806 s]
/proc/loadavg: 0.91 0.98 0.97 3/65 23509
/proc/meminfo: memFree=1872712/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=0
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 216227521 1474560 110 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23509/statm: 360 110 95 260 0 84 0
[pid=23510] ppid=23509 vsize=1380 CPUtime=0.69
/proc/23510/stat : 23510 (march_dl) R 23509 23509 23430 0 -1 4194304 273 0 0 0 69 0 0 0 25 0 1 0 216227521 1413120 265 1992294400 134512640 134996440 4294956256 18446744073709551615 134532986 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23510/statm: 345 265 75 118 0 224 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2820

[startup+1.50189 s]
/proc/loadavg: 0.91 0.98 0.97 2/67 23511
/proc/meminfo: memFree=1871864/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=0
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 216227521 1474560 110 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23509/statm: 360 110 95 260 0 84 0
[pid=23510] ppid=23509 vsize=1380 CPUtime=1.49
/proc/23510/stat : 23510 (march_dl) R 23509 23509 23430 0 -1 4194304 273 0 0 0 149 0 0 0 25 0 1 0 216227521 1413120 265 1992294400 134512640 134996440 4294956256 18446744073709551615 134663598 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23510/statm: 345 265 75 118 0 224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2820

[startup+3.10106 s]
/proc/loadavg: 0.91 0.98 0.97 2/67 23511
/proc/meminfo: memFree=1871736/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=0
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 128 0 0 0 0 0 0 0 20 0 1 0 216227521 1474560 110 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/23509/statm: 360 110 95 260 0 84 0
[pid=23510] ppid=23509 vsize=1380 CPUtime=3.09
/proc/23510/stat : 23510 (march_dl) R 23509 23509 23430 0 -1 4194304 273 0 0 0 309 0 0 0 25 0 1 0 216227521 1413120 265 1992294400 134512640 134996440 4294956256 18446744073709551615 134537698 0 0 8392704 0 0 0 0 17 1 0 0
/proc/23510/statm: 345 265 75 118 0 224 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2820

[startup+6.30239 s]
/proc/loadavg: 0.92 0.98 0.97 1/67 23512
/proc/meminfo: memFree=1871992/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1440 CPUtime=4.99
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 135 273 0 0 0 0 499 0 16 0 1 0 216227521 1474560 111 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 360 111 96 260 0 84 0
[pid=23512] ppid=23509 vsize=1440 CPUtime=0
/proc/23512/stat : 23512 (SATzilla2007_C) D 23509 23509 23430 0 -1 4194368 6 0 0 0 0 0 0 0 18 0 1 0 216228021 1474560 112 1992294400 134512640 135579813 4294956224 18446744073709551615 135326214 0 0 8392704 0 18446744071563608240 0 0 17 1 0 0
/proc/23512/statm: 360 112 97 260 0 84 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 2880
heavy processes:

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.97 2/66 23512
/proc/meminfo: memFree=1870336/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.26
/proc/23509/stat : 23509 (SATzilla2007_C) R 23507 23509 23430 0 -1 4194304 672 561 0 13 284 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 1956

[startup+25.5014 s]
/proc/loadavg: 0.94 0.98 0.97 2/67 23513
/proc/meminfo: memFree=1868536/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=3676 CPUtime=12.48
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 593 0 0 0 1248 0 0 0 25 0 1 0 216228822 3764224 588 1992294400 134512640 134998072 4294956256 18446744073709551615 134525788 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 919 588 58 118 0 797 0
Current children cumulated CPU time (s) 23.05
Current children cumulated vsize (KiB) 5632

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.97 2/67 23513
/proc/meminfo: memFree=1867896/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=4256 CPUtime=38.06
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 756 0 0 0 3806 0 0 0 25 0 1 0 216228822 4358144 751 1992294400 134512640 134998072 4294956256 18446744073709551615 134525688 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 1064 751 58 118 0 942 0
Current children cumulated CPU time (s) 48.63
Current children cumulated vsize (KiB) 6212

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.97 2/67 23513
/proc/meminfo: memFree=1866808/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=5472 CPUtime=89.25
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 1043 0 0 0 8925 0 0 0 25 0 1 0 216228822 5603328 1038 1992294400 134512640 134998072 4294956256 18446744073709551615 134519335 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 1368 1038 58 118 0 1246 0
Current children cumulated CPU time (s) 99.82
Current children cumulated vsize (KiB) 7428

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23513
/proc/meminfo: memFree=1864824/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=7424 CPUtime=149.23
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 1523 0 0 0 14923 0 0 0 25 0 1 0 216228822 7602176 1518 1992294400 134512640 134998072 4294956256 18446744073709551615 134525443 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 1856 1518 58 118 0 1734 0
Current children cumulated CPU time (s) 159.8
Current children cumulated vsize (KiB) 9380

[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23513
/proc/meminfo: memFree=1864760/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=7424 CPUtime=209.22
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 1537 0 0 0 20922 0 0 0 25 0 1 0 216228822 7602176 1532 1992294400 134512640 134998072 4294956256 18446744073709551615 134525754 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 1856 1532 58 118 0 1734 0
Current children cumulated CPU time (s) 219.79
Current children cumulated vsize (KiB) 9380

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23513
/proc/meminfo: memFree=1863864/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=8392 CPUtime=269.2
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 1747 0 0 0 26920 0 0 0 25 0 1 0 216228822 8593408 1742 1992294400 134512640 134998072 4294956256 18446744073709551615 134529257 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 2098 1742 58 118 0 1976 0
Current children cumulated CPU time (s) 279.77
Current children cumulated vsize (KiB) 10348

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23513
/proc/meminfo: memFree=1863608/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=8524 CPUtime=329.18
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 1794 0 0 0 32918 0 0 0 25 0 1 0 216228822 8728576 1789 1992294400 134512640 134998072 4294956256 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 2131 1789 58 118 0 2009 0
Current children cumulated CPU time (s) 339.75
Current children cumulated vsize (KiB) 10480

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


[startup+2802.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23515
/proc/meminfo: memFree=1857080/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14184 CPUtime=2788.55
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3173 0 0 0 278854 1 0 0 25 0 1 0 216228822 14524416 3168 1992294400 134512640 134998072 4294956256 18446744073709551615 134525828 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3546 3168 58 118 0 3424 0
Current children cumulated CPU time (s) 2799.12
Current children cumulated vsize (KiB) 16140

[startup+2862.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23515
/proc/meminfo: memFree=1857080/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14184 CPUtime=2848.54
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3173 0 0 0 284853 1 0 0 25 0 1 0 216228822 14524416 3168 1992294400 134512640 134998072 4294956256 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3546 3168 58 118 0 3424 0
Current children cumulated CPU time (s) 2859.11
Current children cumulated vsize (KiB) 16140

[startup+2922.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856888/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14184 CPUtime=2908.51
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3184 0 0 0 290850 1 0 0 25 0 1 0 216228822 14524416 3179 1992294400 134512640 134998072 4294956256 18446744073709551615 134527463 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3546 3179 58 118 0 3424 0
Current children cumulated CPU time (s) 2919.08
Current children cumulated vsize (KiB) 16140

[startup+2982.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856760/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14332 CPUtime=2968.5
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3206 0 0 0 296849 1 0 0 25 0 1 0 216228822 14675968 3201 1992294400 134512640 134998072 4294956256 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3583 3201 58 118 0 3461 0
Current children cumulated CPU time (s) 2979.07
Current children cumulated vsize (KiB) 16288

[startup+3042.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856696/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14332 CPUtime=3028.48
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3224 0 0 0 302847 1 0 0 25 0 1 0 216228822 14675968 3219 1992294400 134512640 134998072 4294956256 18446744073709551615 134525622 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3583 3219 58 118 0 3461 0
Current children cumulated CPU time (s) 3039.05
Current children cumulated vsize (KiB) 16288

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

[startup+3046.4 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856696/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14332 CPUtime=3032.58
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3224 0 0 0 303257 1 0 0 25 0 1 0 216228822 14675968 3219 1992294400 134512640 134998072 4294956256 18446744073709551615 134525543 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3583 3219 58 118 0 3461 0
Current children cumulated CPU time (s) 3043.15
Current children cumulated vsize (KiB) 16288

[startup+3072 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3058.18
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 305817 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134519442 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3068.75
Current children cumulated vsize (KiB) 16460

[startup+3084.8 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3070.97
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 307096 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134519461 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3081.54
Current children cumulated vsize (KiB) 16460

[startup+3091.2 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3077.37
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 307736 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3087.94
Current children cumulated vsize (KiB) 16460

[startup+3094.41 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3080.57
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 308056 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134525534 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3091.14
Current children cumulated vsize (KiB) 16460

[startup+3095.2 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3081.37
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 308136 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134525788 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3091.94
Current children cumulated vsize (KiB) 16460

[startup+3095.6 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3081.77
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 308176 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134525488 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3092.34
Current children cumulated vsize (KiB) 16460

[startup+3096 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3082.17
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 308216 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134525534 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3092.74
Current children cumulated vsize (KiB) 16460

[startup+3096.1 s]
/proc/loadavg: 0.99 0.98 0.97 2/67 23521
/proc/meminfo: memFree=1856632/2055920 swapFree=4180856/4192956
[pid=23509] ppid=23507 vsize=1956 CPUtime=10.57
/proc/23509/stat : 23509 (SATzilla2007_C) S 23507 23509 23430 0 -1 4194304 674 561 0 13 315 22 700 20 25 0 1 0 216227521 2002944 290 1992294400 134512640 135579813 4294956224 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/23509/statm: 489 290 157 260 0 213 0
[pid=23513] ppid=23509 vsize=14504 CPUtime=3082.27
/proc/23513/stat : 23513 (minisat20) R 23509 23509 23430 0 -1 4194304 3233 0 0 0 308226 1 0 0 25 0 1 0 216228822 14852096 3228 1992294400 134512640 134998072 4294956256 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 1 0 0
/proc/23513/statm: 3626 3228 58 118 0 3504 0
Current children cumulated CPU time (s) 3092.84
Current children cumulated vsize (KiB) 16460

Child status: 20
Real time (s): 3096.11
CPU time (s): 3092.89
CPU user time (s): 3092.44
CPU system time (s): 0.45393
CPU usage (%): 99.896
Max. virtual memory (cumulated for all children) (KiB): 16460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3092.44
system time used= 0.45393
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4486
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41
involuntary context switches= 3274

runsolver used 2.6586 second user time and 8.60969 second system time

The end

Launcher Data 

Begin job on node79 at 2009-05-09 17:12:55
IDJOB=1785015
IDBENCH=24674
IDSOLVER=640
FILE ID=node79/1785015-1241881975
PBS_JOBID= 9264673
Free space on /tmp= 66220 MiB

SOLVER NAME= SAT07 reference solver: SATzilla CRAFTED
BENCH NAME= SAT07/crafted/Hard/contest05/counting-clq/unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
COMMAND LINE= HOME/SATzilla2007_C BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1785015-1241881975/watcher-1785015-1241881975 -o /tmp/evaluation-result-1785015-1241881975/solver-1785015-1241881975 -C 5000 -W 6000 -M 1800 --output-limit 1,15  HOME/SATzilla2007_C HOME/instance-1785015-1241881975.cnf            

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

MD5SUM BENCH= 9f209556efd81ba93e992e22316c3ed8
RANDOM SEED=463072684

node79.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1873192 kB
Buffers:         29292 kB
Cached:          89480 kB
SwapCached:       7028 kB
Active:          53440 kB
Inactive:        74800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1873192 kB
SwapTotal:     4192956 kB
SwapFree:      4180856 kB
Dirty:            8420 kB
Writeback:           0 kB
Mapped:          14144 kB
Slab:            40472 kB
Committed_AS:   726116 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66212 MiB
End job on node79 at 2009-05-09 18:04:31