Trace number 456387

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 v3UNSAT 4590.47 2326.52

General information on the benchmark

Namecrafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
MD5SUM8bbab1b2b788407ca952856a1e2edded
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.990849
Satisfiable
(Un)Satisfiability was proved
Number of variables4667
Number of clauses18492
Sum of the clauses size55356
Maximum clause length3
Minimum clause length1
Number of clauses of size 160
Number of clauses of size 20
Number of clauses of size 318432
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...
4590.45/2326.50	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-456387-1179023043 -o ROOT/results/node61/solver-456387-1179023043 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456387-1179023043/MiraXTv3_dyn /tmp/evaluation/456387-1179023043/instance-456387-1179023043.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: 3.04 2.38 2.12 4/70 2387
/proc/meminfo: memFree=957960/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=376 CPUtime=0
/proc/2387/stat : 2387 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194304 48 0 0 0 0 0 0 0 19 0 1 0 314267909 385024 37 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10384164 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/2387/statm: 94 37 28 20 0 5 0

[startup+0.096953 s]
/proc/loadavg: 3.04 2.38 2.12 4/70 2387
/proc/meminfo: memFree=957960/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=6400 CPUtime=0.08
/proc/2387/stat : 2387 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194304 980 0 0 0 8 0 0 0 18 0 1 0 314267909 6553600 955 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134575767 0 0 4096 0 0 0 0 17 0 0 0
/proc/2387/statm: 1600 955 207 20 0 958 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6400

[startup+0.101953 s]
/proc/loadavg: 3.04 2.38 2.12 4/70 2387
/proc/meminfo: memFree=957960/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=6480 CPUtime=0.08
/proc/2387/stat : 2387 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194304 994 0 0 0 8 0 0 0 18 0 1 0 314267909 6635520 969 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134577957 0 0 4096 0 0 0 0 17 0 0 0
/proc/2387/statm: 1620 969 207 20 0 978 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6480

[startup+0.301972 s]
/proc/loadavg: 3.04 2.38 2.12 4/70 2387
/proc/meminfo: memFree=957960/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=12032 CPUtime=0.28
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 1644 0 0 0 28 0 0 0 18 0 3 0 314267909 12320768 1570 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 3008 1570 218 20 0 2366 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12032

[startup+0.701009 s]
/proc/loadavg: 3.04 2.38 2.12 4/70 2387
/proc/meminfo: memFree=957960/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=12692 CPUtime=0.69
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 1834 0 0 0 68 1 0 0 18 0 3 0 314267909 12996608 1760 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 3173 1760 218 20 0 2531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12692

[startup+1.50109 s]
/proc/loadavg: 3.04 2.38 2.12 4/73 2863
/proc/meminfo: memFree=951152/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=14408 CPUtime=1.48
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 2303 0 0 0 147 1 0 0 18 0 3 0 314267909 14753792 2229 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 3602 2229 218 20 0 2960 0
[pid=2387/tid=2454] ppid=2380 vsize=14408 CPUtime=0.54
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 557 0 0 0 54 0 0 0 25 0 3 0 314267922 14753792 2229 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=14408 CPUtime=0.81
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 706 0 0 0 81 0 0 0 25 0 3 0 314267922 14753792 2229 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14408

[startup+3.10124 s]
/proc/loadavg: 3.04 2.38 2.12 5/74 3380
/proc/meminfo: memFree=948520/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=18204 CPUtime=3.07
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 3036 0 0 0 306 1 0 0 18 0 3 0 314267909 18640896 2962 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 4551 2962 218 20 0 3909 0
[pid=2387/tid=2454] ppid=2380 vsize=18204 CPUtime=1.33
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 932 0 0 0 133 0 0 0 25 0 3 0 314267922 18640896 2962 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=18204 CPUtime=1.61
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 1065 0 0 0 161 0 0 0 25 0 3 0 314267922 18640896 2963 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10819195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 18204

