Trace number 1719058

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
satake 2009-03-22? (MO) 1183.07 593.59

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
MD5SUM580dc3969c4e46e50013253fd4ac9139
Bench CategoryAPPLICATION (applications 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 variables209724
Number of clauses3634677
Sum of the clauses size10547961
Maximum clause length169
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23415202
Number of clauses of size 349840
Number of clauses of size 46998
Number of clauses of size 514973
Number of clauses of size over 5147663

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1719058-1240642732/watcher-1719058-1240642732 -o /tmp/evaluation-result-1719058-1240642732/solver-1719058-1240642732 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719058-1240642732.cnf 3 1200 

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: 1.06 1.03 1.00 3/65 16321
/proc/meminfo: memFree=1180984/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=4104 CPUtime=0
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 705 0 0 0 0 0 0 0 20 0 4 0 92302625 4202496 690 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 1026 696 65 163 0 861 0
[pid=16321/tid=16322] ppid=16319 vsize=4104 CPUtime=0
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 92302625 4202496 714 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=4104 CPUtime=0
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 493 0 0 0 0 0 0 0 21 0 4 0 92302625 4202496 723 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=4104 CPUtime=0
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 155 0 0 0 0 0 0 0 21 0 4 0 92302625 4202496 732 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0472809 s]
/proc/loadavg: 1.06 1.03 1.00 3/65 16321
/proc/meminfo: memFree=1180984/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=50184 CPUtime=0.08
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 8811 0 0 0 0 8 0 0 20 0 4 0 92302625 51388416 8796 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 12546 8796 65 163 0 12381 0
[pid=16321/tid=16322] ppid=16319 vsize=50184 CPUtime=0
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 92302625 51388416 8796 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=50184 CPUtime=0.04
/proc/16321/task/16323/stat : 16323 (satake) D 16319 16321 15938 0 -1 4194368 4619 0 0 0 0 4 0 0 18 0 4 0 92302625 51388416 8796 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=50184 CPUtime=0.03
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 4102 0 0 0 0 3 0 0 18 0 4 0 92302625 51388416 8796 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50184

[startup+0.101946 s]
/proc/loadavg: 1.06 1.03 1.00 3/65 16321
/proc/meminfo: memFree=1180984/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=132104 CPUtime=0.18
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 18911 0 0 0 0 18 0 0 20 0 4 0 92302625 135274496 18896 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 33026 18908 65 163 0 32861 0
[pid=16321/tid=16322] ppid=16319 vsize=132104 CPUtime=0
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 92302625 135274496 18914 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=132104 CPUtime=0.09
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 9663 0 0 0 0 9 0 0 18 0 4 0 92302625 135274496 18922 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=132104 CPUtime=0.09
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 9192 0 0 0 0 9 0 0 18 0 4 0 92302625 135274496 18930 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 132104

[startup+0.301975 s]
/proc/loadavg: 1.06 1.03 1.00 3/65 16321
/proc/meminfo: memFree=1180984/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=165452 CPUtime=0.56
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 40834 0 0 0 16 40 0 0 20 0 4 0 92302625 169422848 40811 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 41363 40812 65 163 0 41198 0
[pid=16321/tid=16322] ppid=16319 vsize=165452 CPUtime=0
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 92302625 169422848 40812 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=165452 CPUtime=0.28
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 20368 0 0 0 8 20 0 0 16 0 4 0 92302625 169422848 40813 1992294400 134512640 135180984 4294956208 18446744073709551615 134535366 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=165452 CPUtime=0.28
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 20378 0 0 0 8 20 0 0 17 0 4 0 92302625 169422848 40813 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 165452

[startup+0.701055 s]
/proc/loadavg: 1.06 1.03 1.00 3/65 16321
/proc/meminfo: memFree=1180984/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=205412 CPUtime=1.35
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 49766 0 0 0 88 47 0 0 20 0 4 0 92302625 210341888 49743 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 51353 49744 65 163 0 51188 0
[pid=16321/tid=16322] ppid=16319 vsize=205412 CPUtime=0
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 92302625 210341888 49744 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=205412 CPUtime=0.67
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 24802 0 0 0 45 22 0 0 16 0 4 0 92302625 210341888 49744 1992294400 134512640 135180984 4294956208 18446744073709551615 134514028 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=205412 CPUtime=0.67
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 24875 0 0 0 43 24 0 0 16 0 4 0 92302625 210341888 49744 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 205412

