Trace number 1780753

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) 2291.21 574.639

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
MD5SUMb02fa517730e45c506203f9bd7ebb62c
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 variables1740
Number of clauses104640
Sum of the clauses size311346
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22781
Number of clauses of size 3101836
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.11/0.15	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780753-1243683600.cnf 
0.11/0.15	c Using SATTIMEOUT of 10000
0.11/0.15	c Using SATRAM of 2047
0.11/0.15	c Size of subset node = 16
0.11/0.15	c Variables = 1740
0.11/0.15	c Clauses = 104640
0.11/0.15	c Literals = 311346
0.11/0.15	c Reduced size:
0.11/0.15	c Variables = 1740
0.11/0.15	c Clauses = 104640
0.11/0.15	c Literals = 311346
0.11/0.15	c a2
0.41/0.43	c a1
0.91/0.92	c Independent sub-problems = 1
0.91/0.92	c Sub-problem with 1740 variables and 104640 clauses
0.91/0.92	c using permutation method 4
0.91/0.92	c count = 1
0.91/0.92	c Ordering finished 0.870 seconds
0.91/0.92	c mapped 0.920 seconds
0.91/0.92	c permuted 0.920 seconds
0.91/0.92	c about to sort
0.91/0.96	c sorted
1.51/1.51	c clauses now 104640
1.51/1.51	c init finished 0.980 seconds
1.51/1.51	c tree built 1.510 seconds
1.51/1.51	c 
1.51/1.51	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.51/1.51	c ---------------------------------|----------------------------------|------------------------------------------------------
1.51/1.51	c ................................ | ..........                       |                        1.5           0.0             
1.51/1.51	c ................................ | ..........                     1 |                        1.5           0.7             
1.51/1.51	c ................................ | ..........                     2 |                        1.5           1.3             
1.51/1.51	c ................................ | ..........                     3 |                        1.5           2.0             
1.51/1.51	c ................................ | ..........                     4 |                        1.5           2.6             
1.51/1.51	c ................................ | ..........                     5 |                        1.5           3.3             
1.51/1.52	c ................................ | ..........                  1000 |                        1.5         657.9          160
199.66/51.20	c ................................ | ..........               1301000 | 133693               200.0        6503.7     23442851
400.05/101.22	c ................................ | ..........               1939000 | 210928               400.1        4846.2     39340567
599.94/151.25	c ................................ | ..........               2473000 | 273813               600.1        4121.1     51697996
799.91/201.48	c ................................ | ..........               2979000 | 327686               800.2        3722.8     63794697
1000.03/251.51	c ................................ | *.........               3430000 | 376493              1000.0        3429.8     75197007
1200.03/301.53	c ................................ | *.........               3918000 | 440251              1200.1        3264.8     86020255
1400.34/351.66	c ................................ | *.........               4320000 | 488627              1400.5        3084.5     94175966
1601.05/401.90	c ................................ | *.........               4575000 | 516635              1601.4        2856.8    101127470
1800.51/451.79	c ................................ | *.........               4703000 | 525118              1800.9        2611.5    108126932
2000.44/501.77	c ................................ | **........               4860000 | 534565              2000.7        2429.1    114286861

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-1780753-1243683600/watcher-1780753-1243683600 -o /tmp/evaluation-result-1780753-1243683600/solver-1780753-1243683600 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780753-1243683600.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.06 1.20 3/101 4961
/proc/meminfo: memFree=2996124/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1140 CPUtime=0
/proc/4961/stat : 4961 (ttsth-5-0) R 4959 4961 30226 0 -1 4202496 176 0 0 0 0 0 0 0 18 0 1 0 949936773 1167360 131 4294967295 134512640 135237372 3214847280 3214846728 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4961/statm: 285 131 75 177 0 107 0

[startup+0.009935 s]
/proc/loadavg: 1.00 1.06 1.20 3/101 4961
/proc/meminfo: memFree=2996124/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1404 CPUtime=0.01
/proc/4961/stat : 4961 (ttsth-5-0) R 4959 4961 30226 0 -1 4202496 245 0 0 0 1 0 0 0 18 0 1 0 949936773 1437696 200 4294967295 134512640 135237372 3214847280 3214845804 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4961/statm: 351 200 75 177 0 173 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1404

