Trace number 1775908

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) 1079.98 501.344

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-25.cnf
MD5SUM0acd143a4e60b38309663b5993b5ded9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8920
Number of clauses31884
Sum of the clauses size83706
Maximum clause length229
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 215331
Number of clauses of size 314327
Number of clauses of size 41469
Number of clauses of size 5588
Number of clauses of size over 5168

Solver Data 

0.04/0.08	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1775908-1243672741.cnf 
0.04/0.08	c Using SATTIMEOUT of 10000
0.04/0.08	c Using SATRAM of 2047
0.04/0.08	c Size of subset node = 16
0.04/0.08	c Variables = 8920
0.04/0.08	c Clauses = 31884
0.04/0.08	c Literals = 83706
0.04/0.08	c Reduced size:
0.04/0.08	c Variables = 8920
0.04/0.08	c Clauses = 30972
0.04/0.08	c Literals = 81428
0.04/0.08	c a2
0.11/0.12	c a1
1.11/1.17	c Independent sub-problems = 1
1.11/1.17	c Sub-problem with 8690 variables and 30972 clauses
1.11/1.17	c using permutation method 4
1.11/1.17	c count = 1
1.11/1.17	c Ordering finished 1.170 seconds
1.11/1.17	c mapped 1.180 seconds
1.11/1.17	c permuted 1.180 seconds
1.11/1.17	c about to sort
1.11/1.18	c sorted
1.31/1.38	c clauses now 30972
1.31/1.38	c init finished 1.250 seconds
1.31/1.38	c tree built 1.390 seconds
1.31/1.38	c 
1.31/1.38	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.31/1.38	c ---------------------------------|----------------------------------|------------------------------------------------------
1.31/1.38	c ................................ | ..........                       |                        1.4           0.0             
1.31/1.38	c ................................ | ..........                     1 |                        1.4           0.7             
1.31/1.38	c ................................ | ..........                     2 |                        1.4           1.4             
1.31/1.38	c ................................ | ..........                     3 |                        1.4           2.2             
1.31/1.38	c ................................ | ..........                     4 |                        1.4           2.9             
1.31/1.38	c ................................ | ..........                     5 |                        1.4           3.6             
1.31/1.38	c ................................ | ..........                  1000 | 20                     1.4         719.4          238
200.03/98.64	c ................................ | ..........               1878000 | 134333               200.1        9385.3     24254968
399.95/196.45	c ................................ | ..........               3289000 | 231302               400.1        8220.9     49185056
600.11/294.16	c ................................ | ..........               4679000 | 335725               600.2        7795.5     68494032
799.98/387.74	c ................................ | ..........               5785000 | 415807               800.1        7230.7     87809390
1000.04/468.85	c ................................ | *.........               6646000 | 480142              1000.2        6644.9    113187981

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-1775908-1243672741/watcher-1775908-1243672741 -o /tmp/evaluation-result-1775908-1243672741/solver-1775908-1243672741 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1775908-1243672741.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: 6.46 4.80 3.62 4/104 6031
/proc/meminfo: memFree=2224776/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=1008 CPUtime=0.01
/proc/6031/stat : 6031 (ttsth-5-0) R 6029 6031 2540 0 -1 4202496 136 0 0 0 1 0 0 0 25 0 1 0 1121375295 1032192 91 4294967295 134512640 135237372 3219427728 3219427376 134524736 0 0 0 0 0 0 0 17 2 0 0 0
/proc/6031/statm: 252 91 74 177 0 74 0

[startup+0.040649 s]
/proc/loadavg: 6.46 4.80 3.62 4/104 6031
/proc/meminfo: memFree=2224776/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=2600 CPUtime=0.04
/proc/6031/stat : 6031 (ttsth-5-0) R 6029 6031 2540 0 -1 4202496 538 0 0 0 4 0 0 0 25 0 1 0 1121375295 2662400 493 4294967295 134512640 135237372 3219427728 3219426252 134639534 0 0 0 0 0 0 0 17 2 0 0 0
/proc/6031/statm: 650 494 75 177 0 472 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2600

