Trace number 1531264

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.95 607.665

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
MD5SUMf485347639f83ec94bb8d93787135581
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.0391
Satisfiable
(Un)Satisfiability was proved
Number of variables18000
Number of clauses75600
Sum of the clauses size226800
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 375600
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.18	c Command: HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531264-1238407184.cnf 
0.09/0.18	c Using SATTIMEOUT of 1200
0.09/0.18	c Using SATRAM of 1800
0.09/0.18	c Size of subset node = 16
0.09/0.18	c Variables = 18000
0.09/0.18	c Clauses = 75600
0.09/0.18	c Literals = 226800
0.09/0.18	c Reduced size:
0.09/0.18	c Variables = 18000
0.09/0.18	c Clauses = 75138
0.09/0.18	c Literals = 225414
0.09/0.18	c a2
0.49/0.50	c a1
11.38/11.42	c Independent sub-problems = 1
11.38/11.42	c Sub-problem with 17930 variables and 75138 clauses
11.38/11.42	c using permutation method 4
11.38/11.42	c count = 1
11.38/11.42	c Ordering finished 11.370 seconds
11.38/11.42	c mapped 11.410 seconds
11.38/11.42	c permuted 11.410 seconds
11.38/11.42	c about to sort
11.38/11.46	c sorted
12.10/12.16	c clauses now 75138
12.10/12.16	c init finished 11.560 seconds
12.10/12.16	c tree built 12.160 seconds
12.10/12.16	c 
12.10/12.16	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
12.10/12.16	c ---------------------------------|----------------------------------|------------------------------------------------------
12.10/12.16	c ................................ | ..........                       |                       12.2           0.0             
12.10/12.16	c ................................ | ..........                     1 |                       12.2           0.1             
12.10/12.16	c ................................ | ..........                     2 |                       12.2           0.2             
12.10/12.16	c ................................ | ..........                     3 |                       12.2           0.2             
12.10/12.16	c ................................ | ..........                     4 |                       12.2           0.3             
12.10/12.16	c ................................ | ..........                     5 |                       12.2           0.4             
12.10/12.17	c ................................ | ..........                  1000 |                       12.2          82.2             
23.99/18.10	c ................................ | ..........                444000 | 20035                 24.0       18500.0        35548
47.92/30.13	c ................................ | ..........               1102000 | 65201                 48.0       22958.3       318699
72.07/42.20	c ................................ | ..........               1741000 | 114363                72.1       24153.7       515185
95.80/54.19	c ................................ | ..........               2277000 | 159181                96.0       23716.3       901375
119.94/66.23	c ................................ | *.........               2644000 | 195122               120.0       22027.8      1599539
143.86/78.26	c ................................ | *.........               2995000 | 228997               144.0       20797.2      2171920
167.80/90.29	c ................................ | *.........               3415000 | 268487               168.0       20326.2      2596559
192.13/102.41	c ................................ | *.........               3625000 | 290860               192.2       18863.5      3491627
216.08/114.45	c ................................ | *.........               3776000 | 306024               216.2       17465.3      4803803
240.22/126.54	c ................................ | **........               3911000 | 320742               240.3       16273.5      5528793
263.95/138.46	c ................................ | **........               4071000 | 336962               264.1       15414.0      6298645
287.88/150.46	c ................................ | **........               4242000 | 357149               288.1       14726.6      7135349
312.02/162.51	c ................................ | **........               4342000 | 369500               312.1       13912.7      8473752
336.36/174.79	c ................................ | **........               4381000 | 374367               336.6       13015.8      9824683
359.90/186.56	c ................................ | ***.......               4506000 | 387439               360.1       12514.2     11075010
384.23/198.80	c ................................ | ***.......               4612000 | 397533               384.5       11995.1     11696691
408.16/210.70	c ................................ | ***.......               4667000 | 403940               408.2       11431.7     12279616
431.90/222.64	c ................................ | ***.......               4747000 | 413807               432.1       10986.9     12807472
456.04/234.71	c ................................ | ***.......               4930000 | 432747               456.1       10808.1     13153617
479.78/246.69	c ................................ | ****......               5168000 | 457747               480.1       10765.5     13411991
504.11/258.85	c ................................ | ****......               5320000 | 474822               504.3       10549.3     13954293
527.85/270.73	c ................................ | ****......               5458000 | 488293               528.0       10337.1     14541352
551.99/282.86	c ................................ | ****......               5655000 | 510290               552.2       10241.0     14938372
576.12/294.90	c ................................ | ****......               5846000 | 530786               576.2       10145.3     15322080
600.08/306.93	c ................................ | *****.....               5990000 | 546857               600.2        9979.7     15849741
623.81/318.86	c ................................ | *****.....               6156000 | 564528               624.0        9865.1     16444319
647.94/330.95	c ................................ | *****.....               6278000 | 578061               648.2        9685.9     17544277
671.88/342.93	c ................................ | *****.....               6380000 | 590068               672.0        9493.3     18701758
696.02/355.01	c ................................ | *****.....               6528000 | 606192               696.1        9377.4     19094549
720.15/367.14	c ................................ | ******....               6644000 | 619231               720.4        9223.3     19638378
744.29/379.24	c ................................ | ******....               6716000 | 628128               744.5        9020.8     20295147
767.83/391.06	c ................................ | ******....               6877000 | 644041               768.1        8953.5     20792463
791.76/403.05	c ................................ | ******....               7007000 | 658648               792.0        8847.2     21327416
815.90/415.14	c ................................ | ******....               7142000 | 674005               816.1        8751.3     21743599
840.05/427.21	c ................................ | *******...               7294000 | 688743               840.2        8681.4     22247790
863.97/439.22	c ................................ | *******...               7434000 | 703140               864.1        8602.7     22857802
887.92/451.20	c ................................ | *******...               7625000 | 722934               888.1        8586.1     23249629
911.85/463.20	c ................................ | *******...               7799000 | 741032               912.0        8551.5     23618531
935.99/475.33	c ................................ | *******...               7882000 | 751110               936.2        8419.2     23970222
960.33/487.59	c ................................ | ********..               7950000 | 760143               960.7        8275.5     24496575
984.26/499.53	c ................................ | ********..               8033000 | 771007               984.5        8159.6     25111983
1008.02/511.41	c ................................ | ********..               8097000 | 779147              1008.2        8031.2     25698374
1031.95/523.42	c ................................ | ********..               8152000 | 786142              1032.2        7898.1     25996923
1056.08/535.50	c ................................ | ********..               8207000 | 793188              1056.3        7769.9     26287010
1080.21/547.62	c ................................ | *********.               8250000 | 798675              1080.4        7635.8     26683291
1103.76/559.46	c ................................ | *********.               8300000 | 805037              1104.0        7517.8     27141045
1127.70/571.48	c ................................ | *********.               8397000 | 816928              1128.0        7443.9     27493407
1151.83/583.58	c ................................ | *********.               8595000 | 837127              1152.2        7459.8     27790323
1175.97/595.66	c ................................ | *********.               8703000 | 850449              1176.3        7398.8     28300576
1199.71/607.57	c CPU limit (1200) reached
1199.71/607.57	c Time = 1200.04 seconds
1199.71/607.57	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-1531264-1238407184/watcher-1531264-1238407184 -o /tmp/evaluation-result-1531264-1238407184/solver-1531264-1238407184 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531264-1238407184.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.99 0.97 0.98 3/80 27577
/proc/meminfo: memFree=1420704/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=1064 CPUtime=0
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 1113382303 1089536 128 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 266 129 77 176 0 88 0

