Trace number 456393

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.23 2528.93

General information on the benchmark

Namecrafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
MD5SUM64fc27f80f46bd97e9b696c2a1119c70
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4795.28
Satisfiable
(Un)Satisfiability was proved
Number of variables184
Number of clauses896
Sum of the clauses size3042
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214
Number of clauses of size 3514
Number of clauses of size 4368
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/node52/watcher-456393-1179023080 -o ROOT/results/node52/solver-456393-1179023080 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456393-1179023080/MiraXTv3_dyn /tmp/evaluation/456393-1179023080/instance-456393-1179023080.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: 2.96 2.48 2.16 4/71 18679
/proc/meminfo: memFree=1193684/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=3788 CPUtime=0
/proc/18679/stat : 18679 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 257153062 3878912 260 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4744827 0 0 4096 0 0 0 0 17 0 0 0
/proc/18679/statm: 947 260 206 20 0 305 0

[startup+0.178106 s]
/proc/loadavg: 2.96 2.48 2.16 4/71 18679
/proc/meminfo: memFree=1193684/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=7892 CPUtime=0.33
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 843 0 0 0 33 0 0 0 18 0 3 0 257153062 8081408 818 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 1973 818 218 20 0 1331 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 7892

[startup+0.201282 s]
/proc/loadavg: 2.96 2.48 2.16 4/71 18679
/proc/meminfo: memFree=1193684/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=7892 CPUtime=0.38
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 866 0 0 0 38 0 0 0 18 0 3 0 257153062 8081408 841 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 1973 841 218 20 0 1331 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 7892

[startup+0.30129 s]
/proc/loadavg: 2.96 2.48 2.16 4/71 18679
/proc/meminfo: memFree=1193684/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=8452 CPUtime=0.58
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 1060 0 0 0 58 0 0 0 18 0 3 0 257153062 8654848 1035 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 2113 1035 218 20 0 1471 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8452

[startup+0.701319 s]
/proc/loadavg: 2.96 2.48 2.16 4/71 18679
/proc/meminfo: memFree=1193684/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=10996 CPUtime=1.35
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 1700 0 0 0 135 0 0 0 18 0 3 0 257153062 11259904 1675 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 2749 1675 218 20 0 2107 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 10996

[startup+1.50137 s]
/proc/loadavg: 2.96 2.48 2.16 4/74 18709
/proc/meminfo: memFree=1186108/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=14112 CPUtime=2.83
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 2584 0 0 0 282 1 0 0 18 0 3 0 257153062 14450688 2559 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 3528 2559 218 20 0 2886 0
[pid=18679/tid=18683] ppid=18669 vsize=14112 CPUtime=1.45
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 1202 0 0 0 145 0 0 0 22 0 3 0 257153063 14450688 2559 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=14112 CPUtime=1.36
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 1065 0 0 0 136 0 0 0 25 0 3 0 257153063 14450688 2559 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 14112

[startup+3.10148 s]
/proc/loadavg: 2.96 2.48 2.16 4/73 18786
/proc/meminfo: memFree=1183556/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=17076 CPUtime=5.69
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 3038 0 0 0 568 1 0 0 18 0 3 0 257153062 17485824 3013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 4269 3013 218 20 0 3627 0
[pid=18679/tid=18683] ppid=18669 vsize=17076 CPUtime=2.99
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 1413 0 0 0 299 0 0 0 25 0 3 0 257153063 17485824 3013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=17076 CPUtime=2.68
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 1308 0 0 0 268 0 0 0 25 0 3 0 257153063 17485824 3013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 17076

[startup+6.30251 s]
/proc/loadavg: 2.96 2.48 2.17 4/74 19207
/proc/meminfo: memFree=1175932/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=24368 CPUtime=11.15
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 4979 0 0 0 1112 3 0 0 18 0 3 0 257153062 24952832 4840 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 6092 4840 218 20 0 5450 0
[pid=18679/tid=18683] ppid=18669 vsize=24368 CPUtime=6.02
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 2470 0 0 0 601 1 0 0 25 0 3 0 257153063 24952832 4840 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=24368 CPUtime=5.12
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 2192 0 0 0 511 1 0 0 25 0 3 0 257153063 24952832 4840 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 24368

