Trace number 1781548

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
ttsth-5-0 2009-03-19 (4 threads)? (MO) 2089.22 525.231

General information on the benchmark

Namemanol-pipe-c9.cnf
MD5SUM7f47eb2c5986b40772da3e38cf0759b1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.28
Satisfiable
(Un)Satisfiability was proved
Number of variables15214
Number of clauses45082
Sum of the clauses size105190
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230054
Number of clauses of size 315027
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.05/0.06	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781548-1243687157.cnf 
0.05/0.06	c Using SATTIMEOUT of 10000
0.05/0.06	c Using SATRAM of 2047
0.05/0.06	c Size of subset node = 16
0.05/0.06	c Variables = 15214
0.05/0.06	c Clauses = 45082
0.05/0.06	c Literals = 105190
0.05/0.06	c Reduced size:
0.05/0.06	c Variables = 15214
0.05/0.06	c Clauses = 45079
0.05/0.06	c Literals = 105184
0.05/0.06	c a2
0.12/0.13	c a1
2.52/2.56	c Independent sub-problems = 1
2.52/2.56	c Sub-problem with 15213 variables and 45079 clauses
2.52/2.56	c using permutation method 4
2.52/2.56	c count = 1
2.52/2.56	c Ordering finished 2.550 seconds
2.52/2.56	c mapped 2.570 seconds
2.52/2.56	c permuted 2.570 seconds
2.52/2.56	c about to sort
2.52/2.58	c sorted
2.82/2.87	c clauses now 45079
2.82/2.87	c init finished 2.670 seconds
2.82/2.87	c tree built 2.870 seconds
2.82/2.87	c 
2.82/2.87	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.82/2.87	c ---------------------------------|----------------------------------|------------------------------------------------------
2.82/2.87	c ................................ | ..........                       |                        2.9           0.0             
2.82/2.87	c ................................ | ..........                     1 |                        2.9           0.3             
2.82/2.87	c ................................ | ..........                     2 |                        2.9           0.7             
2.82/2.87	c ................................ | ..........                     3 |                        2.9           1.0             
2.82/2.87	c ................................ | ..........                     4 |                        2.9           1.4             
2.82/2.87	c ................................ | ..........                     5 |                        2.9           1.7             
2.82/2.87	c ................................ | ..........                  1000 | 6                      2.9         347.2          273
199.86/52.29	c ................................ | ..........               3741000 | 208308               200.1       18691.9     10092035
399.95/102.36	c ................................ | ..........               7600000 | 451810               400.1       18992.9     18423427
600.06/152.43	c ................................ | ..........              10119000 | 582355               600.1       16861.1     30203908
800.03/202.43	c ................................ | ..........              12500000 | 691502               800.1       15622.1     43047923
999.75/252.47	c ................................ | *.........              14473000 | 782113              1000.0       14472.6     54560821
1199.92/302.56	c ................................ | *.........              16701000 | 888879              1200.1       13916.6     65973659
1400.00/352.65	c ................................ | *.........              19338000 | 1018688             1400.1       13811.7     76931106
1600.09/402.72	c ................................ | *.........              21533000 | 1126876             1600.2       13456.7     88687926
1799.89/452.76	c ................................ | *.........              24305000 | 1269698             1800.1       13502.1    100658616
2000.02/502.81	c ................................ | **........              26627000 | 1389522             2000.0       13313.4    113400404

Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1781548-1243687157/watcher-1781548-1243687157 -o /tmp/evaluation-result-1781548-1243687157/solver-1781548-1243687157 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781548-1243687157.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.40 2.96 3.48 3/99 7380
/proc/meminfo: memFree=2928996/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=1936 CPUtime=0.02
/proc/7380/stat : 7380 (ttsth-5-0) R 7378 7380 20984 0 -1 4202496 375 0 0 0 2 0 0 0 18 0 1 0 1133380092 1982464 331 4294967295 134512640 135237372 3219313008 3219311532 134639534 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7380/statm: 484 331 75 177 0 306 0

[startup+0.046634 s]
/proc/loadavg: 1.40 2.96 3.48 3/99 7380
/proc/meminfo: memFree=2928996/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=3288 CPUtime=0.05
/proc/7380/stat : 7380 (ttsth-5-0) R 7378 7380 20984 0 -1 4202496 699 0 0 0 5 0 0 0 20 0 1 0 1133380092 3366912 655 4294967295 134512640 135237372 3219313008 3219312456 134732614 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7380/statm: 822 655 75 177 0 644 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3288