[startup+0.058053 s]
/proc/loadavg: 0.99 0.97 0.98 3/80 27577
/proc/meminfo: memFree=1420704/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=2680 CPUtime=0.05
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 554 0 0 0 5 0 0 0 18 0 1 0 1113382303 2744320 538 1992294400 134512640 135237372 4294956192 18446744073709551615 134639534 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 670 539 78 176 0 492 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2680

[startup+0.102057 s]
/proc/loadavg: 0.99 0.97 0.98 3/80 27577
/proc/meminfo: memFree=1420704/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=4080 CPUtime=0.09
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 902 0 0 0 9 0 0 0 18 0 1 0 1113382303 4177920 886 1992294400 134512640 135237372 4294956192 18446744073709551615 134732614 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 1020 887 78 176 0 842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4080

[startup+0.302077 s]
/proc/loadavg: 0.99 0.97 0.98 3/80 27577
/proc/meminfo: memFree=1420704/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=12208 CPUtime=0.29
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 2889 0 0 0 28 1 0 0 19 0 1 0 1113382303 12500992 2873 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 3052 2873 79 176 0 2874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12208

[startup+0.701119 s]
/proc/loadavg: 0.99 0.97 0.98 3/80 27577
/proc/meminfo: memFree=1420704/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=14196 CPUtime=0.69
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 3564 0 0 0 68 1 0 0 22 0 1 0 1113382303 14536704 3400 1992294400 134512640 135237372 4294956192 18446744073709551615 134730554 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 3549 3401 80 176 0 3371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14196