[startup+12.7019 s]
/proc/loadavg: 2.97 2.49 2.17 4/73 19601
/proc/meminfo: memFree=1162116/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=37420 CPUtime=23.2
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 8423 0 0 0 2315 5 0 0 18 0 3 0 257153062 38318080 8098 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 9355 8098 218 20 0 8713 0
[pid=18679/tid=18683] ppid=18669 vsize=37420 CPUtime=12.37
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 4308 0 0 0 1235 2 0 0 25 0 3 0 257153063 38318080 8098 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=37420 CPUtime=10.81
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 3798 0 0 0 1079 2 0 0 25 0 3 0 257153063 38318080 8098 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.2
Current children cumulated vsize (KiB) 37420

[startup+25.5018 s]
/proc/loadavg: 3.05 2.53 2.19 4/74 20872
/proc/meminfo: memFree=1155708/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=41436 CPUtime=45.87
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 9775 0 0 0 4579 8 0 0 18 0 3 0 257153062 42430464 9041 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 10359 9041 218 20 0 9717 0
[pid=18679/tid=18683] ppid=18669 vsize=41436 CPUtime=23.21
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 4861 0 0 0 2318 3 0 0 25 0 3 0 257153063 42430464 9041 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=41436 CPUtime=22.63
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 4597 0 0 0 2259 4 0 0 25 0 3 0 257153063 42430464 9041 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 45.87
Current children cumulated vsize (KiB) 41436

[startup+51.1015 s]
/proc/loadavg: 3.23 2.62 2.23 6/74 23025
/proc/meminfo: memFree=1144956/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=50204 CPUtime=91.98
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 12738 0 0 0 9186 12 0 0 18 0 3 0 257153062 51408896 11270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 12551 11270 218 20 0 11909 0
[pid=18679/tid=18683] ppid=18669 vsize=50204 CPUtime=45.54
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 6363 0 0 0 4549 5 0 0 25 0 3 0 257153063 51408896 11270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=50204 CPUtime=46.43
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 6058 0 0 0 4636 7 0 0 25 0 3 0 257153063 51408896 11270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.98
Current children cumulated vsize (KiB) 50204

[startup+102.302 s]
/proc/loadavg: 3.17 2.69 2.27 5/73 27381
/proc/meminfo: memFree=1134404/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=55792 CPUtime=184.1
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 15384 0 0 0 18391 19 0 0 18 0 3 0 257153062 57131008 12579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 13948 12579 218 20 0 13306 0
[pid=18679/tid=18683] ppid=18669 vsize=55792 CPUtime=90.15
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 7198 0 0 0 9008 7 0 0 25 0 3 0 257153063 57131008 12579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=55792 CPUtime=93.92
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 7869 0 0 0 9381 11 0 0 25 0 3 0 257153063 57131008 12579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 184.1
Current children cumulated vsize (KiB) 55792

[startup+162.301 s]
/proc/loadavg: 3.21 2.79 2.33 4/73 32686
/proc/meminfo: memFree=1123844/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=58400 CPUtime=291.47
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 17693 0 0 0 29118 29 0 0 18 0 3 0 257153062 59801600 13293 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 14600 13293 218 20 0 13958 0
[pid=18679/tid=18683] ppid=18669 vsize=58400 CPUtime=141.8
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 8594 0 0 0 14170 10 0 0 25 0 3 0 257153063 59801600 13293 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=58400 CPUtime=149.65
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 8782 0 0 0 14947 18 0 0 25 0 3 0 257153063 59801600 13293 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 291.47
Current children cumulated vsize (KiB) 58400