[startup+0.11063 s]
/proc/loadavg: 6.46 4.80 3.62 4/104 6031
/proc/meminfo: memFree=2224776/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=5452 CPUtime=0.11
/proc/6031/stat : 6031 (ttsth-5-0) R 6029 6031 2540 0 -1 4202496 1227 0 0 0 11 0 0 0 25 0 1 0 1121375295 5582848 1181 4294967295 134512640 135237372 3219427728 3219426344 134519986 0 0 0 0 0 0 0 17 2 0 0 0
/proc/6031/statm: 1363 1181 76 177 0 1185 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5452

[startup+0.310615 s]
/proc/loadavg: 6.46 4.80 3.62 4/104 6031
/proc/meminfo: memFree=2224776/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=6616 CPUtime=0.31
/proc/6031/stat : 6031 (ttsth-5-0) R 6029 6031 2540 0 -1 4202496 1585 0 0 0 31 0 0 0 25 0 1 0 1121375295 6774784 1507 4294967295 134512640 135237372 3219427728 3219427088 134600911 0 0 0 0 0 0 0 17 2 0 0 0
/proc/6031/statm: 1654 1507 77 177 0 1476 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 6616

[startup+0.710588 s]
/proc/loadavg: 6.46 4.80 3.62 4/104 6031
/proc/meminfo: memFree=2224776/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=6748 CPUtime=0.71
/proc/6031/stat : 6031 (ttsth-5-0) R 6029 6031 2540 0 -1 4202496 1616 0 0 0 71 0 0 0 25 0 1 0 1121375295 6909952 1538 4294967295 134512640 135237372 3219427728 3219427088 134600972 0 0 0 0 0 0 0 17 2 0 0 0
/proc/6031/statm: 1687 1538 77 177 0 1509 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 6748

[startup+1.51054 s]
/proc/loadavg: 6.18 4.77 3.62 4/105 6032
/proc/meminfo: memFree=2218808/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=73360 CPUtime=1.6
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 10032 0 0 0 158 2 0 0 25 0 5 0 1121375295 75120640 9954 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 18340 9954 95 177 0 18162 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 73360

[startup+3.11043 s]
/proc/loadavg: 6.18 4.77 3.62 7/109 6036
/proc/meminfo: memFree=2179340/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=86932 CPUtime=4.8
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 13702 0 0 0 477 3 0 0 25 0 5 0 1121375295 89018368 13624 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 21733 13624 95 177 0 21555 0
[pid=6031/tid=6033] ppid=6029 vsize=86932 CPUtime=1.11
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 1565 0 0 0 111 0 0 0 25 0 5 0 1121375433 89018368 13624 4294967295 134512640 135237372 3219427728 3084789144 134636382 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=86932 CPUtime=0.62
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 820 0 0 0 62 0 0 0 25 0 5 0 1121375433 89018368 13624 4294967295 134512640 135237372 3219427728 3076553328 134561448 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=86932 CPUtime=1.06
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 812 0 0 0 106 0 0 0 25 0 5 0 1121375435 89018368 13624 4294967295 134512640 135237372 3219427728 3067933632 134591065 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=86932 CPUtime=0.63
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 1078 0 0 0 62 1 0 0 25 0 5 0 1121375435 89018368 13624 4294967295 134512640 135237372 3219427728 3059677504 134587827 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 86932

[startup+6.31021 s]
/proc/loadavg: 6.09 4.77 3.63 7/109 6036
/proc/meminfo: memFree=2159616/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=102640 CPUtime=11.18
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 17515 0 0 0 1110 8 0 0 25 0 5 0 1121375295 105103360 17437 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 25660 17437 95 177 0 25482 0
[pid=6031/tid=6033] ppid=6029 vsize=102640 CPUtime=3.11
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 3058 0 0 0 309 2 0 0 25 0 5 0 1121375433 105103360 17437 4294967295 134512640 135237372 3219427728 3084607408 134680245 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=102640 CPUtime=1.95
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 1576 0 0 0 194 1 0 0 25 0 5 0 1121375433 105103360 17437 4294967295 134512640 135237372 3219427728 3076543820 134636382 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=102640 CPUtime=2.61
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 1344 0 0 0 259 2 0 0 25 0 5 0 1121375435 105103360 17437 4294967295 134512640 135237372 3219427728 3068071856 134680326 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=102640 CPUtime=2.13
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 2110 0 0 0 212 1 0 0 25 0 5 0 1121375435 105103360 17437 4294967295 134512640 135237372 3219427728 3059443760 134561412 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 102640

