Trace number 1531244

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.99 606.528

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
MD5SUM738d561654cbc7d1587a637b71302edd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark96.7403
Satisfiable
(Un)Satisfiability was proved
Number of variables16000
Number of clauses67200
Sum of the clauses size201600
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 367200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.16	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531244-1238404232.cnf 
0.09/0.16	c Using SATTIMEOUT of 1200
0.09/0.16	c Using SATRAM of 1800
0.09/0.16	c Size of subset node = 16
0.09/0.16	c Variables = 16000
0.09/0.16	c Clauses = 67200
0.09/0.16	c Literals = 201600
0.09/0.16	c Reduced size:
0.09/0.16	c Variables = 16000
0.09/0.16	c Clauses = 66774
0.09/0.16	c Literals = 200322
0.09/0.16	c a2
0.39/0.44	c a1
9.69/9.72	c Independent sub-problems = 1
9.69/9.72	c Sub-problem with 15933 variables and 66774 clauses
9.69/9.72	c using permutation method 4
9.69/9.72	c count = 1
9.69/9.72	c Ordering finished 9.680 seconds
9.69/9.72	c mapped 9.720 seconds
9.69/9.72	c permuted 9.720 seconds
9.69/9.72	c about to sort
9.69/9.75	c sorted
10.29/10.37	c clauses now 66774
10.29/10.37	c init finished 9.850 seconds
10.29/10.37	c tree built 10.360 seconds
10.29/10.37	c 
10.29/10.37	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
10.29/10.37	c ---------------------------------|----------------------------------|------------------------------------------------------
10.29/10.37	c ................................ | ..........                       |                       10.4           0.0             
10.29/10.37	c ................................ | ..........                     1 |                       10.4           0.1             
10.29/10.37	c ................................ | ..........                     2 |                       10.4           0.2             
10.29/10.37	c ................................ | ..........                     3 |                       10.4           0.3             
10.29/10.37	c ................................ | ..........                     4 |                       10.4           0.4             
10.29/10.37	c ................................ | ..........                     5 |                       10.4           0.5             
10.29/10.38	c ................................ | ..........                  1000 |                       10.4          96.4             
23.99/17.21	c ................................ | ..........                524000 | 28306                 24.0       21806.1        43817
47.93/29.23	c ................................ | ..........               1291000 | 91501                 48.0       26895.8       198241
71.87/41.27	c ................................ | ..........               1819000 | 141990                72.0       25253.4       548914
96.03/53.31	c ................................ | ..........               2129000 | 177091                96.1       22160.9      1188668
119.97/65.31	c ................................ | *.........               2379000 | 205022               120.0       19823.3      1899446
143.92/77.37	c ................................ | *.........               2790000 | 246252               144.1       19361.6      2462994
167.87/89.35	c ................................ | *.........               3130000 | 283012               168.0       18631.0      3171259
192.02/101.45	c ................................ | *.........               3504000 | 320038               192.2       18235.8      3751393
216.17/113.57	c ................................ | *.........               3619000 | 335248               216.3       16728.3      5054878
240.11/125.54	c ................................ | **........               3717000 | 348151               240.2       15471.4      6178102
263.87/137.45	c ................................ | **........               3937000 | 373408               264.0       14912.3      6817787
288.02/149.54	c ................................ | **........               4220000 | 401481               288.1       14646.2      7390169
311.96/161.55	c ................................ | **........               4411000 | 423180               312.1       14132.4      8062821
335.90/173.55	c ................................ | **........               4646000 | 447986               336.1       13824.5      8593181
360.06/185.64	c ................................ | ***.......               4776000 | 464094               360.2       13259.7      9279802
384.00/197.62	c ................................ | ***.......               4875000 | 476943               384.1       12691.7      9927273
407.95/209.64	c ................................ | ***.......               4971000 | 489367               408.1       12180.8     10630981
432.10/221.70	c ................................ | ***.......               5280000 | 518590               432.2       12217.4     11129207
455.84/233.65	c ................................ | ***.......               5581000 | 550140               456.0       12238.8     11445865
479.79/245.69	c ................................ | ****......               5811000 | 573947               480.1       12104.5     12168448
503.74/257.69	c ................................ | ****......               6096000 | 603683               504.0       12095.0     12764326
527.89/269.74	c ................................ | ****......               6268000 | 623064               528.1       11869.6     13505485
552.23/281.91	c ................................ | ****......               6508000 | 651744               552.3       11782.6     14235114
575.79/293.79	c ................................ | ****......               6672000 | 671385               576.1       11582.1     15456214
599.94/305.82	c ................................ | *****.....               6852000 | 693482               600.1       11418.7     16341709
623.88/317.85	c ................................ | *****.....               7100000 | 720389               624.1       11376.9     17115814
647.83/329.83	c ................................ | *****.....               7253000 | 738368               648.0       11192.9     17951463
671.77/341.89	c ................................ | *****.....               7397000 | 757604               672.1       11006.3     18725552
696.32/354.10	c ................................ | *****.....               7477000 | 768932               696.4       10736.0     19866112
719.87/365.91	c ................................ | ******....               7589000 | 783371               720.0       10540.1     20657232
744.02/378.01	c ................................ | ******....               7697000 | 796342               744.2       10343.2     21419501
767.96/390.03	c ................................ | ******....               7828000 | 811823               768.1       10190.9     21905988
791.72/401.99	c ................................ | ******....               7996000 | 830599               792.0       10095.7     22329702
815.86/414.09	c ................................ | ******....               8053000 | 838672               816.2        9866.9     23077291
839.80/426.08	c ................................ | *******...               8140000 | 850571               840.1        9689.3     23822111
863.76/438.09	c ................................ | *******...               8267000 | 867360               864.1        9567.5     24390137
888.11/450.20	c ................................ | *******...               8358000 | 880099               888.3        9409.4     25508093
912.05/462.27	c ................................ | *******...               8453000 | 892670               912.3        9265.3     26247128
936.00/474.29	c ................................ | *******...               8516000 | 902248               936.3        9095.2     27401504
960.15/486.35	c ................................ | ********..               8576000 | 911339               960.4        8929.5     28358857
984.30/498.46	c ................................ | ********..               8645000 | 921337               984.6        8780.4     29458536
1008.05/510.31	c ................................ | ********..               8724000 | 931678              1008.2        8653.0     30136466
1031.80/522.26	c ................................ | ********..               8849000 | 946449              1032.1        8573.9     30785293
1055.75/534.27	c ................................ | ********..               8904000 | 953779              1056.0        8431.5     31791714
1079.89/546.30	c ................................ | *********.               9076000 | 972739              1080.1        8403.2     32187886
1103.83/558.31	c ................................ | *********.               9256000 | 993794              1104.0        8383.8     32511401
1127.78/570.35	c ................................ | *********.               9423000 | 1012912             1128.1        8353.1     33077837
1151.93/582.44	c ................................ | *********.               9570000 | 1030735             1152.2        8305.8     33820778
1175.68/594.38	c ................................ | *********.               9674000 | 1043417             1176.0        8226.0     34978806
1199.83/606.42	c CPU limit (1200) reached
1199.83/606.42	c Time = 1200.05 seconds
1199.83/606.42	s UNKNOWN

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1531244-1238404232/watcher-1531244-1238404232 -o /tmp/evaluation-result-1531244-1238404232/solver-1531244-1238404232 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531244-1238404232.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.91 0.97 0.99 3/65 16346
/proc/meminfo: memFree=1276952/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=1064 CPUtime=0
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 324143952 1089536 121 1992294400 134512640 135237372 4294956192 18446744073709551615 134884085 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 266 121 77 176 0 88 0

