Trace number 1723446

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? 1200 603.105

General information on the benchmark

Namegoldb-heqc-i10mul.cnf
MD5SUM80e15f28c8e2d72627ec75fe75757317
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark188.185
Satisfiable
(Un)Satisfiability was proved
Number of variables12998
Number of clauses77941
Sum of the clauses size262272
Maximum clause length448
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217756
Number of clauses of size 337304
Number of clauses of size 40
Number of clauses of size 522880
Number of clauses of size over 51

Solver Data 

0.09/0.18	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1723446-1240685920.cnf 
0.09/0.18	c Using SATTIMEOUT of 1200
0.09/0.18	c Using SATRAM of 1800
0.09/0.18	c Size of subset node = 16
0.09/0.18	c Variables = 12998
0.09/0.18	c Clauses = 77941
0.09/0.18	c Literals = 262272
0.09/0.18	c Reduced size:
0.09/0.18	c Variables = 12998
0.09/0.18	c Clauses = 77941
0.09/0.18	c Literals = 262272
0.09/0.18	c a2
0.49/0.57	c a1
2.79/2.87	c Independent sub-problems = 1
2.79/2.87	c Sub-problem with 12998 variables and 77941 clauses
2.79/2.87	c using permutation method 4
2.79/2.87	c count = 1
2.79/2.87	c Ordering finished 2.820 seconds
2.79/2.87	c mapped 2.870 seconds
2.79/2.87	c permuted 2.870 seconds
2.79/2.87	c about to sort
2.89/2.91	c sorted
3.49/3.51	c clauses now 77941
3.49/3.51	c init finished 2.980 seconds
3.49/3.51	c tree built 3.500 seconds
3.49/3.51	c 
3.49/3.51	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
3.49/3.51	c ---------------------------------|----------------------------------|------------------------------------------------------
3.49/3.51	c ................................ | ..........                       |                        3.5           0.0             
3.49/3.51	c ................................ | ..........                     1 |                        3.5           0.3             
3.49/3.51	c ................................ | ..........                     2 |                        3.5           0.6             
3.49/3.51	c ................................ | ..........                     3 |                        3.5           0.9             
3.49/3.51	c ................................ | ..........                     4 |                        3.5           1.1             
3.49/3.51	c ................................ | ..........                     5 |                        3.5           1.4             
3.49/3.52	c ................................ | ..........                  1000 | 56                     3.5         284.1          977
23.84/13.78	c ................................ | ..........                741000 | 26013                 24.0       30875.0      1218961
47.98/25.80	c ................................ | ..........               1400000 | 54775                 48.0       29166.7      2424825
71.93/37.85	c ................................ | ..........               1966000 | 82551                 72.0       27290.4      3313713
95.87/49.88	c ................................ | ..........               2605000 | 117150                96.1       27118.5      4671717
119.82/61.88	c ................................ | *.........               3315000 | 154713               120.0       27625.0      5451691
143.78/73.90	c ................................ | *.........               4009000 | 191976               144.0       27840.3      6109854
167.93/85.97	c ................................ | *.........               4606000 | 222572               168.1       27400.4      7098533
191.88/97.97	c ................................ | *.........               5131000 | 248974               192.0       26718.4      7963370
215.83/109.97	c ................................ | *.........               5721000 | 278037               216.0       26484.9      8674189
239.98/122.01	c ................................ | **........               6321000 | 306694               240.0       26333.1      9560275
263.92/134.04	c ................................ | **........               7018000 | 341903               264.1       26578.3     10586059
287.84/146.07	c ................................ | **........               7682000 | 374945               288.1       26669.0     11486195
311.80/158.07	c ................................ | **........               8320000 | 406783               312.0       26666.7     12244735
335.95/170.13	c ................................ | **........               8916000 | 437078               336.1       26531.0     13145009
359.89/182.13	c ................................ | ***.......               9487000 | 464434               360.0       26352.0     13552574
384.04/194.20	c ................................ | ***.......               9918000 | 485715               384.1       25821.4     14033761
407.99/206.22	c ................................ | ***.......              10403000 | 509165               408.1       25491.3     14377317
431.94/218.25	c ................................ | ***.......              10916000 | 532745               432.1       25262.1     14727027
455.88/230.23	c ................................ | ***.......              11597000 | 565062               456.0       25430.3     15115070
479.83/242.25	c ................................ | ****......              12215000 | 594625               480.0       25447.4     15489059
503.78/254.26	c ................................ | ****......              12818000 | 622350               504.0       25432.5     15833429
527.74/266.29	c ................................ | ****......              13470000 | 656953               528.0       25511.4     16738614
551.89/278.33	c ................................ | ****......              14039000 | 687442               552.0       25431.1     17428114
575.83/290.36	c ................................ | ****......              14592000 | 719165               576.0       25331.6     18143044
599.77/302.40	c ................................ | *****.....              15164000 | 752123               600.1       25270.8     18797694
623.92/314.42	c ................................ | *****.....              15712000 | 785172               624.1       25176.7     19641537
647.87/326.46	c ................................ | *****.....              16268000 | 818228               648.1       25101.1     20303536
671.82/338.47	c ................................ | *****.....              16839000 | 853143               672.1       25055.8     20890417
695.77/350.47	c ................................ | *****.....              17345000 | 881406               696.0       24920.3     21461726
719.92/362.50	c ................................ | ******....              17890000 | 909456               720.0       24846.2     22146890
743.86/374.50	c ................................ | ******....              18430000 | 936579               744.0       24771.5     22696430
767.81/386.53	c ................................ | ******....              18946000 | 962728               768.0       24669.3     23196259
791.96/398.62	c ................................ | ******....              19455000 | 989523               792.1       24560.4     23816042
815.70/410.58	c ................................ | ******....              19935000 | 1014028              816.0       24430.1     24393350
839.86/422.61	c ................................ | *******...              20294000 | 1032503              840.0       24158.9     25373812
863.80/434.63	c ................................ | *******...              20635000 | 1050491              864.0       23882.8     26220493
887.76/446.66	c ................................ | *******...              20960000 | 1067839              888.0       23603.3     27227972
911.91/458.74	c ................................ | *******...              21282000 | 1084864              912.1       23332.5     28101590
935.86/470.74	c ................................ | *******...              21623000 | 1102629              936.1       23099.8     28874309
959.80/482.72	c ................................ | ********..              21975000 | 1121100              960.0       22890.6     29588639
983.95/494.81	c ................................ | ********..              22265000 | 1135736              984.1       22624.3     30284417
1007.89/506.81	c ................................ | ********..              22550000 | 1150176             1008.1       22369.3     30976557
1031.85/518.82	c ................................ | ********..              22870000 | 1166209             1032.0       22160.0     31731617
1055.80/530.83	c ................................ | ********..              23198000 | 1182694             1056.0       21967.2     32465494
1079.74/542.84	c ................................ | *********.              23505000 | 1198544             1080.0       21763.9     33162471
1103.89/554.96	c ................................ | *********.              23814000 | 1214437             1104.2       21567.1     33947441
1127.83/566.91	c ................................ | *********.              24157000 | 1232010             1128.0       21415.2     34608877
1151.79/579.00	c ................................ | *********.              24485000 | 1248342             1152.2       21251.4     35335535
1175.74/590.96	c ................................ | *********.              24811000 | 1264578             1176.0       21097.1     35973575
1199.88/603.00	c CPU limit (1200) reached
1199.88/603.00	c Time = 1200.07 seconds
1199.88/603.00	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1723446-1240685920/watcher-1723446-1240685920 -o /tmp/evaluation-result-1723446-1240685920/solver-1723446-1240685920 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1723446-1240685920.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27004
/proc/meminfo: memFree=1748324/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=932 CPUtime=0
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 96624592 954368 121 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 233 121 78 176 0 55 0