[startup+222.306 s]
/proc/loadavg: 3.23 2.86 2.38 6/75 5796
/proc/meminfo: memFree=1115572/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=61768 CPUtime=399.14
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 19782 0 0 0 39879 35 0 0 18 0 3 0 257153062 63250432 13905 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 15442 13905 218 20 0 14800 0
[pid=18679/tid=18683] ppid=18669 vsize=61768 CPUtime=194.01
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 9806 0 0 0 19387 14 0 0 25 0 3 0 257153063 63250432 13905 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=61768 CPUtime=205.11
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 9659 0 0 0 20491 20 0 0 25 0 3 0 257153063 63250432 13905 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.14
Current children cumulated vsize (KiB) 61768

[startup+282.301 s]
/proc/loadavg: 2.69 2.76 2.37 3/67 5810
/proc/meminfo: memFree=1116060/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=63416 CPUtime=518.73
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 21992 0 0 0 51836 37 0 0 18 0 3 0 257153062 64937984 14390 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 15854 14390 218 20 0 15212 0
[pid=18679/tid=18683] ppid=18669 vsize=63416 CPUtime=253.65
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 11014 0 0 0 25350 15 0 0 25 0 3 0 257153063 64937984 14390 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=63416 CPUtime=265.06
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 10661 0 0 0 26485 21 0 0 25 0 3 0 257153063 64937984 14390 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.73
Current children cumulated vsize (KiB) 63416

[startup+342.301 s]
/proc/loadavg: 2.25 2.62 2.35 3/67 5810
/proc/meminfo: memFree=1114716/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=64276 CPUtime=638.42
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 23956 0 0 0 63803 39 0 0 18 0 3 0 257153062 65818624 14759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 16069 14759 218 20 0 15427 0
[pid=18679/tid=18683] ppid=18669 vsize=64276 CPUtime=313.38
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 12086 0 0 0 31322 16 0 0 25 0 3 0 257153063 65818624 14759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=64276 CPUtime=325.02
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 11553 0 0 0 32480 22 0 0 25 0 3 0 257153063 65818624 14759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 638.42
Current children cumulated vsize (KiB) 64276

[startup+402.301 s]

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

/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 32030 0 0 0 180625 29 0 0 25 0 3 0 257153063 85970944 19315 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=83956 CPUtime=1824.17
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 32013 0 0 0 182379 38 0 0 25 0 3 0 257153063 85970944 19315 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3630.73
Current children cumulated vsize (KiB) 83956

