Trace number 1718773

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
SATzilla2009_R 2009-03-22? (exit code) 1199.09 1201.77

General information on the benchmark

Nameindustrial/narain/
clauses-8.cnf
MD5SUM74bd745b1c68e4deddfa063e58b6b54d
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 variables1461771
Number of clauses5687554
Sum of the clauses size14147618
Maximum clause length601
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24325673
Number of clauses of size 3961281
Number of clauses of size 411051
Number of clauses of size 5354960
Number of clauses of size over 534588

Solver Data 

300.12/302.61	c ERROR: Premature EOF reached in HOME/instance-1718773-1240640018.cnf
300.12/302.61	c SATzilla is building models for class 1
300.12/302.61	c run presolver SATenstein for 30 seconds ... 
300.12/302.61	c Bin: Executing SATenstein
300.12/302.61	c spawning binary file with 30 seconds ...
300.12/302.61	c child exit by a signal
300.12/302.61	c SATenstein returned code 137.
300.12/302.61	c run presolver mxc-sr08 for 30 seconds ... 
300.12/302.61	c Bin: Executing mxc-sr08
300.12/302.61	c spawning binary file with 30 seconds ...
300.12/302.61	c child exit by a signal
300.12/302.61	c mxc-sr08 returned code 137.
300.12/302.61	c Orignal number of varibales is 1461772, number of clauses is 5687554 
300.12/302.61	c predicted feature computation time is -28439.208112 
300.12/302.61	c Bin: Executing satelite
300.12/302.61	c spawning binary file with 240 seconds ...
300.12/302.61	c child exit by a signal
300.12/302.61	c Satzilla is runing default solver ... 
300.12/302.61	c satzilla running adaptg2wsat0 ... 
300.12/302.61	c Bin: Executing adaptg2wsat0
300.12/302.61	c spawning binary file with 899 seconds ...
300.12/302.61	c child exited successfully
300.12/302.61	c adaptg2wsat0 returned code 0.
300.12/302.61	c satzilla running minisat20 ... 
300.12/302.61	This is MiniSat 2.0 beta
300.12/302.61	WARNING: for repeatability, setting FPU to use double precision
300.12/302.61	============================[ Problem Statistics ]=============================
300.12/302.61	|                                                                             |
300.12/302.61	|  Number of variables:  1461772                                              |
300.12/302.61	|  Number of clauses:    5687554                                              |
304.12/306.61	|  Parsing time:         3.55         s                                       |
304.52/307.00	============================[ Search Statistics ]==============================
304.52/307.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
304.52/307.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
304.52/307.00	===============================================================================
304.52/307.00	|         0 | 1085746  4572347 11554353 |  1524115        0    nan |  0.000 % |
308.02/310.55	|       100 | 1085740  4572347 11554353 |  1676527       94      5 | 25.749 % |
315.92/318.40	|       250 | 1085357  4570930 11551112 |  1844179      230      6 | 25.758 % |
331.52/334.01	|       475 | 1084381  4567328 11542964 |  2028597      333      7 | 25.823 % |
341.61/344.16	|       813 | 1084052  4566069 11540172 |  2231457      608      7 | 26.006 % |
361.30/363.85	|      1319 | 1078234  4273750 10949227 |  2454603      724      7 | 26.247 % |
401.10/403.68	|      2078 |  809508  2889131  7415949 |  2700063     1014      7 | 44.767 % |
407.00/409.53	|      3220 |  769357  2676119  6887138 |  2970070     1804     17 | 47.380 % |
412.90/415.44	|      4928 |  768973  2673732  6881774 |  3267077     3486     40 | 47.420 % |
425.20/427.72	|      7491 |  766271  2644495  6819037 |  3593785     5825     41 | 47.579 % |
457.59/460.15	|     11335 |  515378  1644307  4184486 |  3953163     8407     37 | 65.116 % |
477.68/480.20	|     17107 |  454089  1441261  3590972 |  4348479    13731     37 | 69.003 % |
516.46/519.01	|     25757 |  415201  1305743  3223469 |  4783327    21528     49 | 71.692 % |
577.16/579.79	|     38732 |  348763  1091327  2714105 |  5261660    32211     64 | 76.142 % |
654.74/657.38	|     58193 |  340677  1064394  2644004 |  5787826    51316     60 | 76.707 % |
786.30/788.98	|     87386 |  325624  1015219  2511333 |  6366609    79509     93 | 77.759 % |
976.56/979.25	|    131177 |  321240  1001011  2476880 |  7003270   122666    105 | 78.024 % |
1199.00/1201.76	c Bin: Executing minisat20
1199.00/1201.76	c spawning binary file with 899 seconds ...
1199.00/1201.76	c child exit by a signal
1199.00/1201.76	c minisat20 returned code 137.
1199.00/1201.76	c satzilla running minisat20SAT07 ... 
1199.00/1201.76	c Bin: Executing minisat20SAT07
1199.00/1201.76	c minisat20SAT07 returned code 1.
1199.00/1201.76	c satzilla running minisat20 ... 
1199.00/1201.76	c Bin: Executing minisat20
1199.00/1201.76	c minisat20 returned code 1.
1199.00/1201.76	c satzilla running vallst ... 
1199.00/1201.76	c Bin: Executing vallst
1199.00/1201.76	c vallst returned code 1.
1199.00/1201.76	c satzilla running zchaff_rand ... 
1199.00/1201.76	c Bin: Executing zchaff_rand
1199.00/1201.76	c zchaff_rand returned code 1.
1199.00/1201.76	c satzilla running tts-4-0 ... 
1199.00/1201.76	c Bin: Executing tts-4-0
1199.00/1201.76	c tts-4-0 returned code 1.
1199.00/1201.76	c satzilla running picosat846 ... 
1199.00/1201.76	c Bin: Executing picosat846
1199.00/1201.76	c picosat846 returned code 1.
1199.00/1201.76	c satzilla running mxc-sr08 ... 
1199.00/1201.76	c Bin: Executing mxc-sr08
1199.00/1201.76	c mxc-sr08 returned code 1.
1199.00/1201.76	c satzilla running adaptg2wsat0 ... 
1199.00/1201.76	c Bin: Executing adaptg2wsat0
1199.00/1201.76	c adaptg2wsat0 returned code 1.
1199.00/1201.76	c satzilla running adaptg2wsat+ ... 
1199.00/1201.76	c Bin: Executing adaptg2wsat+
1199.00/1201.76	c adaptg2wsat+ returned code 1.
1199.00/1201.76	c satzilla running gnovelty+ ... 
1199.00/1201.76	c Bin: Executing gnovelty+
1199.00/1201.76	c gnovelty+ returned code 1.
1199.00/1201.76	c satzilla running SATenstein ... 
1199.00/1201.76	c Bin: Executing SATenstein
1199.00/1201.76	c SATenstein returned code 1.
1199.00/1201.76	c ERROR: All Failed! 
1199.00/1201.76	c SATZILLA_TIME=1199.260000

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1718773-1240640018/watcher-1718773-1240640018 -o /tmp/evaluation-result-1718773-1240640018/solver-1718773-1240640018 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_R HOME/instance-1718773-1240640018.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
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: 1.09 1.02 1.08 3/64 19368
/proc/meminfo: memFree=1343216/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=2056 CPUtime=0
/proc/19369/stat : 19369 (SATzilla2009_R) D 19368 19368 19172 0 -1 4194368 8 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 115 1992294400 134512640 136149437 4294956208 18446744073709551615 135720916 0 0 8392704 0 18446744071563608240 0 0 17 1 0 0
/proc/19369/statm: 514 115 99 399 0 111 0

