Trace number 2082484

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
pcs-restart 0.3.2SAT 580.944 583.367

DiagnosticValue
ASSIGNMENTS61104

General information on the benchmark

Namecsp/rand-8-20-5/
normalized-rand-8-20-5-18-800-18_ext.xml
MD5SUM1200f5c145087e54f9d054527a898e22
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.53631
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.13/0.26	c small-domain mode
0.13/0.26	c Seed is 833025507
0.13/0.26	c Constructing HOME/instance-2082484-1247721284.xml  with 18 constraints
7.45/7.53	c Solving 61104 backtracks 18 restarts
580.86/583.36	s SATISFIABLE
580.86/583.36	c V0=2, V1=0, V2=4, V3=4, V4=1, V5=3, V6=0, V7=1, V8=1, V9=1, V10=1, V11=2, V12=0, V13=3, V14=2, V15=2, V16=0, V17=2, V18=2, V19=2, 
580.86/583.36	v 2 0 4 4 1 3 0 1 1 1 1 2 0 3 2 2 0 2 2 2 
580.86/583.36	d ASSIGNMENTS 61104

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082484-1247721284/watcher-2082484-1247721284 -o /tmp/evaluation-result-2082484-1247721284/solver-2082484-1247721284 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 833025507 HOME/instance-2082484-1247721284.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 15332
/proc/meminfo: memFree=1361192/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=5356 CPUtime=0.06
/proc/15332/stat : 15332 (pcssolve) S 15330 15332 13305 0 -1 4194304 339 1332 0 0 0 0 3 3 17 0 1 0 59193851 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15332/statm: 1339 242 201 169 0 50 0
[pid=15335] ppid=15332 vsize=4200 CPUtime=0
/proc/15335/stat : 15335 (fgrep) R 15332 15332 13305 0 -1 4194304 399 0 0 0 0 0 0 0 18 0 1 0 59193858 4300800 269 996147200 4194304 4274172 548682068976 18446744073709551615 4208903 0 0 4096 0 0 0 0 17 1 0 0
/proc/15335/statm: 1050 269 94 19 0 174 0
[pid=15336] ppid=15332 vsize=5356 CPUtime=0
/proc/15336/stat : 15336 (pcssolve) R 15332 15332 13305 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 59193858 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 240153849127 0 0 4096 0 0 0 0 17 1 0 0
/proc/15336/statm: 1339 244 203 169 0 50 0

