Trace number 1776343

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) 1778.95 446.536

General information on the benchmark

Nameindustrial/grieu/
vmpc_24.cnf
MD5SUMa69847fa52646cc8016cf4fd8e9d428a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.56
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of clauses67872
Sum of the clauses size178056
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226568
Number of clauses of size 341256
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 548

Solver Data 

0.03/0.09	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776343-1243674192.cnf 
0.03/0.09	c Using SATTIMEOUT of 10000
0.03/0.09	c Using SATRAM of 2047
0.03/0.09	c Size of subset node = 16
0.03/0.09	c Variables = 576
0.03/0.09	c Clauses = 67872
0.03/0.09	c Literals = 178056
0.03/0.09	c Reduced size:
0.03/0.09	c Variables = 576
0.03/0.09	c Clauses = 67872
0.03/0.09	c Literals = 178056
0.03/0.09	c a2
0.21/0.24	c a1
0.51/0.51	c Independent sub-problems = 1
0.51/0.51	c Sub-problem with 576 variables and 67872 clauses
0.51/0.51	c using permutation method 4
0.51/0.51	c count = 1
0.51/0.51	c Ordering finished 0.490 seconds
0.51/0.51	c mapped 0.520 seconds
0.51/0.51	c permuted 0.520 seconds
0.51/0.51	c about to sort
0.51/0.54	c sorted
0.81/0.88	c clauses now 67872
0.81/0.88	c init finished 0.550 seconds
0.81/0.88	c tree built 0.880 seconds
0.81/0.88	c 
0.81/0.88	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.81/0.88	c ---------------------------------|----------------------------------|------------------------------------------------------
0.81/0.88	c ................................ | ..........                       |                        0.9           0.0             
0.81/0.88	c ................................ | ..........                     1 |                        0.9           1.1             
0.81/0.88	c ................................ | ..........                     2 |                        0.9           2.3             
0.81/0.88	c ................................ | ..........                     3 |                        0.9           3.4             
0.81/0.88	c ................................ | ..........                     4 |                        0.9           4.5             
0.81/0.88	c ................................ | ..........                     5 |                        0.9           5.7             
0.92/0.93	c ................................ | ..........                  1000 | 10                     1.1         952.4        34423
1.33/1.03	c *............................... | ..........                  3770 | 68                     1.4        2673.8       189156
200.32/51.00	c *............................... | ..........                421000 | 15037                200.7        2097.7     32395743
264.29/66.95	c ****************................ | ..........                494172 | 18253                264.5        1868.5     38182249
264.29/66.95	c ****************................ | ..........                494173 | 18253                264.5        1868.5     38182308
264.29/66.95	c ****************................ | ..........                494174 | 18253                264.5        1868.5     38182308
264.29/66.95	c ****************................ | ..........                494175 | 18253                264.5        1868.5     38182323
264.29/66.95	c ****************................ | ..........                494176 | 18253                264.5        1868.6     38182323
397.93/100.41	c ************************........ | ..........                628962 | 26337                397.9        1580.5     50037055
397.93/100.41	c ************************........ | ..........                628963 | 26337                397.9        1580.5     50037055
397.93/100.41	c ************************........ | ..........                628964 | 26337                397.9        1580.5     50037055
397.93/100.41	c ************************........ | ..........                628965 | 26337                397.9        1580.5     50037055
399.93/101.00	c ************************........ | ..........                636000 | 26553                400.3        1588.8     50300835
600.06/151.01	c ************************........ | ..........                826000 | 35161                600.1        1376.5     66202575
800.78/201.25	c ************************........ | ..........                972000 | 43225                800.9        1213.6     78941369
1001.38/251.57	c ************************........ | *.........               1098000 | 51073               1001.6        1096.2     90428934
1201.44/301.73	c ************************........ | *.........               1212000 | 57624               1201.5        1008.7    100170294
1400.57/351.69	c ************************........ | *.........               1318000 | 64067               1401.0         940.8    109759693
1600.56/401.86	c ************************........ | *.........               1415000 | 70225               1600.7         884.0    118652569

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-1776343-1243674192/watcher-1776343-1243674192 -o /tmp/evaluation-result-1776343-1243674192/solver-1776343-1243674192 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1776343-1243674192.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: 4.25 2.99 1.87 3/98 6010
/proc/meminfo: memFree=3128388/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=1144 CPUtime=0
/proc/6010/stat : 6010 (ttsth-5-0) R 6008 6010 30226 0 -1 4202496 167 0 0 0 0 0 0 0 18 0 1 0 948995914 1171456 123 4294967295 134512640 135237372 3220193872 3220192396 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/6010/statm: 286 123 75 177 0 108 0

