Trace number 426305

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, and are wall clock time (not CPU 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
MiraXT v3? (TO) 5000.24 2507.44

General information on the benchmark

Namerandom/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
MD5SUMa5058cd96f6a298ccd8b0f2940cbf5d9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark69.8684
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses13600
Sum of the clauses size95200
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 513600

Solver Data (download as text)

0.00/0.12	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node25/watcher-426305-1179007984 -o ROOT/results/node25/solver-426305-1179007984 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426305-1179007984/MiraXTv3_dyn /tmp/evaluation/426305-1179007984/instance-426305-1179007984.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.04 1.32 1.68 3/64 16871
/proc/meminfo: memFree=1579552/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=188 CPUtime=0
/proc/16871/stat : 16871 (MiraXTv3_dyn) D 16869 16871 16798 0 -1 4194304 33 0 0 0 0 0 0 0 18 0 1 0 348715574 192512 23 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10027812 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/16871/statm: 47 23 18 20 0 2 0

[startup+0.023241 s]
/proc/loadavg: 1.04 1.32 1.68 3/64 16871
/proc/meminfo: memFree=1579552/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=236 CPUtime=0
/proc/16871/stat : 16871 (MiraXTv3_dyn) D 16869 16871 16798 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 348715574 241664 30 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10027812 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/16871/statm: 59 30 25 20 0 2 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 236

[startup+0.101256 s]
/proc/loadavg: 1.04 1.32 1.68 3/64 16871
/proc/meminfo: memFree=1579552/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=2624 CPUtime=0
/proc/16871/stat : 16871 (MiraXTv3_dyn) D 16869 16871 16798 0 -1 4194304 176 0 2 0 0 0 0 0 18 0 1 0 348715574 2686976 154 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4159852912 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/16871/statm: 656 154 128 20 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2624

[startup+0.301289 s]
/proc/loadavg: 1.04 1.32 1.68 3/64 16871
/proc/meminfo: memFree=1579552/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=5192 CPUtime=0.17
/proc/16871/stat : 16871 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194304 698 0 4 0 17 0 0 0 18 0 1 0 348715574 5316608 677 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134587710 0 0 4096 0 0 0 0 17 0 0 0
/proc/16871/statm: 1298 677 207 20 0 656 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5192

[startup+0.70136 s]
/proc/loadavg: 1.04 1.32 1.68 3/64 16871
/proc/meminfo: memFree=1579552/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=12416 CPUtime=0.82
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 1701 0 4 0 81 1 0 0 20 0 3 0 348715574 12713984 1680 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 3104 1680 218 20 0 2462 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 12416

[startup+1.5015 s]
/proc/loadavg: 1.04 1.32 1.68 3/67 16874
/proc/meminfo: memFree=1570120/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=19588 CPUtime=2.42
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 3408 0 4 0 240 2 0 0 20 0 3 0 348715574 20058112 3387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 4897 3387 218 20 0 4255 0
[pid=16871/tid=16873] ppid=16869 vsize=19588 CPUtime=1.05
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 1336 0 0 0 105 0 0 0 24 0 3 0 348715618 20058112 3387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=19588 CPUtime=1.04
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 1317 0 0 0 103 1 0 0 23 0 3 0 348715618 20058112 3387 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 19588

[startup+3.10277 s]
/proc/loadavg: 1.04 1.32 1.68 3/67 16874
/proc/meminfo: memFree=1561544/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=24780 CPUtime=5.61
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 4551 0 4 0 558 3 0 0 20 0 3 0 348715574 25374720 4530 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 6195 4530 218 20 0 5553 0
[pid=16871/tid=16873] ppid=16869 vsize=24780 CPUtime=2.64
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 1897 0 0 0 263 1 0 0 25 0 3 0 348715618 25374720 4530 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=24780 CPUtime=2.64
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 1899 0 0 0 263 1 0 0 24 0 3 0 348715618 25374720 4530 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 24780

[startup+6.30132 s]
/proc/loadavg: 1.12 1.33 1.68 3/67 16874
/proc/meminfo: memFree=1551432/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=37844 CPUtime=11.98
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 7987 0 4 0 1192 6 0 0 20 0 3 0 348715574 38752256 7894 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 9461 7894 218 20 0 8819 0
[pid=16871/tid=16873] ppid=16869 vsize=37844 CPUtime=5.82
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 3455 0 0 0 580 2 0 0 23 0 3 0 348715618 38752256 7894 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=37844 CPUtime=5.84
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 3777 0 0 0 581 3 0 0 21 0 3 0 348715618 38752256 7894 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 37844

[startup+12.7014 s]
/proc/loadavg: 1.19 1.34 1.68 3/67 16874
/proc/meminfo: memFree=1528968/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=56216 CPUtime=24.75
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 12929 0 4 0 2465 10 0 0 20 0 3 0 348715574 57565184 12570 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 14054 12570 218 20 0 13412 0
[pid=16871/tid=16873] ppid=16869 vsize=56216 CPUtime=12.19
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 5994 0 0 0 1215 4 0 0 25 0 3 0 348715618 57565184 12570 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520651 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=56216 CPUtime=12.23
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 6180 0 0 0 1218 5 0 0 25 0 3 0 348715618 57565184 12570 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 56216

[startup+25.5016 s]
/proc/loadavg: 1.37 1.37 1.69 3/67 16874
/proc/meminfo: memFree=1515656/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=70116 CPUtime=50.29
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 16989 0 4 0 5014 15 0 0 20 0 3 0 348715574 71798784 16170 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 17529 16170 218 20 0 16887 0
[pid=16871/tid=16873] ppid=16869 vsize=70116 CPUtime=24.92
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 7896 0 0 0 2487 5 0 0 25 0 3 0 348715618 71798784 16170 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=70116 CPUtime=25.04
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 8338 0 0 0 2495 9 0 0 25 0 3 0 348715618 71798784 16170 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 70116

[startup+51.102 s]
/proc/loadavg: 1.58 1.42 1.69 3/67 16874
/proc/meminfo: memFree=1503304/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=81264 CPUtime=101.33
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 20753 0 4 0 10115 18 0 0 20 0 3 0 348715574 83214336 18979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 20316 18979 218 20 0 19674 0
[pid=16871/tid=16873] ppid=16869 vsize=81264 CPUtime=50.39
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 9989 0 0 0 5033 6 0 0 25 0 3 0 348715618 83214336 18979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=81264 CPUtime=50.62
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 10009 0 0 0 5051 11 0 0 25 0 3 0 348715618 83214336 18979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 81264

[startup+102.306 s]
/proc/loadavg: 1.82 1.51 1.71 3/67 16874
/proc/meminfo: memFree=1499784/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=84984 CPUtime=203.46
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 23387 0 4 0 20325 21 0 0 20 0 3 0 348715574 87023616 19923 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 21246 19923 218 20 0 20604 0
[pid=16871/tid=16873] ppid=16869 vsize=84984 CPUtime=101.35
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 11516 0 0 0 10127 8 0 0 25 0 3 0 348715618 87023616 19923 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=84984 CPUtime=101.78
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 11116 0 0 0 10166 12 0 0 25 0 3 0 348715618 87023616 19923 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (KiB) 84984

[startup+162.302 s]
/proc/loadavg: 1.93 1.59 1.72 3/67 16874
/proc/meminfo: memFree=1496648/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=87012 CPUtime=323.08
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 25914 0 4 0 32285 23 0 0 20 0 3 0 348715574 89100288 20630 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 21753 20630 218 20 0 21111 0
[pid=16871/tid=16873] ppid=16869 vsize=87012 CPUtime=161.03
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 12993 0 0 0 16094 9 0 0 25 0 3 0 348715618 89100288 20630 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526382 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=87012 CPUtime=161.72
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 12166 0 0 0 16159 13 0 0 25 0 3 0 348715618 89100288 20630 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134519924 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.08
Current children cumulated vsize (KiB) 87012

[startup+222.302 s]
/proc/loadavg: 1.97 1.67 1.74 3/67 16874
/proc/meminfo: memFree=1495368/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=87796 CPUtime=442.75
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 28076 0 4 0 44250 25 0 0 20 0 3 0 348715574 89903104 20969 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 21949 20969 218 20 0 21307 0
[pid=16871/tid=16873] ppid=16869 vsize=87796 CPUtime=220.74
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 14139 0 0 0 22064 10 0 0 25 0 3 0 348715618 89903104 20969 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=87796 CPUtime=221.67
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 13182 0 0 0 22153 14 0 0 25 0 3 0 348715618 89903104 20969 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4160577633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.75
Current children cumulated vsize (KiB) 87796

[startup+282.303 s]
/proc/loadavg: 1.99 1.72 1.75 3/67 16874
/proc/meminfo: memFree=1493768/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=90496 CPUtime=562.41
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 30030 0 4 0 56215 26 0 0 20 0 3 0 348715574 92667904 21362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 22624 21362 218 20 0 21982 0
[pid=16871/tid=16873] ppid=16869 vsize=90496 CPUtime=280.46
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 15224 0 0 0 28035 11 0 0 25 0 3 0 348715618 92667904 21362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=90496 CPUtime=281.62
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 14051 0 0 0 28148 14 0 0 25 0 3 0 348715618 92667904 21362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.41
Current children cumulated vsize (KiB) 90496

[startup+342.302 s]
/proc/loadavg: 1.99 1.77 1.76 3/67 16874
/proc/meminfo: memFree=1490696/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=93716 CPUtime=682.06
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 32648 0 4 0 68177 29 0 0 20 0 3 0 348715574 95965184 22223 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 23429 22223 218 20 0 22787 0
[pid=16871/tid=16873] ppid=16869 vsize=93716 CPUtime=340.16
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 16234 0 0 0 34005 11 0 0 25 0 3 0 348715618 95965184 22223 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520554 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=93716 CPUtime=341.57
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 15659 0 0 0 34140 17 0 0 25 0 3 0 348715618 95965184 22223 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.06
Current children cumulated vsize (KiB) 93716

[startup+402.301 s]

################
# More data... #
################

/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 41425 0 0 0 183775 34 0 0 25 0 3 0 348715618 136699904 31994 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=133496 CPUtime=1835.25
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 38510 0 0 0 183489 36 0 0 25 0 3 0 348715618 136699904 31994 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3673.67
Current children cumulated vsize (KiB) 133496

[startup+1902.3 s]
/proc/loadavg: 2.11 2.00 1.92 3/67 16876
/proc/meminfo: memFree=1451144/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=133496 CPUtime=3793.33
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 81816 0 4 0 379261 72 0 0 20 0 3 0 348715574 136699904 31998 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 33374 31998 218 20 0 32732 0
[pid=16871/tid=16873] ppid=16869 vsize=133496 CPUtime=1897.79
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 41891 0 0 0 189745 34 0 0 25 0 3 0 348715618 136699904 31998 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=133496 CPUtime=1895.21
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 39170 0 0 0 189484 37 0 0 25 0 3 0 348715618 136699904 31998 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.33
Current children cumulated vsize (KiB) 133496

[startup+1962.3 s]
/proc/loadavg: 2.29 2.09 1.95 3/67 16876
/proc/meminfo: memFree=1451080/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=133496 CPUtime=3913
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 82939 0 4 0 391227 73 0 0 20 0 3 0 348715574 136699904 31999 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 33374 31999 218 20 0 32732 0
[pid=16871/tid=16873] ppid=16869 vsize=133496 CPUtime=1957.5
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 42618 0 0 0 195715 35 0 0 25 0 3 0 348715618 136699904 31999 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=133496 CPUtime=1955.16
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 39566 0 0 0 195479 37 0 0 25 0 3 0 348715618 136699904 31999 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913
Current children cumulated vsize (KiB) 133496

[startup+2022.3 s]
/proc/loadavg: 2.14 2.08 1.96 3/67 16876
/proc/meminfo: memFree=1451080/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=133496 CPUtime=4032.66
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 84193 0 4 0 403192 74 0 0 20 0 3 0 348715574 136699904 31999 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 33374 31999 218 20 0 32732 0
[pid=16871/tid=16873] ppid=16869 vsize=133496 CPUtime=2017.21
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 43212 0 0 0 201686 35 0 0 25 0 3 0 348715618 136699904 31999 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521314 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=133496 CPUtime=2015.12
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 40226 0 0 0 201474 38 0 0 25 0 3 0 348715618 136699904 31999 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.66
Current children cumulated vsize (KiB) 133496

[startup+2082.31 s]
/proc/loadavg: 2.05 2.07 1.96 3/67 16876
/proc/meminfo: memFree=1450440/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=134232 CPUtime=4152.34
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 85755 0 4 0 415159 75 0 0 20 0 3 0 348715574 137453568 32175 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 33558 32175 218 20 0 32916 0
[pid=16871/tid=16873] ppid=16869 vsize=134232 CPUtime=2076.93
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 44114 0 0 0 207657 36 0 0 25 0 3 0 348715618 137453568 32175 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=134232 CPUtime=2075.08
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 40886 0 0 0 207470 38 0 0 25 0 3 0 348715618 137453568 32175 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.34
Current children cumulated vsize (KiB) 134232

[startup+2142.3 s]
/proc/loadavg: 2.02 2.05 1.96 3/67 16876
/proc/meminfo: memFree=1448648/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=136696 CPUtime=4272
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 87368 0 4 0 427124 76 0 0 20 0 3 0 348715574 139976704 32600 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 34174 32600 218 20 0 33532 0
[pid=16871/tid=16873] ppid=16869 vsize=136696 CPUtime=2136.65
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 45044 0 0 0 213628 37 0 0 25 0 3 0 348715618 139976704 32600 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=136696 CPUtime=2135.04
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 41569 0 0 0 213465 39 0 0 25 0 3 0 348715618 139976704 32600 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272
Current children cumulated vsize (KiB) 136696

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 1.96 3/67 16876
/proc/meminfo: memFree=1447752/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=137288 CPUtime=4391.68
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 89114 0 4 0 439090 78 0 0 20 0 3 0 348715574 140582912 32828 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 34322 32828 218 20 0 33680 0
[pid=16871/tid=16873] ppid=16869 vsize=137288 CPUtime=2196.36
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 45916 0 0 0 219598 38 0 0 25 0 3 0 348715618 140582912 32828 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=137288 CPUtime=2194.99
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 42443 0 0 0 219460 39 0 0 25 0 3 0 348715618 140582912 32828 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.68
Current children cumulated vsize (KiB) 137288

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/67 16876
/proc/meminfo: memFree=1446408/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=138476 CPUtime=4511.34
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 90790 0 4 0 451054 80 0 0 20 0 3 0 348715574 141799424 33184 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 34619 33184 218 20 0 33977 0
[pid=16871/tid=16873] ppid=16869 vsize=138476 CPUtime=2256.07
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 46956 0 0 0 225568 39 0 0 25 0 3 0 348715618 141799424 33184 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=138476 CPUtime=2254.94
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 43079 0 0 0 225454 40 0 0 25 0 3 0 348715618 141799424 33184 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.34
Current children cumulated vsize (KiB) 138476

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/67 16876
/proc/meminfo: memFree=1445832/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=138912 CPUtime=4631
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 92453 0 4 0 463020 80 0 0 20 0 3 0 348715574 142245888 33329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 34728 33329 218 20 0 34086 0
[pid=16871/tid=16873] ppid=16869 vsize=138912 CPUtime=2315.78
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 47854 0 0 0 231539 39 0 0 25 0 3 0 348715618 142245888 33329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=138912 CPUtime=2314.89
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 43844 0 0 0 231449 40 0 0 25 0 3 0 348715618 142245888 33329 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631
Current children cumulated vsize (KiB) 138912

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/67 16876
/proc/meminfo: memFree=1445512/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=139248 CPUtime=4750.68
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 93877 0 4 0 474987 81 0 0 20 0 3 0 348715574 142589952 33433 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 34812 33433 218 20 0 34170 0
[pid=16871/tid=16873] ppid=16869 vsize=139248 CPUtime=2375.51
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 48594 0 0 0 237511 40 0 0 25 0 3 0 348715618 142589952 33433 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=139248 CPUtime=2374.84
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 44528 0 0 0 237444 40 0 0 25 0 3 0 348715618 142589952 33433 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.68
Current children cumulated vsize (KiB) 139248

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/67 16876
/proc/meminfo: memFree=1444936/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=139416 CPUtime=4870.34
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 95201 0 4 0 486952 82 0 0 20 0 3 0 348715574 142761984 33503 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 34854 33503 218 20 0 34212 0
[pid=16871/tid=16873] ppid=16869 vsize=139416 CPUtime=2435.21
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 49363 0 0 0 243481 40 0 0 25 0 3 0 348715618 142761984 33503 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=139416 CPUtime=2434.79
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 45083 0 0 0 243439 40 0 0 25 0 3 0 348715618 142761984 33503 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.34
Current children cumulated vsize (KiB) 139416

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/67 16876
/proc/meminfo: memFree=1444680/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=140624 CPUtime=4990.02
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 96635 0 4 0 498920 82 0 0 20 0 3 0 348715574 143998976 33551 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 35156 33551 218 20 0 34514 0
[pid=16871/tid=16873] ppid=16869 vsize=140624 CPUtime=2494.93
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 50177 0 0 0 249453 40 0 0 21 0 3 0 348715618 143998976 33551 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=140624 CPUtime=2494.75
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 45703 0 0 0 249434 41 0 0 25 0 3 0 348715618 143998976 33551 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.02
Current children cumulated vsize (KiB) 140624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/67 16876
/proc/meminfo: memFree=1444616/2055920 swapFree=4183116/4192956
[pid=16871] ppid=16869 vsize=140624 CPUtime=5000.19
/proc/16871/stat : 16871 (MiraXTv3_dyn) S 16869 16871 16798 0 -1 4194304 96791 0 4 0 499937 82 0 0 20 0 3 0 348715574 143998976 33575 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16871/statm: 35156 33575 218 20 0 34514 0
[pid=16871/tid=16873] ppid=16869 vsize=140624 CPUtime=2500.01
/proc/16871/task/16873/stat : 16873 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 50267 0 0 0 249961 40 0 0 25 0 3 0 348715618 143998976 33575 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16871/tid=16874] ppid=16869 vsize=140624 CPUtime=2499.86
/proc/16871/task/16874/stat : 16874 (MiraXTv3_dyn) R 16869 16871 16798 0 -1 4194368 45769 0 0 0 249945 41 0 0 25 0 3 0 348715618 143998976 33575 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 140624

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.44
CPU time (s): 5000.24
CPU user time (s): 4999.39
CPU system time (s): 0.84987
CPU usage (%): 199.417
Max. virtual memory (cumulated for all children) (KiB): 140888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.39
system time used= 0.84987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96791
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1340
involuntary context switches= 37479