[startup+1.50122 s]
/proc/loadavg: 1.06 1.03 1.00 3/69 16325
/proc/meminfo: memFree=955288/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=288528 CPUtime=2.94
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 67616 0 0 0 233 61 0 0 20 0 4 0 92302625 295452672 67593 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 72132 67594 65 163 0 71967 0
[pid=16321/tid=16322] ppid=16319 vsize=288528 CPUtime=0
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 92302625 295452672 67594 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=288528 CPUtime=1.47
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 33680 0 0 0 118 29 0 0 16 0 4 0 92302625 295452672 67595 1992294400 134512640 135180984 4294956208 18446744073709551615 134535254 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=288528 CPUtime=1.47
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 33848 0 0 0 115 32 0 0 16 0 4 0 92302625 295452672 67595 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 288528

[startup+3.10256 s]
/proc/loadavg: 1.06 1.03 1.00 3/69 16325
/proc/meminfo: memFree=858456/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=439280 CPUtime=6.11
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 101756 0 0 0 524 87 0 0 20 0 4 0 92302625 449822720 101733 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 109820 101734 65 163 0 109655 0
[pid=16321/tid=16322] ppid=16319 vsize=439280 CPUtime=0
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 92302625 449822720 101735 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=439280 CPUtime=3.05
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 50687 0 0 0 263 42 0 0 15 0 4 0 92302625 449822720 101735 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16321/tid=16324] ppid=16319 vsize=439280 CPUtime=3.05
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 50981 0 0 0 261 44 0 0 16 0 4 0 92302625 449822720 101735 1992294400 134512640 135180984 4294956208 18446744073709551615 134535233 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 439280

[startup+6.3012 s]
/proc/loadavg: 1.21 1.06 1.01 3/69 16325
/proc/meminfo: memFree=869272/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=338176 CPUtime=12.47
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 116476 0 0 0 1139 108 0 0 20 0 4 0 92302625 346292224 78069 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 84544 78069 70 163 0 84379 0
[pid=16321/tid=16322] ppid=16319 vsize=338176 CPUtime=0.09
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 3612 0 0 0 4 5 0 0 15 0 4 0 92302625 346292224 78069 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=338176 CPUtime=6.2
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 56235 0 0 0 569 51 0 0 16 0 4 0 92302625 346292224 78069 1992294400 134512640 135180984 4294956208 18446744073709551615 134518216 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16321/tid=16324] ppid=16319 vsize=338176 CPUtime=6.15
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 56546 0 0 0 564 51 0 0 19 0 4 0 92302625 346292224 78069 1992294400 134512640 135180984 4294956208 18446744073709551615 134520860 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 338176

[startup+12.7025 s]
/proc/loadavg: 1.36 1.09 1.02 3/69 16325
/proc/meminfo: memFree=864984/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=343116 CPUtime=25.22
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 117714 0 0 0 2392 130 0 0 20 0 4 0 92302625 351350784 79307 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 85779 79307 70 163 0 85614 0
[pid=16321/tid=16322] ppid=16319 vsize=343116 CPUtime=0.22
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 3650 0 0 0 8 14 0 0 15 0 4 0 92302625 351350784 79307 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=343116 CPUtime=12.54
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 57000 0 0 0 1196 58 0 0 18 0 4 0 92302625 351350784 79307 1992294400 134512640 135180984 4294956208 18446744073709551615 134521133 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16321/tid=16324] ppid=16319 vsize=343116 CPUtime=12.44
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 56981 0 0 0 1187 57 0 0 20 0 4 0 92302625 351350784 79307 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 343116

[startup+25.502 s]
/proc/loadavg: 1.57 1.15 1.04 3/69 16325
/proc/meminfo: memFree=853400/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=355772 CPUtime=50.69
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 120846 0 0 0 4833 236 0 0 20 0 4 0 92302625 364310528 82439 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 88943 82439 70 163 0 88778 0
[pid=16321/tid=16322] ppid=16319 vsize=355772 CPUtime=0.8
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 3871 0 0 0 20 60 0 0 15 0 4 0 92302625 364310528 82439 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16321/tid=16323] ppid=16319 vsize=355772 CPUtime=25
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 58334 0 0 0 2412 88 0 0 16 0 4 0 92302625 364310528 82439 1992294400 134512640 135180984 4294956208 18446744073709551615 134528080 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16321/tid=16324] ppid=16319 vsize=355772 CPUtime=24.88
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 58558 0 0 0 2400 88 0 0 17 0 4 0 92302625 364310528 82439 1992294400 134512640 135180984 4294956208 18446744073709551615 134524757 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 355772