[startup+0.090643 s]
/proc/loadavg: 1.09 1.02 1.08 3/64 19368
/proc/meminfo: memFree=1343216/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=2056 CPUtime=0
/proc/19369/stat : 19369 (SATzilla2009_R) D 19368 19368 19172 0 -1 4194368 8 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 115 1992294400 134512640 136149437 4294956208 18446744073709551615 135720916 0 0 8392704 0 18446744071563608240 0 0 17 1 0 0
/proc/19369/statm: 514 115 99 399 0 111 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4112

[startup+0.101643 s]
/proc/loadavg: 1.09 1.02 1.08 3/64 19368
/proc/meminfo: memFree=1343216/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=2056 CPUtime=0
/proc/19369/stat : 19369 (SATzilla2009_R) D 19368 19368 19172 0 -1 4194368 8 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 115 1992294400 134512640 136149437 4294956208 18446744073709551615 135720916 0 0 8392704 0 18446744071563608240 0 0 17 1 0 0
/proc/19369/statm: 514 115 99 399 0 111 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4112

[startup+0.301655 s]
/proc/loadavg: 1.09 1.02 1.08 3/64 19368
/proc/meminfo: memFree=1343216/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=2056 CPUtime=0
/proc/19369/stat : 19369 (SATzilla2009_R) D 19368 19368 19172 0 -1 4194368 8 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 115 1992294400 134512640 136149437 4294956208 18446744073709551615 135720916 0 0 8392704 0 18446744071563608240 0 0 17 1 0 0
/proc/19369/statm: 514 115 99 399 0 111 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4112