[startup+12.7098 s]
/proc/loadavg: 6.08 4.79 3.64 7/109 6036
/proc/meminfo: memFree=2124688/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=139024 CPUtime=23.92
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 26175 0 0 0 2379 13 0 0 25 0 5 0 1121375295 142360576 26097 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 34756 26097 95 177 0 34578 0
[pid=6031/tid=6033] ppid=6029 vsize=139024 CPUtime=6.71
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 5796 0 0 0 669 2 0 0 25 0 5 0 1121375433 142360576 26097 4294967295 134512640 135237372 3219427728 3084702704 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=139024 CPUtime=5.06
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 3015 0 0 0 505 1 0 0 25 0 5 0 1121375433 142360576 26097 4294967295 134512640 135237372 3219427728 3076487744 134546034 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=139024 CPUtime=5.53
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 2650 0 0 0 548 5 0 0 25 0 5 0 1121375435 142360576 26097 4294967295 134512640 135237372 3219427728 3068046844 134680208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=139024 CPUtime=5.23
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 5287 0 0 0 520 3 0 0 25 0 5 0 1121375435 142360576 26097 4294967295 134512640 135237372 3219427728 3059637160 134519944 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.92
Current children cumulated vsize (KiB) 139024

[startup+25.5089 s]
/proc/loadavg: 6.22 4.86 3.68 8/110 6183
/proc/meminfo: memFree=2062672/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=198504 CPUtime=51.64
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 40708 0 0 0 5138 26 0 0 25 0 5 0 1121375295 203268096 40630 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 49626 40630 95 177 0 49448 0
[pid=6031/tid=6033] ppid=6029 vsize=198504 CPUtime=14.31
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 11230 0 0 0 1424 7 0 0 25 0 5 0 1121375433 203268096 40630 4294967295 134512640 135237372 3219427728 3084658560 134550399 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=198504 CPUtime=10.66
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 5450 0 0 0 1065 1 0 0 25 0 5 0 1121375433 203268096 40630 4294967295 134512640 135237372 3219427728 3076263196 134549925 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=198504 CPUtime=14.44
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 5101 0 0 0 1435 9 0 0 25 0 5 0 1121375435 203268096 40630 4294967295 134512640 135237372 3219427728 3067618480 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=198504 CPUtime=10.85
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 9500 0 0 0 1078 7 0 0 25 0 5 0 1121375435 203268096 40630 4294967295 134512640 135237372 3219427728 3059709724 134636382 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.64
Current children cumulated vsize (KiB) 198504

[startup+51.1172 s]
/proc/loadavg: 6.36 5.03 3.77 7/109 6222
/proc/meminfo: memFree=1963380/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=303064 CPUtime=105.11
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 65668 0 0 0 10471 40 0 0 25 0 5 0 1121375295 310337536 65590 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 75766 65590 95 177 0 75588 0
[pid=6031/tid=6033] ppid=6029 vsize=303064 CPUtime=30.31
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 20499 0 0 0 3018 13 0 0 25 0 5 0 1121375433 310337536 65590 4294967295 134512640 135237372 3219427728 3084902912 134562290 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=303064 CPUtime=23.24
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 11259 0 0 0 2321 3 0 0 25 0 5 0 1121375433 310337536 65590 4294967295 134512640 135237372 3219427728 3076310064 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=303064 CPUtime=27.95
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 9179 0 0 0 2784 11 0 0 25 0 5 0 1121375435 310337536 65590 4294967295 134512640 135237372 3219427728 3067972304 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=303064 CPUtime=22.23
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 15304 0 0 0 2212 11 0 0 25 0 5 0 1121375435 310337536 65590 4294967295 134512640 135237372 3219427728 3059566448 134552739 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 105.11
Current children cumulated vsize (KiB) 303064

