Trace number 1723758

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? 1199.94 604.174

General information on the benchmark

Namemanol-pipe-g6bi.cnf
MD5SUM276c05fafaa0b870834db9baaef6afca
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.883865
Satisfiable
(Un)Satisfiability was proved
Number of variables23891
Number of clauses69895
Sum of the clauses size163087
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 246596
Number of clauses of size 323298
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.14	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1723758-1240688466.cnf 
0.09/0.14	c Using SATTIMEOUT of 1200
0.09/0.14	c Using SATRAM of 1800
0.09/0.14	c Size of subset node = 16
0.09/0.14	c Variables = 23891
0.09/0.14	c Clauses = 69895
0.09/0.14	c Literals = 163087
0.09/0.14	c Reduced size:
0.09/0.14	c Variables = 23891
0.09/0.14	c Clauses = 69892
0.09/0.14	c Literals = 163081
0.09/0.14	c a2
0.19/0.27	c a1
4.98/5.06	c Independent sub-problems = 1
4.98/5.06	c Sub-problem with 23890 variables and 69892 clauses
4.98/5.06	c using permutation method 4
4.98/5.06	c count = 1
4.98/5.06	c Ordering finished 5.020 seconds
4.98/5.06	c mapped 5.050 seconds
4.98/5.06	c permuted 5.050 seconds
4.98/5.06	c about to sort
4.98/5.08	c sorted
5.58/5.61	c clauses now 69892
5.58/5.61	c init finished 5.180 seconds
5.58/5.61	c tree built 5.600 seconds
5.58/5.61	c 
5.58/5.61	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
5.58/5.61	c ---------------------------------|----------------------------------|------------------------------------------------------
5.58/5.61	c ................................ | ..........                       |                        5.6           0.0             
5.58/5.61	c ................................ | ..........                     1 |                        5.6           0.2             
5.58/5.61	c ................................ | ..........                     2 |                        5.6           0.4             
5.58/5.61	c ................................ | ..........                     3 |                        5.6           0.5             
5.58/5.61	c ................................ | ..........                     4 |                        5.6           0.7             
5.58/5.61	c ................................ | ..........                     5 |                        5.6           0.9             
5.58/5.61	c ................................ | ..........                  1000 | 1                      5.6         178.6          111
23.93/14.84	c ................................ | ..........                787000 | 19508                 24.0       32764.4      1416474
47.88/26.87	c ................................ | ..........               1853000 | 49130                 48.0       38564.0      2852836
72.03/38.92	c ................................ | ..........               2421000 | 64225                 72.1       33583.0      4661995
95.97/50.92	c ................................ | ..........               2845000 | 76012                 96.0       29626.2      6484907
119.92/62.95	c ................................ | *.........               4014000 | 121958               120.0       33438.9      7651424
143.87/74.97	c ................................ | *.........               5000000 | 164431               144.0       34715.0      8879977
167.82/86.98	c ................................ | *.........               5974000 | 212471               168.0       35559.5      9895349
191.97/99.00	c ................................ | *.........               6539000 | 241563               192.0       34057.3     10566385
215.90/111.06	c ................................ | *.........               6989000 | 263558               216.1       32346.0     11916718
239.85/123.05	c ................................ | **........               7909000 | 308694               240.0       32954.2     13112677
263.79/135.07	c ................................ | **........               8760000 | 355378               264.0       33181.8     14964763
287.94/147.13	c ................................ | **........               9343000 | 383642               288.0       32436.5     16230622
311.89/159.13	c ................................ | **........              10179000 | 429415               312.0       32624.0     18117939
335.83/171.19	c ................................ | **........              10856000 | 462896               336.1       32302.8     19546735
359.98/183.25	c ................................ | ***.......              11422000 | 488926               360.1       31715.4     20552031
383.92/195.25	c ................................ | ***.......              12052000 | 518584               384.1       31378.1     21284579
407.88/207.23	c ................................ | ***.......              12552000 | 540785               408.0       30764.7     22172813
432.02/219.30	c ................................ | ***.......              13028000 | 561661               432.1       30151.1     23115672
455.76/231.28	c ................................ | ***.......              13521000 | 583170               456.0       29651.3     23997136
479.91/243.32	c ................................ | ****......              14033000 | 606728               480.0       29233.6     24657446
503.86/255.35	c ................................ | ****......              14512000 | 628748               504.0       28791.9     26024099
527.81/267.38	c ................................ | ****......              14904000 | 645679               528.1       28224.1     26708621
551.96/279.42	c ................................ | ****......              15306000 | 663020               552.1       27724.7     27967095
575.90/291.41	c ................................ | ****......              15715000 | 681069               576.0       27282.5     28710051
599.85/303.44	c ................................ | *****.....              16110000 | 699431               600.0       26849.6     29158897
623.79/315.49	c ................................ | *****.....              16653000 | 729623               624.1       26684.5     30417878
647.93/327.51	c ................................ | *****.....              17228000 | 762027               648.0       26584.4     30797917
671.88/339.50	c ................................ | *****.....              17664000 | 782557               672.0       26285.7     31205603
695.83/351.58	c ................................ | *****.....              18156000 | 806614               696.1       26082.8     31733036
719.78/363.58	c ................................ | ******....              18671000 | 831072               720.1       25929.8     32282869
743.92/375.61	c ................................ | ******....              19127000 | 852670               744.1       25705.9     32920568
767.87/387.62	c ................................ | ******....              19551000 | 871611               768.0       25456.0     33479126
791.82/399.63	c ................................ | ******....              20029000 | 894941               792.0       25289.1     33946232
815.76/411.69	c ................................ | ******....              20575000 | 922736               816.1       25212.3     34351461
839.71/423.68	c ................................ | *******...              21015000 | 942153               840.0       25017.9     34969346
863.85/435.76	c ................................ | *******...              21479000 | 963778               864.1       24856.8     35562641
887.81/447.77	c ................................ | *******...              21964000 | 987493               888.1       24731.7     35873944
911.75/459.77	c ................................ | *******...              22260000 | 1000477              912.0       24407.1     36222001
935.69/471.79	c ................................ | *******...              22622000 | 1016808              936.0       24168.0     36671369
959.85/483.83	c ................................ | ********..              23064000 | 1036874              960.0       24023.7     37259414
983.79/495.84	c ................................ | ********..              23444000 | 1053897              984.0       23824.5     37773028
1007.74/507.85	c ................................ | ********..              23827000 | 1070907             1008.0       23637.9     38202203
1031.68/519.88	c ................................ | ********..              24306000 | 1092557             1032.0       23552.3     38625354
1055.82/531.96	c ................................ | ********..              24714000 | 1110839             1056.1       23400.7     39048202
1079.77/543.93	c ................................ | *********.              25061000 | 1125878             1080.0       23204.4     39565314
1103.72/555.98	c ................................ | *********.              25408000 | 1140740             1104.0       23013.7     40004074
1127.87/568.03	c ................................ | *********.              25738000 | 1154886             1128.1       22815.4     40414576
1152.02/580.10	c ................................ | *********.              26050000 | 1168366             1152.2       22608.9     40816978
1175.76/592.06	c ................................ | *********.              26473000 | 1186569             1176.0       22510.1     41192830
1199.70/604.05	c CPU limit (1200) reached
1199.70/604.05	c Time = 1200.00 seconds
1199.70/604.05	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-1723758-1240688466/watcher-1723758-1240688466 -o /tmp/evaluation-result-1723758-1240688466/solver-1723758-1240688466 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1723758-1240688466.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: 0.92 0.98 1.09 3/64 23127
/proc/meminfo: memFree=1797184/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=1064 CPUtime=0
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 96873010 1089536 128 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 266 128 77 176 0 88 0

