Trace number 1781323

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) 2141.61 603.837

General information on the benchmark

Namevelev-pipe-o-uns-1.1-6.cnf
MD5SUMd986f0b849e7c714ed5d3a26373567af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark277.54
Satisfiable
(Un)Satisfiability was proved
Number of variables17710
Number of clauses304026
Sum of the clauses size890580
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2268354
Number of clauses of size 326401
Number of clauses of size 4173
Number of clauses of size 5120
Number of clauses of size over 58977

Solver Data 

0.50/0.59	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781323-1243686668.cnf 
0.50/0.59	c Using SATTIMEOUT of 10000
0.50/0.59	c Using SATRAM of 2047
0.50/0.59	c Size of subset node = 16
0.50/0.59	c Variables = 17710
0.50/0.59	c Clauses = 304026
0.50/0.59	c Literals = 890580
0.50/0.59	c Reduced size:
0.50/0.59	c Variables = 17710
0.50/0.59	c Clauses = 303978
0.50/0.59	c Literals = 890472
0.50/0.59	c a2
3.40/3.49	c a1
11.18/11.24	c Independent sub-problems = 1
11.18/11.24	c Sub-problem with 17702 variables and 303978 clauses
11.18/11.24	c using permutation method 4
11.18/11.24	c count = 1
11.18/11.24	c Ordering finished 11.080 seconds
11.18/11.24	c mapped 11.220 seconds
11.18/11.24	c permuted 11.220 seconds
11.18/11.24	c about to sort
11.28/11.34	c sorted
24.98/25.01	c clauses now 303978
24.98/25.01	c init finished 11.450 seconds
24.98/25.01	c tree built 24.990 seconds
24.98/25.01	c 
24.98/25.01	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
24.98/25.01	c ---------------------------------|----------------------------------|------------------------------------------------------
24.98/25.01	c ................................ | ..........                       |                       25.0           0.0             
24.98/25.01	c ................................ | ..........                     1 |                       25.0           0.0             
24.98/25.01	c ................................ | ..........                     2 |                       25.0           0.1             
24.98/25.01	c ................................ | ..........                     3 |                       25.0           0.1             
24.98/25.01	c ................................ | ..........                     4 |                       25.0           0.2             
24.98/25.01	c ................................ | ..........                     5 |                       25.0           0.2             
24.98/25.03	c ................................ | ..........                  1000 | 8                     25.0          40.0          359
200.00/72.90	c ................................ | ..........               2699000 | 57444                200.0       13493.0      9433177
399.85/127.58	c ................................ | ..........               4828000 | 113276               400.1       12067.3     18999425
599.80/182.29	c ................................ | ..........               6644000 | 156605               600.1       11071.5     28318207
799.74/236.88	c ................................ | ..........               8667000 | 206331               800.0       10833.5     34728036
999.73/291.49	c ................................ | *.........               9987000 | 260022              1000.0        9987.0     44036308
1200.00/346.21	c ................................ | *.........              10848000 | 307189              1200.0        9039.8     55896967
1400.01/401.14	c ................................ | *.........              11468000 | 351337              1400.1        8190.8     71036972
1599.92/455.78	c ................................ | *.........              11906000 | 383609              1600.2        7440.2     84034012
1800.05/510.51	c ................................ | *.........              12387000 | 412152              1800.4        6880.2     94713644
1999.88/565.20	c ................................ | **........              13227000 | 449764              2000.2        6612.8    104795800

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-1781323-1243686668/watcher-1781323-1243686668 -o /tmp/evaluation-result-1781323-1243686668/solver-1781323-1243686668 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1781323-1243686668.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: 5.39 5.36 5.14 4/100 14636
/proc/meminfo: memFree=2986420/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=1144 CPUtime=0
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 175 0 0 0 0 0 0 0 18 0 1 0 950243610 1171456 131 4294967295 134512640 135237372 3215103344 3215102708 134732614 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 286 131 75 177 0 108 0

[startup+0.078273 s]
/proc/loadavg: 5.39 5.36 5.14 4/100 14636
/proc/meminfo: memFree=2986420/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=4492 CPUtime=0.07
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 1017 0 0 0 6 1 0 0 18 0 1 0 950243610 4599808 973 4294967295 134512640 135237372 3215103344 3215102976 134536395 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 1123 974 75 177 0 945 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4492