[startup+0.116629 s]
/proc/loadavg: 1.40 2.96 3.48 3/99 7380
/proc/meminfo: memFree=2928996/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=7484 CPUtime=0.12
/proc/7380/stat : 7380 (ttsth-5-0) R 7378 7380 20984 0 -1 4202496 1719 0 0 0 11 1 0 0 20 0 1 0 1133380092 7663616 1674 4294967295 134512640 135237372 3219313008 3219312016 134680356 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7380/statm: 1871 1674 76 177 0 1693 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7484

[startup+0.316607 s]
/proc/loadavg: 1.40 2.96 3.48 3/99 7380
/proc/meminfo: memFree=2928996/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=9340 CPUtime=0.32
/proc/7380/stat : 7380 (ttsth-5-0) R 7378 7380 20984 0 -1 4202496 2297 0 0 0 30 2 0 0 21 0 1 0 1133380092 9564160 2162 4294967295 134512640 135237372 3219313008 3219312336 134555272 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7380/statm: 2335 2162 77 177 0 2157 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9340

[startup+0.716569 s]
/proc/loadavg: 1.40 2.96 3.48 3/99 7380
/proc/meminfo: memFree=2928996/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=9512 CPUtime=0.72
/proc/7380/stat : 7380 (ttsth-5-0) R 7378 7380 20984 0 -1 4202496 2322 0 0 0 70 2 0 0 22 0 1 0 1133380092 9740288 2187 4294967295 134512640 135237372 3219313008 3219312368 134600823 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7380/statm: 2378 2187 77 177 0 2200 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 9512

[startup+1.51649 s]
/proc/loadavg: 1.40 2.96 3.48 2/100 7381
/proc/meminfo: memFree=2921296/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=9676 CPUtime=1.52
/proc/7380/stat : 7380 (ttsth-5-0) R 7378 7380 20984 0 -1 4202496 2366 0 0 0 150 2 0 0 25 0 1 0 1133380092 9908224 2231 4294967295 134512640 135237372 3219313008 3219312336 134555272 0 0 0 0 0 0 0 17 2 0 0 0
/proc/7380/statm: 2419 2231 77 177 0 2241 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9676

[startup+3.11635 s]
/proc/loadavg: 1.40 2.96 3.48 2/100 7382
/proc/meminfo: memFree=2921148/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=98016 CPUtime=3.81
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 16888 0 0 0 377 4 0 0 25 0 5 0 1133380092 100368384 16663 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 24504 16663 95 177 0 24326 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 98016

[startup+6.31604 s]
/proc/loadavg: 1.61 2.98 3.48 6/104 7386
/proc/meminfo: memFree=2853776/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=111488 CPUtime=16.6
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 20484 0 0 0 1646 14 0 0 25 0 5 0 1133380092 114163712 20259 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 27872 20259 95 177 0 27694 0
[pid=7380/tid=7383] ppid=7378 vsize=111488 CPUtime=3.45
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 1238 0 0 0 344 1 0 0 25 0 5 0 1133380379 114163712 20259 4294967295 134512640 135237372 3219313008 3084682672 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=111488 CPUtime=3.42
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 1153 0 0 0 340 2 0 0 25 0 5 0 1133380379 114163712 20259 4294967295 134512640 135237372 3219313008 3076268048 134593348 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=111488 CPUtime=3.43
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 1184 0 0 0 339 4 0 0 25 0 5 0 1133380379 114163712 20259 4294967295 134512640 135237372 3219313008 3067756896 134587567 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=111488 CPUtime=3.43
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 1095 0 0 0 339 4 0 0 25 0 5 0 1133380379 114163712 20259 4294967295 134512640 135237372 3219313008 3059321388 134519936 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16.6
Current children cumulated vsize (KiB) 111488