[startup+6.30154 s]
/proc/loadavg: 3.12 2.41 2.13 4/74 4256
/proc/meminfo: memFree=939560/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=27336 CPUtime=8.45
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 5266 0 0 0 842 3 0 0 18 0 3 0 314267909 27992064 5192 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 6834 5192 218 20 0 6192 0
[pid=2387/tid=2454] ppid=2380 vsize=27336 CPUtime=4.03
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 1990 0 0 0 402 1 0 0 22 0 3 0 314267922 27992064 5192 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521227 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=27336 CPUtime=4.28
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 2236 0 0 0 427 1 0 0 23 0 3 0 314267922 27992064 5192 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 27336

[startup+12.7022 s]
/proc/loadavg: 3.19 2.44 2.14 4/74 6581
/proc/meminfo: memFree=930216/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=34076 CPUtime=16.31
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 7074 0 0 0 1627 4 0 0 18 0 3 0 314267909 34893824 7000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 8519 7000 218 20 0 7877 0
[pid=2387/tid=2454] ppid=2380 vsize=34076 CPUtime=7.73
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 2772 0 0 0 772 1 0 0 25 0 3 0 314267922 34893824 7000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2387/tid=2455] ppid=2380 vsize=34076 CPUtime=8.45
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 3262 0 0 0 843 2 0 0 23 0 3 0 314267922 34893824 7000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.31
Current children cumulated vsize (KiB) 34076

[startup+25.5012 s]
/proc/loadavg: 3.14 2.46 2.15 5/74 7575
/proc/meminfo: memFree=914792/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=49704 CPUtime=39.8
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 11105 0 0 0 3971 9 0 0 18 0 3 0 314267909 50896896 10994 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 12426 10994 218 20 0 11784 0
[pid=2387/tid=2454] ppid=2380 vsize=49704 CPUtime=18.5
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 4304 0 0 0 1847 3 0 0 25 0 3 0 314267922 50896896 10994 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2387/tid=2455] ppid=2380 vsize=49704 CPUtime=21.16
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 5761 0 0 0 2112 4 0 0 25 0 3 0 314267922 50896896 10994 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520283 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 49704

[startup+51.1016 s]
/proc/loadavg: 3.09 2.50 2.18 4/74 11865
/proc/meminfo: memFree=884912/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=79228 CPUtime=81.65
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 18668 0 0 0 8149 16 0 0 18 0 3 0 314267909 81129472 18440 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 19807 18440 218 20 0 19165 0
[pid=2387/tid=2454] ppid=2380 vsize=79228 CPUtime=39.31
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 8164 0 0 0 3924 7 0 0 25 0 3 0 314267922 81129472 18440 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520093 0 0 4096 0 0 0 0 -1 1 0 0
[pid=2387/tid=2455] ppid=2380 vsize=79228 CPUtime=42.2
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 9464 0 0 0 4213 7 0 0 25 0 3 0 314267922 81129472 18440 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 81.65
Current children cumulated vsize (KiB) 79228

[startup+102.306 s]
/proc/loadavg: 3.18 2.61 2.23 4/73 20851
/proc/meminfo: memFree=846376/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=116440 CPUtime=164.37
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 28060 0 0 0 16405 32 0 0 18 0 3 0 314267909 119234560 27632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 29110 27632 218 20 0 28468 0
[pid=2387/tid=2454] ppid=2380 vsize=116440 CPUtime=81.81
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 12725 0 0 0 8167 14 0 0 25 0 3 0 314267922 119234560 27632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=116440 CPUtime=82.42
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 14295 0 0 0 8226 16 0 0 25 0 3 0 314267922 119234560 27632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 164.37
Current children cumulated vsize (KiB) 116440

[startup+162.301 s]
/proc/loadavg: 2.67 2.58 2.24 3/67 26004
/proc/meminfo: memFree=837904/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=126548 CPUtime=273.5
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 31091 0 0 0 27314 36 0 0 18 0 3 0 314267909 129585152 30366 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 31637 30366 218 20 0 30995 0
[pid=2387/tid=2454] ppid=2380 vsize=126548 CPUtime=135.17
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 13674 0 0 0 13501 16 0 0 25 0 3 0 314267922 129585152 30366 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=126548 CPUtime=138.2
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 16377 0 0 0 13801 19 0 0 25 0 3 0 314267922 129585152 30366 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 273.5
Current children cumulated vsize (KiB) 126548

