Trace number 1735986

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ttsth-5-0 2009-03-19? 1200 604.525

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
MD5SUM930a5df7b1f1625c5486319e8b2ac554
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

Solver Data 

0.39/0.43	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1735986-1240808809.cnf 
0.39/0.43	c Using SATTIMEOUT of 1200
0.39/0.43	c Using SATRAM of 1800
0.39/0.43	c Size of subset node = 16
0.39/0.43	c Variables = 2640
0.39/0.43	c Clauses = 305320
0.39/0.43	c Literals = 613120
0.39/0.43	c Reduced size:
0.39/0.43	c Variables = 2640
0.39/0.43	c Clauses = 305320
0.39/0.43	c Literals = 613120
0.39/0.43	c a2
0.89/0.93	c a1
1.99/2.02	c Independent sub-problems = 1
1.99/2.02	c Sub-problem with 2640 variables and 305320 clauses
1.99/2.02	c using permutation method 4
1.99/2.02	c count = 1
1.99/2.02	c Ordering finished 1.910 seconds
1.99/2.02	c mapped 2.010 seconds
1.99/2.02	c permuted 2.010 seconds
1.99/2.02	c about to sort
2.09/2.10	c sorted
6.29/6.36	c clauses now 305320
6.29/6.36	c init finished 2.130 seconds
6.29/6.36	c tree built 6.350 seconds
6.29/6.36	c 
6.29/6.36	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
6.29/6.36	c ---------------------------------|----------------------------------|------------------------------------------------------
6.29/6.36	c ................................ | ..........                       |                        6.3           0.0             
6.29/6.36	c ................................ | ..........                     1 |                        6.3           0.2             
6.29/6.36	c ................................ | ..........                     2 |                        6.3           0.3             
6.29/6.36	c ................................ | ..........                     3 |                        6.3           0.5             
6.29/6.36	c ................................ | ..........                     4 |                        6.3           0.6             
6.29/6.36	c ................................ | ..........                     5 |                        6.3           0.8             
6.29/6.36	c ................................ | ..........                  1000 |                        6.4         157.2          905
23.99/15.22	c ................................ | ..........                226000 | 7201                  24.0        9401.0      3111356
47.93/27.28	c ................................ | ..........                403000 | 13517                 48.1        8376.6      5526773
71.88/39.27	c ................................ | ..........                545000 | 17945                 72.0        7564.2      7453245
96.03/51.36	c ................................ | ..........                662000 | 22132                 96.2        6882.9      9062118
119.97/63.36	c ................................ | *.........                762000 | 25681                120.1        6343.7     10507447
144.13/75.42	c ................................ | *.........                853000 | 29036                144.2        5915.4     11699256
168.07/87.46	c ................................ | *.........                955000 | 32300                168.2        5676.8     13022486
191.82/99.37	c ................................ | *.........               1044000 | 35070                192.0        5437.5     14211494
215.97/111.44	c ................................ | *.........               1122000 | 37698                216.1        5192.3     15310842
239.92/123.47	c ................................ | **........               1201000 | 40518                240.1        5001.7     16251287
263.87/135.48	c ................................ | **........               1280000 | 43438                264.1        4847.0     17124508
288.02/147.60	c ................................ | **........               1354000 | 46168                288.3        4697.1     18024906
311.77/159.49	c ................................ | **........               1423000 | 48695                312.0        4560.9     18843178
336.12/171.61	c ................................ | **........               1492000 | 50954                336.2        4438.0     19681094
360.27/183.72	c ................................ | ***.......               1567000 | 53646                360.4        4348.4     20531446
384.02/195.65	c ................................ | ***.......               1634000 | 56075                384.2        4253.2     21311897
407.96/207.67	c ................................ | ***.......               1711000 | 59063                408.2        4191.9     22129990
431.91/219.61	c ................................ | ***.......               1780000 | 61666                432.0        4120.4     22882184
456.06/231.76	c ................................ | ***.......               1844000 | 64086                456.2        4041.6     23606951
480.21/243.81	c ................................ | ****......               1908000 | 66133                480.3        3972.5     24447289
504.15/255.84	c ................................ | ****......               1969000 | 68288                504.3        3904.3     25256165
527.91/267.76	c ................................ | ****......               2026000 | 70476                528.1        3836.2     26012474
552.25/279.93	c ................................ | ****......               2082000 | 72541                552.4        3769.1     26739878
576.20/291.91	c ................................ | ****......               2144000 | 75184                576.3        3720.2     27460502
599.95/303.88	c ................................ | *****.....               2203000 | 77404                600.2        3670.4     28102326
624.10/315.98	c ................................ | *****.....               2265000 | 79830                624.4        3627.7     28732141
647.86/327.87	c ................................ | *****.....               2322000 | 81969                648.1        3582.8     29390912
672.01/339.98	c ................................ | *****.....               2379000 | 84223                672.3        3538.8     30021520
695.95/351.91	c ................................ | *****.....               2438000 | 86365                696.1        3502.5     30731411
720.10/364.08	c ................................ | ******....               2505000 | 88909                720.4        3477.3     31522024
744.04/376.05	c ................................ | ******....               2579000 | 91474                744.2        3465.2     32394717
767.79/387.94	c ................................ | ******....               2650000 | 93934                768.0        3450.5     33179640
792.14/400.12	c ................................ | ******....               2718000 | 96420                792.3        3430.4     33864676
815.89/412.04	c ................................ | ******....               2788000 | 99005                816.1        3416.2     34543382
840.03/424.17	c ................................ | *******...               2858000 | 101472               840.3        3401.1     35197056
863.78/436.04	c ................................ | *******...               2926000 | 103785               864.0        3386.6     35797486
888.14/448.25	c ................................ | *******...               2998000 | 106148               888.4        3374.6     36489267
912.08/460.21	c ................................ | *******...               3057000 | 108092               912.2        3351.1     37128675
936.02/472.20	c ................................ | *******...               3116000 | 110196               936.2        3328.4     37839712
960.17/484.31	c ................................ | ********..               3173000 | 112282               960.3        3304.0     38593474
984.12/496.31	c ................................ | ********..               3225000 | 114082               984.3        3276.5     39434182
1008.07/508.30	c ................................ | ********..               3276000 | 115884              1008.2        3249.2     40179312
1031.83/520.27	c ................................ | ********..               3328000 | 117936              1032.1        3224.4     40877660
1055.77/532.24	c ................................ | ********..               3383000 | 120087              1056.0        3203.5     41595315
1079.72/544.27	c ................................ | *********.               3436000 | 122016              1080.0        3181.4     42232793
1103.87/556.33	c ................................ | *********.               3490000 | 123814              1104.1        3160.9     42964991
1127.82/568.37	c ................................ | *********.               3544000 | 125875              1128.1        3141.5     43596488
1151.77/580.38	c ................................ | *********.               3601000 | 128121              1152.1        3125.6     44332559
1176.12/592.60	c ................................ | *********.               3652000 | 130119              1176.5        3104.1     45000561
1199.86/604.40	c CPU limit (1200) reached
1199.86/604.40	c Time = 1200.05 seconds
1199.86/604.40	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-1735986-1240808809/watcher-1735986-1240808809 -o /tmp/evaluation-result-1735986-1240808809/solver-1735986-1240808809 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1735986-1240808809.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.97 0.98 2/65 22962
/proc/meminfo: memFree=1586992/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=1064 CPUtime=0
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 154 0 0 0 0 0 0 0 20 0 1 0 108910531 1089536 138 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 266 138 78 176 0 88 0