[startup+12.7154 s]
/proc/loadavg: 1.80 3.00 3.48 5/104 7387
/proc/meminfo: memFree=2824076/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=140160 CPUtime=42.18
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 27523 0 0 0 4193 25 0 0 25 0 5 0 1133380092 143523840 27298 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 35040 27298 95 177 0 34862 0
[pid=7380/tid=7383] ppid=7378 vsize=140160 CPUtime=9.85
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 2521 0 0 0 982 3 0 0 25 0 5 0 1133380379 143523840 27298 4294967295 134512640 135237372 3219313008 3084473628 134549925 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=140160 CPUtime=9.81
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 2337 0 0 0 979 2 0 0 25 0 5 0 1133380379 143523840 27298 4294967295 134512640 135237372 3219313008 3075983036 134636641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=140160 CPUtime=9.82
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 3332 0 0 0 975 7 0 0 25 0 5 0 1133380379 143523840 27298 4294967295 134512640 135237372 3219313008 3067497564 134680502 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=140160 CPUtime=9.83
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 3519 0 0 0 973 10 0 0 25 0 5 0 1133380379 143523840 27298 4294967295 134512640 135237372 3219313008 3059578768 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 42.18
Current children cumulated vsize (KiB) 140160

[startup+25.5142 s]
/proc/loadavg: 2.36 3.06 3.49 5/104 7387
/proc/meminfo: memFree=2778136/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=187988 CPUtime=93.35
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 38717 0 0 0 9294 41 0 0 25 0 5 0 1133380092 192499712 38492 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 46997 38492 95 177 0 46819 0
[pid=7380/tid=7383] ppid=7378 vsize=187988 CPUtime=22.65
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 4585 0 0 0 2260 5 0 0 25 0 5 0 1133380379 192499712 38492 4294967295 134512640 135237372 3219313008 3084379328 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=187988 CPUtime=22.61
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) S 7378 7380 20984 0 -1 4202560 4242 0 0 0 2255 6 0 0 25 0 5 0 1133380379 192499712 38492 4294967295 134512640 135237372 3219313008 3075990956 134636382 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=187988 CPUtime=22.6
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) S 7378 7380 20984 0 -1 4202560 5968 0 0 0 2247 13 0 0 25 0 5 0 1133380379 192499712 38492 4294967295 134512640 135237372 3219313008 3068103324 134636382 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=187988 CPUtime=22.62
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 8108 0 0 0 2248 14 0 0 25 0 5 0 1133380379 192499712 38492 4294967295 134512640 135237372 3219313008 3059487068 134683103 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 93.35
Current children cumulated vsize (KiB) 187988

[startup+51.1118 s]
/proc/loadavg: 3.03 3.16 3.52 6/104 7574
/proc/meminfo: memFree=2696644/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=272992 CPUtime=195.46
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 59114 0 0 0 19486 60 0 0 25 0 5 0 1133380092 279543808 58889 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 68248 58889 95 177 0 68070 0
[pid=7380/tid=7383] ppid=7378 vsize=272992 CPUtime=48.23
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 8595 0 0 0 4818 5 0 0 25 0 5 0 1133380379 279543808 58889 4294967295 134512640 135237372 3219313008 3084514320 134680273 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=272992 CPUtime=48.08
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 8585 0 0 0 4794 14 0 0 25 0 5 0 1133380379 279543808 58889 4294967295 134512640 135237372 3219313008 3075852832 134562355 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=272992 CPUtime=48.13
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 10478 0 0 0 4795 18 0 0 25 0 5 0 1133380379 279543808 58889 4294967295 134512640 135237372 3219313008 3067222320 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=272992 CPUtime=48.15
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 15642 0 0 0 4795 20 0 0 25 0 5 0 1133380379 279543808 58889 4294967295 134512640 135237372 3219313008 3059714480 134749351 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 195.46
Current children cumulated vsize (KiB) 272992

[startup+102.317 s]
/proc/loadavg: 3.81 3.35 3.56 5/104 7761
/proc/meminfo: memFree=2557164/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=418412 CPUtime=399.95
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 93479 0 0 0 39904 91 0 0 25 0 5 0 1133380092 428453888 93254 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 104603 93254 95 177 0 104425 0
[pid=7380/tid=7383] ppid=7378 vsize=418412 CPUtime=99.34
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 13103 0 0 0 9925 9 0 0 25 0 5 0 1133380379 428453888 93254 4294967295 134512640 135237372 3219313008 3084586608 134550989 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=418412 CPUtime=99.12
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 19129 0 0 0 9885 27 0 0 25 0 5 0 1133380379 428453888 93254 4294967295 134512640 135237372 3219313008 3075983440 134562341 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=418412 CPUtime=99.34
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 16925 0 0 0 9910 24 0 0 25 0 5 0 1133380379 428453888 93254 4294967295 134512640 135237372 3219313008 3067523280 134551710 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=418412 CPUtime=99.28
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 28508 0 0 0 9900 28 0 0 25 0 5 0 1133380379 428453888 93254 4294967295 134512640 135237372 3219313008 3059592336 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 399.95
Current children cumulated vsize (KiB) 418412

