Trace number 426398

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.13 2506.53

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
MD5SUM7dc1e0d3ec36f8265c6ac507adda4d13
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark762.022
Satisfiable
(Un)Satisfiability was proved
Number of variables4494
Number of clauses12014
Sum of the clauses size32438
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23604
Number of clauses of size 38410
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	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/node15/watcher-426398-1179013600 -o ROOT/results/node15/solver-426398-1179013600 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426398-1179013600/MiraXTv3_dyn /tmp/evaluation/426398-1179013600/instance-426398-1179013600.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.92 1.98 1.99 3/77 23216
/proc/meminfo: memFree=1761520/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=3788 CPUtime=0
/proc/23216/stat : 23216 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194304 323 0 0 0 0 0 0 0 18 0 1 0 349277667 3878912 298 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 1 0 0
/proc/23216/statm: 947 301 205 20 0 305 0

[startup+0.098954 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 23216
/proc/meminfo: memFree=1761520/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=10528 CPUtime=0.11
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 1413 0 0 0 11 0 0 0 18 0 3 0 349277667 10780672 1388 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 2632 1388 218 20 0 1990 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10528

[startup+0.101951 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 23216
/proc/meminfo: memFree=1761520/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=10528 CPUtime=0.12
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 1414 0 0 0 12 0 0 0 18 0 3 0 349277667 10780672 1389 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 2632 1389 218 20 0 1990 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10528

[startup+0.301971 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 23216
/proc/meminfo: memFree=1761520/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=11552 CPUtime=0.52
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 1534 0 0 0 52 0 0 0 18 0 3 0 349277667 11829248 1509 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 2888 1509 218 20 0 2246 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11552

[startup+0.70201 s]
/proc/loadavg: 1.92 1.98 1.99 3/77 23216
/proc/meminfo: memFree=1761520/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=13368 CPUtime=1.31
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 1952 0 0 0 131 0 0 0 18 0 3 0 349277667 13688832 1927 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 3342 1927 218 20 0 2700 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 13368

[startup+1.50108 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1753432/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=16492 CPUtime=2.91
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 2716 0 0 0 290 1 0 0 18 0 3 0 349277667 16887808 2691 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 4123 2691 218 20 0 3481 0
[pid=23216/tid=23218] ppid=23214 vsize=16492 CPUtime=1.43
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 933 0 0 0 143 0 0 0 21 0 3 0 349277673 16887808 2691 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=16492 CPUtime=1.41
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 1026 0 0 0 141 0 0 0 25 0 3 0 349277673 16887808 2691 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 16492

[startup+3.10123 s]
/proc/loadavg: 1.92 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1749400/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=21196 CPUtime=6.11
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 4096 0 0 0 608 3 0 0 18 0 3 0 349277667 21704704 4071 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 5299 4071 218 20 0 4657 0
[pid=23216/tid=23218] ppid=23214 vsize=21196 CPUtime=3.03
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 1599 0 0 0 302 1 0 0 25 0 3 0 349277673 21704704 4071 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=21196 CPUtime=3
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 1740 0 0 0 299 1 0 0 21 0 3 0 349277673 21704704 4071 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 21196

[startup+6.30253 s]
/proc/loadavg: 1.93 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1742296/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=27024 CPUtime=12.48
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 5199 0 0 0 1244 4 0 0 18 0 3 0 349277667 27672576 5174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 6756 5174 218 20 0 6114 0
[pid=23216/tid=23218] ppid=23214 vsize=27024 CPUtime=6.23
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 2291 0 0 0 622 1 0 0 21 0 3 0 349277673 27672576 5174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=27024 CPUtime=6.19
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 2151 0 0 0 617 2 0 0 25 0 3 0 349277673 27672576 5174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 27024

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1734368/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=34204 CPUtime=25.25
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 7331 0 0 0 2518 7 0 0 18 0 3 0 349277667 35024896 7232 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 8551 7232 218 20 0 7909 0
[pid=23216/tid=23218] ppid=23214 vsize=34204 CPUtime=12.63
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 3098 0 0 0 1261 2 0 0 25 0 3 0 349277673 35024896 7232 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=34204 CPUtime=12.56
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 3476 0 0 0 1252 4 0 0 25 0 3 0 349277673 35024896 7232 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 34204

[startup+25.5013 s]
/proc/loadavg: 1.95 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1713248/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=54472 CPUtime=50.78
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 12599 0 0 0 5064 14 0 0 18 0 3 0 349277667 55779328 12324 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 13618 12324 218 20 0 12976 0
[pid=23216/tid=23218] ppid=23214 vsize=54472 CPUtime=25.42
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 5735 0 0 0 2537 5 0 0 25 0 3 0 349277673 55779328 12324 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=54472 CPUtime=25.29
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 6107 0 0 0 2521 8 0 0 25 0 3 0 349277673 55779328 12324 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 54472

[startup+51.1017 s]
/proc/loadavg: 1.96 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1706592/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=61080 CPUtime=101.85
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 14562 0 0 0 10168 17 0 0 18 0 3 0 349277667 62545920 13937 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 15270 13937 218 20 0 14628 0
[pid=23216/tid=23218] ppid=23214 vsize=61080 CPUtime=51.01
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 6871 0 0 0 5094 7 0 0 25 0 3 0 349277673 62545920 13937 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=61080 CPUtime=50.77
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 6934 0 0 0 5067 10 0 0 25 0 3 0 349277673 62545920 13937 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 61080

[startup+102.305 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1682592/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=84452 CPUtime=204.01
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 21235 0 0 0 20375 26 0 0 18 0 3 0 349277667 86478848 19768 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 21113 19768 218 20 0 20471 0
[pid=23216/tid=23218] ppid=23214 vsize=84452 CPUtime=102.2
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 10167 0 0 0 10210 10 0 0 25 0 3 0 349277673 86478848 19768 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=84452 CPUtime=101.75
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 10311 0 0 0 10160 15 0 0 25 0 3 0 349277673 86478848 19768 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 84452

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1670304/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=96208 CPUtime=323.71
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 25050 0 0 0 32339 32 0 0 18 0 3 0 349277667 98516992 22817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 24052 22817 218 20 0 23410 0
[pid=23216/tid=23218] ppid=23214 vsize=96208 CPUtime=162.16
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 11504 0 0 0 16204 12 0 0 25 0 3 0 349277673 98516992 22817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=96208 CPUtime=161.48
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 12789 0 0 0 16129 19 0 0 25 0 3 0 349277673 98516992 22817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 96208

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1667808/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=98612 CPUtime=443.4
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 26569 0 0 0 44306 34 0 0 18 0 3 0 349277667 100978688 23457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 24653 23457 218 20 0 24011 0
[pid=23216/tid=23218] ppid=23214 vsize=98612 CPUtime=222.12
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 12522 0 0 0 22199 13 0 0 25 0 3 0 349277673 100978688 23457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=98612 CPUtime=221.21
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 13290 0 0 0 22101 20 0 0 25 0 3 0 349277673 100978688 23457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520209 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.4
Current children cumulated vsize (KiB) 98612

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1667680/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=98612 CPUtime=563.08
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 27439 0 0 0 56273 35 0 0 18 0 3 0 349277667 100978688 23499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 24653 23499 218 20 0 24011 0
[pid=23216/tid=23218] ppid=23214 vsize=98612 CPUtime=282.1
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 12958 0 0 0 28196 14 0 0 25 0 3 0 349277673 100978688 23499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=98612 CPUtime=280.92
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 13724 0 0 0 28072 20 0 0 25 0 3 0 349277673 100978688 23499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (KiB) 98612

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 23219
/proc/meminfo: memFree=1667552/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=99372 CPUtime=682.78
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 28326 0 0 0 68241 37 0 0 18 0 3 0 349277667 101756928 23533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 24843 23533 218 20 0 24201 0
[pid=23216/tid=23218] ppid=23214 vsize=99372 CPUtime=341.82
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 13404 0 0 0 34167 15 0 0 25 0 3 0 349277673 101756928 23533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23216/tid=23219] ppid=23214 vsize=99372 CPUtime=340.9
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 14165 0 0 0 34069 21 0 0 25 0 3 0 349277673 101756928 23533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 99372

[startup+402.302 s]

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

/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 30014 0 0 0 189681 51 0 0 25 0 3 0 349277673 141406208 33230 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=138092 CPUtime=1897.28
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 27996 0 0 0 189687 41 0 0 25 0 3 0 349277673 141406208 33230 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.67
Current children cumulated vsize (KiB) 138092

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1628576/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=138092 CPUtime=3914.37
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 59609 0 0 0 391343 94 0 0 18 0 3 0 349277667 141406208 33250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34523 33250 218 20 0 33881 0
[pid=23216/tid=23218] ppid=23214 vsize=138092 CPUtime=1957.3
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 30491 0 0 0 195678 52 0 0 25 0 3 0 349277673 141406208 33250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526548 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=138092 CPUtime=1957.01
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 28361 0 0 0 195659 42 0 0 25 0 3 0 349277673 141406208 33250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.37
Current children cumulated vsize (KiB) 138092

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1628512/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=138092 CPUtime=4034.08
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 60321 0 0 0 403313 95 0 0 18 0 3 0 349277667 141406208 33254 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34523 33254 218 20 0 33881 0
[pid=23216/tid=23218] ppid=23214 vsize=138092 CPUtime=2017.27
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 30846 0 0 0 201675 52 0 0 25 0 3 0 349277673 141406208 33254 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=138092 CPUtime=2016.74
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 28718 0 0 0 201632 42 0 0 25 0 3 0 349277673 141406208 33254 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4034.08
Current children cumulated vsize (KiB) 138092

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1628512/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=138092 CPUtime=4153.77
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 61045 0 0 0 415281 96 0 0 18 0 3 0 349277667 141406208 33264 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34523 33264 218 20 0 33881 0
[pid=23216/tid=23218] ppid=23214 vsize=138092 CPUtime=2077.26
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 31209 0 0 0 207673 53 0 0 25 0 3 0 349277673 141406208 33264 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=138092 CPUtime=2076.44
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 29079 0 0 0 207602 42 0 0 25 0 3 0 349277673 141406208 33264 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.77
Current children cumulated vsize (KiB) 138092

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1628512/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=138092 CPUtime=4273.46
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 61772 0 0 0 427250 96 0 0 18 0 3 0 349277667 141406208 33274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34523 33274 218 20 0 33881 0
[pid=23216/tid=23218] ppid=23214 vsize=138092 CPUtime=2137.23
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 31573 0 0 0 213670 53 0 0 25 0 3 0 349277673 141406208 33274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=138092 CPUtime=2136.17
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 29442 0 0 0 213574 43 0 0 25 0 3 0 349277673 141406208 33274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.46
Current children cumulated vsize (KiB) 138092

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1627488/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=4393.16
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 62744 0 0 0 439219 97 0 0 18 0 3 0 349277667 142454784 33526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33526 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2197.21
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 32183 0 0 0 219667 54 0 0 25 0 3 0 349277673 142454784 33526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2195.9
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 29804 0 0 0 219547 43 0 0 25 0 3 0 349277673 142454784 33526 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4393.16
Current children cumulated vsize (KiB) 139116

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1627360/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=4512.87
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 63478 0 0 0 451189 98 0 0 18 0 3 0 349277667 142454784 33535 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33535 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2257.17
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 32550 0 0 0 225663 54 0 0 25 0 3 0 349277673 142454784 33535 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526470 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2255.63
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 30171 0 0 0 225520 43 0 0 25 0 3 0 349277673 142454784 33535 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.87
Current children cumulated vsize (KiB) 139116

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1627360/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=4632.58
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 64334 0 0 0 463159 99 0 0 18 0 3 0 349277667 142454784 33542 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33542 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2317.16
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 32919 0 0 0 231661 55 0 0 25 0 3 0 349277673 142454784 33542 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2315.36
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 30658 0 0 0 231492 44 0 0 25 0 3 0 349277673 142454784 33542 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.58
Current children cumulated vsize (KiB) 139116

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1627360/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=4752.28
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 64950 0 0 0 475128 100 0 0 18 0 3 0 349277667 142454784 33548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33548 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2377.13
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 33164 0 0 0 237658 55 0 0 25 0 3 0 349277673 142454784 33548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2375.07
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 31029 0 0 0 237463 44 0 0 25 0 3 0 349277673 142454784 33548 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.28
Current children cumulated vsize (KiB) 139116

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23417
/proc/meminfo: memFree=1627232/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=4871.98
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 65693 0 0 0 487097 101 0 0 18 0 3 0 349277667 142454784 33557 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33557 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2437.11
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 33536 0 0 0 243655 56 0 0 25 0 3 0 349277673 142454784 33557 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2434.8
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 31400 0 0 0 243436 44 0 0 25 0 3 0 349277673 142454784 33557 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.98
Current children cumulated vsize (KiB) 139116

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1627168/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=4991.71
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 66435 0 0 0 499069 102 0 0 18 0 3 0 349277667 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33561 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2497.1
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 33907 0 0 0 249653 57 0 0 25 0 3 0 349277673 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2494.55
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 31771 0 0 0 249410 45 0 0 25 0 3 0 349277673 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521366 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.71
Current children cumulated vsize (KiB) 139116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1627168/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=5000.09
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 66435 0 0 0 499907 102 0 0 18 0 3 0 349277667 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33561 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2501.3
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 33907 0 0 0 250073 57 0 0 25 0 3 0 349277673 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2498.73
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 31771 0 0 0 249828 45 0 0 25 0 3 0 349277673 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 139116

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

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

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 23417
/proc/meminfo: memFree=1627168/2055920 swapFree=4156504/4192956
[pid=23216] ppid=23214 vsize=139116 CPUtime=5000.09
/proc/23216/stat : 23216 (MiraXTv3_dyn) S 23214 23216 23085 0 -1 4194304 66435 0 0 0 499907 102 0 0 18 0 3 0 349277667 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23216/statm: 34779 33561 218 20 0 34137 0
[pid=23216/tid=23218] ppid=23214 vsize=139116 CPUtime=2501.3
/proc/23216/task/23218/stat : 23218 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 33907 0 0 0 250073 57 0 0 25 0 3 0 349277673 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23216/tid=23219] ppid=23214 vsize=139116 CPUtime=2498.73
/proc/23216/task/23219/stat : 23219 (MiraXTv3_dyn) R 23214 23216 23085 0 -1 4194368 31771 0 0 0 249828 45 0 0 25 0 3 0 349277673 142454784 33561 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 139116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.53
CPU time (s): 5000.13
CPU user time (s): 4999.09
CPU system time (s): 1.04784
CPU usage (%): 199.484
Max. virtual memory (cumulated for all children) (KiB): 139604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.09
system time used= 1.04784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66435
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= 411
involuntary context switches= 94530

runsolver used 2.50562 second user time and 6.66599 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat May 12 23:46:41 UTC 2007

IDJOB= 426398
IDBENCH= 20240
IDSOLVER= 196
FILE ID= node15/426398-1179013600

PBS_JOBID= 5252873

Free space on /tmp= 66540 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
COMMAND LINE= /tmp/evaluation/426398-1179013600/MiraXTv3_dyn /tmp/evaluation/426398-1179013600/instance-426398-1179013600.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-426398-1179013600 -o ROOT/results/node15/solver-426398-1179013600 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426398-1179013600/MiraXTv3_dyn /tmp/evaluation/426398-1179013600/instance-426398-1179013600.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  7dc1e0d3ec36f8265c6ac507adda4d13

RANDOM SEED= 106057902

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1761864 kB
Buffers:         41924 kB
Cached:         185556 kB
SwapCached:      16300 kB
Active:         100236 kB
Inactive:       151492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1761864 kB
SwapTotal:     4192956 kB
SwapFree:      4156504 kB
Dirty:            4180 kB
Writeback:           0 kB
Mapped:          30040 kB
Slab:            27756 kB
Committed_AS: 10928376 kB
PageTables:       1868 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= 66540 MiB

End job on node15 on Sun May 13 00:28:29 UTC 2007