Trace number 1727591

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) 1198.9 1199.4

General information on the benchmark

Namecrafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
MD5SUM181c4935b6e4cd791aedd030930111fa
Bench CategoryCRAFTED (crafted 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 variables16866
Number of clauses2507999
Sum of the clauses size5028712
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22505923
Number of clauses of size 31
Number of clauses of size 47
Number of clauses of size 59
Number of clauses of size over 52059

Solver Data 

59.95/60.06	c SATzilla is building models for class 1
59.95/60.06	c run presolver SATenstein for 30 seconds ... 
59.95/60.06	c Bin: Executing SATenstein
59.95/60.06	c spawning binary file with 30 seconds ...
59.95/60.06	c child exit by a signal
59.95/60.06	c SATenstein returned code 137.
59.95/60.06	c run presolver mxc-sr08 for 30 seconds ... 
59.95/60.06	c Bin: Executing mxc-sr08
59.95/60.06	c spawning binary file with 30 seconds ...
59.95/60.06	c child exit by a signal
59.95/60.06	c mxc-sr08 returned code 137.
59.95/60.06	c Orignal number of varibales is 16866, number of clauses is 2507999 
59.95/60.06	c predicted feature computation time is 4986.206480 
59.95/60.06	c Satzilla is runing default solver ... 
59.95/60.06	c satzilla running adaptg2wsat0 ... 
59.95/60.06	c Bin: Executing adaptg2wsat0
59.95/60.06	c spawning binary file with 1139 seconds ...
59.95/60.06	c child exited successfully
59.95/60.06	c adaptg2wsat0 returned code 0.
59.95/60.06	c satzilla running minisat20 ... 
59.95/60.06	This is MiniSat 2.0 beta
59.95/60.06	WARNING: for repeatability, setting FPU to use double precision
59.95/60.06	============================[ Problem Statistics ]=============================
59.95/60.06	|                                                                             |
59.95/60.06	|  Number of variables:  16866                                                |
59.95/60.06	|  Number of clauses:    2507999                                              |
61.45/61.55	|  Parsing time:         1.34         s                                       |
61.55/61.67	============================[ Search Statistics ]==============================
61.55/61.67	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
61.55/61.67	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
61.55/61.67	===============================================================================
61.55/61.67	|         0 |   16866  2507999  5028712 |   835999        0    nan |  0.000 % |
62.04/62.12	|       100 |   16863  2507999  5028712 |   919599       97     60 |  0.018 % |
62.24/62.33	|       250 |   16854  2507999  5028712 |  1011559      238     32 |  0.071 % |
62.84/62.90	|       475 |   16853  2507999  5028712 |  1112715      462     55 |  0.077 % |
63.34/63.40	|       813 |   16847  2507999  5028712 |  1223987      794     39 |  0.113 % |
64.64/64.75	|      1319 |   16846  2507999  5028712 |  1346385     1299     50 |  0.119 % |
66.13/66.23	|      2078 |   16845  2507999  5028712 |  1481024     2057     48 |  0.125 % |
69.73/69.87	|      3217 |   16845  2507999  5028712 |  1629126     3196     77 |  0.125 % |
75.14/75.27	|      4925 |   16844  2507999  5028712 |  1792039     4903     80 |  0.130 % |
81.73/81.80	|      7487 |   16843  2506793  5026300 |  1971243     7447     78 |  0.136 % |
88.93/89.07	|     11331 |   16842  2506793  5026300 |  2168367    11290     96 |  0.142 % |
107.41/107.52	|     17097 |   16837  2506705  5026124 |  2385204    17050     93 |  0.172 % |
138.40/138.58	|     25748 |   16833  2506705  5026124 |  2623725    25697    103 |  0.196 % |
190.09/190.21	|     38722 |   16832  2505980  5024674 |  2886097    38660     99 |  0.202 % |
268.65/268.85	|     58183 |   16831  2505949  5024612 |  3174707    58117     92 |  0.208 % |
494.56/494.80	|     87375 |   16831  2505690  5024094 |  3492178    87308    129 |  0.208 % |
763.14/763.53	|    131165 |   16831  2505690  5024094 |  3841395   131098    144 |  0.208 % |
1198.86/1199.40	c Bin: Executing minisat20
1198.86/1199.40	c spawning binary file with 1139 seconds ...
1198.86/1199.40	c child exit by a signal
1198.86/1199.40	c minisat20 returned code 137.
1198.86/1199.40	c satzilla running minisat20SAT07 ... 
1198.86/1199.40	c Bin: Executing minisat20SAT07
1198.86/1199.40	c minisat20SAT07 returned code 1.
1198.86/1199.40	c satzilla running minisat20 ... 
1198.86/1199.40	c Bin: Executing minisat20
1198.86/1199.40	c minisat20 returned code 1.
1198.86/1199.40	c satzilla running vallst ... 
1198.86/1199.40	c Bin: Executing vallst
1198.86/1199.40	c vallst returned code 1.
1198.86/1199.40	c satzilla running zchaff_rand ... 
1198.86/1199.40	c Bin: Executing zchaff_rand
1198.86/1199.40	c zchaff_rand returned code 1.
1198.86/1199.40	c satzilla running tts-4-0 ... 
1198.86/1199.40	c Bin: Executing tts-4-0
1198.86/1199.40	c tts-4-0 returned code 1.
1198.86/1199.40	c satzilla running picosat846 ... 
1198.86/1199.40	c Bin: Executing picosat846
1198.86/1199.40	c picosat846 returned code 1.
1198.86/1199.40	c satzilla running mxc-sr08 ... 
1198.86/1199.40	c Bin: Executing mxc-sr08
1198.86/1199.40	c mxc-sr08 returned code 1.
1198.86/1199.40	c satzilla running adaptg2wsat0 ... 
1198.86/1199.40	c Bin: Executing adaptg2wsat0
1198.86/1199.40	c adaptg2wsat0 returned code 1.
1198.86/1199.40	c satzilla running adaptg2wsat+ ... 
1198.86/1199.40	c Bin: Executing adaptg2wsat+
1198.86/1199.40	c adaptg2wsat+ returned code 1.
1198.86/1199.40	c satzilla running gnovelty+ ... 
1198.86/1199.40	c Bin: Executing gnovelty+
1198.86/1199.40	c gnovelty+ returned code 1.
1198.86/1199.40	c satzilla running SATenstein ... 
1198.86/1199.40	c Bin: Executing SATenstein
1198.86/1199.40	c SATenstein returned code 1.
1198.86/1199.40	c ERROR: All Failed! 
1198.86/1199.40	c SATZILLA_TIME=1199.070000

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-1727591-1240726676/watcher-1727591-1240726676 -o /tmp/evaluation-result-1727591-1240726676/solver-1727591-1240726676 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_R HOME/instance-1727591-1240726676.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.01 1.00 1.00 3/65 18613
/proc/meminfo: memFree=1420416/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) R 18611 18613 18391 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=26108 CPUtime=0
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 279 0 0 0 0 0 0 0 18 0 1 0 100697456 26734592 260 1992294400 134512640 134854740 4294955360 18446744073709551615 134782527 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 6527 260 151 83 0 6088 0