[startup+0.109927 s]
/proc/loadavg: 1.00 1.06 1.20 3/101 4961
/proc/meminfo: memFree=2996124/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=5860 CPUtime=0.11
/proc/4961/stat : 4961 (ttsth-5-0) R 4959 4961 30226 0 -1 4202496 1343 0 0 0 10 1 0 0 18 0 1 0 949936773 6000640 1298 4294967295 134512640 135237372 3214847280 3214846728 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4961/statm: 1465 1298 75 177 0 1287 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5860

[startup+0.309909 s]
/proc/loadavg: 1.00 1.06 1.20 3/101 4961
/proc/meminfo: memFree=2996124/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=15208 CPUtime=0.31
/proc/4961/stat : 4961 (ttsth-5-0) R 4959 4961 30226 0 -1 4202496 3566 0 0 0 29 2 0 0 18 0 1 0 949936773 15572992 3520 4294967295 134512640 135237372 3214847280 3214845904 134680356 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4961/statm: 3802 3520 76 177 0 3624 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 15208

[startup+0.709878 s]
/proc/loadavg: 1.00 1.06 1.20 3/101 4961
/proc/meminfo: memFree=2996124/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=16000 CPUtime=0.71
/proc/4961/stat : 4961 (ttsth-5-0) R 4959 4961 30226 0 -1 4202496 4089 0 0 0 69 2 0 0 18 0 1 0 949936773 16384000 3837 4294967295 134512640 135237372 3214847280 3214846512 134599431 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4961/statm: 4000 3837 77 177 0 3822 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 16000

[startup+1.50981 s]
/proc/loadavg: 1.00 1.06 1.20 2/102 4962
/proc/meminfo: memFree=2980356/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=26424 CPUtime=1.51
/proc/4961/stat : 4961 (ttsth-5-0) R 4959 4961 30226 0 -1 4202496 6945 0 0 0 149 2 0 0 20 0 1 0 949936773 27058176 6487 4294967295 134512640 135237372 3214847280 3214840004 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/4961/statm: 6639 6488 90 177 0 6461 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 26424

[startup+3.10969 s]
/proc/loadavg: 1.00 1.06 1.20 5/106 4966
/proc/meminfo: memFree=2962336/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=85408 CPUtime=7.83
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 12903 0 0 0 781 2 0 0 20 0 5 0 949936773 87457792 12445 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 21352 12445 95 177 0 21174 0
[pid=4961/tid=4963] ppid=4959 vsize=85408 CPUtime=1.6
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 1232 0 0 0 160 0 0 0 25 0 5 0 949936925 87457792 12445 4294967295 134512640 135237372 3214847280 3085047488 134562380 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=85408 CPUtime=1.56
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 1634 0 0 0 156 0 0 0 25 0 5 0 949936925 87457792 12445 4294967295 134512640 135237372 3214847280 3076645868 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=85408 CPUtime=1.58
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 1947 0 0 0 158 0 0 0 25 0 5 0 949936925 87457792 12445 4294967295 134512640 135237372 3214847280 3068268672 134592450 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=85408 CPUtime=1.59
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 1128 0 0 0 159 0 0 0 25 0 5 0 949936925 87457792 12445 4294967295 134512640 135237372 3214847280 3059859380 134680212 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 85408

[startup+6.30942 s]
/proc/loadavg: 1.24 1.11 1.21 5/106 4966
/proc/meminfo: memFree=2924052/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=119816 CPUtime=20.61
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 21210 0 0 0 2054 7 0 0 20 0 5 0 949936773 122691584 20752 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 29954 20752 95 177 0 29776 0
[pid=4961/tid=4963] ppid=4959 vsize=119816 CPUtime=4.78
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 3175 0 0 0 476 2 0 0 25 0 5 0 949936925 122691584 20752 4294967295 134512640 135237372 3214847280 3085023792 134680470 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=119816 CPUtime=4.76
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 3692 0 0 0 476 0 0 0 25 0 5 0 949936925 122691584 20752 4294967295 134512640 135237372 3214847280 3076661072 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=119816 CPUtime=4.78
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 4617 0 0 0 476 2 0 0 25 0 5 0 949936925 122691584 20752 4294967295 134512640 135237372 3214847280 3068263064 134562273 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=119816 CPUtime=4.79
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 2764 0 0 0 478 1 0 0 25 0 5 0 949936925 122691584 20752 4294967295 134512640 135237372 3214847280 3059876256 134562403 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.61
Current children cumulated vsize (KiB) 119816