[startup+0.0146739 s]
/proc/loadavg: 0.92 0.98 1.09 3/64 23127
/proc/meminfo: memFree=1797184/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=1460 CPUtime=0.01
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 96873010 1495040 224 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 365 224 77 176 0 187 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1460

[startup+0.101691 s]
/proc/loadavg: 0.92 0.98 1.09 3/64 23127
/proc/meminfo: memFree=1797184/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=4860 CPUtime=0.09
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4194304 1065 0 0 0 9 0 0 0 18 0 1 0 96873010 4976640 1049 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 1215 1049 78 176 0 1037 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4860

[startup+0.30173 s]
/proc/loadavg: 0.92 0.98 1.09 3/64 23127
/proc/meminfo: memFree=1797184/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=11580 CPUtime=0.29
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4194304 2711 0 0 0 28 1 0 0 20 0 1 0 96873010 11857920 2694 1992294400 134512640 135237372 4294956192 18446744073709551615 134540092 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 2895 2694 79 176 0 2717 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11580

[startup+0.701808 s]
/proc/loadavg: 0.92 0.98 1.09 3/64 23127
/proc/meminfo: memFree=1797184/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=13912 CPUtime=0.69
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4194304 3469 0 0 0 68 1 0 0 22 0 1 0 96873010 14245888 3314 1992294400 134512640 135237372 4294956192 18446744073709551615 134555287 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 3478 3314 80 176 0 3300 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13912