[startup+102.314 s]
/proc/loadavg: 6.54 5.27 3.92 7/109 6412
/proc/meminfo: memFree=1775788/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=496852 CPUtime=207.43
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 111803 0 0 0 20680 63 0 0 25 0 5 0 1121375295 508776448 111725 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 124213 111725 95 177 0 124035 0
[pid=6031/tid=6033] ppid=6029 vsize=496852 CPUtime=56.91
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 31492 0 0 0 5672 19 0 0 25 0 5 0 1121375433 508776448 111725 4294967295 134512640 135237372 3219427728 3084828704 134562341 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=496852 CPUtime=49.11
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 21753 0 0 0 4905 6 0 0 25 0 5 0 1121375433 508776448 111725 4294967295 134512640 135237372 3219427728 3076499216 134590129 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=496852 CPUtime=53.28
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 20107 0 0 0 5310 18 0 0 25 0 5 0 1121375435 508776448 111725 4294967295 134512640 135237372 3219427728 3068097472 134680270 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=496852 CPUtime=46.75
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 29024 0 0 0 4657 18 0 0 25 0 5 0 1121375435 508776448 111725 4294967295 134512640 135237372 3219427728 3059587696 134749353 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 207.43
Current children cumulated vsize (KiB) 496852

[startup+162.31 s]
/proc/loadavg: 6.44 5.47 4.06 7/109 6599
/proc/meminfo: memFree=1515848/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=772020 CPUtime=330.82
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 176988 0 0 0 32980 102 0 0 25 0 5 0 1121375295 790548480 176910 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 193005 176910 95 177 0 192827 0
[pid=6031/tid=6033] ppid=6029 vsize=772020 CPUtime=87.71
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 45743 0 0 0 8745 26 0 0 25 0 5 0 1121375433 790548480 176910 4294967295 134512640 135237372 3219427728 3084901536 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=772020 CPUtime=79.62
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 34177 0 0 0 7946 16 0 0 25 0 5 0 1121375433 790548480 176910 4294967295 134512640 135237372 3219427728 3076491824 134680720 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=772020 CPUtime=86.58
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 35561 0 0 0 8632 26 0 0 25 0 5 0 1121375435 790548480 176910 4294967295 134512640 135237372 3219427728 3068009552 134562401 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=772020 CPUtime=75.53
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 52080 0 0 0 7521 32 0 0 25 0 5 0 1121375435 790548480 176910 4294967295 134512640 135237372 3219427728 3059530616 134549877 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 330.82
Current children cumulated vsize (KiB) 772020

[startup+222.306 s]
/proc/loadavg: 6.48 5.65 4.21 7/109 6787
/proc/meminfo: memFree=1296144/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=1001564 CPUtime=454.95
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 231357 0 0 0 45372 123 0 0 25 0 5 0 1121375295 1025601536 231279 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 250391 231279 95 177 0 250213 0
[pid=6031/tid=6033] ppid=6029 vsize=1001564 CPUtime=122.1
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 59396 0 0 0 12176 34 0 0 25 0 5 0 1121375433 1025601536 231279 4294967295 134512640 135237372 3219427728 3084899152 134680729 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=1001564 CPUtime=109.48
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 42048 0 0 0 10924 24 0 0 25 0 5 0 1121375433 1025601536 231279 4294967295 134512640 135237372 3219427728 3076287856 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=1001564 CPUtime=116.05
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 47099 0 0 0 11577 28 0 0 25 0 5 0 1121375435 1025601536 231279 4294967295 134512640 135237372 3219427728 3068011936 134550992 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=1001564 CPUtime=105.93
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 73387 0 0 0 10558 35 0 0 25 0 5 0 1121375435 1025601536 231279 4294967295 134512640 135237372 3219427728 3059649776 134562360 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 454.95
Current children cumulated vsize (KiB) 1001564

[startup+282.312 s]
/proc/loadavg: 6.61 5.82 4.36 8/109 6974
/proc/meminfo: memFree=1127160/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=1180296 CPUtime=576.51
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 273747 0 0 0 57507 144 0 0 25 0 5 0 1121375295 1208623104 273669 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 295074 273669 95 177 0 294896 0
[pid=6031/tid=6033] ppid=6029 vsize=1180296 CPUtime=152.61
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 70057 0 0 0 15222 39 0 0 25 0 5 0 1121375433 1208623104 273669 4294967295 134512640 135237372 3219427728 3084934224 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=1180296 CPUtime=139.41
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 49929 0 0 0 13914 27 0 0 25 0 5 0 1121375433 1208623104 273669 4294967295 134512640 135237372 3219427728 3076284012 134680502 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=1180296 CPUtime=147.41
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 52903 0 0 0 14709 32 0 0 25 0 5 0 1121375435 1208623104 273669 4294967295 134512640 135237372 3219427728 3067723552 134681633 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=1180296 CPUtime=135.7
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 91431 0 0 0 13526 44 0 0 25 0 5 0 1121375435 1208623104 273669 4294967295 134512640 135237372 3219427728 3059550416 134562360 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 576.51
Current children cumulated vsize (KiB) 1180296