[startup+0.175911 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 15332
/proc/meminfo: memFree=1361192/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=5356 CPUtime=0.13
/proc/15332/stat : 15332 (pcssolve) S 15330 15332 13305 0 -1 4194304 367 2678 0 0 0 0 7 6 16 0 1 0 59193851 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15332/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356

[startup+0.20192 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 15332
/proc/meminfo: memFree=1361192/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=5356 CPUtime=0.13
/proc/15332/stat : 15332 (pcssolve) S 15330 15332 13305 0 -1 4194304 367 2678 0 0 0 0 7 6 16 0 1 0 59193851 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15332/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356

[startup+0.301931 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 15332
/proc/meminfo: memFree=1361192/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=5948 CPUtime=0.28
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 1003 3866 0 0 3 0 16 9 16 0 1 0 59193851 6090752 612 996147200 134512640 135095119 4294956304 18446744073709551615 4159729144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 1487 612 361 142 0 441 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5948

[startup+0.702012 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 15332
/proc/meminfo: memFree=1361192/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=11972 CPUtime=0.68
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 2980 3866 0 0 42 1 16 9 20 0 1 0 59193851 12259328 1867 996147200 134512640 135095119 4294956304 18446744073709551615 134739568 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 2993 1867 375 142 0 1947 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11972

[startup+1.50117 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 15338
/proc/meminfo: memFree=1350416/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=22100 CPUtime=1.48
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 5605 3866 0 0 120 3 16 9 25 0 1 0 59193851 22630400 3486 996147200 134512640 135095119 4294956304 18446744073709551615 134741468 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 5525 3486 375 142 0 4479 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22100

[startup+3.10161 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 15338
/proc/meminfo: memFree=1342608/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=40512 CPUtime=3.07
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 10397 3866 0 0 276 6 16 9 25 0 1 0 59193851 41484288 6266 996147200 134512640 135095119 4294956304 18446744073709551615 134741532 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 10128 6266 375 142 0 9082 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 40512

[startup+6.30108 s]
/proc/loadavg: 2.01 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1320464/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=75780 CPUtime=6.25
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 19958 3866 0 0 589 11 16 9 25 0 1 0 59193851 77598720 11850 996147200 134512640 135095119 4294956304 18446744073709551615 134934201 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 18945 11850 375 142 0 17899 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 75780

[startup+12.7013 s]
/proc/loadavg: 2.01 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1306592/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=58100 CPUtime=12.63
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 23565 3866 0 0 1225 13 16 9 25 0 1 0 59193851 59494400 13873 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 14525 13873 389 142 0 13479 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 58100

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1306464/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=58100 CPUtime=25.37
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 23565 3866 0 0 2499 13 16 9 25 0 1 0 59193851 59494400 13873 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 14525 13873 389 142 0 13479 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 58100

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1306016/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=58100 CPUtime=50.86
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 23565 3866 0 0 5048 13 16 9 25 0 1 0 59193851 59494400 13873 996147200 134512640 135095119 4294956304 18446744073709551615 134619427 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 14525 13873 389 142 0 13479 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 58100

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1304032/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=59128 CPUtime=101.84
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 23700 3866 0 0 10146 13 16 9 25 0 1 0 59193851 60547072 14008 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 14782 14008 389 142 0 13736 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 59128

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1301920/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=59128 CPUtime=161.59
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 23786 3866 0 0 16121 13 16 9 25 0 1 0 59193851 60547072 14094 996147200 134512640 135095119 4294956304 18446744073709551615 134918267 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 14782 14094 389 142 0 13736 0
Current children cumulated CPU time (s) 161.59
Current children cumulated vsize (KiB) 59128

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1298528/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=61180 CPUtime=221.35
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 24328 3866 0 0 22096 14 16 9 25 0 1 0 59193851 62648320 14379 996147200 134512640 135095119 4294956304 18446744073709551615 134837921 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 15295 14379 389 142 0 14249 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 61180

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1295520/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=61968 CPUtime=281.09
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 24664 3866 0 0 28070 14 16 9 25 0 1 0 59193851 63455232 14715 996147200 134512640 135095119 4294956304 18446744073709551615 134918224 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 15492 14715 389 142 0 14446 0
Current children cumulated CPU time (s) 281.09
Current children cumulated vsize (KiB) 61968

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1289184/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=65228 CPUtime=340.84
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 25615 3866 0 0 34044 15 16 9 25 0 1 0 59193851 66793472 15409 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 16307 15409 389 142 0 15261 0
Current children cumulated CPU time (s) 340.84
Current children cumulated vsize (KiB) 65228

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1285792/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=67276 CPUtime=400.61
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 26254 3866 0 0 40020 16 16 9 25 0 1 0 59193851 68890624 15535 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 16819 15535 389 142 0 15773 0
Current children cumulated CPU time (s) 400.61
Current children cumulated vsize (KiB) 67276

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1282080/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=68056 CPUtime=460.35
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 26573 3866 0 0 45994 16 16 9 25 0 1 0 59193851 69689344 15854 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 17014 15854 389 142 0 15968 0
Current children cumulated CPU time (s) 460.35
Current children cumulated vsize (KiB) 68056

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1276512/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=69104 CPUtime=520.11
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 26961 3866 0 0 51969 17 16 9 25 0 1 0 59193851 70762496 16242 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 17276 16242 389 142 0 16230 0
Current children cumulated CPU time (s) 520.11
Current children cumulated vsize (KiB) 69104

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1270688/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=70152 CPUtime=579.87
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 27362 3866 0 0 57944 18 16 9 25 0 1 0 59193851 71835648 16643 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 17538 16643 389 142 0 16492 0
Current children cumulated CPU time (s) 579.87
Current children cumulated vsize (KiB) 70152

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

[startup+582.402 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1270688/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=70152 CPUtime=579.97
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 27362 3866 0 0 57954 18 16 9 25 0 1 0 59193851 71835648 16643 996147200 134512640 135095119 4294956304 18446744073709551615 134918233 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 17538 16643 389 142 0 16492 0
Current children cumulated CPU time (s) 579.97
Current children cumulated vsize (KiB) 70152

[startup+582.802 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1270688/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=70152 CPUtime=580.37
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 27364 3866 0 0 57994 18 16 9 25 0 1 0 59193851 71835648 16645 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 17538 16645 389 142 0 16492 0
Current children cumulated CPU time (s) 580.37
Current children cumulated vsize (KiB) 70152

[startup+583.201 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1270688/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=70152 CPUtime=580.76
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 27367 3866 0 0 58033 18 16 9 25 0 1 0 59193851 71835648 16648 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 17538 16648 389 142 0 16492 0
Current children cumulated CPU time (s) 580.76
Current children cumulated vsize (KiB) 70152

[startup+583.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15338
/proc/meminfo: memFree=1270688/2055920 swapFree=4192812/4192956
[pid=15332] ppid=15330 vsize=70152 CPUtime=580.86
/proc/15332/stat : 15332 (pcs.small) R 15330 15332 13305 0 -1 4194304 27368 3866 0 0 58043 18 16 9 25 0 1 0 59193851 71835648 16649 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/15332/statm: 17538 16649 389 142 0 16492 0
Current children cumulated CPU time (s) 580.86
Current children cumulated vsize (KiB) 70152

Child status: 0
Real time (s): 583.367
CPU time (s): 580.944
CPU user time (s): 580.654
CPU system time (s): 0.289955
CPU usage (%): 99.5846
Max. virtual memory (cumulated for all children) (KiB): 89584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 580.654
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31237
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= 26
involuntary context switches= 8271

runsolver used 0.687895 second user time and 1.44678 second system time

The end

Launcher Data 

Begin job on node86 at 2009-07-16 07:14:46
IDJOB=2082484
IDBENCH=57589
IDSOLVER=734
FILE ID=node86/2082484-1247721284
PBS_JOBID= 9521378
Free space on /tmp= 66232 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-18_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082484-1247721284/watcher-2082484-1247721284 -o /tmp/evaluation-result-2082484-1247721284/solver-2082484-1247721284 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 833025507 HOME/instance-2082484-1247721284.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1200f5c145087e54f9d054527a898e22
RANDOM SEED=833025507

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.265
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.265
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:       1361608 kB
Buffers:         89884 kB
Cached:         380540 kB
SwapCached:          0 kB
Active:         243140 kB
Inactive:       375112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1361608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           23676 kB
Writeback:           0 kB
Mapped:         159200 kB
Slab:            60940 kB
Committed_AS:   756476 kB
PageTables:       2216 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= 66232 MiB
End job on node86 at 2009-07-16 07:24:29