[startup+0.047083 s]
/proc/loadavg: 0.92 0.97 0.98 2/65 22962
/proc/meminfo: memFree=1586992/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=3076 CPUtime=0.04
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 656 0 0 0 4 0 0 0 20 0 1 0 108910531 3149824 640 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 769 641 78 176 0 591 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3076

[startup+0.101088 s]
/proc/loadavg: 0.92 0.97 0.98 2/65 22962
/proc/meminfo: memFree=1586992/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=5784 CPUtime=0.09
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 1307 0 0 0 9 0 0 0 20 0 1 0 108910531 5922816 1291 1992294400 134512640 135237372 4294956192 18446744073709551615 134732535 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 1446 1291 78 176 0 1268 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5784

[startup+0.30111 s]
/proc/loadavg: 0.92 0.97 0.98 2/65 22962
/proc/meminfo: memFree=1586992/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=15612 CPUtime=0.29
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 3724 0 0 0 27 2 0 0 22 0 1 0 108910531 15986688 3708 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 3903 3709 78 176 0 3725 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15612

[startup+0.701153 s]
/proc/loadavg: 0.92 0.97 0.98 2/65 22962
/proc/meminfo: memFree=1586992/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=30276 CPUtime=0.69
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 7454 0 0 0 65 4 0 0 25 0 1 0 108910531 31002624 7437 1992294400 134512640 135237372 4294956192 18446744073709551615 134519991 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 7569 7437 79 176 0 7391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30276