[startup+0.025869 s]
/proc/loadavg: 4.25 2.99 1.87 3/98 6010
/proc/meminfo: memFree=3128388/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=2204 CPUtime=0.03
/proc/6010/stat : 6010 (ttsth-5-0) R 6008 6010 30226 0 -1 4202496 433 0 0 0 3 0 0 0 18 0 1 0 948995914 2256896 389 4294967295 134512640 135237372 3220193872 3220192396 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/6010/statm: 551 389 75 177 0 373 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2204

[startup+0.105864 s]
/proc/loadavg: 4.25 2.99 1.87 3/98 6010
/proc/meminfo: memFree=3128388/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=7868 CPUtime=0.11
/proc/6010/stat : 6010 (ttsth-5-0) R 6008 6010 30226 0 -1 4202496 1821 0 0 0 10 1 0 0 18 0 1 0 948995914 8056832 1777 4294967295 134512640 135237372 3220193872 3220193140 134732535 0 0 0 0 0 0 0 17 0 0 0 0
/proc/6010/statm: 1967 1789 76 177 0 1789 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7868

[startup+0.305844 s]
/proc/loadavg: 4.25 2.99 1.87 3/98 6010
/proc/meminfo: memFree=3128388/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=7568 CPUtime=0.31
/proc/6010/stat : 6010 (ttsth-5-0) R 6008 6010 30226 0 -1 4202496 2779 0 0 0 30 1 0 0 18 0 1 0 948995914 7749632 1663 4294967295 134512640 135237372 3220193872 3220193000 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/6010/statm: 1892 1663 77 177 0 1714 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 7568

[startup+0.705821 s]
/proc/loadavg: 4.25 2.99 1.87 3/98 6010
/proc/meminfo: memFree=3128388/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=11252 CPUtime=0.71
/proc/6010/stat : 6010 (ttsth-5-0) R 6008 6010 30226 0 -1 4202496 3856 0 0 0 70 1 0 0 18 0 1 0 948995914 11522048 2673 4294967295 134512640 135237372 3220193872 3220171252 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/6010/statm: 2813 2673 90 177 0 2635 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 11252

[startup+1.50575 s]
/proc/loadavg: 4.25 2.99 1.87 5/103 6015
/proc/meminfo: memFree=3112340/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=63056 CPUtime=3.3
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 8374 0 0 0 328 2 0 0 19 0 5 0 948995914 64569344 7191 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 15764 7191 95 177 0 15586 0
[pid=6010/tid=6012] ppid=6008 vsize=63056 CPUtime=0.6
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 921 0 0 0 59 1 0 0 21 0 5 0 948996003 64569344 7191 4294967295 134512640 135237372 3220193872 3086297488 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=63056 CPUtime=0.61
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 943 0 0 0 61 0 0 0 21 0 5 0 948996003 64569344 7192 4294967295 134512640 135237372 3220193872 3077871168 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=63056 CPUtime=0.62
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 953 0 0 0 62 0 0 0 23 0 5 0 948996003 64569344 7192 4294967295 134512640 135237372 3220193872 3069498576 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=63056 CPUtime=0.6
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 735 0 0 0 60 0 0 0 21 0 5 0 948996003 64569344 7192 4294967295 134512640 135237372 3220193872 3061126240 134588285 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 63056