[startup+12.7089 s]
/proc/loadavg: 1.46 1.16 1.23 6/106 4966
/proc/meminfo: memFree=2862268/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=182052 CPUtime=46.21
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 35834 0 0 0 4609 12 0 0 20 0 5 0 949936773 186421248 35376 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 45513 35378 95 177 0 45335 0
[pid=4961/tid=4963] ppid=4959 vsize=182052 CPUtime=11.18
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 6932 0 0 0 1115 3 0 0 25 0 5 0 949936925 186421248 35378 4294967295 134512640 135237372 3214847280 3085040848 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=182052 CPUtime=11.16
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 7466 0 0 0 1115 1 0 0 25 0 5 0 949936925 186421248 35378 4294967295 134512640 135237372 3214847280 3076662608 134546026 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=182052 CPUtime=11.18
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 9350 0 0 0 1114 4 0 0 25 0 5 0 949936925 186421248 35378 4294967295 134512640 135237372 3214847280 3068291372 134680502 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=182052 CPUtime=11.19
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 5126 0 0 0 1117 2 0 0 25 0 5 0 949936925 186421248 35378 4294967295 134512640 135237372 3214847280 3059897024 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.21
Current children cumulated vsize (KiB) 182052

[startup+25.5078 s]
/proc/loadavg: 2.02 1.29 1.27 5/106 4967
/proc/meminfo: memFree=2767956/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=277508 CPUtime=97.39
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 58504 0 0 0 9717 22 0 0 20 0 5 0 949936773 284168192 58046 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 69377 58046 95 177 0 69199 0
[pid=4961/tid=4963] ppid=4959 vsize=277508 CPUtime=23.97
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 12256 0 0 0 2391 6 0 0 25 0 5 0 949936925 284168192 58046 4294967295 134512640 135237372 3214847280 3085033044 134561090 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=277508 CPUtime=23.96
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 13049 0 0 0 2394 2 0 0 25 0 5 0 949936925 284168192 58046 4294967295 134512640 135237372 3214847280 3076662080 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=277508 CPUtime=23.97
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 17468 0 0 0 2388 9 0 0 25 0 5 0 949936925 284168192 58046 4294967295 134512640 135237372 3214847280 3068258636 134562323 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=277508 CPUtime=23.99
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 8769 0 0 0 2396 3 0 0 25 0 5 0 949936925 284168192 58046 4294967295 134512640 135237372 3214847280 3059857328 134562341 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.39
Current children cumulated vsize (KiB) 277508

[startup+51.1057 s]
/proc/loadavg: 2.99 1.58 1.36 7/107 5104
/proc/meminfo: memFree=2604388/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=449724 CPUtime=199.66
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 99484 0 0 0 19927 39 0 0 20 0 5 0 949936773 460517376 99026 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 112431 99026 95 177 0 112253 0
[pid=4961/tid=4963] ppid=4959 vsize=449724 CPUtime=49.5
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 20781 0 0 0 4940 10 0 0 25 0 5 0 949936925 460517376 99026 4294967295 134512640 135237372 3214847280 3085028124 134562272 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=449724 CPUtime=49.54
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 28998 0 0 0 4946 8 0 0 25 0 5 0 949936925 460517376 99026 4294967295 134512640 135237372 3214847280 3076680816 134680217 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=449724 CPUtime=49.54
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 28904 0 0 0 4942 12 0 0 25 0 5 0 949936925 460517376 99026 4294967295 134512640 135237372 3214847280 3068273712 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=449724 CPUtime=49.58
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 13839 0 0 0 4951 7 0 0 25 0 5 0 949936925 460517376 99026 4294967295 134512640 135237372 3214847280 3059900656 134590129 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 199.66
Current children cumulated vsize (KiB) 449724

[startup+102.312 s]
/proc/loadavg: 3.84 2.01 1.52 7/107 5192
/proc/meminfo: memFree=2346380/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=719840 CPUtime=404.45
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 163257 0 0 0 40366 79 0 0 20 0 5 0 949936773 737116160 162799 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 179960 162799 95 177 0 179782 0
[pid=4961/tid=4963] ppid=4959 vsize=719840 CPUtime=100.68
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 32998 0 0 0 10042 26 0 0 25 0 5 0 949936925 737116160 162799 4294967295 134512640 135237372 3214847280 3085028624 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=719840 CPUtime=100.73
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 54308 0 0 0 10050 23 0 0 25 0 5 0 949936925 737116160 162799 4294967295 134512640 135237372 3214847280 3076663648 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=719840 CPUtime=100.75
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 42619 0 0 0 10057 18 0 0 25 0 5 0 949936925 737116160 162799 4294967295 134512640 135237372 3214847280 3068276700 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=719840 CPUtime=100.79
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 26370 0 0 0 10069 10 0 0 25 0 5 0 949936925 737116160 162799 4294967295 134512640 135237372 3214847280 3059859600 134680217 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 404.45
Current children cumulated vsize (KiB) 719840

