Trace number 1531232

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.96 606.57

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
MD5SUMa714fa4bd1373c24435aaf22c9d8231c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark590.614
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-1531232-1238402466.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 = 66874
0.09/0.16	c Literals = 200622
0.09/0.16	c a2
0.39/0.43	c a1
9.80/9.87	c Independent sub-problems = 1
9.80/9.87	c Sub-problem with 15942 variables and 66874 clauses
9.80/9.87	c using permutation method 4
9.80/9.87	c count = 1
9.80/9.87	c Ordering finished 9.820 seconds
9.80/9.87	c mapped 9.860 seconds
9.80/9.87	c permuted 9.860 seconds
9.80/9.87	c about to sort
9.80/9.89	c sorted
10.49/10.52	c clauses now 66874
10.49/10.52	c init finished 9.990 seconds
10.49/10.52	c tree built 10.520 seconds
10.49/10.52	c 
10.49/10.52	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
10.49/10.52	c ---------------------------------|----------------------------------|------------------------------------------------------
10.49/10.52	c ................................ | ..........                       |                       10.5           0.0             
10.49/10.52	c ................................ | ..........                     1 |                       10.5           0.1             
10.49/10.52	c ................................ | ..........                     2 |                       10.5           0.2             
10.49/10.52	c ................................ | ..........                     3 |                       10.5           0.3             
10.49/10.52	c ................................ | ..........                     4 |                       10.5           0.4             
10.49/10.52	c ................................ | ..........                     5 |                       10.5           0.5             
10.49/10.53	c ................................ | ..........                  1000 | 1                     10.5          95.1            9
23.83/17.28	c ................................ | ..........                515000 | 26260                 24.0       21458.3        48276
47.99/29.32	c ................................ | ..........               1226000 | 81253                 48.0       25525.7       253636
71.93/41.35	c ................................ | ..........               1891000 | 135351                72.0       26245.7       469710
95.88/53.39	c ................................ | ..........               2488000 | 186211                96.1       25897.8       713983
120.02/65.42	c ................................ | *.........               3042000 | 238195               120.1       25333.1      1066071
143.97/77.43	c ................................ | *.........               3587000 | 289183               144.1       24897.6      1315893
167.93/89.43	c ................................ | *.........               4005000 | 331297               168.0       23836.4      1758067
191.87/101.45	c ................................ | *.........               4351000 | 366206               192.0       22661.5      2287787
215.83/113.47	c ................................ | *.........               4663000 | 398727               216.0       21588.0      2807188
239.97/125.51	c ................................ | **........               4918000 | 427228               240.0       20489.1      3557111
263.92/137.53	c ................................ | **........               5132000 | 451983               264.0       19437.2      4270299
288.08/149.62	c ................................ | **........               5288000 | 471204               288.2       18350.9      5267986
312.02/161.63	c ................................ | **........               5353000 | 480236               312.1       17149.9      6970723
336.18/173.77	c ................................ | **........               5416000 | 489104               336.4       16101.8      8698302
359.91/185.65	c ................................ | ***.......               5548000 | 503488               360.1       15407.7      9692534
384.07/197.71	c ................................ | ***.......               5689000 | 518517               384.1       14809.3     10820255
407.82/209.66	c ................................ | ***.......               5898000 | 539690               408.0       14455.2     11620491
431.96/221.77	c ................................ | ***.......               6072000 | 560816               432.2       14050.0     12293193
456.11/233.80	c ................................ | ***.......               6167000 | 574154               456.2       13518.5     13406173
480.26/245.99	c ................................ | ****......               6264000 | 586209               480.5       13035.6     14327101
504.01/257.82	c ................................ | ****......               6338000 | 595983               504.1       12571.9     15109735
527.96/269.83	c ................................ | ****......               6475000 | 610669               528.1       12260.9     15835951
552.11/281.92	c ................................ | ****......               6572000 | 623033               552.2       11900.8     16747798
575.86/293.88	c ................................ | ****......               6676000 | 635610               576.1       11588.1     17364633
599.81/305.87	c ................................ | *****.....               6816000 | 650815               600.0       11359.1     17818392
623.97/317.93	c ................................ | *****.....               6966000 | 668605               624.1       11161.5     18524313
648.11/330.00	c ................................ | *****.....               7196000 | 692623               648.2       11101.3     19210202
671.85/341.92	c ................................ | *****.....               7324000 | 708406               672.0       10898.6     20072685
696.00/354.04	c ................................ | *****.....               7445000 | 723051               696.2       10693.8     20822820
719.75/365.97	c ................................ | ******....               7562000 | 737017               720.0       10502.8     21842591
744.30/378.23	c ................................ | ******....               7738000 | 756508               744.5       10393.7     22728268
768.25/390.27	c ................................ | ******....               7865000 | 771760               768.5       10234.1     23748093
792.19/402.24	c ................................ | ******....               7936000 | 781532               792.4       10015.0     25505284
815.94/414.14	c ................................ | ******....               8074000 | 796224               816.2        9892.5     26716484
839.89/426.13	c ................................ | *******...               8116000 | 802026               840.1        9660.9     28260340
864.25/438.37	c ................................ | *******...               8151000 | 807020               864.5        9428.4     29622697
888.39/450.40	c ................................ | *******...               8197000 | 813082               888.5        9225.2     30946089
912.15/462.39	c ................................ | *******...               8229000 | 817190               912.5        9018.3     32439733
935.71/474.19	c ................................ | *******...               8254000 | 820764               936.0        8818.1     33723493
960.84/486.77	c ................................ | ********..               8285000 | 824995               961.1        8620.1     34759707
984.39/498.58	c ................................ | ********..               8307000 | 828087               984.7        8436.0     35598268
1008.53/510.61	c ................................ | ********..               8329000 | 831111              1008.7        8257.0     36442203
1033.09/522.91	c ................................ | ********..               8350000 | 833840              1033.3        8081.1     37201094
1056.24/534.53	c ................................ | ********..               8371000 | 836578              1056.5        7923.7     38044282
1079.99/546.40	c ................................ | *********.               8409000 | 841163              1080.2        7784.9     38730699
1103.93/558.47	c ................................ | *********.               8428000 | 844023              1104.3        7632.3     39599881
1128.09/570.52	c ................................ | *********.               8447000 | 847061              1128.3        7486.5     40390296
1152.03/582.57	c ................................ | *********.               8464000 | 849635              1152.4        7344.9     41134498
1176.59/594.85	c ................................ | *********.               8482000 | 852486              1176.9        7207.3     42068510
1199.73/606.44	c CPU limit (1200) reached
1199.73/606.44	c Time = 1200.01 seconds
1199.73/606.44	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-1531232-1238402466/watcher-1531232-1238402466 -o /tmp/evaluation-result-1531232-1238402466/solver-1531232-1238402466 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531232-1238402466.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.95 0.99 3/64 24614
/proc/meminfo: memFree=1287032/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=932 CPUtime=0
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 135 0 0 0 0 0 0 0 18 0 1 0 1112908728 954368 119 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 233 119 77 176 0 55 0