[startup+51.1013 s]
/proc/loadavg: 1.71 1.22 1.07 3/69 16325
/proc/meminfo: memFree=827224/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=383540 CPUtime=101.6
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 127685 0 0 0 9709 451 0 0 20 0 4 0 92302625 392744960 89278 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 95885 89278 70 163 0 95720 0
[pid=16321/tid=16322] ppid=16319 vsize=383540 CPUtime=2.02
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4329 0 0 0 46 156 0 0 16 0 4 0 92302625 392744960 89278 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=383540 CPUtime=49.86
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 61179 0 0 0 4837 149 0 0 17 0 4 0 92302625 392744960 89278 1992294400 134512640 135180984 4294956208 18446744073709551615 134526725 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16321/tid=16324] ppid=16319 vsize=383540 CPUtime=49.71
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 62094 0 0 0 4825 146 0 0 25 0 4 0 92302625 392744960 89278 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 383540

[startup+102.307 s]
/proc/loadavg: 1.87 1.34 1.11 3/69 16325
/proc/meminfo: memFree=723544/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=486292 CPUtime=203.77
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 153353 0 0 0 19831 546 0 0 20 0 4 0 92302625 497963008 114946 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 121573 114946 70 163 0 121408 0
[pid=16321/tid=16322] ppid=16319 vsize=486292 CPUtime=2.38
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4435 0 0 0 54 184 0 0 15 0 4 0 92302625 497963008 114946 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=486292 CPUtime=100.85
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 72988 0 0 0 9904 181 0 0 16 0 4 0 92302625 497963008 114946 1992294400 134512640 135180984 4294956208 18446744073709551615 134523660 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=486292 CPUtime=100.51
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 75847 0 0 0 9871 180 0 0 16 0 4 0 92302625 497963008 114946 1992294400 134512640 135180984 4294956208 18446744073709551615 134526482 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 486292

[startup+162.302 s]
/proc/loadavg: 2.00 1.47 1.17 3/69 16331
/proc/meminfo: memFree=588312/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=622456 CPUtime=323.46
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 187413 0 0 0 31736 610 0 0 20 0 4 0 92302625 637394944 149006 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 155614 149006 70 163 0 155449 0
[pid=16321/tid=16322] ppid=16319 vsize=622456 CPUtime=2.54
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4485 0 0 0 57 197 0 0 15 0 4 0 92302625 637394944 149006 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=622456 CPUtime=160.5
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 90137 0 0 0 15847 203 0 0 17 0 4 0 92302625 637394944 149006 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=622456 CPUtime=160.39
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 92708 0 0 0 15831 208 0 0 16 0 4 0 92302625 637394944 149006 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (KiB) 622456

[startup+222.301 s]
/proc/loadavg: 2.00 1.56 1.22 3/69 16331
/proc/meminfo: memFree=447320/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=763444 CPUtime=443.18
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 222348 0 0 0 43641 677 0 0 20 0 4 0 92302625 781766656 183941 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 190861 183941 70 163 0 190696 0
[pid=16321/tid=16322] ppid=16319 vsize=763444 CPUtime=2.68
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4518 0 0 0 60 208 0 0 15 0 4 0 92302625 781766656 183941 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=763444 CPUtime=220.18
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 108860 0 0 0 21791 227 0 0 25 0 4 0 92302625 781766656 183941 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=763444 CPUtime=220.3
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 108887 0 0 0 21789 241 0 0 17 0 4 0 92302625 781766656 183941 1992294400 134512640 135180984 4294956208 18446744073709551615 134528237 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.18
Current children cumulated vsize (KiB) 763444

[startup+282.302 s]
/proc/loadavg: 2.00 1.64 1.27 3/69 16331
/proc/meminfo: memFree=325208/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=886596 CPUtime=562.91
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 253066 0 0 0 55563 728 0 0 20 0 4 0 92302625 907874304 214659 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 221649 214659 70 163 0 221484 0
[pid=16321/tid=16322] ppid=16319 vsize=886596 CPUtime=2.76
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4532 0 0 0 62 214 0 0 15 0 4 0 92302625 907874304 214659 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16321/tid=16323] ppid=16319 vsize=886596 CPUtime=279.91
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 127966 0 0 0 27742 249 0 0 25 0 4 0 92302625 907874304 214659 1992294400 134512640 135180984 4294956208 18446744073709551615 134528281 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=886596 CPUtime=280.22
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 120485 0 0 0 27758 264 0 0 19 0 4 0 92302625 907874304 214659 1992294400 134512640 135180984 4294956208 18446744073709551615 134528644 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.91
Current children cumulated vsize (KiB) 886596