[startup+0.701681 s]
/proc/loadavg: 1.09 1.02 1.08 3/64 19368
/proc/meminfo: memFree=1343216/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=2056 CPUtime=0
/proc/19369/stat : 19369 (SATzilla2009_R) D 19368 19368 19172 0 -1 4194368 8 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 115 1992294400 134512640 136149437 4294956208 18446744073709551615 135720916 0 0 8392704 0 18446744071563608240 0 0 17 0 0 0
/proc/19369/statm: 514 115 99 399 0 111 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4112

[startup+1.50173 s]
/proc/loadavg: 1.09 1.02 1.08 1/66 19370
/proc/meminfo: memFree=1343200/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=2312 CPUtime=0
/proc/19369/stat : 19369 (SATenstein) D 19368 19368 19172 0 -1 4194304 44 0 2 0 0 0 0 0 18 0 1 0 92036210 2367488 39 1992294400 134512640 134854740 4294955344 18446744073709551615 4682759 0 0 8392704 0 18446744071563479169 0 0 17 0 0 0
/proc/19369/statm: 578 39 32 83 0 125 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4368

[startup+3.10184 s]
/proc/loadavg: 1.09 1.02 1.08 1/66 19370
/proc/meminfo: memFree=1342368/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=55048 CPUtime=0.73
/proc/19369/stat : 19369 (SATenstein) R 19368 19368 19172 0 -1 4194304 2889 0 12 0 71 2 0 0 24 0 1 0 92036210 56369152 2882 1992294400 134512640 134854740 4294955344 18446744073709551615 5100484 0 0 8392704 0 0 0 0 17 0 0 0
/proc/19369/statm: 13762 2882 151 83 0 13323 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 57104
heavy processes:

[startup+6.30104 s]
/proc/loadavg: 1.16 1.03 1.08 2/66 19370
/proc/meminfo: memFree=1303712/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=87848 CPUtime=3.92
/proc/19369/stat : 19369 (SATenstein) R 19368 19368 19172 0 -1 4194304 13447 0 12 0 383 9 0 0 25 0 1 0 92036210 89956352 13440 1992294400 134512640 134854740 4294955344 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19369/statm: 21962 13440 151 83 0 21523 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 89904
heavy processes:

[startup+12.7015 s]
/proc/loadavg: 1.15 1.03 1.08 2/66 19370
/proc/meminfo: memFree=1118304/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=1837984 CPUtime=10.31
/proc/19369/stat : 19369 (SATenstein) R 19368 19368 19172 0 -1 4194304 57559 0 12 0 1000 31 0 0 25 0 1 0 92036210 1882095616 57551 1992294400 134512640 134854740 4294955344 18446744073709551615 134772478 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19369/statm: 459496 57551 153 83 0 459057 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 1840040