[startup+162.317 s]
/proc/loadavg: 4.26 2.49 1.71 5/106 5344
/proc/meminfo: memFree=2109596/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=972200 CPUtime=644.34
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 223032 0 0 0 64307 127 0 0 20 0 5 0 949936773 995532800 222574 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 243050 222574 95 177 0 242872 0
[pid=4961/tid=4963] ppid=4959 vsize=972200 CPUtime=160.62
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 46523 0 0 0 16017 45 0 0 25 0 5 0 949936925 995532800 222574 4294967295 134512640 135237372 3214847280 3085022176 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=972200 CPUtime=160.65
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 68638 0 0 0 16032 33 0 0 25 0 5 0 949936925 995532800 222574 4294967295 134512640 135237372 3214847280 3076634688 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=972200 CPUtime=160.76
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 61312 0 0 0 16044 32 0 0 25 0 5 0 949936925 995532800 222574 4294967295 134512640 135237372 3214847280 3068272464 134546034 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=972200 CPUtime=160.8
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 39597 0 0 0 16065 15 0 0 25 0 5 0 949936925 995532800 222574 4294967295 134512640 135237372 3214847280 3059885488 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 644.34
Current children cumulated vsize (KiB) 972200

[startup+222.312 s]
/proc/loadavg: 4.31 2.83 1.88 5/106 5533
/proc/meminfo: memFree=1886992/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1204468 CPUtime=883.41
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 278087 0 0 0 88179 162 0 0 20 0 5 0 949936773 1233375232 277629 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 301117 277629 95 177 0 300939 0
[pid=4961/tid=4963] ppid=4959 vsize=1204468 CPUtime=220.4
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 58962 0 0 0 21975 65 0 0 25 0 5 0 949936925 1233375232 277629 4294967295 134512640 135237372 3214847280 3085028384 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=1204468 CPUtime=219.98
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 82804 0 0 0 21960 38 0 0 25 0 5 0 949936925 1233375232 277629 4294967295 134512640 135237372 3214847280 3076649264 134562459 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=1204468 CPUtime=220.74
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 80238 0 0 0 22036 38 0 0 25 0 5 0 949936925 1233375232 277629 4294967295 134512640 135237372 3214847280 3068273600 134562341 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=1204468 CPUtime=220.79
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 49121 0 0 0 22060 19 0 0 25 0 5 0 949936925 1233375232 277629 4294967295 134512640 135237372 3214847280 3059887408 134588681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 883.41
Current children cumulated vsize (KiB) 1204468

[startup+282.317 s]
/proc/loadavg: 4.36 3.13 2.04 5/106 5719
/proc/meminfo: memFree=1680272/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1426708 CPUtime=1123.24
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 330275 0 0 0 112140 184 0 0 20 0 5 0 949936773 1460948992 329817 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 356677 329817 95 177 0 356499 0
[pid=4961/tid=4963] ppid=4959 vsize=1426708 CPUtime=280.33
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 72699 0 0 0 27958 75 0 0 25 0 5 0 949936925 1460948992 329817 4294967295 134512640 135237372 3214847280 3085054944 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=1426708 CPUtime=279.91
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 98923 0 0 0 27947 44 0 0 25 0 5 0 949936925 1460948992 329817 4294967295 134512640 135237372 3214847280 3076663008 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=1426708 CPUtime=280.72
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 94973 0 0 0 28031 41 0 0 25 0 5 0 949936925 1460948992 329817 4294967295 134512640 135237372 3214847280 3068255072 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=1426708 CPUtime=280.78
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 56718 0 0 0 28056 22 0 0 25 0 5 0 949936925 1460948992 329817 4294967295 134512640 135237372 3214847280 3059874320 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.24
Current children cumulated vsize (KiB) 1426708