[startup+342.303 s]
/proc/loadavg: 2.06 1.72 1.31 3/69 16331
/proc/meminfo: memFree=143384/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=1068560 CPUtime=682.64
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 298314 0 0 0 67464 800 0 0 20 0 4 0 92302625 1094205440 259907 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 267140 259907 70 163 0 266975 0
[pid=16321/tid=16322] ppid=16319 vsize=1068560 CPUtime=2.91
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4570 0 0 0 66 225 0 0 15 0 4 0 92302625 1094205440 259907 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16321/tid=16323] ppid=16319 vsize=1068560 CPUtime=339.57
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 150831 0 0 0 33681 276 0 0 18 0 4 0 92302625 1094205440 259907 1992294400 134512640 135180984 4294956208 18446744073709551615 134523696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=1068560 CPUtime=340.13
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 142830 0 0 0 33715 298 0 0 16 0 4 0 92302625 1094205440 259907 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.64
Current children cumulated vsize (KiB) 1068560

[startup+402.302 s]
/proc/loadavg: 2.02 1.77 1.35 3/69 16331
/proc/meminfo: memFree=15064/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=1283712 CPUtime=802.33
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 351840 0 0 0 79378 855 0 0 20 0 4 0 92302625 1314521088 313433 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 320928 313433 70 163 0 320763 0
[pid=16321/tid=16322] ppid=16319 vsize=1283712 CPUtime=2.94
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4570 0 0 0 66 228 0 0 15 0 4 0 92302625 1314521088 313433 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=1283712 CPUtime=399.3
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 179706 0 0 0 39628 302 0 0 16 0 4 0 92302625 1314521088 313433 1992294400 134512640 135180984 4294956208 18446744073709551615 134528664 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=1283712 CPUtime=400.07
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 167481 0 0 0 39683 324 0 0 16 0 4 0 92302625 1314521088 313433 1992294400 134512640 135180984 4294956208 18446744073709551615 134526206 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.33
Current children cumulated vsize (KiB) 1283712

[startup+462.302 s]
/proc/loadavg: 2.01 1.81 1.39 3/69 16331
/proc/meminfo: memFree=15896/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=1480480 CPUtime=921.98
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 401139 0 0 0 91300 898 0 0 20 0 4 0 92302625 1516011520 362732 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 370120 362732 70 163 0 369955 0
[pid=16321/tid=16322] ppid=16319 vsize=1480480 CPUtime=2.97
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4570 0 0 0 67 230 0 0 15 0 4 0 92302625 1516011520 362732 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=16321/tid=16323] ppid=16319 vsize=1480480 CPUtime=459
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 205613 0 0 0 45577 323 0 0 25 0 4 0 92302625 1516011520 362732 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=1480480 CPUtime=459.98
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 190873 0 0 0 45654 344 0 0 17 0 4 0 92302625 1516011520 362732 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.98
Current children cumulated vsize (KiB) 1480480

[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.43 3/69 16331
/proc/meminfo: memFree=15704/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=1647808 CPUtime=1041.62
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 442782 0 0 0 103216 946 0 0 20 0 4 0 92302625 1687355392 404375 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 411952 404375 70 163 0 411787 0
[pid=16321/tid=16322] ppid=16319 vsize=1647808 CPUtime=3
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4572 0 0 0 68 232 0 0 15 0 4 0 92302625 1687355392 404375 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16321/tid=16323] ppid=16319 vsize=1647808 CPUtime=518.7
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 228945 0 0 0 51525 345 0 0 17 0 4 0 92302625 1687355392 404375 1992294400 134512640 135180984 4294956208 18446744073709551615 134522614 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=1647808 CPUtime=519.89
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 209182 0 0 0 51621 368 0 0 17 0 4 0 92302625 1687355392 404375 1992294400 134512640 135180984 4294956208 18446744073709551615 134528810 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.62
Current children cumulated vsize (KiB) 1647808