[startup+1.5012 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 27578
/proc/meminfo: memFree=1405656/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=15912 CPUtime=1.49
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 3994 0 0 0 148 1 0 0 25 0 1 0 1113382303 16293888 3830 1992294400 134512640 135237372 4294956192 18446744073709551615 134555272 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 3978 3830 80 176 0 3800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15912

[startup+3.10137 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 27578
/proc/meminfo: memFree=1405400/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=16048 CPUtime=3.09
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 4002 0 0 0 308 1 0 0 25 0 1 0 1113382303 16433152 3838 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 4012 3838 80 176 0 3834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16048

[startup+6.3017 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 27578
/proc/meminfo: memFree=1405272/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=16048 CPUtime=6.29
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4194304 4021 0 0 0 628 1 0 0 25 0 1 0 1113382303 16433152 3857 1992294400 134512640 135237372 4294956192 18446744073709551615 134555279 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 4012 3857 80 176 0 3834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16048

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.98 2/81 27578
/proc/meminfo: memFree=1362784/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=85964 CPUtime=13.22
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 16448 0 0 0 1316 6 0 0 25 0 3 0 1113382303 88027136 16210 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 21491 16210 98 176 0 21313 0
Current children cumulated CPU time (s) 13.22
Current children cumulated vsize (KiB) 85964

[startup+25.5027 s]
/proc/loadavg: 1.15 1.00 0.99 3/83 27580
/proc/meminfo: memFree=1350928/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=89512 CPUtime=38.75
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 17680 0 0 0 3867 8 0 0 25 0 3 0 1113382303 91660288 17442 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 22378 17442 98 176 0 22200 0
[pid=27577/tid=27579] ppid=27575 vsize=89512 CPUtime=13.32
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 986 0 0 0 1331 1 0 0 25 0 3 0 1113383520 91660288 17442 1992294400 134512640 135237372 4294956192 18446744073709551615 134589646 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=89512 CPUtime=13.26
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 622 0 0 0 1326 0 0 0 25 0 3 0 1113383520 91660288 17442 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.75
Current children cumulated vsize (KiB) 89512

[startup+51.1024 s]
/proc/loadavg: 1.48 1.10 1.02 3/83 27580
/proc/meminfo: memFree=1337872/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=103176 CPUtime=89.82
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 21090 0 0 0 8970 12 0 0 25 0 3 0 1113382303 105652224 20851 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 25794 20851 98 176 0 25616 0
[pid=27577/tid=27579] ppid=27575 vsize=103176 CPUtime=38.92
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 3760 0 0 0 3888 4 0 0 25 0 3 0 1113383520 105652224 20851 1992294400 134512640 135237372 4294956192 18446744073709551615 134680308 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=103176 CPUtime=38.73
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 1258 0 0 0 3872 1 0 0 25 0 3 0 1113383520 105652224 20851 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.82
Current children cumulated vsize (KiB) 103176

[startup+102.308 s]
/proc/loadavg: 1.77 1.23 1.07 3/83 27586
/proc/meminfo: memFree=1293520/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=149412 CPUtime=191.94
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 32084 0 0 0 19173 21 0 0 25 0 3 0 1113382303 152997888 31845 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 37353 31845 98 176 0 37175 0
[pid=27577/tid=27579] ppid=27575 vsize=149412 CPUtime=90.09
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 13175 0 0 0 8998 11 0 0 25 0 3 0 1113383520 152997888 31845 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=149412 CPUtime=89.68
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 2837 0 0 0 8964 4 0 0 25 0 3 0 1113383520 152997888 31845 1992294400 134512640 135237372 4294956192 18446744073709551615 134683146 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.94
Current children cumulated vsize (KiB) 149412

[startup+162.303 s]
/proc/loadavg: 1.91 1.37 1.13 3/83 27586
/proc/meminfo: memFree=1212560/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=234052 CPUtime=311.62
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 52485 0 0 0 31129 33 0 0 25 0 3 0 1113382303 239669248 52246 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 58513 52246 98 176 0 58335 0
[pid=27577/tid=27579] ppid=27575 vsize=234052 CPUtime=150.06
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 30056 0 0 0 14987 19 0 0 25 0 3 0 1113383520 239669248 52246 1992294400 134512640 135237372 4294956192 18446744073709551615 134561682 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=234052 CPUtime=149.38
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 6357 0 0 0 14931 7 0 0 25 0 3 0 1113383520 239669248 52246 1992294400 134512640 135237372 4294956192 18446744073709551615 134592007 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 311.62
Current children cumulated vsize (KiB) 234052

[startup+222.302 s]
/proc/loadavg: 1.97 1.48 1.18 3/83 27586
/proc/meminfo: memFree=1142224/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=303616 CPUtime=431.31
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 69700 0 0 0 43087 44 0 0 25 0 3 0 1113382303 310902784 69461 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 75904 69461 98 176 0 75726 0
[pid=27577/tid=27579] ppid=27575 vsize=303616 CPUtime=210.05
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 44786 0 0 0 20977 28 0 0 25 0 3 0 1113383520 310902784 69461 1992294400 134512640 135237372 4294956192 18446744073709551615 134591122 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=303616 CPUtime=209.08
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 8842 0 0 0 20900 8 0 0 25 0 3 0 1113383520 310902784 69461 1992294400 134512640 135237372 4294956192 18446744073709551615 134592970 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 431.31
Current children cumulated vsize (KiB) 303616

[startup+282.302 s]
/proc/loadavg: 1.99 1.57 1.23 3/83 27586
/proc/meminfo: memFree=1109840/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=337664 CPUtime=551
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 78039 0 0 0 55048 52 0 0 25 0 3 0 1113382303 345767936 77800 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 84416 77800 98 176 0 84238 0
[pid=27577/tid=27579] ppid=27575 vsize=337664 CPUtime=270.03
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 51645 0 0 0 26969 34 0 0 25 0 3 0 1113383520 345767936 77800 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=337664 CPUtime=268.78
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 10322 0 0 0 26868 10 0 0 25 0 3 0 1113383520 345767936 77800 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 551
Current children cumulated vsize (KiB) 337664

[startup+342.303 s]
/proc/loadavg: 1.99 1.65 1.28 3/83 27586
/proc/meminfo: memFree=1049552/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=399204 CPUtime=670.68
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 92990 0 0 0 67006 62 0 0 25 0 3 0 1113382303 408784896 92751 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 99801 92751 98 176 0 99623 0
[pid=27577/tid=27579] ppid=27575 vsize=399204 CPUtime=330.01
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 64548 0 0 0 32959 42 0 0 25 0 3 0 1113383520 408784896 92751 1992294400 134512640 135237372 4294956192 18446744073709551615 134680503 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=399204 CPUtime=328.49
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 12370 0 0 0 32836 13 0 0 25 0 3 0 1113383520 408784896 92751 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 670.68
Current children cumulated vsize (KiB) 399204

[startup+402.303 s]
/proc/loadavg: 1.99 1.71 1.32 3/83 27586
/proc/meminfo: memFree=1008272/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=441908 CPUtime=790.37
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 103306 0 0 0 78967 70 0 0 25 0 3 0 1113382303 452513792 103067 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 110477 103067 98 176 0 110299 0
[pid=27577/tid=27579] ppid=27575 vsize=441908 CPUtime=390.01
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 72608 0 0 0 38953 48 0 0 25 0 3 0 1113383520 452513792 103067 1992294400 134512640 135237372 4294956192 18446744073709551615 134591983 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=441908 CPUtime=388.2
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 14626 0 0 0 38804 16 0 0 25 0 3 0 1113383520 452513792 103067 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 790.37
Current children cumulated vsize (KiB) 441908

[startup+462.302 s]
/proc/loadavg: 1.99 1.76 1.36 3/83 27586
/proc/meminfo: memFree=971984/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=478416 CPUtime=910.06
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 112296 0 0 0 90928 78 0 0 25 0 3 0 1113382303 489897984 112057 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 119604 112057 98 176 0 119426 0
[pid=27577/tid=27579] ppid=27575 vsize=478416 CPUtime=449.99
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 79762 0 0 0 44946 53 0 0 25 0 3 0 1113383520 489897984 112057 1992294400 134512640 135237372 4294956192 18446744073709551615 134562401 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=478416 CPUtime=447.9
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 16462 0 0 0 44772 18 0 0 25 0 3 0 1113383520 489897984 112057 1992294400 134512640 135237372 4294956192 18446744073709551615 134550989 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 910.06
Current children cumulated vsize (KiB) 478416

[startup+522.302 s]
/proc/loadavg: 1.99 1.80 1.39 3/83 27586
/proc/meminfo: memFree=934288/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=517432 CPUtime=1029.76
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 121733 0 0 0 102891 85 0 0 25 0 3 0 1113382303 529850368 121494 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 129358 121494 98 176 0 129180 0
[pid=27577/tid=27579] ppid=27575 vsize=517432 CPUtime=509.97
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 87167 0 0 0 50939 58 0 0 25 0 3 0 1113383520 529850368 121494 1992294400 134512640 135237372 4294956192 18446744073709551615 134562287 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=517432 CPUtime=507.61
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 18494 0 0 0 50741 20 0 0 25 0 3 0 1113383520 529850368 121494 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1029.76
Current children cumulated vsize (KiB) 517432

[startup+582.303 s]
/proc/loadavg: 1.99 1.83 1.43 3/83 27586
/proc/meminfo: memFree=905744/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=546748 CPUtime=1149.43
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 128778 0 0 0 114854 89 0 0 25 0 3 0 1113382303 559869952 128539 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 136687 128539 98 176 0 136509 0
[pid=27577/tid=27579] ppid=27575 vsize=546748 CPUtime=569.96
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 92257 0 0 0 56935 61 0 0 25 0 3 0 1113383520 559869952 128539 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=546748 CPUtime=567.31
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 20449 0 0 0 56709 22 0 0 25 0 3 0 1113383520 559869952 128539 1992294400 134512640 135237372 4294956192 18446744073709551615 134562338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1149.43
Current children cumulated vsize (KiB) 546748

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

[startup+588.702 s]
/proc/loadavg: 1.99 1.84 1.43 3/83 27586
/proc/meminfo: memFree=902544/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=550672 CPUtime=1162.2
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 129706 0 0 0 116130 90 0 0 25 0 3 0 1113382303 563888128 129467 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 137668 129467 98 176 0 137490 0
[pid=27577/tid=27579] ppid=27575 vsize=550672 CPUtime=576.35
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 93001 0 0 0 57574 61 0 0 25 0 3 0 1113383520 563888128 129467 1992294400 134512640 135237372 4294956192 18446744073709551615 134749343 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=550672 CPUtime=573.67
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 20633 0 0 0 57345 22 0 0 25 0 3 0 1113383520 563888128 129467 1992294400 134512640 135237372 4294956192 18446744073709551615 134749351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.2
Current children cumulated vsize (KiB) 550672

[startup+595.106 s]
/proc/loadavg: 1.99 1.84 1.43 3/83 27586
/proc/meminfo: memFree=897616/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=555288 CPUtime=1174.98
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 130783 0 0 0 117407 91 0 0 25 0 3 0 1113382303 568614912 130544 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 138822 130544 98 176 0 138644 0
[pid=27577/tid=27579] ppid=27575 vsize=555288 CPUtime=582.76
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 93897 0 0 0 58214 62 0 0 25 0 3 0 1113383520 568614912 130544 1992294400 134512640 135237372 4294956192 18446744073709551615 134680262 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=555288 CPUtime=580.04
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 20814 0 0 0 57982 22 0 0 25 0 3 0 1113383520 568614912 130544 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1174.98
Current children cumulated vsize (KiB) 555288

[startup+601.502 s]
/proc/loadavg: 1.99 1.84 1.44 3/83 27586
/proc/meminfo: memFree=893200/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=559908 CPUtime=1187.74
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 131875 0 0 0 118682 92 0 0 25 0 3 0 1113382303 573345792 131636 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 139977 131636 98 176 0 139799 0
[pid=27577/tid=27579] ppid=27575 vsize=559908 CPUtime=589.15
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 94795 0 0 0 58852 63 0 0 25 0 3 0 1113383520 573345792 131636 1992294400 134512640 135237372 4294956192 18446744073709551615 134562344 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=559908 CPUtime=586.41
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 21008 0 0 0 58619 22 0 0 25 0 3 0 1113383520 573345792 131636 1992294400 134512640 135237372 4294956192 18446744073709551615 134589509 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1187.74
Current children cumulated vsize (KiB) 559908

[startup+604.701 s]
/proc/loadavg: 1.99 1.84 1.44 3/83 27586
/proc/meminfo: memFree=891088/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=562664 CPUtime=1194.12
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 132454 0 0 0 119319 93 0 0 25 0 3 0 1113382303 576167936 132215 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 140666 132215 98 176 0 140488 0
[pid=27577/tid=27579] ppid=27575 vsize=562664 CPUtime=592.34
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 95222 0 0 0 59171 63 0 0 25 0 3 0 1113383520 576167936 132215 1992294400 134512640 135237372 4294956192 18446744073709551615 134562407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=562664 CPUtime=589.6
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 21160 0 0 0 58937 23 0 0 25 0 3 0 1113383520 576167936 132215 1992294400 134512640 135237372 4294956192 18446744073709551615 134587952 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1194.12
Current children cumulated vsize (KiB) 562664

[startup+606.302 s]
/proc/loadavg: 1.99 1.85 1.44 3/83 27586
/proc/meminfo: memFree=890000/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=563444 CPUtime=1197.31
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 132732 0 0 0 119638 93 0 0 25 0 3 0 1113382303 576966656 132493 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 140861 132493 98 176 0 140683 0
[pid=27577/tid=27579] ppid=27575 vsize=563444 CPUtime=593.95
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 95418 0 0 0 59331 64 0 0 25 0 3 0 1113383520 576966656 132493 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=563444 CPUtime=591.19
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 21242 0 0 0 59096 23 0 0 25 0 3 0 1113383520 576966656 132493 1992294400 134512640 135237372 4294956192 18446744073709551615 134562363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.31
Current children cumulated vsize (KiB) 563444

[startup+607.102 s]
/proc/loadavg: 1.99 1.85 1.44 3/83 27586
/proc/meminfo: memFree=888528/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=564540 CPUtime=1198.92
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 133020 0 0 0 119798 94 0 0 25 0 3 0 1113382303 578088960 132781 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 141135 132781 98 176 0 140957 0
[pid=27577/tid=27579] ppid=27575 vsize=564540 CPUtime=594.75
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 95681 0 0 0 59411 64 0 0 25 0 3 0 1113383520 578088960 132781 1992294400 134512640 135237372 4294956192 18446744073709551615 134562341 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=564540 CPUtime=591.99
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 21267 0 0 0 59176 23 0 0 25 0 3 0 1113383520 578088960 132781 1992294400 134512640 135237372 4294956192 18446744073709551615 134592489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1198.92
Current children cumulated vsize (KiB) 564540

[startup+607.502 s]
/proc/loadavg: 1.99 1.85 1.44 3/83 27586
/proc/meminfo: memFree=888528/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=564696 CPUtime=1199.71
/proc/27577/stat : 27577 (ttsth-5-0) S 27575 27577 27200 0 -1 4194304 133061 0 0 0 119877 94 0 0 25 0 3 0 1113382303 578248704 132822 1992294400 134512640 135237372 4294956192 18446744073709551615 134629544 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27577/statm: 141174 132822 98 176 0 140996 0
[pid=27577/tid=27579] ppid=27575 vsize=564696 CPUtime=595.15
/proc/27577/task/27579/stat : 27579 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 95709 0 0 0 59451 64 0 0 25 0 3 0 1113383520 578248704 132822 1992294400 134512640 135237372 4294956192 18446744073709551615 134562399 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27577/tid=27580] ppid=27575 vsize=564696 CPUtime=592.39
/proc/27577/task/27580/stat : 27580 (ttsth-5-0) R 27575 27577 27200 0 -1 4194368 21280 0 0 0 59216 23 0 0 25 0 3 0 1113383520 578248704 132822 1992294400 134512640 135237372 4294956192 18446744073709551615 134562309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1199.71
Current children cumulated vsize (KiB) 564696

[startup+607.602 s]
/proc/loadavg: 1.99 1.85 1.44 3/83 27586
/proc/meminfo: memFree=888528/2055912 swapFree=4170680/4192956
[pid=27577] ppid=27575 vsize=0 CPUtime=1199.88
/proc/27577/stat : 27577 (ttsth-5-0) R 27575 27577 27200 0 -1 4195332 133077 0 0 0 119892 96 0 0 17 0 1 0 1113382303 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/27577/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.88
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 607.665
CPU time (s): 1199.95
CPU user time (s): 1198.92
CPU system time (s): 1.02984
CPU usage (%): 197.47
Max. virtual memory (cumulated for all children) (KiB): 564696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.92
system time used= 1.02984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133077
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= 16
involuntary context switches= 9199

runsolver used 0.684895 second user time and 2.09168 second system time

The end

Launcher Data 

Begin job on node78 at 2009-03-30 11:59:44
IDJOB=1531264
IDBENCH=70361
IDSOLVER=549
FILE ID=node78/1531264-1238407184
PBS_JOBID= 9061402
Free space on /tmp= 126872 MiB

SOLVER NAME= ttsth-5-0 2009-03-19
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1531264-1238407184/watcher-1531264-1238407184 -o /tmp/evaluation-result-1531264-1238407184/solver-1531264-1238407184 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/ttsth-5-0 -num-threads 2 HOME/instance-1531264-1238407184.cnf

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

MD5SUM BENCH= f485347639f83ec94bb8d93787135581
RANDOM SEED=1743342047

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055912 kB
MemFree:       1421184 kB
Buffers:         86320 kB
Cached:         458432 kB
SwapCached:       7748 kB
Active:         245496 kB
Inactive:       309732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1421184 kB
SwapTotal:     4192956 kB
SwapFree:      4170680 kB
Dirty:            2268 kB
Writeback:           0 kB
Mapped:          16100 kB
Slab:            63700 kB
Committed_AS:  2545212 kB
PageTables:       2556 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= 126872 MiB
End job on node78 at 2009-03-30 12:09:52