[startup+0.108271 s]
/proc/loadavg: 5.39 5.36 5.14 4/100 14636
/proc/meminfo: memFree=2986420/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=5932 CPUtime=0.1
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 1363 0 0 0 9 1 0 0 18 0 1 0 950243610 6074368 1319 4294967295 134512640 135237372 3215103344 3215101868 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 1483 1320 75 177 0 1305 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5932

[startup+0.308254 s]
/proc/loadavg: 5.39 5.36 5.14 4/100 14636
/proc/meminfo: memFree=2986420/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=15364 CPUtime=0.3
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 3649 0 0 0 28 2 0 0 18 0 1 0 950243610 15732736 3605 4294967295 134512640 135237372 3215103344 3215101868 134639534 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 3841 3606 75 177 0 3663 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15364

[startup+0.708222 s]
/proc/loadavg: 5.39 5.36 5.14 4/100 14636
/proc/meminfo: memFree=2986420/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=49988 CPUtime=0.7
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 11622 0 0 0 66 4 0 0 18 0 1 0 950243610 51187712 11579 4294967295 134512640 135237372 3215103344 3215102896 134554919 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 12497 11579 76 177 0 12319 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 49988

[startup+1.50815 s]
/proc/loadavg: 5.39 5.36 5.14 3/101 14637
/proc/meminfo: memFree=2902140/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=97244 CPUtime=1.5
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 21344 0 0 0 143 7 0 0 20 0 1 0 950243610 99577856 21258 4294967295 134512640 135237372 3215103344 3215101376 134749353 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 24311 21258 76 177 0 24133 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 97244

[startup+3.10803 s]
/proc/loadavg: 5.12 5.31 5.12 3/101 14637
/proc/meminfo: memFree=2901992/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=97244 CPUtime=3.1
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 21344 0 0 0 303 7 0 0 25 0 1 0 950243610 99577856 21258 4294967295 134512640 135237372 3215103344 3215100992 134680288 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 24311 21258 76 177 0 24133 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 97244

[startup+6.30776 s]
/proc/loadavg: 5.12 5.31 5.12 3/101 14637
/proc/meminfo: memFree=2917504/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=72284 CPUtime=6.3
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 22451 0 0 0 622 8 0 0 25 0 1 0 950243610 74018816 17465 4294967295 134512640 135237372 3215103344 3215102704 134599996 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 18071 17465 77 177 0 17893 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 72284

[startup+12.7072 s]
/proc/loadavg: 4.64 5.20 5.09 3/101 14820
/proc/meminfo: memFree=2896572/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=91704 CPUtime=12.68
/proc/14636/stat : 14636 (ttsth-5-0) R 14634 14636 30226 0 -1 4202496 28073 0 0 0 1259 9 0 0 25 0 1 0 950243610 93904896 22790 4294967295 134512640 135237372 3215103344 3215083088 134749343 0 0 0 0 0 0 0 17 1 0 0 0
/proc/14636/statm: 22926 22790 91 177 0 22748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 91704

[startup+25.5062 s]
/proc/loadavg: 4.23 5.09 5.05 6/105 14824
/proc/meminfo: memFree=2800928/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=222828 CPUtime=26.64
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 53209 0 0 0 2654 10 0 0 25 0 5 0 950243610 228175872 47372 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 55707 47372 95 177 0 55529 0
[pid=14636/tid=14821] ppid=14634 vsize=222828 CPUtime=0.47
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 418 0 0 0 47 0 0 0 25 0 5 0 950246111 228175872 47372 4294967295 134512640 135237372 3215103344 3075121728 134546034 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=222828 CPUtime=0.45
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 453 0 0 0 45 0 0 0 25 0 5 0 950246111 228175872 47372 4294967295 134512640 135237372 3215103344 3066552820 134732614 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=222828 CPUtime=0.25
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 240 0 0 0 25 0 0 0 25 0 5 0 950246113 228175872 47372 4294967295 134512640 135237372 3215103344 3058692400 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=222828 CPUtime=0.48
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 449 0 0 0 48 0 0 0 25 0 5 0 950246113 228175872 47372 4294967295 134512640 135237372 3215103344 3049877020 134550031 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.64
Current children cumulated vsize (KiB) 222828