[startup+3.10562 s]
/proc/loadavg: 4.25 2.99 1.87 5/103 6015
/proc/meminfo: memFree=3088512/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=96924 CPUtime=9.7
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 16897 0 0 0 964 6 0 0 19 0 5 0 948995914 99250176 15714 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 24231 15715 95 177 0 24053 0
[pid=6010/tid=6012] ppid=6008 vsize=96924 CPUtime=2.2
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 2800 0 0 0 218 2 0 0 25 0 5 0 948996003 99250176 15715 4294967295 134512640 135237372 3220193872 3086287936 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=96924 CPUtime=2.21
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 3016 0 0 0 221 0 0 0 25 0 5 0 948996003 99250176 15715 4294967295 134512640 135237372 3220193872 3077884704 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=96924 CPUtime=2.22
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 3149 0 0 0 220 2 0 0 25 0 5 0 948996003 99250176 15715 4294967295 134512640 135237372 3220193872 3069497360 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=96924 CPUtime=2.2
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 3110 0 0 0 219 1 0 0 25 0 5 0 948996003 99250176 15715 4294967295 134512640 135237372 3220193872 3061127104 134587952 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (KiB) 96924

[startup+6.30544 s]
/proc/loadavg: 4.22 3.00 1.88 6/103 6015
/proc/meminfo: memFree=3024168/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=155076 CPUtime=22.5
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 31216 0 0 0 2241 9 0 0 19 0 5 0 948995914 158797824 30033 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 38769 30033 95 177 0 38591 0
[pid=6010/tid=6012] ppid=6008 vsize=155076 CPUtime=5.4
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 5987 0 0 0 537 3 0 0 25 0 5 0 948996003 158797824 30033 4294967295 134512640 135237372 3220193872 3086295376 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=155076 CPUtime=5.41
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 6616 0 0 0 540 1 0 0 25 0 5 0 948996003 158797824 30034 4294967295 134512640 135237372 3220193872 3077887664 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=155076 CPUtime=5.42
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 6530 0 0 0 539 3 0 0 25 0 5 0 948996003 158797824 30034 4294967295 134512640 135237372 3220193872 3069496608 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=155076 CPUtime=5.4
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 7261 0 0 0 539 1 0 0 25 0 5 0 948996003 158797824 30034 4294967295 134512640 135237372 3220193872 3061120320 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.5
Current children cumulated vsize (KiB) 155076

[startup+12.7049 s]
/proc/loadavg: 4.21 3.02 1.89 5/103 6016
/proc/meminfo: memFree=2927500/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=246840 CPUtime=48.1
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 53901 0 0 0 4794 16 0 0 19 0 5 0 948995914 252764160 52718 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 61710 52718 95 177 0 61532 0
[pid=6010/tid=6012] ppid=6008 vsize=246840 CPUtime=11.8
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 12141 0 0 0 1175 5 0 0 25 0 5 0 948996003 252764160 52718 4294967295 134512640 135237372 3220193872 3086271040 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=246840 CPUtime=11.81
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 11696 0 0 0 1180 1 0 0 25 0 5 0 948996003 252764160 52718 4294967295 134512640 135237372 3220193872 3077892272 134562348 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=246840 CPUtime=11.82
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 11555 0 0 0 1176 6 0 0 25 0 5 0 948996003 252764160 52718 4294967295 134512640 135237372 3220193872 3069497888 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=246840 CPUtime=11.8
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 13686 0 0 0 1177 3 0 0 25 0 5 0 948996003 252764160 52718 4294967295 134512640 135237372 3220193872 3061128236 134549960 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.1
Current children cumulated vsize (KiB) 246840

[startup+25.5038 s]
/proc/loadavg: 4.40 3.12 1.94 6/104 6096
/proc/meminfo: memFree=2792928/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=378764 CPUtime=99.22
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 86068 0 0 0 9896 26 0 0 19 0 5 0 948995914 387854336 84885 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 94691 84886 95 177 0 94513 0
[pid=6010/tid=6012] ppid=6008 vsize=378764 CPUtime=24.6
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 20932 0 0 0 2449 11 0 0 25 0 5 0 948996003 387854336 84886 4294967295 134512640 135237372 3220193872 3086273776 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=378764 CPUtime=24.53
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 19160 0 0 0 2451 2 0 0 25 0 5 0 948996003 387854336 84886 4294967295 134512640 135237372 3220193872 3077891920 134565869 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=378764 CPUtime=24.62
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 18808 0 0 0 2455 7 0 0 25 0 5 0 948996003 387854336 84886 4294967295 134512640 135237372 3220193872 3069503408 134562341 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=378764 CPUtime=24.6
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 22346 0 0 0 2455 5 0 0 25 0 5 0 948996003 387854336 84886 4294967295 134512640 135237372 3220193872 3061119840 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.22
Current children cumulated vsize (KiB) 378764