[startup+162.311 s]
/proc/loadavg: 4.05 3.50 3.60 5/104 7954
/proc/meminfo: memFree=2336904/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=653260 CPUtime=639.65
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 149164 0 0 0 63836 129 0 0 25 0 5 0 1133380092 668938240 148939 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 163315 148939 95 177 0 163137 0
[pid=7380/tid=7383] ppid=7378 vsize=653260 CPUtime=159.29
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 18522 0 0 0 15914 15 0 0 25 0 5 0 1133380379 668938240 148939 4294967295 134512640 135237372 3219313008 3084455728 134680336 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=653260 CPUtime=159.05
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 41273 0 0 0 15863 42 0 0 25 0 5 0 1133380379 668938240 148939 4294967295 134512640 135237372 3219313008 3076405312 134562341 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=653260 CPUtime=159.3
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 21581 0 0 0 15902 28 0 0 25 0 5 0 1133380379 668938240 148939 4294967295 134512640 135237372 3219313008 3067361724 134636641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=653260 CPUtime=159.14
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 51974 0 0 0 15873 41 0 0 25 0 5 0 1133380379 668938240 148939 4294967295 134512640 135237372 3219313008 3059584336 134562357 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 639.65
Current children cumulated vsize (KiB) 653260

[startup+222.305 s]
/proc/loadavg: 4.06 3.60 3.62 5/104 8139
/proc/meminfo: memFree=2089652/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=911336 CPUtime=879.37
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 210210 0 0 0 87772 165 0 0 25 0 5 0 1133380092 933208064 209985 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 227834 209985 95 177 0 227656 0
[pid=7380/tid=7383] ppid=7378 vsize=911336 CPUtime=219.26
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 23241 0 0 0 21908 18 0 0 25 0 5 0 1133380379 933208064 209985 4294967295 134512640 135237372 3219313008 3084536224 134749343 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=911336 CPUtime=218.99
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 72395 0 0 0 21837 62 0 0 25 0 5 0 1133380379 933208064 209985 4294967295 134512640 135237372 3219313008 3076395520 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=911336 CPUtime=219.23
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 27836 0 0 0 21890 33 0 0 25 0 5 0 1133380379 933208064 209985 4294967295 134512640 135237372 3219313008 3067380012 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=911336 CPUtime=219.02
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 70924 0 0 0 21853 49 0 0 25 0 5 0 1133380379 933208064 209985 4294967295 134512640 135237372 3219313008 3059462284 134636641 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 879.37
Current children cumulated vsize (KiB) 911336

[startup+282.32 s]
/proc/loadavg: 4.34 3.75 3.67 5/104 8328
/proc/meminfo: memFree=1886332/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=1130028 CPUtime=1119.12
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 261648 0 0 0 111701 211 0 0 25 0 5 0 1133380092 1157148672 261423 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 282507 261423 95 177 0 282329 0
[pid=7380/tid=7383] ppid=7378 vsize=1130028 CPUtime=279.24
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 29246 0 0 0 27904 20 0 0 25 0 5 0 1133380379 1157148672 261423 4294967295 134512640 135237372 3219313008 3084413440 134591304 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=1130028 CPUtime=278.9
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 94295 0 0 0 27814 76 0 0 25 0 5 0 1133380379 1157148672 261423 4294967295 134512640 135237372 3219313008 3076371488 134562401 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=1130028 CPUtime=279.08
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 33251 0 0 0 27866 42 0 0 25 0 5 0 1133380379 1157148672 261423 4294967295 134512640 135237372 3219313008 3067346352 134591082 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=1130028 CPUtime=279.03
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 89042 0 0 0 27833 70 0 0 25 0 5 0 1133380379 1157148672 261423 4294967295 134512640 135237372 3219313008 3059564544 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1119.12
Current children cumulated vsize (KiB) 1130028