[startup+222.302 s]
/proc/loadavg: 2.24 2.47 2.22 3/67 26004
/proc/meminfo: memFree=788880/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=174752 CPUtime=393.2
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 43543 0 0 0 39270 50 0 0 18 0 3 0 314267909 178946048 42492 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 43688 42492 218 20 0 43046 0
[pid=2387/tid=2454] ppid=2380 vsize=174752 CPUtime=194.9
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 19057 0 0 0 19467 23 0 0 25 0 3 0 314267922 178946048 42492 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=174752 CPUtime=198.18
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 23446 0 0 0 19792 26 0 0 25 0 3 0 314267922 178946048 42492 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 393.2
Current children cumulated vsize (KiB) 174752

[startup+282.302 s]
/proc/loadavg: 2.09 2.39 2.21 3/67 26004
/proc/meminfo: memFree=780752/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=182944 CPUtime=512.88
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 45971 0 0 0 51235 53 0 0 18 0 3 0 314267909 187334656 44579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 45736 44579 218 20 0 45094 0
[pid=2387/tid=2454] ppid=2380 vsize=182944 CPUtime=254.6
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 20524 0 0 0 25435 25 0 0 25 0 3 0 314267922 187334656 44579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=182944 CPUtime=258.14
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 24407 0 0 0 25788 26 0 0 25 0 3 0 314267922 187334656 44579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 512.88
Current children cumulated vsize (KiB) 182944

[startup+342.301 s]
/proc/loadavg: 2.03 2.31 2.19 3/67 26004
/proc/meminfo: memFree=776720/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=186016 CPUtime=632.58
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 47083 0 0 0 63204 54 0 0 18 0 3 0 314267909 190480384 45412 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 46504 45412 218 20 0 45862 0
[pid=2387/tid=2454] ppid=2380 vsize=186016 CPUtime=314.33
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 21259 0 0 0 31407 26 0 0 25 0 3 0 314267922 190480384 45412 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=186016 CPUtime=318.12
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 24784 0 0 0 31785 27 0 0 25 0 3 0 314267922 190480384 45412 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 632.58
Current children cumulated vsize (KiB) 186016

[startup+402.301 s]

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

/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38956 0 0 0 181713 50 0 0 25 0 3 0 314267922 280584192 66965 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565542 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3625.42
Current children cumulated vsize (KiB) 274008