[startup+0.0933559 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 18613
/proc/meminfo: memFree=1420416/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=26108 CPUtime=0.08
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 631 0 0 0 8 0 0 0 19 0 1 0 100697456 26734592 612 1992294400 134512640 134854740 4294955360 18446744073709551615 134782527 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 6527 612 151 83 0 6088 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28164

[startup+0.101354 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 18613
/proc/meminfo: memFree=1420416/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=26108 CPUtime=0.09
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 663 0 0 0 9 0 0 0 19 0 1 0 100697456 26734592 644 1992294400 134512640 134854740 4294955360 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 6527 644 151 83 0 6088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28164

[startup+0.301375 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 18613
/proc/meminfo: memFree=1420416/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=26108 CPUtime=0.29
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 1453 0 0 0 29 0 0 0 21 0 1 0 100697456 26734592 1434 1992294400 134512640 134854740 4294955360 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 6527 1434 151 83 0 6088 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28164

[startup+0.701417 s]
/proc/loadavg: 1.01 1.00 1.00 3/65 18613
/proc/meminfo: memFree=1420416/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=30208 CPUtime=0.69
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 3032 0 0 0 68 1 0 0 25 0 1 0 100697456 30932992 3013 1992294400 134512640 134854740 4294955360 18446744073709551615 134782527 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 7552 3013 151 83 0 7113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32264

[startup+1.5015 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 18615
/proc/meminfo: memFree=1403952/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=38408 CPUtime=1.49
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 6205 0 0 0 146 3 0 0 25 0 1 0 100697456 39329792 6186 1992294400 134512640 134854740 4294955360 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 9602 6186 151 83 0 9163 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40464

[startup+3.10167 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 18615
/proc/meminfo: memFree=1386352/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=123192 CPUtime=3.09
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 20118 0 0 0 301 8 0 0 25 0 1 0 100697456 126148608 20098 1992294400 134512640 134854740 4294955360 18446744073709551615 134772464 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 30798 20098 153 83 0 30359 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125248

[startup+6.302 s]
/proc/loadavg: 1.17 1.03 1.01 2/67 18615
/proc/meminfo: memFree=1340208/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=299584 CPUtime=6.29
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 30733 0 0 0 617 12 0 0 25 0 1 0 100697456 306774016 30713 1992294400 134512640 134854740 4294955360 18446744073709551615 8400599 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 74896 30713 169 83 0 74457 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 301640

[startup+12.7017 s]
/proc/loadavg: 1.31 1.07 1.02 2/67 18615
/proc/meminfo: memFree=1248048/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=299584 CPUtime=12.69
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 48022 0 0 0 1251 18 0 0 25 0 1 0 100697456 306774016 43104 1992294400 134512640 134854740 4294955360 18446744073709551615 134761047 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 74896 43104 174 83 0 74457 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 301640

[startup+25.502 s]
/proc/loadavg: 1.46 1.11 1.04 2/67 18615
/proc/meminfo: memFree=1246832/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=0
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 100697455 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 112 96 399 0 111 0
[pid=18614] ppid=18613 vsize=299584 CPUtime=25.49
/proc/18614/stat : 18614 (SATenstein) R 18613 18613 18391 0 -1 4194304 48022 0 0 0 2531 18 0 0 25 0 1 0 100697456 306774016 43104 1992294400 134512640 134854740 4294955360 18446744073709551615 134761063 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18614/statm: 74896 43104 174 83 0 74457 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 301640

[startup+51.1017 s]
/proc/loadavg: 1.79 1.21 1.07 2/67 18616
/proc/meminfo: memFree=1288944/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=30.01
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 152 48022 0 0 0 0 2981 20 16 0 1 0 100697455 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/18613/statm: 514 121 104 399 0 111 0
[pid=18616] ppid=18613 vsize=139756 CPUtime=21.04
/proc/18616/stat : 18616 (mxc-sr08) R 18613 18613 18391 0 -1 4194304 41055 0 0 0 2085 19 0 0 25 0 1 0 100700459 143110144 32653 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/18616/statm: 34939 32653 55 138 0 34798 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 141812

[startup+102.306 s]
/proc/loadavg: 1.57 1.25 1.09 2/67 18618
/proc/meminfo: memFree=1319472/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=106764 CPUtime=42.2
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 25579 0 0 0 4204 16 0 0 25 0 1 0 100703462 109326336 25573 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 26691 25573 59 118 0 26569 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 108820

[startup+162.301 s]
/proc/loadavg: 1.21 1.20 1.08 2/67 18618
/proc/meminfo: memFree=1312368/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=114292 CPUtime=102.17
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 27443 0 0 0 10198 19 0 0 25 0 1 0 100703462 117035008 27437 1992294400 134512640 134998072 4294956192 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 28573 27437 59 118 0 28451 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 116348

[startup+222.302 s]
/proc/loadavg: 1.07 1.16 1.08 2/67 18618
/proc/meminfo: memFree=1306160/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=120460 CPUtime=162.15
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 28990 0 0 0 16194 21 0 0 25 0 1 0 100703462 123351040 28984 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 30115 28984 59 118 0 29993 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 122516

[startup+282.302 s]
/proc/loadavg: 1.02 1.13 1.07 2/67 18618
/proc/meminfo: memFree=1300592/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=126028 CPUtime=222.13
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 30393 0 0 0 22191 22 0 0 25 0 1 0 100703462 129052672 30387 1992294400 134512640 134998072 4294956192 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 31507 30387 59 118 0 31385 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 128084

[startup+342.302 s]
/proc/loadavg: 1.01 1.10 1.07 2/67 18618
/proc/meminfo: memFree=1293360/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=133276 CPUtime=282.11
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 32173 0 0 0 28186 25 0 0 25 0 1 0 100703462 136474624 32167 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 33319 32167 59 118 0 33197 0

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


[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.02 2/67 18618
/proc/meminfo: memFree=1239984/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=186744 CPUtime=761.9
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 45480 0 0 0 76152 38 0 0 25 0 1 0 100703462 191225856 45474 1992294400 134512640 134998072 4294956192 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 46686 45474 59 118 0 46564 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 188800

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 18618
/proc/meminfo: memFree=1235312/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=191380 CPUtime=821.87
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 46642 0 0 0 82148 39 0 0 25 0 1 0 100703462 195973120 46636 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 47845 46636 59 118 0 47723 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 193436

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 18618
/proc/meminfo: memFree=1230640/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=195880 CPUtime=881.84
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 47800 0 0 0 88144 40 0 0 25 0 1 0 100703462 200581120 47794 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 48970 47794 59 118 0 48848 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 197936

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1225520/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=201160 CPUtime=941.82
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 49094 0 0 0 94140 42 0 0 25 0 1 0 100703462 205987840 49088 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 50290 49088 59 118 0 50168 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 203216

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1219504/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=207144 CPUtime=1001.79
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 50615 0 0 0 100135 44 0 0 25 0 1 0 100703462 212115456 50609 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 51786 50609 59 118 0 51664 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 209200

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1215664/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=210924 CPUtime=1061.78
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 51556 0 0 0 106132 46 0 0 25 0 1 0 100703462 215986176 51550 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 52731 51550 59 118 0 52609 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 212980

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1211376/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=215264 CPUtime=1121.76
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 52649 0 0 0 112128 48 0 0 25 0 1 0 100703462 220430336 52643 1992294400 134512640 134998072 4294956192 18446744073709551615 134525794 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 53816 52643 59 118 0 53694 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 217320

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1210480/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=216064 CPUtime=1129.75
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 52823 0 0 0 112927 48 0 0 25 0 1 0 100703462 221249536 52817 1992294400 134512640 134998072 4294956192 18446744073709551615 134527411 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 54016 52817 59 118 0 53894 0
Current children cumulated CPU time (s) 1189.77
Current children cumulated vsize (KiB) 218120

[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1210288/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=216196 CPUtime=1132.95
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 52878 0 0 0 113247 48 0 0 25 0 1 0 100703462 221384704 52872 1992294400 134512640 134998072 4294956192 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 54049 52872 59 118 0 53927 0
Current children cumulated CPU time (s) 1192.97
Current children cumulated vsize (KiB) 218252

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1210032/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=216460 CPUtime=1136.15
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 52942 0 0 0 113567 48 0 0 25 0 1 0 100703462 221655040 52936 1992294400 134512640 134998072 4294956192 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 54115 52936 59 118 0 53993 0
Current children cumulated CPU time (s) 1196.17
Current children cumulated vsize (KiB) 218516

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1209968/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=216592 CPUtime=1137.75
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 52967 0 0 0 113727 48 0 0 25 0 1 0 100703462 221790208 52961 1992294400 134512640 134998072 4294956192 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 54148 52961 59 118 0 54026 0
Current children cumulated CPU time (s) 1197.77
Current children cumulated vsize (KiB) 218648

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1209840/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=216592 CPUtime=1138.54
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 52983 0 0 0 113806 48 0 0 25 0 1 0 100703462 221790208 52977 1992294400 134512640 134998072 4294956192 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 54148 52977 59 118 0 54026 0
Current children cumulated CPU time (s) 1198.56
Current children cumulated vsize (KiB) 218648

[startup+1199.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1209840/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=216592 CPUtime=1138.74
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4194304 52987 0 0 0 113826 48 0 0 25 0 1 0 100703462 221790208 52981 1992294400 134512640 134998072 4294956192 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 54148 52981 59 118 0 54026 0
Current children cumulated CPU time (s) 1198.76
Current children cumulated vsize (KiB) 218648

[startup+1199.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18618
/proc/meminfo: memFree=1209840/2055924 swapFree=4181440/4192956
[pid=18613] ppid=18611 vsize=2056 CPUtime=60.02
/proc/18613/stat : 18613 (SATzilla2009_R) S 18611 18613 18391 0 -1 4194304 194 89140 0 0 0 0 5960 42 19 0 1 0 100697455 2105344 140 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/18613/statm: 514 140 122 399 0 111 0
[pid=18618] ppid=18613 vsize=0 CPUtime=1138.84
/proc/18618/stat : 18618 (minisat20) R 18613 18613 18391 0 -1 4195332 52988 0 0 0 113833 51 0 0 25 0 1 0 100703462 0 0 1992294400 0 0 0 0 0 256 0 8392704 3 0 0 0 17 0 0 0
/proc/18618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1198.86
Current children cumulated vsize (KiB) 2056

Child status: 17
Real time (s): 1199.4
CPU time (s): 1198.9
CPU user time (s): 1197.95
CPU system time (s): 0.947855
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 301640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.95
system time used= 0.947855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142340
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= 13
involuntary context switches= 4030

runsolver used 1.05184 second user time and 3.3175 second system time

The end

Launcher Data 

Begin job on node83 at 2009-04-26 08:18:01
IDJOB=1727591
IDBENCH=24641
IDSOLVER=526
FILE ID=node83/1727591-1240726676
PBS_JOBID= 9186911
Free space on /tmp= 66008 MiB

SOLVER NAME= SATzilla2009_R 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
COMMAND LINE= HOME/SATzilla2009_R BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1727591-1240726676/watcher-1727591-1240726676 -o /tmp/evaluation-result-1727591-1240726676/solver-1727591-1240726676 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_R HOME/instance-1727591-1240726676.cnf

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

MD5SUM BENCH= 181c4935b6e4cd791aedd030930111fa
RANDOM SEED=1710438548

node83.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.222
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.222
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:      2055924 kB
MemFree:       1420896 kB
Buffers:         53168 kB
Cached:         516496 kB
SwapCached:       5412 kB
Active:         226588 kB
Inactive:       352000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1420896 kB
SwapTotal:     4192956 kB
SwapFree:      4181440 kB
Dirty:           65032 kB
Writeback:           0 kB
Mapped:          13500 kB
Slab:            42444 kB
Committed_AS:   386756 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= 65976 MiB
End job on node83 at 2009-04-26 08:38:01