[startup+51.1041 s]
/proc/loadavg: 4.49 5.08 5.05 6/105 14826
/proc/meminfo: memFree=2696328/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=323828 CPUtime=120.27
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 79077 0 0 0 12006 21 0 0 25 0 5 0 950243610 331599872 73240 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 80957 73240 95 177 0 80779 0
[pid=14636/tid=14821] ppid=14634 vsize=323828 CPUtime=26.04
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 6743 0 0 0 2601 3 0 0 25 0 5 0 950246111 331599872 73240 4294967295 134512640 135237372 3215103344 3074681536 134751534 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=323828 CPUtime=24.67
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 7619 0 0 0 2466 1 0 0 25 0 5 0 950246111 331599872 73240 4294967295 134512640 135237372 3215103344 3066020492 134549972 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=323828 CPUtime=18.67
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 5713 0 0 0 1863 4 0 0 25 0 5 0 950246113 331599872 73240 4294967295 134512640 135237372 3215103344 3057779900 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=323828 CPUtime=25.9
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 7353 0 0 0 2587 3 0 0 25 0 5 0 950246113 331599872 73240 4294967295 134512640 135237372 3215103344 3049268896 134561426 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 120.27
Current children cumulated vsize (KiB) 323828

[startup+102.32 s]
/proc/loadavg: 5.02 5.13 5.07 6/105 15014
/proc/meminfo: memFree=2562576/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=458500 CPUtime=307.44
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 112284 0 0 0 30697 47 0 0 25 0 5 0 950243610 469504000 106447 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 114625 106447 95 177 0 114447 0
[pid=14636/tid=14821] ppid=14634 vsize=458500 CPUtime=77.19
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 14078 0 0 0 7708 11 0 0 25 0 5 0 950246111 469504000 106447 4294967295 134512640 135237372 3215103344 3074247408 134588792 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=458500 CPUtime=71.41
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 15602 0 0 0 7136 5 0 0 25 0 5 0 950246111 469504000 106447 4294967295 134512640 135237372 3215103344 3065816320 134591065 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=458500 CPUtime=66.12
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 14678 0 0 0 6599 13 0 0 25 0 5 0 950246113 469504000 106447 4294967295 134512640 135237372 3215103344 3058283696 134680367 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=458500 CPUtime=67.73
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 16277 0 0 0 6765 8 0 0 25 0 5 0 950246113 469504000 106447 4294967295 134512640 135237372 3215103344 3050039856 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 307.44
Current children cumulated vsize (KiB) 458500

[startup+162.315 s]
/proc/loadavg: 5.35 5.21 5.10 6/105 15202
/proc/meminfo: memFree=2388756/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=638488 CPUtime=526.82
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 156203 0 0 0 52609 73 0 0 25 0 5 0 950243610 653811712 150366 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 159622 150366 95 177 0 159444 0
[pid=14636/tid=14821] ppid=14634 vsize=638488 CPUtime=137.13
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 29716 0 0 0 13692 21 0 0 25 0 5 0 950246111 653811712 150366 4294967295 134512640 135237372 3215103344 3075045984 134562344 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=638488 CPUtime=130.78
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 24951 0 0 0 13069 9 0 0 25 0 5 0 950246111 653811712 150366 4294967295 134512640 135237372 3215103344 3066764236 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=638488 CPUtime=126.09
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 24869 0 0 0 12585 24 0 0 25 0 5 0 950246113 653811712 150366 4294967295 134512640 135237372 3215103344 3058145952 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=638488 CPUtime=107.83
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 25018 0 0 0 10774 9 0 0 25 0 5 0 950246113 653811712 150366 4294967295 134512640 135237372 3215103344 3049120896 134591076 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 526.82
Current children cumulated vsize (KiB) 638488