[startup+342.312 s]
/proc/loadavg: 4.54 3.42 2.21 5/106 5907
/proc/meminfo: memFree=1508516/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1605460 CPUtime=1363.2
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 372618 0 0 0 136101 219 0 0 20 0 5 0 949936773 1643991040 372160 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 401365 372160 95 177 0 401187 0
[pid=4961/tid=4963] ppid=4959 vsize=1605460 CPUtime=340.31
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 83493 0 0 0 33950 81 0 0 25 0 5 0 949936925 1643991040 372160 4294967295 134512640 135237372 3214847280 3085061648 134562278 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=1605460 CPUtime=339.91
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 110333 0 0 0 33937 54 0 0 25 0 5 0 949936925 1643991040 372160 4294967295 134512640 135237372 3214847280 3076632656 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=1605460 CPUtime=340.7
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 107717 0 0 0 34018 52 0 0 25 0 5 0 949936925 1643991040 372160 4294967295 134512640 135237372 3214847280 3068245740 134636641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=1605460 CPUtime=340.78
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 64113 0 0 0 34048 30 0 0 25 0 5 0 949936925 1643991040 372160 4294967295 134512640 135237372 3214847280 3059886512 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1363.2
Current children cumulated vsize (KiB) 1605460

[startup+402.307 s]
/proc/loadavg: 4.57 3.64 2.36 5/106 6101
/proc/meminfo: memFree=1382300/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1739900 CPUtime=1603.05
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 404361 0 0 0 160055 250 0 0 20 0 5 0 949936773 1781657600 403903 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 434975 403903 95 177 0 434797 0
[pid=4961/tid=4963] ppid=4959 vsize=1739900 CPUtime=400.26
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 90374 0 0 0 39927 99 0 0 25 0 5 0 949936925 1781657600 403903 4294967295 134512640 135237372 3214847280 3085049248 134562278 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=1739900 CPUtime=399.85
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 118637 0 0 0 39927 58 0 0 25 0 5 0 949936925 1781657600 403903 4294967295 134512640 135237372 3214847280 3076640224 134562351 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=1739900 CPUtime=400.67
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 115244 0 0 0 40011 56 0 0 25 0 5 0 949936925 1781657600 403903 4294967295 134512640 135237372 3214847280 3068261864 134562273 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=1739900 CPUtime=400.77
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 73144 0 0 0 40042 35 0 0 25 0 5 0 949936925 1781657600 403903 4294967295 134512640 135237372 3214847280 3059885024 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1603.05
Current children cumulated vsize (KiB) 1739900

[startup+462.312 s]
/proc/loadavg: 4.46 3.79 2.49 6/106 6289
/proc/meminfo: memFree=1249800/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1879488 CPUtime=1842.95
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 437243 0 0 0 184019 276 0 0 20 0 5 0 949936773 1924595712 436785 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 469872 436785 95 177 0 469694 0
[pid=4961/tid=4963] ppid=4959 vsize=1879488 CPUtime=460.25
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 94514 0 0 0 45922 103 0 0 25 0 5 0 949936925 1924595712 436785 4294967295 134512640 135237372 3214847280 3085045088 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=1879488 CPUtime=459.76
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 128968 0 0 0 45913 63 0 0 25 0 5 0 949936925 1924595712 436785 4294967295 134512640 135237372 3214847280 3076642416 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=1879488 CPUtime=460.67
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 126163 0 0 0 45999 68 0 0 25 0 5 0 949936925 1924595712 436785 4294967295 134512640 135237372 3214847280 3068273856 134562360 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=1879488 CPUtime=460.77
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 80636 0 0 0 46037 40 0 0 25 0 5 0 949936925 1924595712 436785 4294967295 134512640 135237372 3214847280 3059874432 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1842.95
Current children cumulated vsize (KiB) 1879488