[startup+342.307 s]
/proc/loadavg: 6.82 6.01 4.51 8/109 7166
/proc/meminfo: memFree=933504/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=1382704 CPUtime=699.18
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 321582 0 0 0 69746 172 0 0 25 0 5 0 1121375295 1415888896 321504 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 345676 321504 95 177 0 345498 0
[pid=6031/tid=6033] ppid=6029 vsize=1382704 CPUtime=183.21
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 80789 0 0 0 18278 43 0 0 25 0 5 0 1121375433 1415888896 321504 4294967295 134512640 135237372 3219427728 3084886928 134551002 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=1382704 CPUtime=171.21
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 57143 0 0 0 17085 36 0 0 25 0 5 0 1121375433 1415888896 321504 4294967295 134512640 135237372 3219427728 3076297312 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=1382704 CPUtime=177.23
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 66769 0 0 0 17685 38 0 0 25 0 5 0 1121375435 1415888896 321504 4294967295 134512640 135237372 3219427728 3068063616 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=1382704 CPUtime=166.15
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 107454 0 0 0 16562 53 0 0 25 0 5 0 1121375435 1415888896 321504 4294967295 134512640 135237372 3219427728 3059742208 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 699.18
Current children cumulated vsize (KiB) 1382704

[startup+402.303 s]
/proc/loadavg: 6.74 6.11 4.64 7/109 7355
/proc/meminfo: memFree=727360/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=1600708 CPUtime=836.45
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 373722 0 0 0 83454 191 0 0 25 0 5 0 1121375295 1639124992 373644 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 400177 373644 95 177 0 399999 0
[pid=6031/tid=6033] ppid=6029 vsize=1600708 CPUtime=213.31
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 89425 0 0 0 21286 45 0 0 25 0 5 0 1121375433 1639124992 373644 4294967295 134512640 135237372 3219427728 3084835632 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=1600708 CPUtime=211.01
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 65797 0 0 0 21063 38 0 0 25 0 5 0 1121375433 1639124992 373644 4294967295 134512640 135237372 3219427728 3076119952 134562344 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=1600708 CPUtime=208.58
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 84253 0 0 0 20813 45 0 0 25 0 5 0 1121375435 1639124992 373644 4294967295 134512640 135237372 3219427728 3067936880 134680273 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=1600708 CPUtime=202.16
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 124820 0 0 0 20155 61 0 0 25 0 5 0 1121375435 1639124992 373644 4294967295 134512640 135237372 3219427728 3059664584 134732535 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 836.45
Current children cumulated vsize (KiB) 1600708