[startup+222.31 s]
/proc/loadavg: 5.25 5.20 5.10 6/105 15390
/proc/meminfo: memFree=2252408/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=775620 CPUtime=746.66
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 189609 0 0 0 74573 93 0 0 25 0 5 0 950243610 794234880 183772 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 193905 183772 95 177 0 193727 0
[pid=14636/tid=14821] ppid=14634 vsize=775620 CPUtime=197.06
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 38201 0 0 0 19680 26 0 0 25 0 5 0 950246111 794234880 183772 4294967295 134512640 135237372 3215103344 3074378128 134561682 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=775620 CPUtime=190.76
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 34206 0 0 0 19061 15 0 0 25 0 5 0 950246111 794234880 183772 4294967295 134512640 135237372 3215103344 3066689056 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=775620 CPUtime=186.02
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 34273 0 0 0 18571 31 0 0 25 0 5 0 950246113 794234880 183772 4294967295 134512640 135237372 3215103344 3058247196 134550036 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=775620 CPUtime=147.83
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 31280 0 0 0 14772 11 0 0 25 0 5 0 950246113 794234880 183772 4294967295 134512640 135237372 3215103344 3049011600 134591065 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 746.66
Current children cumulated vsize (KiB) 775620

[startup+282.315 s]
/proc/loadavg: 5.45 5.27 5.12 6/105 15576
/proc/meminfo: memFree=2106560/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=930708 CPUtime=966.34
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 226800 0 0 0 96522 112 0 0 25 0 5 0 950243610 953044992 220963 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 232677 220963 95 177 0 232499 0
[pid=14636/tid=14821] ppid=14634 vsize=930708 CPUtime=257.02
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 50120 0 0 0 25666 36 0 0 25 0 5 0 950246111 953044992 220963 4294967295 134512640 135237372 3215103344 3075030096 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=930708 CPUtime=248.24
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 43736 0 0 0 24804 20 0 0 25 0 5 0 950246111 953044992 220963 4294967295 134512640 135237372 3215103344 3066656000 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=930708 CPUtime=245.96
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 43295 0 0 0 24564 32 0 0 25 0 5 0 950246113 953044992 220963 4294967295 134512640 135237372 3215103344 3057612032 134589006 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=930708 CPUtime=190.13
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 38000 0 0 0 18999 14 0 0 25 0 5 0 950246113 953044992 220963 4294967295 134512640 135237372 3215103344 3049848848 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 966.34
Current children cumulated vsize (KiB) 930708

[startup+342.31 s]
/proc/loadavg: 5.35 5.28 5.13 6/105 15769
/proc/meminfo: memFree=1905052/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=1140156 CPUtime=1185.7
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 276429 0 0 0 118425 145 0 0 25 0 5 0 950243610 1167519744 270592 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 285039 270592 95 177 0 284861 0
[pid=14636/tid=14821] ppid=14634 vsize=1140156 CPUtime=316.8
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 77710 0 0 0 31620 60 0 0 25 0 5 0 950246111 1167519744 270592 4294967295 134512640 135237372 3215103344 3075292236 134549872 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=1140156 CPUtime=308
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 51988 0 0 0 30775 25 0 0 25 0 5 0 950246111 1167519744 270592 4294967295 134512640 135237372 3215103344 3066127612 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=1140156 CPUtime=305.78
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 51144 0 0 0 30543 35 0 0 25 0 5 0 950246113 1167519744 270592 4294967295 134512640 135237372 3215103344 3057739744 134562401 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=1140156 CPUtime=230.13
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 43938 0 0 0 22998 15 0 0 25 0 5 0 950246113 1167519744 270592 4294967295 134512640 135237372 3215103344 3049908080 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1185.7
Current children cumulated vsize (KiB) 1140156