[startup+0.016016 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27004
/proc/meminfo: memFree=1748324/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=1328 CPUtime=0.01
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4194304 228 0 0 0 1 0 0 0 18 0 1 0 96624592 1359872 212 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 332 213 78 176 0 154 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1328

[startup+0.101026 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27004
/proc/meminfo: memFree=1748324/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=4140 CPUtime=0.09
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4194304 912 0 0 0 9 0 0 0 18 0 1 0 96624592 4239360 896 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 1035 896 78 176 0 857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4140

[startup+0.301046 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27004
/proc/meminfo: memFree=1748324/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=15216 CPUtime=0.29
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4194304 3629 0 0 0 28 1 0 0 19 0 1 0 96624592 15581184 3612 1992294400 134512640 135237372 4294956192 18446744073709551615 134519968 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 3804 3612 79 176 0 3626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15216

[startup+0.701091 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27004
/proc/meminfo: memFree=1748324/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=15312 CPUtime=0.69
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4194304 3852 0 0 0 68 1 0 0 22 0 1 0 96624592 15679488 3681 1992294400 134512640 135237372 4294956192 18446744073709551615 134738790 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 3828 3681 80 176 0 3650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15312

[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27005
/proc/meminfo: memFree=1733340/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=16080 CPUtime=1.49
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4194304 4019 0 0 0 148 1 0 0 25 0 1 0 96624592 16465920 3848 1992294400 134512640 135237372 4294956192 18446744073709551615 134553889 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 4020 3848 80 176 0 3842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16080

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27005
/proc/meminfo: memFree=1732700/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=35600 CPUtime=3.09
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4194304 9015 0 0 0 305 4 0 0 25 0 1 0 96624592 36454400 8767 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 8900 8768 91 176 0 8722 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35600

[startup+6.30172 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 27007
/proc/meminfo: memFree=1689676/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=81120 CPUtime=9.07
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 15255 0 0 0 899 8 0 0 25 0 3 0 96624592 83066880 15007 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 20280 15007 98 176 0 20102 0
[pid=27004/tid=27006] ppid=27002 vsize=81120 CPUtime=2.77
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 774 0 0 0 277 0 0 0 25 0 3 0 96624944 83066880 15007 1992294400 134512640 135237372 4294956192 18446744073709551615 134587921 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=81120 CPUtime=2.76
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 969 0 0 0 276 0 0 0 25 0 3 0 96624944 83066880 15007 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 81120

[startup+12.7024 s]
/proc/loadavg: 1.08 1.02 1.01 3/67 27007
/proc/meminfo: memFree=1678860/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=93900 CPUtime=21.84
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 18391 0 0 0 2174 10 0 0 25 0 3 0 96624592 96153600 18143 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 23475 18143 98 176 0 23297 0
[pid=27004/tid=27006] ppid=27002 vsize=93900 CPUtime=9.17
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 1758 0 0 0 916 1 0 0 25 0 3 0 96624944 96153600 18143 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=93900 CPUtime=9.14
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 3121 0 0 0 913 1 0 0 25 0 3 0 96624944 96153600 18143 1992294400 134512640 135237372 4294956192 18446744073709551615 134680223 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.84
Current children cumulated vsize (KiB) 93900

[startup+25.5018 s]
/proc/loadavg: 1.28 1.06 1.02 3/67 27007
/proc/meminfo: memFree=1650956/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=119216 CPUtime=47.38
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 24723 0 0 0 4722 16 0 0 25 0 3 0 96624592 122077184 24475 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 29804 24475 98 176 0 29626 0
[pid=27004/tid=27006] ppid=27002 vsize=119216 CPUtime=21.97
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 4023 0 0 0 2193 4 0 0 25 0 3 0 96624944 122077184 24475 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=119216 CPUtime=21.89
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 7188 0 0 0 2184 5 0 0 25 0 3 0 96624944 122077184 24475 1992294400 134512640 135237372 4294956192 18446744073709551615 134580305 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.38
Current children cumulated vsize (KiB) 119216

[startup+51.1017 s]
/proc/loadavg: 1.53 1.14 1.04 3/67 27007
/proc/meminfo: memFree=1612556/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=158952 CPUtime=98.47
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 34310 0 0 0 9821 26 0 0 25 0 3 0 96624592 162766848 34062 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 39738 34062 98 176 0 39560 0
[pid=27004/tid=27006] ppid=27002 vsize=158952 CPUtime=47.56
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 7459 0 0 0 4749 7 0 0 25 0 3 0 96624944 162766848 34062 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=158952 CPUtime=47.38
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 13339 0 0 0 4727 11 0 0 25 0 3 0 96624944 162766848 34062 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.47
Current children cumulated vsize (KiB) 158952

[startup+102.305 s]
/proc/loadavg: 1.79 1.27 1.09 3/67 27007
/proc/meminfo: memFree=1557644/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=216484 CPUtime=200.66
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 47908 0 0 0 20029 37 0 0 25 0 3 0 96624592 221679616 47660 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 54121 47660 98 176 0 53943 0
[pid=27004/tid=27006] ppid=27002 vsize=216484 CPUtime=98.76
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 12296 0 0 0 9863 13 0 0 25 0 3 0 96624944 221679616 47660 1992294400 134512640 135237372 4294956192 18446744073709551615 134591184 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=216484 CPUtime=98.38
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 22100 0 0 0 9821 17 0 0 25 0 3 0 96624944 221679616 47660 1992294400 134512640 135237372 4294956192 18446744073709551615 134591525 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 200.66
Current children cumulated vsize (KiB) 216484

[startup+162.302 s]
/proc/loadavg: 1.92 1.40 1.15 3/67 27013
/proc/meminfo: memFree=1489740/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=287780 CPUtime=320.38
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 65044 0 0 0 31985 53 0 0 25 0 3 0 96624592 294686720 64796 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 71945 64796 98 176 0 71767 0
[pid=27004/tid=27006] ppid=27002 vsize=287780 CPUtime=158.72
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 17592 0 0 0 15852 20 0 0 25 0 3 0 96624944 294686720 64796 1992294400 134512640 135237372 4294956192 18446744073709551615 134590245 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=287780 CPUtime=158.14
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 33940 0 0 0 15788 26 0 0 25 0 3 0 96624944 294686720 64796 1992294400 134512640 135237372 4294956192 18446744073709551615 134590129 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 320.38
Current children cumulated vsize (KiB) 287780

[startup+222.302 s]
/proc/loadavg: 2.05 1.52 1.20 3/67 27013
/proc/meminfo: memFree=1452556/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=324916 CPUtime=440.12
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 74067 0 0 0 43950 62 0 0 25 0 3 0 96624592 332713984 73819 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 81229 73819 98 176 0 81051 0
[pid=27004/tid=27006] ppid=27002 vsize=324916 CPUtime=218.7
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 22225 0 0 0 21844 26 0 0 25 0 3 0 96624944 332713984 73819 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=324916 CPUtime=217.89
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 38330 0 0 0 21760 29 0 0 25 0 3 0 96624944 332713984 73819 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 440.12
Current children cumulated vsize (KiB) 324916

[startup+282.301 s]
/proc/loadavg: 2.02 1.61 1.25 3/67 27013
/proc/meminfo: memFree=1409676/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=370728 CPUtime=559.86
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 84884 0 0 0 55914 72 0 0 25 0 3 0 96624592 379625472 84636 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 92682 84636 98 176 0 92504 0
[pid=27004/tid=27006] ppid=27002 vsize=370728 CPUtime=278.68
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 26293 0 0 0 27837 31 0 0 25 0 3 0 96624944 379625472 84636 1992294400 134512640 135237372 4294956192 18446744073709551615 134590497 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=370728 CPUtime=277.66
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 45079 0 0 0 27732 34 0 0 25 0 3 0 96624944 379625472 84636 1992294400 134512640 135237372 4294956192 18446744073709551615 134588414 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 559.86
Current children cumulated vsize (KiB) 370728

[startup+342.302 s]
/proc/loadavg: 2.00 1.68 1.29 3/67 27013
/proc/meminfo: memFree=1355404/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=426324 CPUtime=679.6
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 98301 0 0 0 67874 86 0 0 25 0 3 0 96624592 436555776 98053 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 106581 98053 98 176 0 106403 0
[pid=27004/tid=27006] ppid=27002 vsize=426324 CPUtime=338.67
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 32758 0 0 0 33828 39 0 0 25 0 3 0 96624944 436555776 98053 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=426324 CPUtime=337.42
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 52031 0 0 0 33702 40 0 0 25 0 3 0 96624944 436555776 98053 1992294400 134512640 135237372 4294956192 18446744073709551615 134680504 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 679.6
Current children cumulated vsize (KiB) 426324

[startup+402.302 s]
/proc/loadavg: 2.00 1.73 1.33 3/67 27013
/proc/meminfo: memFree=1309068/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=475368 CPUtime=799.35
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 109927 0 0 0 79835 100 0 0 25 0 3 0 96624592 486776832 109679 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 118842 109679 98 176 0 118664 0
[pid=27004/tid=27006] ppid=27002 vsize=475368 CPUtime=398.64
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 38264 0 0 0 39818 46 0 0 25 0 3 0 96624944 486776832 109679 1992294400 134512640 135237372 4294956192 18446744073709551615 134588792 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=475368 CPUtime=397.17
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 58151 0 0 0 39671 46 0 0 25 0 3 0 96624944 486776832 109679 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 799.35
Current children cumulated vsize (KiB) 475368

[startup+462.301 s]
/proc/loadavg: 2.00 1.78 1.37 3/67 27013
/proc/meminfo: memFree=1240140/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=546512 CPUtime=919.09
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 127062 0 0 0 91793 116 0 0 25 0 3 0 96624592 559628288 126814 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 136628 126814 98 176 0 136450 0
[pid=27004/tid=27006] ppid=27002 vsize=546512 CPUtime=458.63
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 48735 0 0 0 45807 56 0 0 25 0 3 0 96624944 559628288 126814 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=546512 CPUtime=456.94
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 64815 0 0 0 45641 53 0 0 25 0 3 0 96624944 559628288 126814 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 919.09
Current children cumulated vsize (KiB) 546512

[startup+522.302 s]
/proc/loadavg: 2.00 1.82 1.41 3/67 27013
/proc/meminfo: memFree=1184588/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=604596 CPUtime=1038.83
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 141076 0 0 0 103754 129 0 0 25 0 3 0 96624592 619106304 140828 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 151149 140828 98 176 0 150971 0
[pid=27004/tid=27006] ppid=27002 vsize=604596 CPUtime=518.61
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 57355 0 0 0 51798 63 0 0 25 0 3 0 96624944 619106304 140828 1992294400 134512640 135237372 4294956192 18446744073709551615 134587914 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=604596 CPUtime=516.69
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 70209 0 0 0 51611 58 0 0 25 0 3 0 96624944 619106304 140828 1992294400 134512640 135237372 4294956192 18446744073709551615 134587943 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1038.83
Current children cumulated vsize (KiB) 604596

[startup+582.302 s]
/proc/loadavg: 2.00 1.85 1.44 3/67 27013
/proc/meminfo: memFree=1128460/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=661116 CPUtime=1158.57
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 154894 0 0 0 115716 141 0 0 25 0 3 0 96624592 676982784 154646 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 165279 154646 98 176 0 165101 0
[pid=27004/tid=27006] ppid=27002 vsize=661116 CPUtime=578.6
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 65582 0 0 0 57789 71 0 0 25 0 3 0 96624944 676982784 154646 1992294400 134512640 135237372 4294956192 18446744073709551615 134590295 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=661116 CPUtime=576.46
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 75800 0 0 0 57583 63 0 0 25 0 3 0 96624944 676982784 154646 1992294400 134512640 135237372 4294956192 18446744073709551615 134593525 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1158.57
Current children cumulated vsize (KiB) 661116

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

[startup+588.701 s]
/proc/loadavg: 2.00 1.85 1.45 3/67 27013
/proc/meminfo: memFree=1122700/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=666916 CPUtime=1171.34
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 156299 0 0 0 116992 142 0 0 25 0 3 0 96624592 682921984 156051 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 166729 156051 98 176 0 166551 0
[pid=27004/tid=27006] ppid=27002 vsize=666916 CPUtime=585
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 66516 0 0 0 58428 72 0 0 25 0 3 0 96624944 682921984 156051 1992294400 134512640 135237372 4294956192 18446744073709551615 134592308 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=666916 CPUtime=582.82
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 76271 0 0 0 58219 63 0 0 25 0 3 0 96624944 682921984 156051 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1171.34
Current children cumulated vsize (KiB) 666916

[startup+595.107 s]
/proc/loadavg: 2.00 1.85 1.45 3/67 27013
/proc/meminfo: memFree=1116172/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=673424 CPUtime=1184.12
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 157868 0 0 0 118269 143 0 0 25 0 3 0 96624592 689586176 157620 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 168356 157620 98 176 0 168178 0
[pid=27004/tid=27006] ppid=27002 vsize=673424 CPUtime=591.39
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 67380 0 0 0 59067 72 0 0 25 0 3 0 96624944 689586176 157620 1992294400 134512640 135237372 4294956192 18446744073709551615 134588004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=673424 CPUtime=589.21
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 76976 0 0 0 58857 64 0 0 25 0 3 0 96624944 689586176 157620 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1184.12
Current children cumulated vsize (KiB) 673424

[startup+598.301 s]
/proc/loadavg: 2.00 1.86 1.46 3/67 27013
/proc/meminfo: memFree=1112780/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=677348 CPUtime=1190.5
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 158702 0 0 0 118906 144 0 0 25 0 3 0 96624592 693604352 158454 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 169337 158454 98 176 0 169159 0
[pid=27004/tid=27006] ppid=27002 vsize=677348 CPUtime=594.6
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 67843 0 0 0 59387 73 0 0 25 0 3 0 96624944 693604352 158454 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=677348 CPUtime=592.39
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 77347 0 0 0 59175 64 0 0 25 0 3 0 96624944 693604352 158454 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1190.5
Current children cumulated vsize (KiB) 677348

[startup+601.502 s]
/proc/loadavg: 2.00 1.86 1.46 3/67 27013
/proc/meminfo: memFree=1110668/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=680092 CPUtime=1196.89
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 159458 0 0 0 119544 145 0 0 25 0 3 0 96624592 696414208 159210 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 170023 159210 98 176 0 169845 0
[pid=27004/tid=27006] ppid=27002 vsize=680092 CPUtime=597.79
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 68282 0 0 0 59706 73 0 0 25 0 3 0 96624944 696414208 159210 1992294400 134512640 135237372 4294956192 18446744073709551615 134588152 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=680092 CPUtime=595.58
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 77664 0 0 0 59493 65 0 0 25 0 3 0 96624944 696414208 159210 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1196.89
Current children cumulated vsize (KiB) 680092

[startup+602.302 s]
/proc/loadavg: 2.00 1.86 1.46 3/67 27013
/proc/meminfo: memFree=1109708/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=681584 CPUtime=1198.49
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 159652 0 0 0 119703 146 0 0 25 0 3 0 96624592 697942016 159404 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 170396 159404 98 176 0 170218 0
[pid=27004/tid=27006] ppid=27002 vsize=681584 CPUtime=598.59
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 68393 0 0 0 59786 73 0 0 25 0 3 0 96624944 697942016 159404 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=681584 CPUtime=596.37
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 77747 0 0 0 59572 65 0 0 25 0 3 0 96624944 697942016 159404 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.49
Current children cumulated vsize (KiB) 681584

[startup+602.702 s]
/proc/loadavg: 2.00 1.86 1.46 3/67 27013
/proc/meminfo: memFree=1108556/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=681740 CPUtime=1199.29
/proc/27004/stat : 27004 (ttsth-5-0) S 27002 27004 26692 0 -1 4194304 159759 0 0 0 119783 146 0 0 25 0 3 0 96624592 698101760 159511 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27004/statm: 170435 159511 98 176 0 170257 0
[pid=27004/tid=27006] ppid=27002 vsize=681740 CPUtime=598.99
/proc/27004/task/27006/stat : 27006 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 68457 0 0 0 59826 73 0 0 25 0 3 0 96624944 698101760 159511 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27004/tid=27007] ppid=27002 vsize=681740 CPUtime=596.77
/proc/27004/task/27007/stat : 27007 (ttsth-5-0) R 27002 27004 26692 0 -1 4194368 77790 0 0 0 59612 65 0 0 25 0 3 0 96624944 698101760 159511 1992294400 134512640 135237372 4294956192 18446744073709551615 134551810 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.29
Current children cumulated vsize (KiB) 681740

[startup+603.103 s]
/proc/loadavg: 2.00 1.86 1.46 3/67 27013
/proc/meminfo: memFree=1108556/2055920 swapFree=4181268/4192956
[pid=27004] ppid=27002 vsize=0 CPUtime=1199.99
/proc/27004/stat : 27004 (ttsth-5-0) R 27002 27004 26692 0 -1 4195332 159823 0 0 0 119843 156 0 0 17 0 1 0 96624592 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/27004/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 603.105
CPU time (s): 1200
CPU user time (s): 1198.43
CPU system time (s): 1.56376
CPU usage (%): 198.97
Max. virtual memory (cumulated for all children) (KiB): 681896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.43
system time used= 1.56376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159823
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= 71
involuntary context switches= 9185

runsolver used 0.567913 second user time and 1.64075 second system time

The end

Launcher Data 

Begin job on node35 at 2009-04-25 20:58:40
IDJOB=1723446
IDBENCH=71699
IDSOLVER=549
FILE ID=node35/1723446-1240685920
PBS_JOBID= 9186668
Free space on /tmp= 66396 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1723446-1240685920/watcher-1723446-1240685920 -o /tmp/evaluation-result-1723446-1240685920/solver-1723446-1240685920 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1723446-1240685920.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2

MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED=2105317668

node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1748740 kB
Buffers:         32124 kB
Cached:         226208 kB
SwapCached:       5984 kB
Active:         114164 kB
Inactive:       152556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748740 kB
SwapTotal:     4192956 kB
SwapFree:      4181268 kB
Dirty:            2476 kB
Writeback:           0 kB
Mapped:          13492 kB
Slab:            26484 kB
Committed_AS:   400348 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66396 MiB
End job on node35 at 2009-04-25 21:08:44