[startup+1902.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/67 5810
/proc/meminfo: memFree=1095772/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=83956 CPUtime=3750.43
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 65638 0 0 0 374973 70 0 0 18 0 3 0 257153062 85970944 19477 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 20989 19477 218 20 0 20347 0
[pid=18679/tid=18683] ppid=18669 vsize=83956 CPUtime=1866.44
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 32621 0 0 0 186614 30 0 0 25 0 3 0 257153063 85970944 19477 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=83956 CPUtime=1883.98
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 32700 0 0 0 188359 39 0 0 25 0 3 0 257153063 85970944 19477 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3750.43
Current children cumulated vsize (KiB) 83956

[startup+1962.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/67 5810
/proc/meminfo: memFree=1095644/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=83956 CPUtime=3870.11
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 67043 0 0 0 386941 70 0 0 18 0 3 0 257153062 85970944 19506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 20989 19506 218 20 0 20347 0
[pid=18679/tid=18683] ppid=18669 vsize=83956 CPUtime=1926.4
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 33335 0 0 0 192610 30 0 0 25 0 3 0 257153063 85970944 19506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=83956 CPUtime=1943.7
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 33391 0 0 0 194330 40 0 0 25 0 3 0 257153063 85970944 19506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3870.11
Current children cumulated vsize (KiB) 83956

[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/67 5810
/proc/meminfo: memFree=1095644/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=83956 CPUtime=3989.81
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 68510 0 0 0 398910 71 0 0 18 0 3 0 257153062 85970944 19511 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 20989 19511 218 20 0 20347 0
[pid=18679/tid=18683] ppid=18669 vsize=83956 CPUtime=1986.37
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 34027 0 0 0 198606 31 0 0 25 0 3 0 257153063 85970944 19511 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=83956 CPUtime=2003.43
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 34166 0 0 0 200303 40 0 0 25 0 3 0 257153063 85970944 19511 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3989.81
Current children cumulated vsize (KiB) 83956

[startup+2082.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/67 5810
/proc/meminfo: memFree=1095644/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=83956 CPUtime=4109.53
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 69890 0 0 0 410881 72 0 0 18 0 3 0 257153062 85970944 19515 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 20989 19515 218 20 0 20347 0
[pid=18679/tid=18683] ppid=18669 vsize=83956 CPUtime=2046.34
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 34717 0 0 0 204603 31 0 0 25 0 3 0 257153063 85970944 19515 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=83956 CPUtime=2063.16
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 34856 0 0 0 206276 40 0 0 25 0 3 0 257153063 85970944 19515 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4109.53
Current children cumulated vsize (KiB) 83956

[startup+2142.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/67 5810
/proc/meminfo: memFree=1095132/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=84116 CPUtime=4229.2
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 71472 0 0 0 422847 73 0 0 18 0 3 0 257153062 86134784 19628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 21029 19628 218 20 0 20387 0
[pid=18679/tid=18683] ppid=18669 vsize=84116 CPUtime=2106.3
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 35428 0 0 0 210599 31 0 0 25 0 3 0 257153063 86134784 19628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=84116 CPUtime=2122.88
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 35727 0 0 0 212247 41 0 0 25 0 3 0 257153063 86134784 19628 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4229.2
Current children cumulated vsize (KiB) 84116

[startup+2202.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 5926
/proc/meminfo: memFree=1093804/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=84116 CPUtime=4348.77
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 72701 0 0 0 434795 82 0 0 18 0 3 0 257153062 86134784 19639 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 21029 19639 218 20 0 20387 0
[pid=18679/tid=18683] ppid=18669 vsize=84116 CPUtime=2166.15
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 35955 0 0 0 216583 32 0 0 25 0 3 0 257153063 86134784 19639 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=84116 CPUtime=2182.6
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 36429 0 0 0 218211 49 0 0 25 0 3 0 257153063 86134784 19639 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4743519 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4348.77
Current children cumulated vsize (KiB) 84116

[startup+2262.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/67 6008
/proc/meminfo: memFree=1095388/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=84116 CPUtime=4468.34
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 74119 0 0 0 446745 89 0 0 18 0 3 0 257153062 86134784 19534 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 21029 19534 218 20 0 20387 0
[pid=18679/tid=18683] ppid=18669 vsize=84116 CPUtime=2226.03
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 36675 0 0 0 222571 32 0 0 25 0 3 0 257153063 86134784 19534 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18679/tid=18684] ppid=18669 vsize=84116 CPUtime=2242.29
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 37127 0 0 0 224173 56 0 0 25 0 3 0 257153063 86134784 19534 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4468.34
Current children cumulated vsize (KiB) 84116

[startup+2322.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/67 6008
/proc/meminfo: memFree=1095516/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=84116 CPUtime=4588.01
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 75425 0 0 0 458711 90 0 0 18 0 3 0 257153062 86134784 19535 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 21029 19535 218 20 0 20387 0
[pid=18679/tid=18683] ppid=18669 vsize=84116 CPUtime=2285.77
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 37285 0 0 0 228544 33 0 0 25 0 3 0 257153063 86134784 19535 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=84116 CPUtime=2302.23
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 37823 0 0 0 230166 57 0 0 25 0 3 0 257153063 86134784 19535 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565712 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4588.01
Current children cumulated vsize (KiB) 84116

[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/67 6008
/proc/meminfo: memFree=1095452/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=85140 CPUtime=4707.73
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 76605 0 0 0 470682 91 0 0 18 0 3 0 257153062 87183360 19584 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 21285 19584 218 20 0 20643 0
[pid=18679/tid=18683] ppid=18669 vsize=85140 CPUtime=2345.5
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 37722 0 0 0 234517 33 0 0 25 0 3 0 257153063 87183360 19584 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=85140 CPUtime=2362.2
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 38566 0 0 0 236163 57 0 0 25 0 3 0 257153063 87183360 19584 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4707.73
Current children cumulated vsize (KiB) 85140

[startup+2442.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/67 6008
/proc/meminfo: memFree=1095132/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=85272 CPUtime=4827.41
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 77598 0 0 0 482649 92 0 0 18 0 3 0 257153062 87318528 19617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 21318 19617 218 20 0 20676 0
[pid=18679/tid=18683] ppid=18669 vsize=85272 CPUtime=2405.22
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 38072 0 0 0 240489 33 0 0 25 0 3 0 257153063 87318528 19617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=85272 CPUtime=2422.18
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 39209 0 0 0 242160 58 0 0 25 0 3 0 257153063 87318528 19617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134528983 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4827.41
Current children cumulated vsize (KiB) 85272

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/67 6008
/proc/meminfo: memFree=1087708/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=92440 CPUtime=4947.12
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 80734 0 0 0 494616 96 0 0 18 0 3 0 257153062 94658560 21522 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 23110 21522 218 20 0 22468 0
[pid=18679/tid=18683] ppid=18669 vsize=92440 CPUtime=2464.95
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 40643 0 0 0 246458 37 0 0 25 0 3 0 257153063 94658560 21522 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=92440 CPUtime=2482.15
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 39774 0 0 0 248157 58 0 0 25 0 3 0 257153063 94658560 21522 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4947.12
Current children cumulated vsize (KiB) 92440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2528.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/67 6008
/proc/meminfo: memFree=1087516/2055920 swapFree=4183124/4192956
[pid=18679] ppid=18669 vsize=92440 CPUtime=5000.19
/proc/18679/stat : 18679 (MiraXTv3_dyn) S 18669 18679 2677 0 -1 4194304 81354 0 0 0 499923 96 0 0 18 0 3 0 257153062 94658560 21526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/18679/statm: 23110 21526 218 20 0 22468 0
[pid=18679/tid=18683] ppid=18669 vsize=92440 CPUtime=2491.43
/proc/18679/task/18683/stat : 18683 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 40999 0 0 0 249105 38 0 0 25 0 3 0 257153063 94658560 21526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18679/tid=18684] ppid=18669 vsize=92440 CPUtime=2508.74
/proc/18679/task/18684/stat : 18684 (MiraXTv3_dyn) R 18669 18679 2677 0 -1 4194368 40038 0 0 0 250816 58 0 0 25 0 3 0 257153063 94658560 21526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 92440

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): 2528.93
CPU time (s): 5000.23
CPU user time (s): 4999.24
CPU system time (s): 0.98285
CPU usage (%): 197.721
Max. virtual memory (cumulated for all children) (KiB): 92440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.24
system time used= 0.98285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81354
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= 727
involuntary context switches= 50152

runsolver used 2.30365 second user time and 6.92795 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Sun May 13 02:24:40 UTC 2007

IDJOB= 456393
IDBENCH= 24696
IDSOLVER= 196
FILE ID= node52/456393-1179023080

PBS_JOBID= 5253223

Free space on /tmp= 66542 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/others/hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456393-1179023080/MiraXTv3_dyn /tmp/evaluation/456393-1179023080/instance-456393-1179023080.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-456393-1179023080 -o ROOT/results/node52/solver-456393-1179023080 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456393-1179023080/MiraXTv3_dyn /tmp/evaluation/456393-1179023080/instance-456393-1179023080.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  64fc27f80f46bd97e9b696c2a1119c70

RANDOM SEED= 726008915

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1194172 kB
Buffers:         53276 kB
Cached:         676984 kB
SwapCached:       3936 kB
Active:         395928 kB
Inactive:       345952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1194172 kB
SwapTotal:     4192956 kB
SwapFree:      4183124 kB
Dirty:            4652 kB
Writeback:           0 kB
Mapped:          17948 kB
Slab:           105368 kB
Committed_AS:  5395644 kB
PageTables:       1756 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= 66543 MiB

End job on node52 on Sun May 13 03:06:51 UTC 2007