[startup+1.50124 s]
/proc/loadavg: 0.92 0.97 0.98 2/66 22963
/proc/meminfo: memFree=1556712/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=40420 CPUtime=1.49
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 10590 0 0 0 144 5 0 0 25 0 1 0 108910531 41390080 9975 1992294400 134512640 135237372 4294956192 18446744073709551615 134600542 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 10105 9975 80 176 0 9927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40420

[startup+3.10142 s]
/proc/loadavg: 0.92 0.97 0.98 2/66 22963
/proc/meminfo: memFree=1547880/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=45668 CPUtime=3.09
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 12171 0 0 0 303 6 0 0 25 0 1 0 108910531 46764032 11257 1992294400 134512640 135237372 4294956192 18446744073709551615 134735855 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 11417 11258 91 176 0 11239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45668

[startup+6.30177 s]
/proc/loadavg: 1.01 0.99 0.98 2/66 22963
/proc/meminfo: memFree=1512744/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=91904 CPUtime=6.29
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4194304 23851 0 0 0 620 9 0 0 25 0 1 0 108910531 94109696 22808 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 22976 22809 91 176 0 22798 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91904

[startup+12.7015 s]
/proc/loadavg: 1.09 1.00 0.99 3/68 22965
/proc/meminfo: memFree=1455904/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=155276 CPUtime=19
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 34745 0 0 0 1885 15 0 0 25 0 3 0 108910531 159002624 33403 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 38819 33403 98 176 0 38641 0
[pid=22962/tid=22964] ppid=22960 vsize=155276 CPUtime=6.33
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 5288 0 0 0 631 2 0 0 25 0 3 0 108911167 159002624 33403 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=155276 CPUtime=6.3
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 5060 0 0 0 628 2 0 0 25 0 3 0 108911167 159002624 33403 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19
Current children cumulated vsize (KiB) 155276

[startup+25.5019 s]
/proc/loadavg: 1.29 1.05 1.01 3/68 22965
/proc/meminfo: memFree=1412448/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=197196 CPUtime=44.54
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 45246 0 0 0 4433 21 0 0 25 0 3 0 108910531 201928704 43904 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 49299 43904 98 176 0 49121 0
[pid=22962/tid=22964] ppid=22960 vsize=197196 CPUtime=19.12
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 9937 0 0 0 1907 5 0 0 25 0 3 0 108911167 201928704 43904 1992294400 134512640 135237372 4294956192 18446744073709551615 134562380 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=197196 CPUtime=19.04
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 10912 0 0 0 1899 5 0 0 25 0 3 0 108911167 201928704 43904 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.54
Current children cumulated vsize (KiB) 197196

[startup+51.1018 s]
/proc/loadavg: 1.53 1.13 1.03 3/68 22965
/proc/meminfo: memFree=1350048/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=259728 CPUtime=95.63
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 60804 0 0 0 9534 29 0 0 25 0 3 0 108910531 265961472 59462 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 64932 59462 98 176 0 64754 0
[pid=22962/tid=22964] ppid=22960 vsize=259728 CPUtime=44.72
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 18304 0 0 0 4463 9 0 0 25 0 3 0 108911167 265961472 59462 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=259728 CPUtime=44.55
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 18103 0 0 0 4445 10 0 0 25 0 3 0 108911167 265961472 59462 1992294400 134512640 135237372 4294956192 18446744073709551615 134562323 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.63
Current children cumulated vsize (KiB) 259728