[startup+1902.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/67 26006
/proc/meminfo: memFree=690256/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=273900 CPUtime=3745.12
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73071 0 0 0 374416 96 0 0 18 0 3 0 314267909 280473600 66957 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68475 66957 218 20 0 67833 0
[pid=2387/tid=2454] ppid=2380 vsize=273900 CPUtime=1867.39
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33071 0 0 0 186694 45 0 0 25 0 3 0 314267922 280473600 66957 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=273900 CPUtime=1877.61
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38960 0 0 0 187711 50 0 0 25 0 3 0 314267922 280473600 66957 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3745.12
Current children cumulated vsize (KiB) 273900

[startup+1962.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/67 26006
/proc/meminfo: memFree=690320/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=273900 CPUtime=3864.86
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73077 0 0 0 386389 97 0 0 18 0 3 0 314267909 280473600 66963 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68475 66963 218 20 0 67833 0
[pid=2387/tid=2454] ppid=2380 vsize=273900 CPUtime=1927.14
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33071 0 0 0 192668 46 0 0 25 0 3 0 314267922 280473600 66963 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=273900 CPUtime=1937.59
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38966 0 0 0 193709 50 0 0 25 0 3 0 314267922 280473600 66963 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3864.86
Current children cumulated vsize (KiB) 273900

[startup+2022.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/67 26006
/proc/meminfo: memFree=690320/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=273900 CPUtime=3984.57
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73078 0 0 0 398360 97 0 0 18 0 3 0 314267909 280473600 66964 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68475 66964 218 20 0 67833 0
[pid=2387/tid=2454] ppid=2380 vsize=273900 CPUtime=1986.88
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33071 0 0 0 198642 46 0 0 25 0 3 0 314267922 280473600 66964 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=273900 CPUtime=1997.56
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38967 0 0 0 199706 50 0 0 25 0 3 0 314267922 280473600 66964 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526391 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3984.57
Current children cumulated vsize (KiB) 273900

[startup+2082.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/67 26006
/proc/meminfo: memFree=690384/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=273900 CPUtime=4104.28
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73088 0 0 0 410331 97 0 0 18 0 3 0 314267909 280473600 66974 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68475 66974 218 20 0 67833 0
[pid=2387/tid=2454] ppid=2380 vsize=273900 CPUtime=2046.6
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33076 0 0 0 204614 46 0 0 25 0 3 0 314267922 280473600 66974 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565729 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=273900 CPUtime=2057.54
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38972 0 0 0 205704 50 0 0 25 0 3 0 314267922 280473600 66974 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4104.28
Current children cumulated vsize (KiB) 273900

[startup+2142.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/67 26006
/proc/meminfo: memFree=690320/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=273900 CPUtime=4224
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73097 0 0 0 422303 97 0 0 18 0 3 0 314267909 280473600 66983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68475 66983 218 20 0 67833 0
[pid=2387/tid=2454] ppid=2380 vsize=273900 CPUtime=2106.35
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33084 0 0 0 210589 46 0 0 25 0 3 0 314267922 280473600 66983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=273900 CPUtime=2117.52
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38973 0 0 0 211702 50 0 0 25 0 3 0 314267922 280473600 66983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565776 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4224
Current children cumulated vsize (KiB) 273900

[startup+2202.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/67 26006
/proc/meminfo: memFree=690320/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=273900 CPUtime=4343.71
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73103 0 0 0 434274 97 0 0 18 0 3 0 314267909 280473600 66989 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68475 66989 218 20 0 67833 0
[pid=2387/tid=2454] ppid=2380 vsize=273900 CPUtime=2166.08
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33089 0 0 0 216562 46 0 0 25 0 3 0 314267922 280473600 66989 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=273900 CPUtime=2177.5
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38974 0 0 0 217700 50 0 0 25 0 3 0 314267922 280473600 66989 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4343.71
Current children cumulated vsize (KiB) 273900

[startup+2262.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 26174
/proc/meminfo: memFree=689824/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=272876 CPUtime=4462.89
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73108 0 0 0 446175 114 0 0 18 0 3 0 314267909 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68219 66807 218 20 0 67577 0
[pid=2387/tid=2454] ppid=2380 vsize=272876 CPUtime=2225.68
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33090 0 0 0 222506 62 0 0 25 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=272876 CPUtime=2237.08
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38978 0 0 0 223657 51 0 0 25 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4462.89
Current children cumulated vsize (KiB) 272876

[startup+2322.3 s]
/proc/loadavg: 2.12 2.02 2.00 3/67 26204
/proc/meminfo: memFree=690768/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=272876 CPUtime=4582.57
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73108 0 0 0 458141 116 0 0 18 0 3 0 314267909 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68219 66807 218 20 0 67577 0
[pid=2387/tid=2454] ppid=2380 vsize=272876 CPUtime=2285.42
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33090 0 0 0 228478 64 0 0 25 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=272876 CPUtime=2297.03
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38978 0 0 0 229652 51 0 0 25 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4582.57
Current children cumulated vsize (KiB) 272876

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

[startup+2323.1 s]
/proc/loadavg: 2.11 2.02 2.00 3/67 26204
/proc/meminfo: memFree=690768/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=272876 CPUtime=4584.18
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73108 0 0 0 458302 116 0 0 18 0 3 0 314267909 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68219 66807 218 20 0 67577 0
[pid=2387/tid=2454] ppid=2380 vsize=272876 CPUtime=2286.22
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33090 0 0 0 228558 64 0 0 25 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=272876 CPUtime=2297.83
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38978 0 0 0 229732 51 0 0 25 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4584.18
Current children cumulated vsize (KiB) 272876

[startup+2324.7 s]
/proc/loadavg: 2.11 2.02 2.00 3/67 26204
/proc/meminfo: memFree=690768/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=272876 CPUtime=4587.22
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73108 0 0 0 458606 116 0 0 18 0 3 0 314267909 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68219 66807 218 20 0 67577 0
[pid=2387/tid=2454] ppid=2380 vsize=272876 CPUtime=2287.81
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33090 0 0 0 228717 64 0 0 25 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=272876 CPUtime=2299.28
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38978 0 0 0 229877 51 0 0 20 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10814978 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4587.22
Current children cumulated vsize (KiB) 272876

[startup+2325.5 s]
/proc/loadavg: 2.11 2.02 2.00 3/67 26204
/proc/meminfo: memFree=690768/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=272876 CPUtime=4588.8
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73108 0 0 0 458764 116 0 0 18 0 3 0 314267909 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68219 66807 218 20 0 67577 0
[pid=2387/tid=2454] ppid=2380 vsize=272876 CPUtime=2288.6
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33090 0 0 0 228796 64 0 0 23 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134528397 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=272876 CPUtime=2300.08
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38978 0 0 0 229957 51 0 0 22 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4588.8
Current children cumulated vsize (KiB) 272876

[startup+2326.3 s]
/proc/loadavg: 2.11 2.02 2.00 3/67 26204
/proc/meminfo: memFree=690768/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=272876 CPUtime=4590.19
/proc/2387/stat : 2387 (MiraXTv3_dyn) S 2380 2387 22558 0 -1 4194304 73108 0 0 0 458903 116 0 0 18 0 3 0 314267909 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/2387/statm: 68219 66807 218 20 0 67577 0
[pid=2387/tid=2454] ppid=2380 vsize=272876 CPUtime=2289.3
/proc/2387/task/2454/stat : 2454 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 33090 0 0 0 228866 64 0 0 18 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=2387/tid=2455] ppid=2380 vsize=272876 CPUtime=2300.76
/proc/2387/task/2455/stat : 2455 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194368 38978 0 0 0 230025 51 0 0 17 0 3 0 314267922 279425024 66807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10817020 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4590.19
Current children cumulated vsize (KiB) 272876

[startup+2326.51 s]
/proc/loadavg: 2.11 2.02 2.00 3/67 26204
/proc/meminfo: memFree=690768/2055920 swapFree=4184204/4192956
[pid=2387] ppid=2380 vsize=40324 CPUtime=4590.45
/proc/2387/stat : 2387 (MiraXTv3_dyn) R 2380 2387 22558 0 -1 4194304 73110 0 0 0 458923 122 0 0 17 0 1 0 314267909 41291776 9186 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2387/statm: 10081 9186 220 20 0 9439 0
Current children cumulated CPU time (s) 4590.45
Current children cumulated vsize (KiB) 40324

Child status: 20
Real time (s): 2326.52
CPU time (s): 4590.47
CPU user time (s): 4589.24
CPU system time (s): 1.22881
CPU usage (%): 197.311
Max. virtual memory (cumulated for all children) (KiB): 274008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4589.24
system time used= 1.22881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73113
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= 1492
involuntary context switches= 37636

runsolver used 2.41563 second user time and 6.09407 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sun May 13 02:24:03 UTC 2007

IDJOB= 456387
IDBENCH= 24694
IDSOLVER= 196
FILE ID= node61/456387-1179023043

PBS_JOBID= 5253216

Free space on /tmp= 66525 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456387-1179023043/MiraXTv3_dyn /tmp/evaluation/456387-1179023043/instance-456387-1179023043.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-456387-1179023043 -o ROOT/results/node61/solver-456387-1179023043 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456387-1179023043/MiraXTv3_dyn /tmp/evaluation/456387-1179023043/instance-456387-1179023043.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  8bbab1b2b788407ca952856a1e2edded

RANDOM SEED= 649257533

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:        958360 kB
Buffers:         57752 kB
Cached:         875796 kB
SwapCached:       2812 kB
Active:         519164 kB
Inactive:       425888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        958360 kB
SwapTotal:     4192956 kB
SwapFree:      4184204 kB
Dirty:            4868 kB
Writeback:           0 kB
Mapped:          17936 kB
Slab:           138116 kB
Committed_AS:  6233232 kB
PageTables:       1660 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= 66525 MiB

End job on node61 on Sun May 13 03:02:50 UTC 2007