[startup+0.0918339 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16346
/proc/meminfo: memFree=1276952/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=3816 CPUtime=0.08
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 822 0 0 0 8 0 0 0 18 0 1 0 324143952 3907584 806 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 954 807 78 176 0 776 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3816

[startup+0.101835 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16346
/proc/meminfo: memFree=1276952/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=4080 CPUtime=0.09
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 902 0 0 0 9 0 0 0 18 0 1 0 324143952 4177920 886 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 1020 886 78 176 0 842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4080

[startup+0.30186 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16346
/proc/meminfo: memFree=1276952/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=11008 CPUtime=0.29
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 2574 0 0 0 29 0 0 0 19 0 1 0 324143952 11272192 2558 1992294400 134512640 135237372 4294956192 18446744073709551615 134749305 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 2752 2558 79 176 0 2574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11008

[startup+0.701911 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16346
/proc/meminfo: memFree=1276952/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=14272 CPUtime=0.69
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 3561 0 0 0 68 1 0 0 23 0 1 0 324143952 14614528 3413 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 3568 3413 80 176 0 3390 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14272

[startup+1.50201 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 16347
/proc/meminfo: memFree=1263568/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=14272 CPUtime=1.49
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 3564 0 0 0 148 1 0 0 25 0 1 0 324143952 14614528 3416 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 3568 3416 80 176 0 3390 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14272

[startup+3.10121 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 16347
/proc/meminfo: memFree=1263440/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=14272 CPUtime=3.09
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 3572 0 0 0 308 1 0 0 25 0 1 0 324143952 14614528 3424 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 3568 3424 80 176 0 3390 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14272

[startup+6.30162 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 16347
/proc/meminfo: memFree=1263248/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=14420 CPUtime=6.29
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4194304 3591 0 0 0 628 1 0 0 25 0 1 0 324143952 14766080 3443 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 3605 3443 80 176 0 3427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14420

[startup+12.7024 s]
/proc/loadavg: 0.93 0.97 0.99 3/68 16349
/proc/meminfo: memFree=1217920/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=79864 CPUtime=15.01
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 15009 0 0 0 1496 5 0 0 25 0 3 0 324143952 81780736 14795 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 19966 14795 98 176 0 19788 0
[pid=16346/tid=16348] ppid=16344 vsize=79864 CPUtime=2.32
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 336 0 0 0 232 0 0 0 25 0 3 0 324144989 81780736 14795 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=79864 CPUtime=2.31
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 324 0 0 0 231 0 0 0 25 0 3 0 324144989 81780736 14795 1992294400 134512640 135237372 4294956192 18446744073709551615 134550986 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.01
Current children cumulated vsize (KiB) 79864

[startup+25.5011 s]
/proc/loadavg: 1.16 1.02 1.01 3/68 16349
/proc/meminfo: memFree=1213824/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=83088 CPUtime=40.54
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 16033 0 0 0 4049 5 0 0 25 0 3 0 324143952 85082112 15819 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 20772 15819 98 176 0 20594 0
[pid=16346/tid=16348] ppid=16344 vsize=83088 CPUtime=15.11
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 1002 0 0 0 1511 0 0 0 25 0 3 0 324144989 85082112 15819 1992294400 134512640 135237372 4294956192 18446744073709551615 134680322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=83088 CPUtime=15.05
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 682 0 0 0 1505 0 0 0 25 0 3 0 324144989 85082112 15819 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.54
Current children cumulated vsize (KiB) 83088

[startup+51.1013 s]
/proc/loadavg: 1.45 1.10 1.03 3/68 16349
/proc/meminfo: memFree=1196736/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=101704 CPUtime=91.63
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 20433 0 0 0 9153 10 0 0 25 0 3 0 324143952 104144896 20218 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 25426 20218 98 176 0 25248 0
[pid=16346/tid=16348] ppid=16344 vsize=101704 CPUtime=40.7
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 4360 0 0 0 4066 4 0 0 25 0 3 0 324144989 104144896 20218 1992294400 134512640 135237372 4294956192 18446744073709551615 134590281 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=101704 CPUtime=40.55
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 1724 0 0 0 4054 1 0 0 25 0 3 0 324144989 104144896 20218 1992294400 134512640 135237372 4294956192 18446744073709551615 134549950 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.63
Current children cumulated vsize (KiB) 101704

[startup+102.307 s]
/proc/loadavg: 1.76 1.23 1.08 3/68 16349
/proc/meminfo: memFree=1150720/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=148568 CPUtime=193.82
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 31793 0 0 0 19362 20 0 0 25 0 3 0 324143952 152133632 31578 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 37142 31578 98 176 0 36964 0
[pid=16346/tid=16348] ppid=16344 vsize=148568 CPUtime=91.89
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 13363 0 0 0 9179 10 0 0 25 0 3 0 324144989 152133632 31578 1992294400 134512640 135237372 4294956192 18446744073709551615 134519952 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=148568 CPUtime=91.55
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 4081 0 0 0 9150 5 0 0 25 0 3 0 324144989 152133632 31578 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 193.82
Current children cumulated vsize (KiB) 148568

[startup+162.301 s]
/proc/loadavg: 1.91 1.37 1.14 3/68 16349
/proc/meminfo: memFree=1083584/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=218928 CPUtime=313.56
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 48662 0 0 0 31322 34 0 0 25 0 3 0 324143952 224182272 48447 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 54732 48447 98 176 0 54554 0
[pid=16346/tid=16348] ppid=16344 vsize=218928 CPUtime=151.87
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 27978 0 0 0 15165 22 0 0 25 0 3 0 324144989 224182272 48447 1992294400 134512640 135237372 4294956192 18446744073709551615 134562311 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=218928 CPUtime=151.3
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 6335 0 0 0 15123 7 0 0 25 0 3 0 324144989 224182272 48447 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 313.56
Current children cumulated vsize (KiB) 218928

[startup+222.302 s]
/proc/loadavg: 1.96 1.48 1.19 3/68 16349
/proc/meminfo: memFree=1034432/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=270092 CPUtime=433.29
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 60765 0 0 0 43285 44 0 0 25 0 3 0 324143952 276574208 60550 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 67523 60550 98 176 0 67345 0
[pid=16346/tid=16348] ppid=16344 vsize=270092 CPUtime=211.85
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 36314 0 0 0 21157 28 0 0 25 0 3 0 324144989 276574208 60550 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=270092 CPUtime=211.06
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 10102 0 0 0 21095 11 0 0 25 0 3 0 324144989 276574208 60550 1992294400 134512640 135237372 4294956192 18446744073709551615 134562384 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 433.29
Current children cumulated vsize (KiB) 270092

[startup+282.302 s]
/proc/loadavg: 1.98 1.57 1.24 3/68 16349
/proc/meminfo: memFree=985728/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=321548 CPUtime=553.03
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 73104 0 0 0 55251 52 0 0 25 0 3 0 324143952 329265152 72889 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 80387 72889 98 176 0 80209 0
[pid=16346/tid=16348] ppid=16344 vsize=321548 CPUtime=271.83
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 45037 0 0 0 27150 33 0 0 25 0 3 0 324144989 329265152 72889 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=321548 CPUtime=270.82
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 13718 0 0 0 27068 14 0 0 25 0 3 0 324144989 329265152 72889 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 553.03
Current children cumulated vsize (KiB) 321548

[startup+342.301 s]
/proc/loadavg: 1.99 1.65 1.28 3/68 16349
/proc/meminfo: memFree=912448/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=397308 CPUtime=672.77
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 91334 0 0 0 67211 66 0 0 25 0 3 0 324143952 406843392 91119 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 99327 91119 98 176 0 99149 0
[pid=16346/tid=16348] ppid=16344 vsize=397308 CPUtime=331.81
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 57643 0 0 0 33139 42 0 0 25 0 3 0 324144989 406843392 91119 1992294400 134512640 135237372 4294956192 18446744073709551615 134738902 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=397308 CPUtime=330.58
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 19342 0 0 0 33039 19 0 0 25 0 3 0 324144989 406843392 91119 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 672.77
Current children cumulated vsize (KiB) 397308

[startup+402.302 s]
/proc/loadavg: 1.99 1.71 1.32 3/68 16349
/proc/meminfo: memFree=855296/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=455260 CPUtime=792.51
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 105508 0 0 0 79175 76 0 0 25 0 3 0 324143952 466186240 105293 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 113815 105293 98 176 0 113637 0
[pid=16346/tid=16348] ppid=16344 vsize=455260 CPUtime=391.79
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 68541 0 0 0 39131 48 0 0 25 0 3 0 324144989 466186240 105293 1992294400 134512640 135237372 4294956192 18446744073709551615 134562377 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=455260 CPUtime=390.33
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 22618 0 0 0 39011 22 0 0 25 0 3 0 324144989 466186240 105293 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 792.51
Current children cumulated vsize (KiB) 455260

[startup+462.301 s]
/proc/loadavg: 1.99 1.76 1.36 3/68 16349
/proc/meminfo: memFree=793984/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=519140 CPUtime=912.25
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 120889 0 0 0 91139 86 0 0 25 0 3 0 324143952 531599360 120674 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 129785 120674 98 176 0 129607 0
[pid=16346/tid=16348] ppid=16344 vsize=519140 CPUtime=451.77
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 79677 0 0 0 45122 55 0 0 25 0 3 0 324144989 531599360 120674 1992294400 134512640 135237372 4294956192 18446744073709551615 134549899 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=519140 CPUtime=450.1
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 26863 0 0 0 44984 26 0 0 25 0 3 0 324144989 531599360 120674 1992294400 134512640 135237372 4294956192 18446744073709551615 134680288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 912.25
Current children cumulated vsize (KiB) 519140

[startup+522.302 s]
/proc/loadavg: 1.99 1.80 1.40 3/68 16349
/proc/meminfo: memFree=722176/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=592408 CPUtime=1032
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 138741 0 0 0 103101 99 0 0 25 0 3 0 324143952 606625792 138526 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 148102 138526 98 176 0 147924 0
[pid=16346/tid=16348] ppid=16344 vsize=592408 CPUtime=511.75
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 92321 0 0 0 51112 63 0 0 25 0 3 0 324144989 606625792 138526 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=592408 CPUtime=509.86
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 32071 0 0 0 50956 30 0 0 25 0 3 0 324144989 606625792 138526 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1032
Current children cumulated vsize (KiB) 592408

[startup+582.301 s]
/proc/loadavg: 1.99 1.83 1.43 3/68 16349
/proc/meminfo: memFree=674240/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=641972 CPUtime=1151.73
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 150675 0 0 0 115067 106 0 0 25 0 3 0 324143952 657379328 150460 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 160493 150460 98 176 0 160315 0
[pid=16346/tid=16348] ppid=16344 vsize=641972 CPUtime=571.74
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 100124 0 0 0 57105 69 0 0 25 0 3 0 324144989 657379328 150460 1992294400 134512640 135237372 4294956192 18446744073709551615 134591221 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=641972 CPUtime=569.61
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 36202 0 0 0 56929 32 0 0 25 0 3 0 324144989 657379328 150460 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1151.73
Current children cumulated vsize (KiB) 641972

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

[startup+588.701 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 16349
/proc/meminfo: memFree=664640/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=651852 CPUtime=1164.5
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 153041 0 0 0 116342 108 0 0 25 0 3 0 324143952 667496448 152826 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 162963 152826 98 176 0 162785 0
[pid=16346/tid=16348] ppid=16344 vsize=651852 CPUtime=578.14
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 101511 0 0 0 57744 70 0 0 25 0 3 0 324144989 667496448 152826 1992294400 134512640 135237372 4294956192 18446744073709551615 134562320 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=651852 CPUtime=575.99
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 37181 0 0 0 57566 33 0 0 25 0 3 0 324144989 667496448 152826 1992294400 134512640 135237372 4294956192 18446744073709551615 134591221 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1164.5
Current children cumulated vsize (KiB) 651852

[startup+595.107 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 16349
/proc/meminfo: memFree=655104/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=661484 CPUtime=1177.29
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 155391 0 0 0 117620 109 0 0 25 0 3 0 324143952 677359616 155176 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 165371 155176 98 176 0 165193 0
[pid=16346/tid=16348] ppid=16344 vsize=661484 CPUtime=584.53
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 103210 0 0 0 58383 70 0 0 25 0 3 0 324144989 677359616 155176 1992294400 134512640 135237372 4294956192 18446744073709551615 134680282 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=661484 CPUtime=582.36
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 37832 0 0 0 58203 33 0 0 25 0 3 0 324144989 677359616 155176 1992294400 134512640 135237372 4294956192 18446744073709551615 134587907 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1177.29
Current children cumulated vsize (KiB) 661484

[startup+601.502 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 16349
/proc/meminfo: memFree=651904/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=665408 CPUtime=1190.06
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 156337 0 0 0 118896 110 0 0 25 0 3 0 324143952 681377792 156122 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 166352 156122 98 176 0 166174 0
[pid=16346/tid=16348] ppid=16344 vsize=665408 CPUtime=590.93
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 103660 0 0 0 59022 71 0 0 25 0 3 0 324144989 681377792 156122 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=665408 CPUtime=588.74
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 38328 0 0 0 58840 34 0 0 25 0 3 0 324144989 681377792 156122 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1190.06
Current children cumulated vsize (KiB) 665408

[startup+604.701 s]
/proc/loadavg: 1.99 1.84 1.45 3/68 16349
/proc/meminfo: memFree=650304/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=667924 CPUtime=1196.44
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 156720 0 0 0 119534 110 0 0 25 0 3 0 324143952 683954176 156505 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 166981 156505 98 176 0 166803 0
[pid=16346/tid=16348] ppid=16344 vsize=667924 CPUtime=594.13
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 103948 0 0 0 59342 71 0 0 25 0 3 0 324144989 683954176 156505 1992294400 134512640 135237372 4294956192 18446744073709551615 134749296 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=667924 CPUtime=591.93
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 38423 0 0 0 59159 34 0 0 25 0 3 0 324144989 683954176 156505 1992294400 134512640 135237372 4294956192 18446744073709551615 134590129 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1196.44
Current children cumulated vsize (KiB) 667924

[startup+605.501 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 16349
/proc/meminfo: memFree=649472/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=668236 CPUtime=1198.04
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 157006 0 0 0 119694 110 0 0 25 0 3 0 324143952 684273664 156791 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 167059 156791 98 176 0 166881 0
[pid=16346/tid=16348] ppid=16344 vsize=668236 CPUtime=594.93
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 104147 0 0 0 59422 71 0 0 25 0 3 0 324144989 684273664 156791 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=668236 CPUtime=592.72
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 38510 0 0 0 59238 34 0 0 25 0 3 0 324144989 684273664 156791 1992294400 134512640 135237372 4294956192 18446744073709551615 134562407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.04
Current children cumulated vsize (KiB) 668236

[startup+606.301 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 16349
/proc/meminfo: memFree=648128/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=669416 CPUtime=1199.63
/proc/16346/stat : 16346 (ttsth-5-0) S 16344 16346 16065 0 -1 4194304 157147 0 0 0 119853 110 0 0 25 0 3 0 324143952 685481984 156932 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16346/statm: 167354 156932 98 176 0 167176 0
[pid=16346/tid=16348] ppid=16344 vsize=669416 CPUtime=595.73
/proc/16346/task/16348/stat : 16348 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 104231 0 0 0 59502 71 0 0 25 0 3 0 324144989 685481984 156932 1992294400 134512640 135237372 4294956192 18446744073709551615 134590241 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16346/tid=16349] ppid=16344 vsize=669416 CPUtime=593.52
/proc/16346/task/16349/stat : 16349 (ttsth-5-0) R 16344 16346 16065 0 -1 4194368 38567 0 0 0 59318 34 0 0 25 0 3 0 324144989 685481984 156932 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.63
Current children cumulated vsize (KiB) 669416

[startup+606.501 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 16349
/proc/meminfo: memFree=648128/2055920 swapFree=4191900/4192956
[pid=16346] ppid=16344 vsize=0 CPUtime=1199.95
/proc/16346/stat : 16346 (ttsth-5-0) R 16344 16346 16065 0 -1 4195332 157188 0 0 0 119877 118 0 0 17 0 1 0 324143952 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/16346/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.95
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 606.528
CPU time (s): 1199.99
CPU user time (s): 1198.78
CPU system time (s): 1.21281
CPU usage (%): 197.845
Max. virtual memory (cumulated for all children) (KiB): 669416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.78
system time used= 1.21281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157188
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= 17
involuntary context switches= 9127

runsolver used 0.607907 second user time and 1.60875 second system time

The end

Launcher Data 

Begin job on node54 at 2009-03-30 11:10:32
IDJOB=1531244
IDBENCH=70351
IDSOLVER=549
FILE ID=node54/1531244-1238404232
PBS_JOBID= 9061411
Free space on /tmp= 66492 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1531244-1238404232/watcher-1531244-1238404232 -o /tmp/evaluation-result-1531244-1238404232/solver-1531244-1238404232 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531244-1238404232.cnf

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

MD5SUM BENCH= 738d561654cbc7d1587a637b71302edd
RANDOM SEED=506947742

node54.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.232
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.232
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:       1277432 kB
Buffers:         88016 kB
Cached:         594444 kB
SwapCached:        260 kB
Active:         180152 kB
Inactive:       517600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1277432 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2092 kB
Writeback:           0 kB
Mapped:          23792 kB
Slab:            66684 kB
Committed_AS:   871996 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66488 MiB
End job on node54 at 2009-03-30 11:20:39