[startup+102.305 s]
/proc/loadavg: 1.79 1.26 1.08 3/68 22965
/proc/meminfo: memFree=1261408/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=347088 CPUtime=197.82
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 82652 0 0 0 19741 41 0 0 25 0 3 0 108910531 355418112 81310 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 86772 81310 98 176 0 86594 0
[pid=22962/tid=22964] ppid=22960 vsize=347088 CPUtime=95.91
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 29152 0 0 0 9576 15 0 0 25 0 3 0 108911167 355418112 81310 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=347088 CPUtime=95.54
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 29103 0 0 0 9538 16 0 0 25 0 3 0 108911167 355418112 81310 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 197.82
Current children cumulated vsize (KiB) 347088

[startup+162.301 s]
/proc/loadavg: 1.92 1.39 1.13 3/68 22965
/proc/meminfo: memFree=1189152/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=419568 CPUtime=317.55
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 100816 0 0 0 31703 52 0 0 25 0 3 0 108910531 429637632 99474 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 104892 99474 98 176 0 104714 0
[pid=22962/tid=22964] ppid=22960 vsize=419568 CPUtime=155.89
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 38503 0 0 0 15567 22 0 0 25 0 3 0 108911167 429637632 99474 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=419568 CPUtime=155.3
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 37916 0 0 0 15510 20 0 0 25 0 3 0 108911167 429637632 99474 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.55
Current children cumulated vsize (KiB) 419568

[startup+222.302 s]
/proc/loadavg: 1.97 1.50 1.19 3/68 22965
/proc/meminfo: memFree=1124256/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=483888 CPUtime=437.29
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 116875 0 0 0 43667 62 0 0 25 0 3 0 108910531 495501312 115533 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 120972 115533 98 176 0 120794 0
[pid=22962/tid=22964] ppid=22960 vsize=483888 CPUtime=215.87
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 47694 0 0 0 21559 28 0 0 25 0 3 0 108911167 495501312 115533 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=483888 CPUtime=215.06
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 44784 0 0 0 21482 24 0 0 25 0 3 0 108911167 495501312 115533 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 437.29
Current children cumulated vsize (KiB) 483888