[startup+0.072373 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 24614
/proc/meminfo: memFree=1287032/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=3208 CPUtime=0.06
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 675 0 0 0 6 0 0 0 18 0 1 0 1112908728 3284992 659 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 802 659 78 176 0 624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3208

[startup+0.101374 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 24614
/proc/meminfo: memFree=1287032/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=4080 CPUtime=0.09
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 907 0 0 0 9 0 0 0 18 0 1 0 1112908728 4177920 891 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 1020 891 78 176 0 842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4080

[startup+0.301391 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 24614
/proc/meminfo: memFree=1287032/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=11008 CPUtime=0.29
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 2585 0 0 0 28 1 0 0 19 0 1 0 1112908728 11272192 2569 1992294400 134512640 135237372 4294956192 18446744073709551615 134519996 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 2752 2569 79 176 0 2574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11008

[startup+0.701427 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 24614
/proc/meminfo: memFree=1287032/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=14316 CPUtime=0.69
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 3566 0 0 0 68 1 0 0 22 0 1 0 1112908728 14659584 3418 1992294400 134512640 135237372 4294956192 18446744073709551615 134600975 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 3579 3418 80 176 0 3401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14316

[startup+1.5015 s]
/proc/loadavg: 0.91 0.95 0.99 2/65 24615
/proc/meminfo: memFree=1273648/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=14316 CPUtime=1.49
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 3569 0 0 0 148 1 0 0 25 0 1 0 1112908728 14659584 3421 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 3579 3421 80 176 0 3401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14316

[startup+3.10164 s]
/proc/loadavg: 0.91 0.95 0.99 2/65 24615
/proc/meminfo: memFree=1273456/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=14316 CPUtime=3.1
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 3577 0 0 0 308 2 0 0 25 0 1 0 1112908728 14659584 3429 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 3579 3429 80 176 0 3401 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14316

[startup+6.30192 s]
/proc/loadavg: 0.92 0.95 0.99 2/65 24615
/proc/meminfo: memFree=1273200/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=14452 CPUtime=6.29
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4194304 3596 0 0 0 627 2 0 0 25 0 1 0 1112908728 14798848 3448 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 3613 3448 80 176 0 3435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14452

[startup+12.7025 s]
/proc/loadavg: 0.93 0.95 0.99 3/67 24617
/proc/meminfo: memFree=1228256/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=79696 CPUtime=14.85
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 14958 0 0 0 1478 7 0 0 25 0 3 0 1112908728 81608704 14744 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 19924 14744 98 176 0 19746 0
[pid=24614/tid=24616] ppid=24612 vsize=79696 CPUtime=2.16
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 362 0 0 0 216 0 0 0 25 0 3 0 1112909780 81608704 14744 1992294400 134512640 135237372 4294956192 18446744073709551615 134587907 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=79696 CPUtime=2.16
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 257 0 0 0 216 0 0 0 25 0 3 0 1112909780 81608704 14744 1992294400 134512640 135237372 4294956192 18446744073709551615 134549922 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 79696

[startup+25.5016 s]
/proc/loadavg: 1.16 1.01 1.01 3/67 24617
/proc/meminfo: memFree=1222560/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=84084 CPUtime=40.39
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 16348 0 0 0 4031 8 0 0 25 0 3 0 1112908728 86102016 16134 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 21021 16134 98 176 0 20843 0
[pid=24614/tid=24616] ppid=24612 vsize=84084 CPUtime=14.96
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 1398 0 0 0 1495 1 0 0 25 0 3 0 1112909780 86102016 16134 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=84084 CPUtime=14.9
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 611 0 0 0 1490 0 0 0 25 0 3 0 1112909780 86102016 16134 1992294400 134512640 135237372 4294956192 18446744073709551615 134591069 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.39
Current children cumulated vsize (KiB) 84084

[startup+51.1019 s]
/proc/loadavg: 1.45 1.08 1.03 3/67 24617
/proc/meminfo: memFree=1212384/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=95116 CPUtime=91.48
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 18905 0 0 0 9137 11 0 0 25 0 3 0 1112908728 97398784 18691 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 23779 18691 98 176 0 23601 0
[pid=24614/tid=24616] ppid=24612 vsize=95116 CPUtime=40.55
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 3272 0 0 0 4052 3 0 0 25 0 3 0 1112909780 97398784 18691 1992294400 134512640 135237372 4294956192 18446744073709551615 134552745 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=95116 CPUtime=40.39
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 1294 0 0 0 4038 1 0 0 25 0 3 0 1112909780 97398784 18691 1992294400 134512640 135237372 4294956192 18446744073709551615 134590129 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.48
Current children cumulated vsize (KiB) 95116

[startup+102.305 s]
/proc/loadavg: 1.76 1.22 1.08 3/67 24617
/proc/meminfo: memFree=1184736/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=123220 CPUtime=193.67
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 25803 0 0 0 19350 17 0 0 25 0 3 0 1112908728 126177280 25588 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 30805 25588 98 176 0 30627 0
[pid=24614/tid=24616] ppid=24612 vsize=123220 CPUtime=91.75
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 8873 0 0 0 9167 8 0 0 25 0 3 0 1112909780 126177280 25588 1992294400 134512640 135237372 4294956192 18446744073709551615 134519954 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=123220 CPUtime=91.4
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 2591 0 0 0 9137 3 0 0 25 0 3 0 1112909780 126177280 25588 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 193.67
Current children cumulated vsize (KiB) 123220

[startup+162.302 s]
/proc/loadavg: 1.91 1.36 1.13 3/67 24617
/proc/meminfo: memFree=1110368/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=200376 CPUtime=313.42
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 44630 0 0 0 31310 32 0 0 25 0 3 0 1112908728 205185024 44415 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 50094 44415 98 176 0 49916 0
[pid=24614/tid=24616] ppid=24612 vsize=200376 CPUtime=151.73
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 25693 0 0 0 15154 19 0 0 25 0 3 0 1112909780 205185024 44415 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=200376 CPUtime=151.16
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 4598 0 0 0 15110 6 0 0 25 0 3 0 1112909780 205185024 44415 1992294400 134512640 135237372 4294956192 18446744073709551615 134591082 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 313.42
Current children cumulated vsize (KiB) 200376

[startup+222.302 s]
/proc/loadavg: 1.96 1.48 1.19 3/67 24617
/proc/meminfo: memFree=1024992/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=287204 CPUtime=433.15
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 65637 0 0 0 43268 47 0 0 25 0 3 0 1112908728 294096896 65422 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 71801 65422 98 176 0 71623 0
[pid=24614/tid=24616] ppid=24612 vsize=287204 CPUtime=211.71
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 42592 0 0 0 21140 31 0 0 25 0 3 0 1112909780 294096896 65422 1992294400 134512640 135237372 4294956192 18446744073709551615 134590497 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=287204 CPUtime=210.92
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 8706 0 0 0 21082 10 0 0 25 0 3 0 1112909780 294096896 65422 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 433.15
Current children cumulated vsize (KiB) 287204

[startup+282.301 s]
/proc/loadavg: 1.98 1.57 1.23 3/67 24617
/proc/meminfo: memFree=955808/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=357832 CPUtime=552.9
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 82956 0 0 0 55233 57 0 0 25 0 3 0 1112908728 366419968 82741 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 89458 82741 98 176 0 89280 0
[pid=24614/tid=24616] ppid=24612 vsize=357832 CPUtime=271.69
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 57387 0 0 0 27131 38 0 0 25 0 3 0 1112909780 366419968 82741 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=357832 CPUtime=270.68
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 11230 0 0 0 27056 12 0 0 25 0 3 0 1112909780 366419968 82741 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 552.9
Current children cumulated vsize (KiB) 357832

[startup+342.301 s]
/proc/loadavg: 1.99 1.64 1.28 3/67 24617
/proc/meminfo: memFree=901728/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=413108 CPUtime=672.65
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 96478 0 0 0 67200 65 0 0 25 0 3 0 1112908728 423022592 96263 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 103277 96263 98 176 0 103099 0
[pid=24614/tid=24616] ppid=24612 vsize=413108 CPUtime=331.67
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 67253 0 0 0 33124 43 0 0 25 0 3 0 1112909780 423022592 96263 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=413108 CPUtime=330.44
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 14886 0 0 0 33029 15 0 0 25 0 3 0 1112909780 423022592 96263 1992294400 134512640 135237372 4294956192 18446744073709551615 134562388 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 672.65
Current children cumulated vsize (KiB) 413108

[startup+402.302 s]
/proc/loadavg: 1.99 1.71 1.32 3/67 24617
/proc/meminfo: memFree=816416/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=502084 CPUtime=792.39
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 118124 0 0 0 79162 77 0 0 25 0 3 0 1112908728 514134016 117909 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 125521 117909 98 176 0 125343 0
[pid=24614/tid=24616] ppid=24612 vsize=502084 CPUtime=391.66
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 82229 0 0 0 39116 50 0 0 25 0 3 0 1112909780 514134016 117909 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=502084 CPUtime=390.2
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 21556 0 0 0 39000 20 0 0 25 0 3 0 1112909780 514134016 117909 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 792.39
Current children cumulated vsize (KiB) 502084

[startup+462.302 s]
/proc/loadavg: 1.99 1.76 1.36 3/67 24617
/proc/meminfo: memFree=705568/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=614628 CPUtime=912.15
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 145408 0 0 0 91123 92 0 0 25 0 3 0 1112908728 629379072 145193 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 153657 145193 98 176 0 153479 0
[pid=24614/tid=24616] ppid=24612 vsize=614628 CPUtime=451.64
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 99978 0 0 0 45106 58 0 0 25 0 3 0 1112909780 629379072 145193 1992294400 134512640 135237372 4294956192 18446744073709551615 134592291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=614628 CPUtime=449.97
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 31091 0 0 0 44971 26 0 0 25 0 3 0 1112909780 629379072 145193 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 912.15
Current children cumulated vsize (KiB) 614628

[startup+522.301 s]
/proc/loadavg: 1.99 1.80 1.40 3/67 24617
/proc/meminfo: memFree=631840/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=694940 CPUtime=1031.89
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 163920 0 0 0 103086 103 0 0 25 0 3 0 1112908728 711618560 163705 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 173735 163705 98 176 0 173557 0
[pid=24614/tid=24616] ppid=24612 vsize=694940 CPUtime=511.62
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 115125 0 0 0 51096 66 0 0 25 0 3 0 1112909780 711618560 163705 1992294400 134512640 135237372 4294956192 18446744073709551615 134680727 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=694940 CPUtime=509.73
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 34456 0 0 0 50943 30 0 0 25 0 3 0 1112909780 711618560 163705 1992294400 134512640 135237372 4294956192 18446744073709551615 134749353 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1031.89
Current children cumulated vsize (KiB) 694940

[startup+582.302 s]
/proc/loadavg: 1.99 1.83 1.43 3/67 24617
/proc/meminfo: memFree=568992/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=758836 CPUtime=1151.63
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 179447 0 0 0 115050 113 0 0 25 0 3 0 1112908728 777048064 179232 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 189709 179232 98 176 0 189531 0
[pid=24614/tid=24616] ppid=24612 vsize=758836 CPUtime=571.61
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 127456 0 0 0 57089 72 0 0 25 0 3 0 1112909780 777048064 179232 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=758836 CPUtime=569.49
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 37652 0 0 0 56915 34 0 0 25 0 3 0 1112909780 777048064 179232 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1151.63
Current children cumulated vsize (KiB) 758836

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

[startup+588.701 s]
/proc/loadavg: 1.99 1.83 1.43 3/67 24617
/proc/meminfo: memFree=562656/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=765416 CPUtime=1164.4
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 181082 0 0 0 116326 114 0 0 25 0 3 0 1112908728 783785984 180867 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 191354 180867 98 176 0 191176 0
[pid=24614/tid=24616] ppid=24612 vsize=765416 CPUtime=578.01
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 128568 0 0 0 57728 73 0 0 25 0 3 0 1112909780 783785984 180867 1992294400 134512640 135237372 4294956192 18446744073709551615 134593224 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=765416 CPUtime=575.86
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 38175 0 0 0 57552 34 0 0 25 0 3 0 1112909780 783785984 180867 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1164.4
Current children cumulated vsize (KiB) 765416

[startup+595.106 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 24617
/proc/meminfo: memFree=553312/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=774212 CPUtime=1177.19
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 183290 0 0 0 117604 115 0 0 25 0 3 0 1112908728 792793088 183075 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 193553 183075 98 176 0 193375 0
[pid=24614/tid=24616] ppid=24612 vsize=774212 CPUtime=584.41
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 129742 0 0 0 58368 73 0 0 25 0 3 0 1112909780 792793088 183075 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=774212 CPUtime=582.25
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 39209 0 0 0 58190 35 0 0 25 0 3 0 1112909780 792793088 183075 1992294400 134512640 135237372 4294956192 18446744073709551615 134591529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1177.19
Current children cumulated vsize (KiB) 774212

[startup+601.502 s]
/proc/loadavg: 1.99 1.84 1.44 3/67 24617
/proc/meminfo: memFree=546784/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=781756 CPUtime=1189.95
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 185090 0 0 0 118879 116 0 0 25 0 3 0 1112908728 800518144 184875 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 195439 184875 98 176 0 195261 0
[pid=24614/tid=24616] ppid=24612 vsize=781756 CPUtime=590.8
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 130693 0 0 0 59006 74 0 0 25 0 3 0 1112909780 800518144 184875 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=781756 CPUtime=588.62
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 40058 0 0 0 58827 35 0 0 25 0 3 0 1112909780 800518144 184875 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1189.95
Current children cumulated vsize (KiB) 781756

[startup+604.701 s]
/proc/loadavg: 1.99 1.84 1.45 3/67 24617
/proc/meminfo: memFree=544032/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=785452 CPUtime=1196.34
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 185812 0 0 0 119517 117 0 0 25 0 3 0 1112908728 804302848 185597 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 196363 185597 98 176 0 196185 0
[pid=24614/tid=24616] ppid=24612 vsize=785452 CPUtime=594
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 131265 0 0 0 59325 75 0 0 25 0 3 0 1112909780 804302848 185597 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=785452 CPUtime=591.8
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 40208 0 0 0 59145 35 0 0 25 0 3 0 1112909780 804302848 185598 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1196.34
Current children cumulated vsize (KiB) 785452

[startup+605.502 s]
/proc/loadavg: 1.99 1.84 1.45 3/67 24617
/proc/meminfo: memFree=543008/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=785920 CPUtime=1197.94
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 186018 0 0 0 119676 118 0 0 25 0 3 0 1112908728 804782080 185803 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 196480 185803 98 176 0 196302 0
[pid=24614/tid=24616] ppid=24612 vsize=785920 CPUtime=594.8
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 131363 0 0 0 59405 75 0 0 25 0 3 0 1112909780 804782080 185803 1992294400 134512640 135237372 4294956192 18446744073709551615 134562370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=785920 CPUtime=592.61
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 40316 0 0 0 59225 36 0 0 25 0 3 0 1112909780 804782080 185803 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.94
Current children cumulated vsize (KiB) 785920

[startup+606.302 s]
/proc/loadavg: 1.99 1.84 1.45 3/67 24617
/proc/meminfo: memFree=541408/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=787256 CPUtime=1199.53
/proc/24614/stat : 24614 (ttsth-5-0) S 24612 24614 24486 0 -1 4194304 186248 0 0 0 119835 118 0 0 25 0 3 0 1112908728 806150144 186033 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/24614/statm: 196814 186033 98 176 0 196636 0
[pid=24614/tid=24616] ppid=24612 vsize=787256 CPUtime=595.6
/proc/24614/task/24616/stat : 24616 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 131514 0 0 0 59485 75 0 0 25 0 3 0 1112909780 806150144 186033 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24614/tid=24617] ppid=24612 vsize=787256 CPUtime=593.4
/proc/24614/task/24617/stat : 24617 (ttsth-5-0) R 24612 24614 24486 0 -1 4194368 40395 0 0 0 59304 36 0 0 25 0 3 0 1112909780 806150144 186033 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.53
Current children cumulated vsize (KiB) 787256

[startup+606.502 s]
/proc/loadavg: 1.99 1.84 1.45 3/67 24617
/proc/meminfo: memFree=541408/2055920 swapFree=4176996/4192956
[pid=24614] ppid=24612 vsize=0 CPUtime=1199.87
/proc/24614/stat : 24614 (ttsth-5-0) R 24612 24614 24486 0 -1 4195332 186275 0 0 0 119864 123 0 0 17 0 1 0 1112908728 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/24614/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.87
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 606.57
CPU time (s): 1199.96
CPU user time (s): 1198.65
CPU system time (s): 1.3058
CPU usage (%): 197.827
Max. virtual memory (cumulated for all children) (KiB): 787256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.65
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186275
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= 28
involuntary context switches= 9103

runsolver used 0.580911 second user time and 1.63075 second system time

The end

Launcher Data 

Begin job on node50 at 2009-03-30 10:41:06
IDJOB=1531232
IDBENCH=70345
IDSOLVER=549
FILE ID=node50/1531232-1238402466
PBS_JOBID= 9061445
Free space on /tmp= 64220 MiB

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

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

MD5SUM BENCH= a714fa4bd1373c24435aaf22c9d8231c
RANDOM SEED=1147704990

node50.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.238
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.238
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:       1287448 kB
Buffers:         97032 kB
Cached:         566724 kB
SwapCached:       9920 kB
Active:          95072 kB
Inactive:       580380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1287448 kB
SwapTotal:     4192956 kB
SwapFree:      4176996 kB
Dirty:            2088 kB
Writeback:           0 kB
Mapped:          17292 kB
Slab:            78900 kB
Committed_AS:  3008968 kB
PageTables:       1456 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= 64220 MiB
End job on node50 at 2009-03-30 10:51:13