[startup+1.50197 s]
/proc/loadavg: 0.92 0.98 1.09 2/65 23128
/proc/meminfo: memFree=1784120/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=14240 CPUtime=1.49
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4194304 3521 0 0 0 148 1 0 0 25 0 1 0 96873010 14581760 3366 1992294400 134512640 135237372 4294956192 18446744073709551615 134600542 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 3560 3366 80 176 0 3382 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14240

[startup+3.10128 s]
/proc/loadavg: 0.92 0.98 1.09 2/65 23128
/proc/meminfo: memFree=1783736/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=14532 CPUtime=3.08
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4194304 3609 0 0 0 307 1 0 0 25 0 1 0 96873010 14880768 3454 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 3633 3454 80 176 0 3455 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14532

[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 1.09 2/65 23128
/proc/meminfo: memFree=1739704/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=92128 CPUtime=6.97
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 18202 0 0 0 688 9 0 0 25 0 3 0 96873010 94339072 17978 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 23032 17978 98 176 0 22854 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 92128

[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 1.10 3/67 23130
/proc/meminfo: memFree=1707944/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=109908 CPUtime=19.74
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 22852 0 0 0 1963 11 0 0 25 0 3 0 96873010 112545792 22628 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 27477 22629 98 176 0 27299 0
[pid=23127/tid=23129] ppid=23125 vsize=109908 CPUtime=7.07
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 1881 0 0 0 707 0 0 0 25 0 3 0 96873571 112545792 22629 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=109908 CPUtime=7.04
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 3746 0 0 0 703 1 0 0 25 0 3 0 96873571 112545792 22629 1992294400 134512640 135237372 4294956192 18446744073709551615 134590133 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (KiB) 109908

[startup+25.5017 s]
/proc/loadavg: 1.23 1.05 1.11 3/67 23130
/proc/meminfo: memFree=1676200/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=141220 CPUtime=45.28
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 30523 0 0 0 4512 16 0 0 25 0 3 0 96873010 144609280 30299 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 35305 30299 98 176 0 35127 0
[pid=23127/tid=23129] ppid=23125 vsize=141220 CPUtime=19.87
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 3251 0 0 0 1985 2 0 0 25 0 3 0 96873571 144609280 30299 1992294400 134512640 135237372 4294956192 18446744073709551615 134680506 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=141220 CPUtime=19.8
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 10046 0 0 0 1975 5 0 0 25 0 3 0 96873571 144609280 30299 1992294400 134512640 135237372 4294956192 18446744073709551615 134590129 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 45.28
Current children cumulated vsize (KiB) 141220

[startup+51.1017 s]
/proc/loadavg: 1.49 1.12 1.13 3/67 23130
/proc/meminfo: memFree=1616488/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=203388 CPUtime=96.37
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 45622 0 0 0 9611 26 0 0 25 0 3 0 96873010 208269312 45398 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 50847 45398 98 176 0 50669 0
[pid=23127/tid=23129] ppid=23125 vsize=203388 CPUtime=45.46
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 7656 0 0 0 4540 6 0 0 25 0 3 0 96873571 208269312 45398 1992294400 134512640 135237372 4294956192 18446744073709551615 134549924 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=203388 CPUtime=45.29
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 20740 0 0 0 4518 11 0 0 25 0 3 0 96873571 208269312 45398 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.37
Current children cumulated vsize (KiB) 203388

[startup+102.306 s]
/proc/loadavg: 1.78 1.26 1.17 3/67 23130
/proc/meminfo: memFree=1540584/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=280668 CPUtime=198.55
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 64291 0 0 0 19814 41 0 0 25 0 3 0 96873010 287404032 64067 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 70167 64067 98 176 0 69989 0
[pid=23127/tid=23129] ppid=23125 vsize=280668 CPUtime=96.65
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 13479 0 0 0 9652 13 0 0 25 0 3 0 96873571 287404032 64067 1992294400 134512640 135237372 4294956192 18446744073709551615 134519937 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=280668 CPUtime=96.29
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 33586 0 0 0 9610 19 0 0 25 0 3 0 96873571 287404032 64067 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 198.55
Current children cumulated vsize (KiB) 280668

[startup+162.302 s]
/proc/loadavg: 1.92 1.39 1.22 3/67 23130
/proc/meminfo: memFree=1420520/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=405444 CPUtime=318.27
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 94548 0 0 0 31769 58 0 0 25 0 3 0 96873010 415174656 94324 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 101361 94324 98 176 0 101183 0
[pid=23127/tid=23129] ppid=23125 vsize=405444 CPUtime=156.62
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 18735 0 0 0 15643 19 0 0 25 0 3 0 96873571 415174656 94324 1992294400 134512640 135237372 4294956192 18446744073709551615 134546026 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=405444 CPUtime=156.04
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 58587 0 0 0 15574 30 0 0 25 0 3 0 96873571 415174656 94324 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 318.27
Current children cumulated vsize (KiB) 405444

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.27 3/67 23130
/proc/meminfo: memFree=1345960/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=481184 CPUtime=438
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 112778 0 0 0 43729 71 0 0 25 0 3 0 96873010 492732416 112554 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 120296 112554 98 176 0 120118 0
[pid=23127/tid=23129] ppid=23125 vsize=481184 CPUtime=216.6
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 23769 0 0 0 21636 24 0 0 25 0 3 0 96873571 492732416 112554 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=481184 CPUtime=215.79
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 71783 0 0 0 21541 38 0 0 25 0 3 0 96873571 492732416 112554 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 438
Current children cumulated vsize (KiB) 481184

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.31 3/67 23130
/proc/meminfo: memFree=1266728/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=562220 CPUtime=557.73
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 132834 0 0 0 55687 86 0 0 25 0 3 0 96873010 575713280 132610 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 140555 132610 98 176 0 140377 0
[pid=23127/tid=23129] ppid=23125 vsize=562220 CPUtime=276.57
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 28537 0 0 0 27628 29 0 0 25 0 3 0 96873571 575713280 132610 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=562220 CPUtime=275.55
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 87071 0 0 0 27507 48 0 0 25 0 3 0 96873571 575713280 132610 1992294400 134512640 135237372 4294956192 18446744073709551615 134591264 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 557.73
Current children cumulated vsize (KiB) 562220

[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.35 3/67 23130
/proc/meminfo: memFree=1217128/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=612424 CPUtime=677.47
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 144906 0 0 0 67649 98 0 0 25 0 3 0 96873010 627122176 144682 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 153106 144682 98 176 0 152928 0
[pid=23127/tid=23129] ppid=23125 vsize=612424 CPUtime=336.54
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 32825 0 0 0 33620 34 0 0 25 0 3 0 96873571 627122176 144682 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=612424 CPUtime=335.3
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 94855 0 0 0 33476 54 0 0 25 0 3 0 96873571 627122176 144682 1992294400 134512640 135237372 4294956192 18446744073709551615 134561510 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 677.47
Current children cumulated vsize (KiB) 612424

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.39 3/67 23130
/proc/meminfo: memFree=1173992/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=657752 CPUtime=797.21
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 155814 0 0 0 79613 108 0 0 25 0 3 0 96873010 673538048 155590 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 164438 155590 98 176 0 164260 0
[pid=23127/tid=23129] ppid=23125 vsize=657752 CPUtime=396.52
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 38262 0 0 0 39613 39 0 0 25 0 3 0 96873571 673538048 155590 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=657752 CPUtime=395.06
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 100326 0 0 0 39447 59 0 0 25 0 3 0 96873571 673538048 155590 1992294400 134512640 135237372 4294956192 18446744073709551615 134519949 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 797.21
Current children cumulated vsize (KiB) 657752

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.42 3/67 23130
/proc/meminfo: memFree=1138472/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=693824 CPUtime=916.93
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 164502 0 0 0 91576 117 0 0 25 0 3 0 96873010 710475776 164278 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 173456 164278 98 176 0 173278 0
[pid=23127/tid=23129] ppid=23125 vsize=693824 CPUtime=456.5
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 41851 0 0 0 45607 43 0 0 25 0 3 0 96873571 710475776 164278 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=693824 CPUtime=454.82
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 105425 0 0 0 45417 65 0 0 25 0 3 0 96873571 710475776 164278 1992294400 134512640 135237372 4294956192 18446744073709551615 134591102 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 916.93
Current children cumulated vsize (KiB) 693824

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.46 3/67 23130
/proc/meminfo: memFree=1100520/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=734112 CPUtime=1036.68
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 174031 0 0 0 103541 127 0 0 25 0 3 0 96873010 751730688 173807 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 183528 173807 98 176 0 183350 0
[pid=23127/tid=23129] ppid=23125 vsize=734112 CPUtime=516.48
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 45056 0 0 0 51601 47 0 0 25 0 3 0 96873571 751730688 173807 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=734112 CPUtime=514.57
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 111749 0 0 0 51387 70 0 0 25 0 3 0 96873571 751730688 173807 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1036.68
Current children cumulated vsize (KiB) 734112

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.49 3/67 23130
/proc/meminfo: memFree=1065832/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=769808 CPUtime=1156.41
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 182595 0 0 0 115505 136 0 0 25 0 3 0 96873010 788283392 182371 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 192452 182371 98 176 0 192274 0
[pid=23127/tid=23129] ppid=23125 vsize=769808 CPUtime=576.45
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 49070 0 0 0 57594 51 0 0 25 0 3 0 96873571 788283392 182371 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=769808 CPUtime=574.33
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 116299 0 0 0 57358 75 0 0 25 0 3 0 96873571 788283392 182371 1992294400 134512640 135237372 4294956192 18446744073709551615 134562309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1156.41
Current children cumulated vsize (KiB) 769808

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

[startup+588.701 s]
/proc/loadavg: 1.99 1.84 1.49 3/67 23130
/proc/meminfo: memFree=1062312/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=773728 CPUtime=1169.17
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 183457 0 0 0 116781 136 0 0 25 0 3 0 96873010 792297472 183233 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 193432 183233 98 176 0 193254 0
[pid=23127/tid=23129] ppid=23125 vsize=773728 CPUtime=582.85
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 49462 0 0 0 58234 51 0 0 25 0 3 0 96873571 792297472 183233 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=773728 CPUtime=580.7
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 116769 0 0 0 57994 76 0 0 25 0 3 0 96873571 792297472 183233 1992294400 134512640 135237372 4294956192 18446744073709551615 134562407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1169.17
Current children cumulated vsize (KiB) 773728

[startup+595.106 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 23130
/proc/meminfo: memFree=1059048/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=776748 CPUtime=1181.95
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 184270 0 0 0 118058 137 0 0 25 0 3 0 96873010 795389952 184046 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 194187 184046 98 176 0 194009 0
[pid=23127/tid=23129] ppid=23125 vsize=776748 CPUtime=589.25
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 49771 0 0 0 58873 52 0 0 25 0 3 0 96873571 795389952 184046 1992294400 134512640 135237372 4294956192 18446744073709551615 134680308 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=776748 CPUtime=587.08
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 117273 0 0 0 58632 76 0 0 25 0 3 0 96873571 795389952 184046 1992294400 134512640 135237372 4294956192 18446744073709551615 134749345 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 776748

[startup+598.302 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 23130
/proc/meminfo: memFree=1057128/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=778708 CPUtime=1188.33
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 184714 0 0 0 118696 137 0 0 25 0 3 0 96873010 797396992 184490 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 194677 184490 98 176 0 194499 0
[pid=23127/tid=23129] ppid=23125 vsize=778708 CPUtime=592.45
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 49933 0 0 0 59193 52 0 0 25 0 3 0 96873571 797396992 184490 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=778708 CPUtime=590.27
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 117555 0 0 0 58951 76 0 0 25 0 3 0 96873571 797396992 184490 1992294400 134512640 135237372 4294956192 18446744073709551615 134519937 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1188.33
Current children cumulated vsize (KiB) 778708

[startup+601.502 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 23130
/proc/meminfo: memFree=1055848/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=779652 CPUtime=1194.72
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 185164 0 0 0 119334 138 0 0 25 0 3 0 96873010 798363648 184940 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 194913 184940 98 176 0 194735 0
[pid=23127/tid=23129] ppid=23125 vsize=779652 CPUtime=595.64
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 50151 0 0 0 59512 52 0 0 25 0 3 0 96873571 798363648 184940 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=779652 CPUtime=593.45
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 117787 0 0 0 59269 76 0 0 25 0 3 0 96873571 798363648 184940 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.72
Current children cumulated vsize (KiB) 779652

[startup+603.102 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 23130
/proc/meminfo: memFree=1054824/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=780832 CPUtime=1197.91
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 185333 0 0 0 119653 138 0 0 25 0 3 0 96873010 799571968 185109 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 195208 185109 98 176 0 195030 0
[pid=23127/tid=23129] ppid=23125 vsize=780832 CPUtime=597.24
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 50248 0 0 0 59672 52 0 0 25 0 3 0 96873571 799571968 185109 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=780832 CPUtime=595.05
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 117859 0 0 0 59428 77 0 0 25 0 3 0 96873571 799571968 185109 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.91
Current children cumulated vsize (KiB) 780832

[startup+603.905 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 23130
/proc/meminfo: memFree=1054376/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=781148 CPUtime=1199.51
/proc/23127/stat : 23127 (ttsth-5-0) S 23125 23127 22751 0 -1 4194304 185402 0 0 0 119813 138 0 0 25 0 3 0 96873010 799895552 185178 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23127/statm: 195287 185178 98 176 0 195109 0
[pid=23127/tid=23129] ppid=23125 vsize=781148 CPUtime=598.04
/proc/23127/task/23129/stat : 23129 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 50301 0 0 0 59752 52 0 0 25 0 3 0 96873571 799895552 185178 1992294400 134512640 135237372 4294956192 18446744073709551615 134749337 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23127/tid=23130] ppid=23125 vsize=781148 CPUtime=595.85
/proc/23127/task/23130/stat : 23130 (ttsth-5-0) R 23125 23127 22751 0 -1 4194368 117875 0 0 0 59508 77 0 0 25 0 3 0 96873571 799895552 185178 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.51
Current children cumulated vsize (KiB) 781148

[startup+604.102 s]
/proc/loadavg: 1.99 1.85 1.50 3/67 23130
/proc/meminfo: memFree=1054376/2055920 swapFree=4181844/4192956
[pid=23127] ppid=23125 vsize=0 CPUtime=1199.86
/proc/23127/stat : 23127 (ttsth-5-0) R 23125 23127 22751 0 -1 4195332 185423 0 0 0 119843 143 0 0 17 0 1 0 96873010 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23127/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.86
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 604.174
CPU time (s): 1199.94
CPU user time (s): 1198.44
CPU system time (s): 1.50277
CPU usage (%): 198.609
Max. virtual memory (cumulated for all children) (KiB): 781148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.44
system time used= 1.50277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185423
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= 89
involuntary context switches= 9164

runsolver used 0.554915 second user time and 1.65275 second system time

The end

Launcher Data 

Begin job on node66 at 2009-04-25 21:41:06
IDJOB=1723758
IDBENCH=71734
IDSOLVER=549
FILE ID=node66/1723758-1240688466
PBS_JOBID= 9186686
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= 276c05fafaa0b870834db9baaef6afca
RANDOM SEED=10878095

node66.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.263
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	: 5931.00
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.263
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:       1797600 kB
Buffers:         29176 kB
Cached:         168476 kB
SwapCached:       5396 kB
Active:          66264 kB
Inactive:       139712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797600 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:            1928 kB
Writeback:           0 kB
Mapped:          13904 kB
Slab:            38292 kB
Committed_AS:   462916 kB
PageTables:       1360 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= 66252 MiB
End job on node66 at 2009-04-25 21:51:11