[startup+402.305 s]
/proc/loadavg: 5.31 5.28 5.14 6/105 15959
/proc/meminfo: memFree=1651400/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=1410728 CPUtime=1404.41
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 340866 0 0 0 140263 178 0 0 25 0 5 0 950243610 1444585472 335029 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 352682 335029 95 177 0 352504 0
[pid=14636/tid=14821] ppid=14634 vsize=1410728 CPUtime=376.47
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 114806 0 0 0 37571 76 0 0 25 0 5 0 950246111 1444585472 335029 4294967295 134512640 135237372 3215103344 3075182400 134590140 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=1410728 CPUtime=361.27
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 60278 0 0 0 36097 30 0 0 25 0 5 0 950246111 1444585472 335029 4294967295 134512640 135237372 3215103344 3066560040 134551461 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=1410728 CPUtime=361.35
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 58780 0 0 0 36095 40 0 0 25 0 5 0 950246113 1444585472 335030 4294967295 134512640 135237372 3215103344 3058170416 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=1410728 CPUtime=280.34
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 55354 0 0 0 28012 22 0 0 25 0 5 0 950246113 1444585472 335030 4294967295 134512640 135237372 3215103344 3049937792 134550408 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.41
Current children cumulated vsize (KiB) 1410728

[startup+462.31 s]
/proc/loadavg: 5.32 5.29 5.15 6/105 16147
/proc/meminfo: memFree=1430936/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=1640468 CPUtime=1624.15
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 394946 0 0 0 162217 198 0 0 25 0 5 0 950243610 1679839232 389109 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 410117 389109 95 177 0 409939 0
[pid=14636/tid=14821] ppid=14634 vsize=1640468 CPUtime=426.01
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 143705 0 0 0 42513 88 0 0 25 0 5 0 950246111 1679839232 389109 4294967295 134512640 135237372 3215103344 3075127712 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=1640468 CPUtime=421.12
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 70102 0 0 0 42079 33 0 0 25 0 5 0 950246111 1679839232 389109 4294967295 134512640 135237372 3215103344 3066930912 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=1640468 CPUtime=411.75
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 65227 0 0 0 41133 42 0 0 25 0 5 0 950246113 1679839232 389109 4294967295 134512640 135237372 3215103344 3058314496 134562370 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=1640468 CPUtime=340.28
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 64263 0 0 0 34003 25 0 0 25 0 5 0 950246113 1679839232 389109 4294967295 134512640 135237372 3215103344 3049452060 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1624.15
Current children cumulated vsize (KiB) 1640468

[startup+522.315 s]
/proc/loadavg: 5.46 5.33 5.17 7/105 16335
/proc/meminfo: memFree=1257120/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=1825812 CPUtime=1843.62
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 439231 0 0 0 184138 224 0 0 25 0 5 0 950243610 1869631488 433394 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 456453 433394 95 177 0 456275 0
[pid=14636/tid=14821] ppid=14634 vsize=1825812 CPUtime=475.18
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 163148 0 0 0 47424 94 0 0 25 0 5 0 950246111 1869631488 433394 4294967295 134512640 135237372 3215103344 3075043776 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=1825812 CPUtime=480.95
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 79084 0 0 0 48045 50 0 0 25 0 5 0 950246111 1869631488 433394 4294967295 134512640 135237372 3215103344 3066537004 134636641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=1825812 CPUtime=463.15
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 71592 0 0 0 46271 44 0 0 25 0 5 0 950246113 1869631488 433394 4294967295 134512640 135237372 3215103344 3058174944 134562363 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=1825812 CPUtime=399.35
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 73758 0 0 0 39909 26 0 0 25 0 5 0 950246113 1869631488 433394 4294967295 134512640 135237372 3215103344 3049950976 134562399 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1843.62
Current children cumulated vsize (KiB) 1825812