[startup+582.301 s]
/proc/loadavg: 2.17 1.91 1.47 4/69 16331
/proc/meminfo: memFree=16280/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=1811180 CPUtime=1160.97
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 483015 0 0 0 115105 992 0 0 20 0 4 0 92302625 1854648320 444608 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 452795 444608 70 163 0 452630 0
[pid=16321/tid=16322] ppid=16319 vsize=1811180 CPUtime=3.02
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4581 0 0 0 68 234 0 0 15 0 4 0 92302625 1854648320 444608 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16321/tid=16323] ppid=16319 vsize=1811180 CPUtime=578.2
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 254396 0 0 0 57453 367 0 0 18 0 4 0 92302625 1854648320 444608 1992294400 134512640 135180984 4294956208 18446744073709551615 134528866 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=1811180 CPUtime=579.73
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 223955 0 0 0 57583 390 0 0 25 0 4 0 92302625 1854648320 444608 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.97
Current children cumulated vsize (KiB) 1811180



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+593.302 s]
/proc/loadavg: 2.23 1.93 1.49 3/69 16331
/proc/meminfo: memFree=15448/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=1843720 CPUtime=1182.76
/proc/16321/stat : 16321 (satake) S 16319 16321 15938 0 -1 4194304 491009 0 0 0 117275 1001 0 0 20 0 4 0 92302625 1887969280 452602 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16321/statm: 460930 452602 70 163 0 460765 0
[pid=16321/tid=16322] ppid=16319 vsize=1843720 CPUtime=3.03
/proc/16321/task/16322/stat : 16322 (satake) S 16319 16321 15938 0 -1 4194368 4581 0 0 0 69 234 0 0 15 0 4 0 92302625 1887969280 452602 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=16321/tid=16323] ppid=16319 vsize=1843720 CPUtime=589.04
/proc/16321/task/16323/stat : 16323 (satake) R 16319 16321 15938 0 -1 4194368 259902 0 0 0 58532 372 0 0 25 0 4 0 92302625 1887969280 452602 1992294400 134512640 135180984 4294956208 18446744073709551615 134518224 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16321/tid=16324] ppid=16319 vsize=1843720 CPUtime=590.68
/proc/16321/task/16324/stat : 16324 (satake) R 16319 16321 15938 0 -1 4194368 226443 0 0 0 58674 394 0 0 16 0 4 0 92302625 1887969280 452602 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1182.76
Current children cumulated vsize (KiB) 1843720

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+593.413 s]
/proc/loadavg: 2.23 1.93 1.49 3/69 16331
/proc/meminfo: memFree=15448/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=0 CPUtime=1182.88
/proc/16321/stat : 16321 (satake) Z 16319 16321 15938 0 -1 4195340 491012 0 0 0 117277 1011 0 0 16 0 2 0 92302625 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16321/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1182.88
Current children cumulated vsize (KiB) 0

[startup+593.502 s]
/proc/loadavg: 2.23 1.93 1.49 3/69 16331
/proc/meminfo: memFree=15448/2055920 swapFree=4181392/4192956
[pid=16321] ppid=16319 vsize=0 CPUtime=1182.97
/proc/16321/stat : 16321 (satake) Z 16319 16321 15938 0 -1 4195340 491012 0 0 0 117277 1020 0 0 16 0 2 0 92302625 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16321/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1182.97
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 593.59
CPU time (s): 1183.07
CPU user time (s): 1172.77
CPU system time (s): 10.2934
CPU usage (%): 199.307
Max. virtual memory (cumulated for all children) (KiB): 1843720

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1172.77
system time used= 10.2934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491012
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= 454258
involuntary context switches= 451268

runsolver used 0.574912 second user time and 1.59576 second system time

The end

Launcher Data 

Begin job on node80 at 2009-04-25 08:58:57
IDJOB=1719058
IDBENCH=20576
IDSOLVER=553
FILE ID=node80/1719058-1240642732
PBS_JOBID= 9186467
Free space on /tmp= 66080 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1719058-1240642732/watcher-1719058-1240642732 -o /tmp/evaluation-result-1719058-1240642732/solver-1719058-1240642732 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1719058-1240642732.cnf 3 1200

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

MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=616339352

node80.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.270
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.270
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:       1181464 kB
Buffers:         73516 kB
Cached:         716968 kB
SwapCached:       6340 kB
Active:         255344 kB
Inactive:       543908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1181464 kB
SwapTotal:     4192956 kB
SwapFree:      4181392 kB
Dirty:           77516 kB
Writeback:           0 kB
Mapped:          13396 kB
Slab:            61168 kB
Committed_AS:   281284 kB
PageTables:       1384 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= 66080 MiB
End job on node80 at 2009-04-25 09:08:52