[startup+51.1117 s]
/proc/loadavg: 4.45 3.23 2.01 5/103 6202
/proc/meminfo: memFree=2606296/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=573124 CPUtime=201.12
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 133174 0 0 0 20061 51 0 0 19 0 5 0 948995914 586878976 131991 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 143281 131991 95 177 0 143103 0
[pid=6010/tid=6012] ppid=6008 vsize=573124 CPUtime=50.11
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 33514 0 0 0 4997 14 0 0 25 0 5 0 948996003 586878976 131991 4294967295 134512640 135237372 3220193872 3086277008 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=573124 CPUtime=49.76
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 30599 0 0 0 4962 14 0 0 25 0 5 0 948996003 586878976 131991 4294967295 134512640 135237372 3220193872 3077883536 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=573124 CPUtime=50.21
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 29391 0 0 0 5009 12 0 0 25 0 5 0 948996003 586878976 131991 4294967295 134512640 135237372 3220193872 3069500112 134680273 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=573124 CPUtime=50.17
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 34847 0 0 0 5007 10 0 0 25 0 5 0 948996003 586878976 131991 4294967295 134512640 135237372 3220193872 3061111840 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.12
Current children cumulated vsize (KiB) 573124

[startup+102.308 s]
/proc/loadavg: 4.42 3.41 2.13 6/103 6397
/proc/meminfo: memFree=2312996/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=870168 CPUtime=405.53
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 205326 0 0 0 40465 88 0 0 19 0 5 0 948995914 891052032 204143 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 217542 204143 95 177 0 217364 0
[pid=6010/tid=6012] ppid=6008 vsize=870168 CPUtime=101.3
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 50806 0 0 0 10108 22 0 0 25 0 5 0 948996003 891052032 204143 4294967295 134512640 135237372 3220193872 3086289664 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=870168 CPUtime=100.73
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 46953 0 0 0 10047 26 0 0 25 0 5 0 948996003 891052032 204143 4294967295 134512640 135237372 3220193872 3077900736 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=870168 CPUtime=101.34
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 45554 0 0 0 10119 15 0 0 25 0 5 0 948996003 891052032 204143 4294967295 134512640 135237372 3220193872 3069509680 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=870168 CPUtime=101.29
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 57190 0 0 0 10105 24 0 0 25 0 5 0 948996003 891052032 204143 4294967295 134512640 135237372 3220193872 3061125024 134562420 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 405.53
Current children cumulated vsize (KiB) 870168

[startup+162.313 s]
/proc/loadavg: 4.40 3.59 2.27 6/103 6583
/proc/meminfo: memFree=2027152/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=1166160 CPUtime=645.25
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 277348 0 0 0 64406 119 0 0 19 0 5 0 948995914 1194147840 276165 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 291540 276165 95 177 0 291362 0
[pid=6010/tid=6012] ppid=6008 vsize=1166160 CPUtime=161.31
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 64178 0 0 0 16103 28 0 0 25 0 5 0 948996003 1194147840 276165 4294967295 134512640 135237372 3220193872 3086284560 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=1166160 CPUtime=160.61
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 65326 0 0 0 16025 36 0 0 25 0 5 0 948996003 1194147840 276165 4294967295 134512640 135237372 3220193872 3077899884 134562323 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=1166160 CPUtime=161.31
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 66703 0 0 0 16112 19 0 0 25 0 5 0 948996003 1194147840 276165 4294967295 134512640 135237372 3220193872 3069512768 134551008 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=1166160 CPUtime=161.15
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 76318 0 0 0 16080 35 0 0 25 0 5 0 948996003 1194147840 276165 4294967295 134512640 135237372 3220193872 3061121904 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 645.25
Current children cumulated vsize (KiB) 1166160