[startup+25.5013 s]
/proc/loadavg: 1.11 1.03 1.08 2/66 19370
/proc/meminfo: memFree=1095520/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=0
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 92036210 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 112 96 399 0 111 0
[pid=19369] ppid=19368 vsize=1837984 CPUtime=23.12
/proc/19369/stat : 19369 (SATenstein) R 19368 19368 19172 0 -1 4194304 62811 0 12 0 2278 34 0 0 25 0 1 0 92036210 1882095616 62803 1992294400 134512640 134854740 4294955344 18446744073709551615 134772482 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19369/statm: 459496 62803 153 83 0 459057 0
Current children cumulated CPU time (s) 23.12
Current children cumulated vsize (KiB) 1840040

[startup+51.1019 s]
/proc/loadavg: 1.07 1.03 1.08 2/66 19371
/proc/meminfo: memFree=1090720/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=30.03
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 152 64645 0 12 0 0 2964 39 16 0 1 0 92036210 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 121 104 399 0 111 0
[pid=19371] ppid=19368 vsize=289560 CPUtime=18.67
/proc/19371/stat : 19371 (mxc-sr08) R 19368 19368 19172 0 -1 4194304 95265 0 0 0 1820 47 0 0 25 0 1 0 92039452 296509440 63857 1992294400 134512640 135078026 4294956176 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 1 0 0
/proc/19371/statm: 72390 63857 66 138 0 72249 0
Current children cumulated CPU time (s) 48.7
Current children cumulated vsize (KiB) 291616