[startup+462.309 s]
/proc/loadavg: 7.00 6.29 4.79 7/109 7542
/proc/meminfo: memFree=425272/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=1915144 CPUtime=983.85
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 448744 0 0 0 98161 224 0 0 25 0 5 0 1121375295 1961107456 448666 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 478786 448666 95 177 0 478608 0
[pid=6031/tid=6033] ppid=6029 vsize=1915144 CPUtime=249.61
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 98931 0 0 0 24910 51 0 0 25 0 5 0 1121375433 1961107456 448666 4294967295 134512640 135237372 3219427728 3084669568 134562420 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=1915144 CPUtime=241.63
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 75314 0 0 0 24117 46 0 0 25 0 5 0 1121375433 1961107456 448666 4294967295 134512640 135237372 3219427728 3076472960 134546026 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=1915144 CPUtime=245.11
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 118420 0 0 0 24456 55 0 0 25 0 5 0 1121375435 1961107456 448666 4294967295 134512640 135237372 3219427728 3067840464 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=1915144 CPUtime=246.11
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 146652 0 0 0 24541 70 0 0 25 0 5 0 1121375435 1961107456 448666 4294967295 134512640 135237372 3219427728 3059571264 134680326 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 983.85
Current children cumulated vsize (KiB) 1915144



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+501.217 s]
/proc/loadavg: 6.60 6.28 4.85 8/109 7545
/proc/meminfo: memFree=252104/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=2096276 CPUtime=1079.85
/proc/6031/stat : 6031 (ttsth-5-0) S 6029 6031 2540 0 -1 4202496 491514 0 0 0 107747 238 0 0 25 0 5 0 1121375295 2146586624 491436 4294967295 134512640 135237372 3219427728 3219427324 134629544 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 524069 491436 95 177 0 523891 0
[pid=6031/tid=6033] ppid=6029 vsize=2096276 CPUtime=275.99
/proc/6031/task/6033/stat : 6033 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 105652 0 0 0 27545 54 0 0 25 0 5 0 1121375433 2146586624 491436 4294967295 134512640 135237372 3219427728 3084635648 134751534 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6031/tid=6034] ppid=6029 vsize=2096276 CPUtime=260.81
/proc/6031/task/6034/stat : 6034 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 80236 0 0 0 26034 47 0 0 25 0 5 0 1121375433 2146586624 491436 4294967295 134512640 135237372 3219427728 3076414736 134562278 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=2096276 CPUtime=271.03
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 133464 0 0 0 27043 60 0 0 25 0 5 0 1121375435 2146586624 491436 4294967295 134512640 135237372 3219427728 3067762752 134680273 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6031/tid=6036] ppid=6029 vsize=2096276 CPUtime=270.63
/proc/6031/task/6036/stat : 6036 (ttsth-5-0) R 6029 6031 2540 0 -1 4202560 162735 0 0 0 26988 75 0 0 25 0 5 0 1121375435 2146586624 491436 4294967295 134512640 135237372 3219427728 3059586944 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1079.85
Current children cumulated vsize (KiB) 2096276

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

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

[startup+501.337 s]
/proc/loadavg: 6.60 6.28 4.85 8/109 7545
/proc/meminfo: memFree=252104/3368532 swapFree=1954076/1959888
[pid=6031] ppid=6029 vsize=0 CPUtime=1079.98
/proc/6031/stat : 6031 (ttsth-5-0) Z 6029 6031 2540 0 -1 4203524 491532 0 0 0 107751 247 0 0 18 0 2 0 1121375295 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/6031/statm: 0 0 0 0 0 0 0
[pid=6031/tid=6035] ppid=6029 vsize=0 CPUtime=271.14
/proc/6031/task/6035/stat : 6035 (ttsth-5-0) R 6029 6031 2540 0 -1 4203588 133482 0 0 0 27045 69 0 0 25 0 2 0 1121375435 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) 1079.98
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 501.344
CPU time (s): 1079.98
CPU user time (s): 1077.51
CPU system time (s): 2.47
CPU usage (%): 215.417
Max. virtual memory (cumulated for all children) (KiB): 2096276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1077.51
system time used= 2.47
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491532
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= 1332
involuntary context switches= 31574

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 10:39:01
IDJOB=1775908
IDBENCH=20402
IDSOLVER=632
FILE ID=tipi44/1775908-1243672741
PBS_JOBID=
Free space on /tmp= 15893 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-25.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775908-1243672741/watcher-1775908-1243672741 -o /tmp/evaluation-result-1775908-1243672741/solver-1775908-1243672741 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1775908-1243672741.cnf

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

MD5SUM BENCH= 0acd143a4e60b38309663b5993b5ded9
RANDOM SEED= 1876595104

Linux tipi44 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.116
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.116
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.116
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.14
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2224776 kB
Buffers:        164236 kB
Cached:         665132 kB
SwapCached:       2180 kB
Active:         865004 kB
Inactive:       175840 kB
HighTotal:     2489216 kB
HighFree:      1615756 kB
LowTotal:       879316 kB
LowFree:        609020 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            1748 kB
Writeback:           0 kB
AnonPages:      210708 kB
Mapped:           5676 kB
Slab:            93520 kB
SReclaimable:    83476 kB
SUnreclaim:      10044 kB
PageTables:        784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   293336 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15893 MiB
End job on tipi44 at 2009-05-30 10:47:25