[startup+222.318 s]
/proc/loadavg: 4.60 3.77 2.41 6/103 6771
/proc/meminfo: memFree=1791968/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=1406448 CPUtime=884.62
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 335509 0 0 0 88322 140 0 0 19 0 5 0 948995914 1440202752 334326 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 351612 334326 95 177 0 351434 0
[pid=6010/tid=6012] ppid=6008 vsize=1406448 CPUtime=221.2
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 74920 0 0 0 22089 31 0 0 25 0 5 0 948996003 1440202752 334326 4294967295 134512640 135237372 3220193872 3086281376 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=1406448 CPUtime=220.11
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 79665 0 0 0 21965 46 0 0 25 0 5 0 948996003 1440202752 334326 4294967295 134512640 135237372 3220193872 3077900480 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=1406448 CPUtime=221.3
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 81710 0 0 0 22104 26 0 0 25 0 5 0 948996003 1440202752 334326 4294967295 134512640 135237372 3220193872 3069515360 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=1406448 CPUtime=221.14
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 94391 0 0 0 22078 36 0 0 25 0 5 0 948996003 1440202752 334326 4294967295 134512640 135237372 3220193872 3061123680 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 884.62
Current children cumulated vsize (KiB) 1406448

[startup+282.313 s]
/proc/loadavg: 4.57 3.90 2.54 5/103 6959
/proc/meminfo: memFree=1598116/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=1610784 CPUtime=1123.88
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 384443 0 0 0 112211 177 0 0 19 0 5 0 948995914 1649442816 383260 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 402696 383260 95 177 0 402518 0
[pid=6010/tid=6012] ppid=6008 vsize=1610784 CPUtime=281.14
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 86063 0 0 0 28075 39 0 0 25 0 5 0 948996003 1649442816 383260 4294967295 134512640 135237372 3220193872 3086286224 134562341 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=1610784 CPUtime=279.62
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 91555 0 0 0 27899 63 0 0 25 0 5 0 948996003 1649442816 383260 4294967295 134512640 135237372 3220193872 3077895952 134562341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=1610784 CPUtime=281.21
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 93944 0 0 0 28091 30 0 0 25 0 5 0 948996003 1649442816 383260 4294967295 134512640 135237372 3220193872 3069519824 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=1610784 CPUtime=281.04
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 108058 0 0 0 28060 44 0 0 25 0 5 0 948996003 1649442816 383260 4294967295 134512640 135237372 3220193872 3061124464 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.88
Current children cumulated vsize (KiB) 1610784

[startup+342.308 s]
/proc/loadavg: 4.48 3.98 2.65 5/103 7147
/proc/meminfo: memFree=1420828/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=1793348 CPUtime=1363.39
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 428278 0 0 0 136132 207 0 0 19 0 5 0 948995914 1836388352 427095 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 448337 427095 95 177 0 448159 0
[pid=6010/tid=6012] ppid=6008 vsize=1793348 CPUtime=341.1
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 96091 0 0 0 34068 42 0 0 25 0 5 0 948996003 1836388352 427095 4294967295 134512640 135237372 3220193872 3086287904 134562363 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=1793348 CPUtime=339.38
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 102996 0 0 0 33861 77 0 0 25 0 5 0 948996003 1836388352 427095 4294967295 134512640 135237372 3220193872 3077898784 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=1793348 CPUtime=341.2
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 105191 0 0 0 34083 37 0 0 25 0 5 0 948996003 1836388352 427095 4294967295 134512640 135237372 3220193872 3069510240 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=1793348 CPUtime=340.84
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 119177 0 0 0 34034 50 0 0 25 0 5 0 948996003 1836388352 427095 4294967295 134512640 135237372 3220193872 3061120848 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1363.39
Current children cumulated vsize (KiB) 1793348