runsolver used 2.24466 second user time and 6.88295 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat May 12 22:13:05 UTC 2007

IDJOB= 426305
IDBENCH= 20130
IDSOLVER= 196
FILE ID= node25/426305-1179007984

PBS_JOBID= 5252969

Free space on /tmp= 66550 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S2043900701-05.cnf
COMMAND LINE= /tmp/evaluation/426305-1179007984/MiraXTv3_dyn /tmp/evaluation/426305-1179007984/instance-426305-1179007984.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-426305-1179007984 -o ROOT/results/node25/solver-426305-1179007984 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426305-1179007984/MiraXTv3_dyn /tmp/evaluation/426305-1179007984/instance-426305-1179007984.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  a5058cd96f6a298ccd8b0f2940cbf5d9

RANDOM SEED= 153502208

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

/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.261
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.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1581176 kB
Buffers:         39780 kB
Cached:         331044 kB
SwapCached:       3924 kB
Active:         225872 kB
Inactive:       154448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1581176 kB
SwapTotal:     4192956 kB
SwapFree:      4183116 kB
Dirty:            4416 kB
Writeback:           0 kB
Mapped:          15500 kB
Slab:            80448 kB
Committed_AS:  8387316 kB
PageTables:       1472 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= 66550 MiB

End job on node25 on Sat May 12 22:54:55 UTC 2007