[startup+342.314 s]
/proc/loadavg: 4.34 3.86 3.71 5/104 8516
/proc/meminfo: memFree=1675212/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=1352396 CPUtime=1358.8
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 314030 0 0 0 135628 252 0 0 25 0 5 0 1133380092 1384853504 313805 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 338099 313805 95 177 0 337921 0
[pid=7380/tid=7383] ppid=7378 vsize=1352396 CPUtime=339.24
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 36956 0 0 0 33897 27 0 0 25 0 5 0 1133380379 1384853504 313805 4294967295 134512640 135237372 3219313008 3084095056 134591429 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=1352396 CPUtime=338.79
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 115057 0 0 0 33791 88 0 0 25 0 5 0 1133380379 1384853504 313805 4294967295 134512640 135237372 3219313008 3076489580 134562272 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=1352396 CPUtime=339.04
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 41237 0 0 0 33849 55 0 0 25 0 5 0 1133380379 1384853504 313805 4294967295 134512640 135237372 3219313008 3067601552 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=1352396 CPUtime=338.86
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 104966 0 0 0 33807 79 0 0 25 0 5 0 1133380379 1384853504 313805 4294967295 134512640 135237372 3219313008 3059593552 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1358.8
Current children cumulated vsize (KiB) 1352396

[startup+402.308 s]
/proc/loadavg: 4.28 3.93 3.74 5/104 8704
/proc/meminfo: memFree=1455568/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=1585340 CPUtime=1598.49
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 369157 0 0 0 159562 287 0 0 25 0 5 0 1133380092 1623388160 368932 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 396335 368932 95 177 0 396157 0
[pid=7380/tid=7383] ppid=7378 vsize=1585340 CPUtime=399.24
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 49215 0 0 0 39890 34 0 0 25 0 5 0 1133380379 1623388160 368932 4294967295 134512640 135237372 3219313008 3084380720 134680503 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=1585340 CPUtime=398.74
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 132177 0 0 0 39777 97 0 0 25 0 5 0 1133380379 1623388160 368932 4294967295 134512640 135237372 3219313008 3075977344 134562351 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=1585340 CPUtime=398.84
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 49862 0 0 0 39819 65 0 0 25 0 5 0 1133380379 1623388160 368932 4294967295 134512640 135237372 3219313008 3067980636 134636641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=1585340 CPUtime=398.8
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 122089 0 0 0 39792 88 0 0 25 0 5 0 1133380379 1623388160 368932 4294967295 134512640 135237372 3219313008 3059769868 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1598.49
Current children cumulated vsize (KiB) 1585340

[startup+462.313 s]
/proc/loadavg: 4.40 4.01 3.78 5/104 8893
/proc/meminfo: memFree=1228640/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=1825300 CPUtime=1838.04
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 425583 0 0 0 183473 331 0 0 25 0 5 0 1133380092 1869107200 425358 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 456325 425358 95 177 0 456147 0
[pid=7380/tid=7383] ppid=7378 vsize=1825300 CPUtime=459.25
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 61349 0 0 0 45879 46 0 0 25 0 5 0 1133380379 1869107200 425358 4294967295 134512640 135237372 3219313008 3084104240 134561510 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=1825300 CPUtime=458.65
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 149771 0 0 0 45756 109 0 0 25 0 5 0 1133380379 1869107200 425358 4294967295 134512640 135237372 3219313008 3076518120 134519962 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=1825300 CPUtime=458.8
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 63248 0 0 0 45810 70 0 0 25 0 5 0 1133380379 1869107200 425359 4294967295 134512640 135237372 3219313008 3067941600 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=1825300 CPUtime=458.47
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 135402 0 0 0 45744 103 0 0 25 0 5 0 1133380379 1869107200 425359 4294967295 134512640 135237372 3219313008 3059625776 134562344 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1838.04
Current children cumulated vsize (KiB) 1825300