[startup+402.313 s]
/proc/loadavg: 4.73 4.11 2.78 6/104 7326
/proc/meminfo: memFree=1249364/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=1972252 CPUtime=1602.52
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 471441 0 0 0 160016 236 0 0 19 0 5 0 948995914 2019586048 470258 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 493063 470258 95 177 0 492885 0
[pid=6010/tid=6012] ppid=6008 vsize=1972252 CPUtime=401.11
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 105459 0 0 0 40062 49 0 0 25 0 5 0 948996003 2019586048 470258 4294967295 134512640 135237372 3220193872 3086287568 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=1972252 CPUtime=398.52
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 113326 0 0 0 39758 94 0 0 25 0 5 0 948996003 2019586048 470258 4294967295 134512640 135237372 3220193872 3077898224 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=1972252 CPUtime=401.21
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 116143 0 0 0 40084 37 0 0 25 0 5 0 948996003 2019586048 470258 4294967295 134512640 135237372 3220193872 3069509760 134562344 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=1972252 CPUtime=400.81
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 131690 0 0 0 40026 55 0 0 25 0 5 0 948996003 2019586048 470258 4294967295 134512640 135237372 3220193872 3061123408 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1602.52
Current children cumulated vsize (KiB) 1972252



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+446.41 s]
/proc/loadavg: 4.50 4.13 2.84 5/103 7341
/proc/meminfo: memFree=1127000/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=2096752 CPUtime=1778.79
/proc/6010/stat : 6010 (ttsth-5-0) S 6008 6010 30226 0 -1 4202496 501447 0 0 0 177625 254 0 0 19 0 5 0 948995914 2147074048 500264 4294967295 134512640 135237372 3220193872 3220193468 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 524188 500264 95 177 0 524010 0
[pid=6010/tid=6012] ppid=6008 vsize=2096752 CPUtime=445.21
/proc/6010/task/6012/stat : 6012 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 111620 0 0 0 44465 56 0 0 25 0 5 0 948996003 2147074048 500264 4294967295 134512640 135237372 3220193872 3086289392 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=6010/tid=6013] ppid=6008 vsize=2096752 CPUtime=442.51
/proc/6010/task/6013/stat : 6013 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 120268 0 0 0 44151 100 0 0 25 0 5 0 948996003 2147074048 500264 4294967295 134512640 135237372 3220193872 3077904080 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=6010/tid=6014] ppid=6008 vsize=2096752 CPUtime=445.28
/proc/6010/task/6014/stat : 6014 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 124413 0 0 0 44488 40 0 0 25 0 5 0 948996003 2147074048 500264 4294967295 134512640 135237372 3220193872 3069514432 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=2096752 CPUtime=444.91
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4202560 140323 0 0 0 44434 57 0 0 25 0 5 0 948996003 2147074048 500264 4294967295 134512640 135237372 3220193872 3061124064 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1778.79
Current children cumulated vsize (KiB) 2096752

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

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

[startup+446.53 s]
/proc/loadavg: 4.50 4.13 2.84 2/101 7342
/proc/meminfo: memFree=3018588/3368532 swapFree=1959840/1959888
[pid=6010] ppid=6008 vsize=0 CPUtime=1778.95
/proc/6010/stat : 6010 (ttsth-5-0) Z 6008 6010 30226 0 -1 4203524 501450 0 0 0 177631 264 0 0 18 0 2 0 948995914 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/6010/statm: 0 0 0 0 0 0 0
[pid=6010/tid=6015] ppid=6008 vsize=0 CPUtime=445.03
/proc/6010/task/6015/stat : 6015 (ttsth-5-0) R 6008 6010 30226 0 -1 4203588 140326 0 0 0 44436 67 0 0 25 0 2 0 948996003 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1778.95
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6010 and gives
#  childrusage.ru_utime.tv_sec=1776
#  childrusage.ru_utime.tv_usec=310000
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=640000
# CPU time returned by wait4() is 1778.95
# while last known CPU time is 1778.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 446.536
CPU time (s): 1778.95
CPU user time (s): 1776.31
CPU system time (s): 2.64
CPU usage (%): 398.389
Max. virtual memory (cumulated for all children) (KiB): 2096752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.31
system time used= 2.64
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501450
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= 7556
involuntary context switches= 32100

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 11:03:12
IDJOB=1776343
IDBENCH=20489
IDSOLVER=632
FILE ID=tipi39/1776343-1243674192
PBS_JOBID=
Free space on /tmp= 5743 MiB

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

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

MD5SUM BENCH= a69847fa52646cc8016cf4fd8e9d428a
RANDOM SEED= 1424671678

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:       3128388 kB
Buffers:         64468 kB
Cached:          70748 kB
SwapCached:          0 kB
Active:          98952 kB
Inactive:        52404 kB
HighTotal:     2489216 kB
HighFree:      2404520 kB
LowTotal:       879316 kB
LowFree:        723868 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1824 kB
Writeback:           0 kB
AnonPages:       16140 kB
Mapped:           6128 kB
Slab:            78452 kB
SReclaimable:    68464 kB
SUnreclaim:       9988 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5743 MiB
End job on tipi39 at 2009-05-30 11:10:40