[startup+522.307 s]
/proc/loadavg: 4.49 3.93 2.62 5/106 6478
/proc/meminfo: memFree=1141952/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=1994672 CPUtime=2082.84
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 464380 0 0 0 207991 293 0 0 20 0 5 0 949936773 2042544128 463922 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 498668 463922 95 177 0 498490 0
[pid=4961/tid=4963] ppid=4959 vsize=1994672 CPUtime=520.23
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 99680 0 0 0 51918 105 0 0 25 0 5 0 949936925 2042544128 463922 4294967295 134512640 135237372 3214847280 3085038608 134562338 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=1994672 CPUtime=519.7
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 137086 0 0 0 51902 68 0 0 25 0 5 0 949936925 2042544128 463922 4294967295 134512640 135237372 3214847280 3076642208 134562399 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=1994672 CPUtime=520.64
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 133956 0 0 0 51994 70 0 0 25 0 5 0 949936925 2042544128 463922 4294967295 134512640 135237372 3214847280 3068258960 134562380 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=1994672 CPUtime=520.77
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 86696 0 0 0 52029 48 0 0 25 0 5 0 949936925 2042544128 463922 4294967295 134512640 135237372 3214847280 3059886320 134562338 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2082.84
Current children cumulated vsize (KiB) 1994672



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+574.513 s]
/proc/loadavg: 4.64 4.06 2.73 5/106 6663
/proc/meminfo: memFree=1043540/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=2096148 CPUtime=2291.05
/proc/4961/stat : 4961 (ttsth-5-0) S 4959 4961 30226 0 -1 4202496 488460 0 0 0 228790 315 0 0 20 0 5 0 949936773 2146455552 488002 4294967295 134512640 135237372 3214847280 3214846876 134629544 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 524037 488002 95 177 0 523859 0
[pid=4961/tid=4963] ppid=4959 vsize=2096148 CPUtime=572.25
/proc/4961/task/4963/stat : 4963 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 104250 0 0 0 57106 119 0 0 25 0 5 0 949936925 2146455552 488002 4294967295 134512640 135237372 3214847280 3085054384 134562407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=4961/tid=4964] ppid=4959 vsize=2096148 CPUtime=571.49
/proc/4961/task/4964/stat : 4964 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 142799 0 0 0 57078 71 0 0 25 0 5 0 949936925 2146455552 488002 4294967295 134512640 135237372 3214847280 3076663724 134549925 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=4961/tid=4965] ppid=4959 vsize=2096148 CPUtime=572.84
/proc/4961/task/4965/stat : 4965 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 143108 0 0 0 57209 75 0 0 25 0 5 0 949936925 2146455552 488002 4294967295 134512640 135237372 3214847280 3068263472 134562338 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=2096148 CPUtime=572.96
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4202560 91341 0 0 0 57248 48 0 0 25 0 5 0 949936925 2146455552 488002 4294967295 134512640 135237372 3214847280 3059874544 134562344 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2291.05
Current children cumulated vsize (KiB) 2096148

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

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

[startup+574.633 s]
/proc/loadavg: 4.64 4.06 2.73 5/106 6663
/proc/meminfo: memFree=1043540/3368532 swapFree=1959840/1959888
[pid=4961] ppid=4959 vsize=0 CPUtime=2291.2
/proc/4961/stat : 4961 (ttsth-5-0) Z 4959 4961 30226 0 -1 4203524 488461 0 0 0 228796 324 0 0 18 0 2 0 949936773 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/4961/statm: 0 0 0 0 0 0 0
[pid=4961/tid=4966] ppid=4959 vsize=0 CPUtime=573.07
/proc/4961/task/4966/stat : 4966 (ttsth-5-0) R 4959 4961 30226 0 -1 4203588 91341 0 0 0 57250 57 0 0 25 0 2 0 949936925 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) 2291.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 574.639
CPU time (s): 2291.21
CPU user time (s): 2287.96
CPU system time (s): 3.25
CPU usage (%): 398.721
Max. virtual memory (cumulated for all children) (KiB): 2096148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2287.96
system time used= 3.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488461
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= 883
involuntary context switches= 42471

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 13:40:00
IDJOB=1780753
IDBENCH=71064
IDSOLVER=632
FILE ID=tipi39/1780753-1243683600
PBS_JOBID=
Free space on /tmp= 5742 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780753-1243683600/watcher-1780753-1243683600 -o /tmp/evaluation-result-1780753-1243683600/solver-1780753-1243683600 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1780753-1243683600.cnf

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

MD5SUM BENCH= b02fa517730e45c506203f9bd7ebb62c
RANDOM SEED= 1455995916

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:       2996420 kB
Buffers:        118576 kB
Cached:         131104 kB
SwapCached:          0 kB
Active:         166540 kB
Inactive:       100352 kB
HighTotal:     2489216 kB
HighFree:      2343264 kB
LowTotal:       879316 kB
LowFree:        653156 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           12504 kB
Writeback:           0 kB
AnonPages:       17020 kB
Mapped:           6708 kB
Slab:            95392 kB
SReclaimable:    84596 kB
SUnreclaim:      10796 kB
PageTables:        544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   100244 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5742 MiB
End job on tipi39 at 2009-05-30 13:49:37