[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.07 2/66 19372
/proc/meminfo: memFree=668384/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=60.06
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 180 160069 0 12 0 0 5916 90 19 0 1 0 92036210 2105344 139 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 139 121 399 0 111 0
[pid=19372] ppid=19368 vsize=776756 CPUtime=39.81
/proc/19372/stat : 19372 (satelite) R 19368 19368 19172 0 -1 4194304 180652 0 0 0 3870 111 0 0 25 0 1 0 92042457 795398144 165087 1992294400 134512640 135037501 4294956160 18446744073709551615 134543322 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19372/statm: 194189 165087 67 128 0 194058 0
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (KiB) 778812

[startup+162.301 s]
/proc/loadavg: 1.06 1.03 1.07 2/66 19372
/proc/meminfo: memFree=658656/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=60.06
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 180 160069 0 12 0 0 5916 90 19 0 1 0 92036210 2105344 139 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 139 121 399 0 111 0
[pid=19372] ppid=19368 vsize=777268 CPUtime=99.79
/proc/19372/stat : 19372 (satelite) R 19368 19368 19172 0 -1 4194304 181189 0 0 0 9853 126 0 0 25 0 1 0 92042457 795922432 165624 1992294400 134512640 135037501 4294956160 18446744073709551615 134543062 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19372/statm: 194317 165624 67 128 0 194186 0
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (KiB) 779324

[startup+222.302 s]
/proc/loadavg: 1.02 1.02 1.07 2/66 19372
/proc/meminfo: memFree=646560/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=60.06
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 180 160069 0 12 0 0 5916 90 19 0 1 0 92036210 2105344 139 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 139 121 399 0 111 0
[pid=19372] ppid=19368 vsize=786484 CPUtime=159.78
/proc/19372/stat : 19372 (satelite) R 19368 19368 19172 0 -1 4194304 181844 0 0 0 15836 142 0 0 25 0 1 0 92042457 805359616 166279 1992294400 134512640 135037501 4294956160 18446744073709551615 134543062 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19372/statm: 196621 166279 67 128 0 196490 0
Current children cumulated CPU time (s) 219.84
Current children cumulated vsize (KiB) 788540

[startup+282.302 s]
/proc/loadavg: 1.08 1.03 1.07 2/66 19372
/proc/meminfo: memFree=552096/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2056 CPUtime=60.06
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 180 160069 0 12 0 0 5916 90 19 0 1 0 92036210 2105344 139 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 514 139 121 399 0 111 0
[pid=19372] ppid=19368 vsize=803988 CPUtime=219.76
/proc/19372/stat : 19372 (satelite) R 19368 19368 19172 0 -1 4194304 186510 0 0 0 21782 194 0 0 25 0 1 0 92042457 823283712 170945 1992294400 134512640 135037501 4294956160 18446744073709551615 134542711 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19372/statm: 200997 170945 67 128 0 200866 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 806044

[startup+342.302 s]
/proc/loadavg: 1.03 1.03 1.06 2/66 19374
/proc/meminfo: memFree=918112/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=338024 CPUtime=39.66

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


[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.02 3/66 19374
/proc/meminfo: memFree=906720/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=349996 CPUtime=459.57
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 81840 0 0 0 45906 51 0 0 25 0 1 0 92066471 358395904 81826 1992294400 134512640 134998072 4294956176 18446744073709551615 134528515 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 87499 81826 59 118 0 87377 0
Current children cumulated CPU time (s) 759.72
Current children cumulated vsize (KiB) 352064

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 19374
/proc/meminfo: memFree=896992/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=359640 CPUtime=519.54
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 84259 0 0 0 51900 54 0 0 25 0 1 0 92066471 368271360 84245 1992294400 134512640 134998072 4294956176 18446744073709551615 134529985 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 89910 84245 59 118 0 89788 0
Current children cumulated CPU time (s) 819.69
Current children cumulated vsize (KiB) 361708

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 19374
/proc/meminfo: memFree=890336/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=366296 CPUtime=579.53
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 85909 0 0 0 57897 56 0 0 25 0 1 0 92066471 375087104 85895 1992294400 134512640 134998072 4294956176 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 91574 85895 59 118 0 91452 0
Current children cumulated CPU time (s) 879.68
Current children cumulated vsize (KiB) 368364

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=881440/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=375272 CPUtime=639.52
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 88157 0 0 0 63892 60 0 0 25 0 1 0 92066471 384278528 88143 1992294400 134512640 134998072 4294956176 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 93818 88143 59 118 0 93696 0
Current children cumulated CPU time (s) 939.67
Current children cumulated vsize (KiB) 377340

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=874720/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=381744 CPUtime=699.5
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 89791 0 0 0 69888 62 0 0 25 0 1 0 92066471 390905856 89777 1992294400 134512640 134998072 4294956176 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 95436 89777 59 118 0 95314 0
Current children cumulated CPU time (s) 999.65
Current children cumulated vsize (KiB) 383812

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=869600/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=387176 CPUtime=759.49
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 91100 0 0 0 75886 63 0 0 25 0 1 0 92066471 396468224 91086 1992294400 134512640 134998072 4294956176 18446744073709551615 134528518 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 96794 91086 59 118 0 96672 0
Current children cumulated CPU time (s) 1059.64
Current children cumulated vsize (KiB) 389244

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=863392/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=393252 CPUtime=819.47
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 92612 0 0 0 81882 65 0 0 25 0 1 0 92066471 402690048 92598 1992294400 134512640 134998072 4294956176 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 98313 92598 59 118 0 98191 0
Current children cumulated CPU time (s) 1119.62
Current children cumulated vsize (KiB) 395320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=857952/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=398580 CPUtime=879.45
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 93962 0 0 0 87878 67 0 0 25 0 1 0 92066471 408145920 93948 1992294400 134512640 134998072 4294956176 18446744073709551615 134525767 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 99645 93948 59 118 0 99523 0
Current children cumulated CPU time (s) 1179.6
Current children cumulated vsize (KiB) 400648

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=857376/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=399108 CPUtime=887.46
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 94100 0 0 0 88678 68 0 0 25 0 1 0 92066471 408686592 94086 1992294400 134512640 134998072 4294956176 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 99777 94086 59 118 0 99655 0
Current children cumulated CPU time (s) 1187.61
Current children cumulated vsize (KiB) 401176

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=856672/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=399772 CPUtime=893.86
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 94277 0 0 0 89318 68 0 0 25 0 1 0 92066471 409366528 94263 1992294400 134512640 134998072 4294956176 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 99943 94263 59 118 0 99821 0
Current children cumulated CPU time (s) 1194.01
Current children cumulated vsize (KiB) 401840

[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=856416/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=400168 CPUtime=897.05
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 94367 0 0 0 89637 68 0 0 25 0 1 0 92066471 409772032 94353 1992294400 134512640 134998072 4294956176 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 100042 94353 59 118 0 99920 0
Current children cumulated CPU time (s) 1197.2
Current children cumulated vsize (KiB) 402236

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=856288/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=400300 CPUtime=897.85
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 94393 0 0 0 89717 68 0 0 25 0 1 0 92066471 409907200 94379 1992294400 134512640 134998072 4294956176 18446744073709551615 134533643 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 100075 94379 59 118 0 99953 0
Current children cumulated CPU time (s) 1198
Current children cumulated vsize (KiB) 402368

[startup+1201.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=856160/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=400300 CPUtime=898.65
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 94406 0 0 0 89797 68 0 0 25 0 1 0 92066471 409907200 94392 1992294400 134512640 134998072 4294956176 18446744073709551615 134649756 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 100075 94392 59 118 0 99953 0
Current children cumulated CPU time (s) 1198.8
Current children cumulated vsize (KiB) 402368

[startup+1201.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19374
/proc/meminfo: memFree=856160/2055920 swapFree=4130492/4192956
[pid=19368] ppid=19366 vsize=2068 CPUtime=300.15
/proc/19368/stat : 19368 (SATzilla2009_R) S 19366 19368 19172 0 -1 4194304 208 346972 0 12 0 0 29714 301 16 0 1 0 92036210 2117632 144 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/19368/statm: 517 144 124 399 0 114 0
[pid=19374] ppid=19368 vsize=400432 CPUtime=898.85
/proc/19374/stat : 19374 (minisat20) R 19368 19368 19172 0 -1 4194304 94424 0 0 0 89817 68 0 0 25 0 1 0 92066471 410042368 94410 1992294400 134512640 134998072 4294956176 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/19374/statm: 100108 94410 59 118 0 99986 0
Current children cumulated CPU time (s) 1199
Current children cumulated vsize (KiB) 402500

Child status: 17
Real time (s): 1201.77
CPU time (s): 1199.09
CPU user time (s): 1195.32
CPU system time (s): 3.77343
CPU usage (%): 99.7771
Max. virtual memory (cumulated for all children) (KiB): 1840040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.32
system time used= 3.77343
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441620
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 2079

runsolver used 1.38079 second user time and 3.00554 second system time

The end

Launcher Data 

Begin job on node22 at 2009-04-25 08:13:46
IDJOB=1718773
IDBENCH=20506
IDSOLVER=526
FILE ID=node22/1718773-1240640018
PBS_JOBID= 9186455
Free space on /tmp= 66016 MiB

SOLVER NAME= SATzilla2009_R 2009-03-22
BENCH NAME= SAT07/industrial/narain/clauses-8.cnf
COMMAND LINE= HOME/SATzilla2009_R BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1718773-1240640018/watcher-1718773-1240640018 -o /tmp/evaluation-result-1718773-1240640018/solver-1718773-1240640018 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_R HOME/instance-1718773-1240640018.cnf

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

MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED=1742517980

node22.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.232
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.232
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1343568 kB
Buffers:         51892 kB
Cached:         541284 kB
SwapCached:      57516 kB
Active:         166836 kB
Inactive:       486084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1343568 kB
SwapTotal:     4192956 kB
SwapFree:      4130492 kB
Dirty:          145816 kB
Writeback:           0 kB
Mapped:          13460 kB
Slab:            45348 kB
Committed_AS:   390660 kB
PageTables:       1368 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= 65880 MiB
End job on node22 at 2009-04-25 08:33:48