[startup+582.311 s]
/proc/loadavg: 5.78 5.44 5.22 6/105 16521
/proc/meminfo: memFree=1063608/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=2026712 CPUtime=2063.01
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 486850 0 0 0 206052 249 0 0 25 0 5 0 950243610 2075353088 481013 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 506678 481013 95 177 0 506500 0
[pid=14636/tid=14821] ppid=14634 vsize=2026712 CPUtime=535.15
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 185545 0 0 0 53410 105 0 0 25 0 5 0 950246111 2075353088 481013 4294967295 134512640 135237372 3215103344 3075121568 134551509 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=2026712 CPUtime=540.87
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 89498 0 0 0 54032 55 0 0 25 0 5 0 950246111 2075353088 481013 4294967295 134512640 135237372 3215103344 3066718012 134636641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=2026712 CPUtime=503.34
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 76850 0 0 0 50284 50 0 0 25 0 5 0 950246113 2075353088 481013 4294967295 134512640 135237372 3215103344 3058065740 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=2026712 CPUtime=458.66
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 83308 0 0 0 45837 29 0 0 25 0 5 0 950246113 2075353088 481013 4294967295 134512640 135237372 3215103344 3049926880 134562309 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2063.01
Current children cumulated vsize (KiB) 2026712



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+603.709 s]
/proc/loadavg: 5.71 5.45 5.22 6/105 16525
/proc/meminfo: memFree=996692/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=2097288 CPUtime=2141.46
/proc/14636/stat : 14636 (ttsth-5-0) S 14634 14636 30226 0 -1 4202496 503297 0 0 0 213888 258 0 0 25 0 5 0 950243610 2147622912 497460 4294967295 134512640 135237372 3215103344 3215102940 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 524322 497460 95 177 0 524144 0
[pid=14636/tid=14821] ppid=14634 vsize=2097288 CPUtime=556.55
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 194890 0 0 0 55549 106 0 0 25 0 5 0 950246111 2147622912 497460 4294967295 134512640 135237372 3215103344 3075200400 134593191 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14636/tid=14822] ppid=14634 vsize=2097288 CPUtime=562.25
/proc/14636/task/14822/stat : 14822 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 91475 0 0 0 56167 58 0 0 25 0 5 0 950246111 2147622912 497460 4294967295 134512640 135237372 3215103344 3066714268 134636641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14636/tid=14823] ppid=14634 vsize=2097288 CPUtime=517.6
/proc/14636/task/14823/stat : 14823 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 78999 0 0 0 51708 52 0 0 25 0 5 0 950246113 2147622912 497460 4294967295 134512640 135237372 3215103344 3058475852 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=14636/tid=14824] ppid=14634 vsize=2097288 CPUtime=480.07
/proc/14636/task/14824/stat : 14824 (ttsth-5-0) R 14634 14636 30226 0 -1 4202560 86284 0 0 0 47975 32 0 0 25 0 5 0 950246113 2147622912 497460 4294967295 134512640 135237372 3215103344 3049894428 134636641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2141.46
Current children cumulated vsize (KiB) 2097288

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

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

[startup+603.829 s]
/proc/loadavg: 5.71 5.45 5.22 3/103 16526
/proc/meminfo: memFree=2932828/3368532 swapFree=1959840/1959888
[pid=14636] ppid=14634 vsize=0 CPUtime=2141.61
/proc/14636/stat : 14636 (ttsth-5-0) Z 14634 14636 30226 0 -1 4203524 503313 0 0 0 213893 268 0 0 18 0 2 0 950243610 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14636/statm: 0 0 0 0 0 0 0
[pid=14636/tid=14821] ppid=14634 vsize=0 CPUtime=556.67
/proc/14636/task/14821/stat : 14821 (ttsth-5-0) R 14634 14636 30226 0 -1 4203588 194897 0 0 0 55551 116 0 0 25 0 2 0 950246111 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2141.61
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 603.837
CPU time (s): 2141.61
CPU user time (s): 2138.93
CPU system time (s): 2.68
CPU usage (%): 354.667
Max. virtual memory (cumulated for all children) (KiB): 2097288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2138.93
system time used= 2.68
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503313
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= 2168
involuntary context switches= 47326

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 14:31:08
IDJOB=1781323
IDBENCH=71718
IDSOLVER=632
FILE ID=tipi39/1781323-1243686668
PBS_JOBID=
Free space on /tmp= 5738 MiB

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

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

MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED= 1731431595

Linux tipi39 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.067
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.41
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.067
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.10
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.067
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.067
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:       2986420 kB
Buffers:        118616 kB
Cached:         140720 kB
SwapCached:          0 kB
Active:         171000 kB
Inactive:       105380 kB
HighTotal:     2489216 kB
HighFree:      2333752 kB
LowTotal:       879316 kB
LowFree:        652668 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            6576 kB
Writeback:           0 kB
AnonPages:       16824 kB
Mapped:           7548 kB
Slab:            94984 kB
SReclaimable:    84664 kB
SUnreclaim:      10320 kB
PageTables:        416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    96184 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5738 MiB
End job on tipi39 at 2009-05-30 14:41:14