[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.23 3/68 22965
/proc/meminfo: memFree=1063136/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=545488 CPUtime=557.04
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 132279 0 0 0 55633 71 0 0 25 0 3 0 108910531 558579712 130937 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 136372 130937 98 176 0 136194 0
[pid=22962/tid=22964] ppid=22960 vsize=545488 CPUtime=275.85
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 55688 0 0 0 27553 32 0 0 25 0 3 0 108911167 558579712 130937 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=545488 CPUtime=274.83
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 52194 0 0 0 27454 29 0 0 25 0 3 0 108911167 558579712 130937 1992294400 134512640 135237372 4294956192 18446744073709551615 134562351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 557.04
Current children cumulated vsize (KiB) 545488

[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.28 3/68 22965
/proc/meminfo: memFree=1010016/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=597648 CPUtime=676.78
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 145354 0 0 0 67599 79 0 0 25 0 3 0 108910531 611991552 144012 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 149412 144012 98 176 0 149234 0
[pid=22962/tid=22964] ppid=22960 vsize=597648 CPUtime=335.83
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 61790 0 0 0 33547 36 0 0 25 0 3 0 108911167 611991552 144012 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=597648 CPUtime=334.59
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 59167 0 0 0 33426 33 0 0 25 0 3 0 108911167 611991552 144012 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 676.78
Current children cumulated vsize (KiB) 597648

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.32 3/68 22965
/proc/meminfo: memFree=949152/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=659088 CPUtime=796.53
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 160668 0 0 0 79566 87 0 0 25 0 3 0 108910531 674906112 159326 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 164772 159326 98 176 0 164594 0
[pid=22962/tid=22964] ppid=22960 vsize=659088 CPUtime=395.81
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 70087 0 0 0 39540 41 0 0 25 0 3 0 108911167 674906112 159326 1992294400 134512640 135237372 4294956192 18446744073709551615 134562377 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=659088 CPUtime=394.35
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 66184 0 0 0 39399 36 0 0 25 0 3 0 108911167 674906112 159326 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 796.53
Current children cumulated vsize (KiB) 659088

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.36 3/68 22965
/proc/meminfo: memFree=896288/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=711568 CPUtime=916.27
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 173802 0 0 0 91532 95 0 0 25 0 3 0 108910531 728645632 172460 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 177892 172460 98 176 0 177714 0
[pid=22962/tid=22964] ppid=22960 vsize=711568 CPUtime=455.79
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 77620 0 0 0 45534 45 0 0 25 0 3 0 108911167 728645632 172460 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=711568 CPUtime=454.11
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 71785 0 0 0 45371 40 0 0 25 0 3 0 108911167 728645632 172460 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 916.27
Current children cumulated vsize (KiB) 711568

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.40 3/68 22965
/proc/meminfo: memFree=836768/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=771540 CPUtime=1036.02
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 188786 0 0 0 103497 105 0 0 25 0 3 0 108910531 790056960 187444 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 192885 187444 98 176 0 192707 0
[pid=22962/tid=22964] ppid=22960 vsize=771540 CPUtime=515.78
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 84192 0 0 0 51528 50 0 0 25 0 3 0 108911167 790056960 187444 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=771540 CPUtime=513.87
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 80197 0 0 0 51343 44 0 0 25 0 3 0 108911167 790056960 187444 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1036.02
Current children cumulated vsize (KiB) 771540

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.43 3/68 22965
/proc/meminfo: memFree=781088/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=826580 CPUtime=1155.76
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 202567 0 0 0 115462 114 0 0 25 0 3 0 108910531 846417920 201225 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 206645 201225 98 176 0 206467 0
[pid=22962/tid=22964] ppid=22960 vsize=826580 CPUtime=575.76
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 89965 0 0 0 57522 54 0 0 25 0 3 0 108911167 846417920 201225 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=826580 CPUtime=573.64
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 88205 0 0 0 57314 50 0 0 25 0 3 0 108911167 846417920 201225 1992294400 134512640 135237372 4294956192 18446744073709551615 134562416 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1155.76
Current children cumulated vsize (KiB) 826580

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 22965
/proc/meminfo: memFree=775264/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=832180 CPUtime=1168.53
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 203935 0 0 0 116739 114 0 0 25 0 3 0 108910531 852152320 202593 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 208045 202593 98 176 0 207867 0
[pid=22962/tid=22964] ppid=22960 vsize=832180 CPUtime=582.16
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 90578 0 0 0 58162 54 0 0 25 0 3 0 108911167 852152320 202593 1992294400 134512640 135237372 4294956192 18446744073709551615 134562287 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=832180 CPUtime=580.01
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 88960 0 0 0 57951 50 0 0 25 0 3 0 108911167 852152320 202593 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1168.53
Current children cumulated vsize (KiB) 832180

[startup+595.106 s]
/proc/loadavg: 1.99 1.85 1.44 3/68 22965
/proc/meminfo: memFree=769696/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=837460 CPUtime=1181.3
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 205278 0 0 0 118015 115 0 0 25 0 3 0 108910531 857559040 203936 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 209365 203936 98 176 0 209187 0
[pid=22962/tid=22964] ppid=22960 vsize=837460 CPUtime=588.55
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 91066 0 0 0 58801 54 0 0 25 0 3 0 108911167 857559040 203936 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=837460 CPUtime=586.39
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 89815 0 0 0 58588 51 0 0 25 0 3 0 108911167 857559040 203936 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.3
Current children cumulated vsize (KiB) 837460

[startup+601.502 s]
/proc/loadavg: 1.99 1.85 1.44 3/68 22965
/proc/meminfo: memFree=764832/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=843060 CPUtime=1194.08
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 206657 0 0 0 119292 116 0 0 25 0 3 0 108910531 863293440 205315 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 210765 205315 98 176 0 210587 0
[pid=22962/tid=22964] ppid=22960 vsize=843060 CPUtime=594.95
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 91636 0 0 0 59440 55 0 0 25 0 3 0 108911167 863293440 205316 1992294400 134512640 135237372 4294956192 18446744073709551615 134546034 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=843060 CPUtime=592.76
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 90625 0 0 0 59225 51 0 0 24 0 3 0 108911167 863293440 205316 1992294400 134512640 135237372 4294956192 18446744073709551615 134562300 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.08
Current children cumulated vsize (KiB) 843060

[startup+603.101 s]
/proc/loadavg: 1.99 1.85 1.44 3/68 22965
/proc/meminfo: memFree=762976/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=844340 CPUtime=1197.27
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 206994 0 0 0 119611 116 0 0 25 0 3 0 108910531 864604160 205652 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 211085 205652 98 176 0 210907 0
[pid=22962/tid=22964] ppid=22960 vsize=844340 CPUtime=596.55
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 91765 0 0 0 59600 55 0 0 25 0 3 0 108911167 864604160 205652 1992294400 134512640 135237372 4294956192 18446744073709551615 134562323 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=844340 CPUtime=594.35
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 90832 0 0 0 59384 51 0 0 25 0 3 0 108911167 864604160 205652 1992294400 134512640 135237372 4294956192 18446744073709551615 134565869 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.27
Current children cumulated vsize (KiB) 844340

[startup+603.906 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22965
/proc/meminfo: memFree=761888/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=845140 CPUtime=1198.87
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 207194 0 0 0 119771 116 0 0 25 0 3 0 108910531 865423360 205852 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 211285 205852 98 176 0 211107 0
[pid=22962/tid=22964] ppid=22960 vsize=845140 CPUtime=597.36
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 91851 0 0 0 59681 55 0 0 25 0 3 0 108911167 865423360 205852 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=845140 CPUtime=595.15
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 90946 0 0 0 59464 51 0 0 25 0 3 0 108911167 865423360 205852 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.87
Current children cumulated vsize (KiB) 845140

[startup+604.301 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22965
/proc/meminfo: memFree=761888/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=845460 CPUtime=1199.66
/proc/22962/stat : 22962 (ttsth-5-0) S 22960 22962 22829 0 -1 4194304 207291 0 0 0 119850 116 0 0 25 0 3 0 108910531 865751040 205949 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22962/statm: 211365 205949 98 176 0 211187 0
[pid=22962/tid=22964] ppid=22960 vsize=845460 CPUtime=597.75
/proc/22962/task/22964/stat : 22964 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 91891 0 0 0 59720 55 0 0 25 0 3 0 108911167 865751040 205949 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22962/tid=22965] ppid=22960 vsize=845460 CPUtime=595.55
/proc/22962/task/22965/stat : 22965 (ttsth-5-0) R 22960 22962 22829 0 -1 4194368 91003 0 0 0 59504 51 0 0 25 0 3 0 108911167 865751040 205949 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.66
Current children cumulated vsize (KiB) 845460

[startup+604.501 s]
/proc/loadavg: 1.99 1.85 1.45 3/68 22965
/proc/meminfo: memFree=761888/2055920 swapFree=4181508/4192956
[pid=22962] ppid=22960 vsize=0 CPUtime=1199.97
/proc/22962/stat : 22962 (ttsth-5-0) R 22960 22962 22829 0 -1 4195332 207322 0 0 0 119871 126 0 0 17 0 1 0 108910531 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/22962/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 604.525
CPU time (s): 1200
CPU user time (s): 1198.71
CPU system time (s): 1.2858
CPU usage (%): 198.503
Max. virtual memory (cumulated for all children) (KiB): 845780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.71
system time used= 1.2858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207322
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= 9145

runsolver used 0.564914 second user time and 1.65075 second system time

The end

Launcher Data 

Begin job on node86 at 2009-04-27 07:06:49
IDJOB=1735986
IDBENCH=71564
IDSOLVER=549
FILE ID=node86/1735986-1240808809
PBS_JOBID= 9187426
Free space on /tmp= 66324 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2640c305320gyes8.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1735986-1240808809/watcher-1735986-1240808809 -o /tmp/evaluation-result-1735986-1240808809/solver-1735986-1240808809 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1735986-1240808809.cnf

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

MD5SUM BENCH= 930a5df7b1f1625c5486319e8b2ac554
RANDOM SEED=1095798792

node86.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.213
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.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1587472 kB
Buffers:         61180 kB
Cached:         328864 kB
SwapCached:       5376 kB
Active:         128964 kB
Inactive:       269536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1587472 kB
SwapTotal:     4192956 kB
SwapFree:      4181508 kB
Dirty:            4748 kB
Writeback:           0 kB
Mapped:          14080 kB
Slab:            55860 kB
Committed_AS:   464056 kB
PageTables:       1464 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= 66324 MiB
End job on node86 at 2009-04-27 07:16:54