[startup+522.307 s]
/proc/loadavg: 4.60 4.12 3.83 6/105 9027
/proc/meminfo: memFree=986552/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=2081352 CPUtime=2077.89
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 486700 0 0 0 207429 360 0 0 25 0 5 0 1133380092 2131304448 486475 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 520338 486475 95 177 0 520160 0
[pid=7380/tid=7383] ppid=7378 vsize=2081352 CPUtime=519.25
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 77714 0 0 0 51876 49 0 0 25 0 5 0 1133380379 2131304448 486475 4294967295 134512640 135237372 3219313008 3084685440 134562357 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=2081352 CPUtime=518.59
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 173473 0 0 0 51740 119 0 0 25 0 5 0 1133380379 2131304448 486475 4294967295 134512640 135237372 3219313008 3076477472 134546026 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=2081352 CPUtime=518.73
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 71029 0 0 0 51792 81 0 0 25 0 5 0 1133380379 2131304448 486475 4294967295 134512640 135237372 3219313008 3067876668 134636641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=2081352 CPUtime=518.45
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 148670 0 0 0 51737 108 0 0 25 0 5 0 1133380379 2131304448 486475 4294967295 134512640 135237372 3219313008 3059721916 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2077.89
Current children cumulated vsize (KiB) 2081352



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+525.107 s]
/proc/loadavg: 4.63 4.13 3.83 6/105 9064
/proc/meminfo: memFree=968616/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=2096436 CPUtime=2089.04
/proc/7380/stat : 7380 (ttsth-5-0) S 7378 7380 20984 0 -1 4202496 490140 0 0 0 208543 361 0 0 25 0 5 0 1133380092 2146750464 489915 4294967295 134512640 135237372 3219313008 3219312604 134629544 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 524109 489915 95 177 0 523931 0
[pid=7380/tid=7383] ppid=7378 vsize=2096436 CPUtime=522.05
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 78694 0 0 0 52156 49 0 0 25 0 5 0 1133380379 2146750464 489915 4294967295 134512640 135237372 3219313008 3084843368 134519944 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=7380/tid=7384] ppid=7378 vsize=2096436 CPUtime=521.39
/proc/7380/task/7384/stat : 7384 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 174722 0 0 0 52020 119 0 0 25 0 5 0 1133380379 2146750464 489915 4294967295 134512640 135237372 3219313008 3076488720 134562290 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=7380/tid=7385] ppid=7378 vsize=2096436 CPUtime=521.52
/proc/7380/task/7385/stat : 7385 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 71599 0 0 0 52071 81 0 0 25 0 5 0 1133380379 2146750464 489915 4294967295 134512640 135237372 3219313008 3067441104 134588635 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=7380/tid=7386] ppid=7378 vsize=2096436 CPUtime=521.21
/proc/7380/task/7386/stat : 7386 (ttsth-5-0) R 7378 7380 20984 0 -1 4202560 149311 0 0 0 52012 109 0 0 25 0 5 0 1133380379 2146750464 489915 4294967295 134512640 135237372 3219313008 3059606080 134562459 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2089.04
Current children cumulated vsize (KiB) 2096436

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+525.227 s]
/proc/loadavg: 4.63 4.13 3.83 6/105 9064
/proc/meminfo: memFree=968616/3368532 swapFree=1953580/1959888
[pid=7380] ppid=7378 vsize=0 CPUtime=2089.22
/proc/7380/stat : 7380 (ttsth-5-0) Z 7378 7380 20984 0 -1 4203524 490171 0 0 0 208551 371 0 0 18 0 2 0 1133380092 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/7380/statm: 0 0 0 0 0 0 0
[pid=7380/tid=7383] ppid=7378 vsize=0 CPUtime=522.17
/proc/7380/task/7383/stat : 7383 (ttsth-5-0) R 7378 7380 20984 0 -1 4203588 78722 0 0 0 52158 59 0 0 25 0 2 0 1133380379 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2089.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 525.231
CPU time (s): 2089.22
CPU user time (s): 2085.51
CPU system time (s): 3.71
CPU usage (%): 397.772
Max. virtual memory (cumulated for all children) (KiB): 2096436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2085.51
system time used= 3.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490171
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= 7298
involuntary context switches= 39472

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 14:39:17
IDJOB=1781548
IDBENCH=71771
IDSOLVER=632
FILE ID=/1781548-1243687157
PBS_JOBID=
Free space on /tmp= 15885 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT_RACE06/manol-pipe-c9.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781548-1243687157/watcher-1781548-1243687157 -o /tmp/evaluation-result-1781548-1243687157/solver-1781548-1243687157 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781548-1243687157.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 7f47eb2c5986b40772da3e38cf0759b1
RANDOM SEED= 795326866

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2929292 kB
Buffers:        149708 kB
Cached:         176196 kB
SwapCached:       2424 kB
Active:         205060 kB
Inactive:       131388 kB
HighTotal:     2489216 kB
HighFree:      2299592 kB
LowTotal:       879316 kB
LowFree:        629700 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           12188 kB
Writeback:           0 kB
AnonPages:        9624 kB
Mapped:           4916 kB
Slab:            93468 kB
SReclaimable:    84072 kB
SUnreclaim:       9396 kB
PageTables:        520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93568 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15885 MiB
End job on  at 2009-05-30 14:48:04