Trace number 426382

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.16 2506.44

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
MD5SUM44d1561b77675d06306d515515e8409f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.81857
Satisfiable
(Un)Satisfiability was proved
Number of variables6499
Number of clauses17354
Sum of the clauses size46856
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25206
Number of clauses of size 312148
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/node72/watcher-426382-1179013070 -o ROOT/results/node72/solver-426382-1179013070 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426382-1179013070/MiraXTv3_dyn /tmp/evaluation/426382-1179013070/instance-426382-1179013070.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.99 1.97 1.89 3/77 20277
/proc/meminfo: memFree=1237752/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=3788 CPUtime=0
/proc/20277/stat : 20277 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194304 327 0 0 0 0 0 0 0 18 0 1 0 377345437 3878912 303 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20277/statm: 947 310 205 20 0 305 0

[startup+0.010321 s]
/proc/loadavg: 1.99 1.97 1.89 3/77 20277
/proc/meminfo: memFree=1237752/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=4748 CPUtime=0
/proc/20277/stat : 20277 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194304 574 0 0 0 0 0 0 0 18 0 1 0 377345437 4861952 549 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134574256 0 0 4096 0 0 0 0 17 1 0 0
/proc/20277/statm: 1187 549 206 20 0 545 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4748

[startup+0.101336 s]
/proc/loadavg: 1.99 1.97 1.89 3/77 20277
/proc/meminfo: memFree=1237752/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=13256 CPUtime=0.1
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 1901 0 0 0 9 1 0 0 18 0 3 0 377345437 13574144 1839 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 3314 1839 217 20 0 2672 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13256

[startup+0.301353 s]
/proc/loadavg: 1.99 1.97 1.89 3/77 20277
/proc/meminfo: memFree=1237752/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=14256 CPUtime=0.48
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 2024 0 0 0 47 1 0 0 18 0 3 0 377345437 14598144 1923 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 3564 1923 218 20 0 2922 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 14256

[startup+0.701391 s]
/proc/loadavg: 1.99 1.97 1.89 3/77 20277
/proc/meminfo: memFree=1237752/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=14784 CPUtime=1.28
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 2359 0 0 0 127 1 0 0 18 0 3 0 377345437 15138816 2258 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 3696 2258 218 20 0 3054 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 14784

[startup+1.50146 s]
/proc/loadavg: 1.99 1.97 1.89 3/80 20280
/proc/meminfo: memFree=1228384/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=19012 CPUtime=2.87
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 3177 0 0 0 286 1 0 0 18 0 3 0 377345437 19468288 3076 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 4753 3076 218 20 0 4111 0
[pid=20277/tid=20279] ppid=20275 vsize=19012 CPUtime=1.41
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 1095 0 0 0 141 0 0 0 25 0 3 0 377345446 19468288 3076 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565551 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=19012 CPUtime=1.37
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 1097 0 0 0 137 0 0 0 16 0 3 0 377345446 19468288 3076 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 19012

[startup+3.10161 s]
/proc/loadavg: 1.99 1.97 1.89 3/80 20280
/proc/meminfo: memFree=1224160/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=23152 CPUtime=6.06
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 4399 0 0 0 604 2 0 0 18 0 3 0 377345437 23707648 4298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 5788 4298 218 20 0 5146 0
[pid=20277/tid=20279] ppid=20275 vsize=23152 CPUtime=3
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 1659 0 0 0 300 0 0 0 25 0 3 0 377345446 23707648 4298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=23152 CPUtime=2.97
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 1755 0 0 0 296 1 0 0 25 0 3 0 377345446 23707648 4298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 23152

[startup+6.3019 s]
/proc/loadavg: 1.99 1.97 1.89 3/80 20280
/proc/meminfo: memFree=1214368/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=30816 CPUtime=12.46
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 6101 0 0 0 1240 6 0 0 18 0 3 0 377345437 31555584 6000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 7704 6000 218 20 0 7062 0
[pid=20277/tid=20279] ppid=20275 vsize=30816 CPUtime=6.2
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 2532 0 0 0 619 1 0 0 22 0 3 0 377345446 31555584 6000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=30816 CPUtime=6.16
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 2584 0 0 0 613 3 0 0 25 0 3 0 377345446 31555584 6000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526443 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 30816

[startup+12.7025 s]
/proc/loadavg: 1.99 1.97 1.89 3/80 20280
/proc/meminfo: memFree=1208416/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=37812 CPUtime=25.21
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 8050 0 0 0 2513 8 0 0 18 0 3 0 377345437 38719488 7875 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 9453 7875 218 20 0 8811 0
[pid=20277/tid=20279] ppid=20275 vsize=37812 CPUtime=12.61
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 3541 0 0 0 1258 3 0 0 25 0 3 0 377345446 38719488 7875 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=37812 CPUtime=12.51
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 3524 0 0 0 1247 4 0 0 25 0 3 0 377345446 38719488 7875 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522148 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 37812

[startup+25.5017 s]
/proc/loadavg: 1.99 1.97 1.89 3/80 20280
/proc/meminfo: memFree=1180896/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=63716 CPUtime=50.75
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 14838 0 0 0 5058 17 0 0 18 0 3 0 377345437 65245184 14486 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 15929 14486 218 20 0 15287 0
[pid=20277/tid=20279] ppid=20275 vsize=63716 CPUtime=25.4
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 6807 0 0 0 2534 6 0 0 25 0 3 0 377345446 65245184 14486 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=63716 CPUtime=25.26
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 7046 0 0 0 2516 10 0 0 25 0 3 0 377345446 65245184 14486 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526271 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 63716

[startup+51.102 s]
/proc/loadavg: 1.99 1.97 1.90 3/80 20280
/proc/meminfo: memFree=1168480/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=76328 CPUtime=101.82
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 18007 0 0 0 10161 21 0 0 18 0 3 0 377345437 78159872 17370 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 19082 17370 218 20 0 18440 0
[pid=20277/tid=20279] ppid=20275 vsize=76328 CPUtime=50.98
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 8315 0 0 0 5090 8 0 0 25 0 3 0 377345446 78159872 17370 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=76328 CPUtime=50.75
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 8707 0 0 0 5063 12 0 0 25 0 3 0 377345446 78159872 17370 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565679 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 76328

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.90 3/80 20280
/proc/meminfo: memFree=1141472/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=101920 CPUtime=203.96
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 25472 0 0 0 20363 33 0 0 18 0 3 0 377345437 104366080 24089 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 25480 24089 218 20 0 24838 0
[pid=20277/tid=20279] ppid=20275 vsize=101920 CPUtime=102.15
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 11905 0 0 0 10203 12 0 0 25 0 3 0 377345446 104366080 24089 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=101920 CPUtime=101.7
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 12582 0 0 0 10151 19 0 0 25 0 3 0 377345446 104366080 24089 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 101920

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 20280
/proc/meminfo: memFree=1132256/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=111708 CPUtime=323.65
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 28484 0 0 0 32326 39 0 0 18 0 3 0 377345437 114388992 26353 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 27927 26353 218 20 0 27285 0
[pid=20277/tid=20279] ppid=20275 vsize=111708 CPUtime=162.12
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 13335 0 0 0 16198 14 0 0 25 0 3 0 377345446 114388992 26353 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=111708 CPUtime=161.43
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 14164 0 0 0 16120 23 0 0 25 0 3 0 377345446 114388992 26353 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 111708

[startup+222.302 s]
/proc/loadavg: 2.04 1.99 1.91 3/80 20280
/proc/meminfo: memFree=1112032/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=131416 CPUtime=443.37
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 34385 0 0 0 44289 48 0 0 18 0 3 0 377345437 134569984 31392 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 32854 31392 218 20 0 32212 0
[pid=20277/tid=20279] ppid=20275 vsize=131416 CPUtime=222.09
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 16965 0 0 0 22192 17 0 0 25 0 3 0 377345446 134569984 31392 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=131416 CPUtime=221.18
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 16435 0 0 0 22089 29 0 0 25 0 3 0 377345446 134569984 31392 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.37
Current children cumulated vsize (KiB) 131416

[startup+282.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/80 20280
/proc/meminfo: memFree=1106528/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=136536 CPUtime=563.06
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 36575 0 0 0 56255 51 0 0 18 0 3 0 377345437 139812864 32769 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 34134 32769 218 20 0 33492 0
[pid=20277/tid=20279] ppid=20275 vsize=136536 CPUtime=282.06
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 17417 0 0 0 28188 18 0 0 25 0 3 0 377345446 139812864 32769 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=136536 CPUtime=280.91
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 18173 0 0 0 28059 32 0 0 25 0 3 0 377345446 139812864 32769 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.06
Current children cumulated vsize (KiB) 136536

[startup+342.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 20280
/proc/meminfo: memFree=1106528/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=136536 CPUtime=682.74
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 37446 0 0 0 68222 52 0 0 18 0 3 0 377345437 139812864 32802 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 34134 32802 218 20 0 33492 0
[pid=20277/tid=20279] ppid=20275 vsize=136536 CPUtime=342.03
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 17854 0 0 0 34185 18 0 0 25 0 3 0 377345446 139812864 32802 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=20277/tid=20280] ppid=20275 vsize=136536 CPUtime=340.62
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 18607 0 0 0 34030 32 0 0 25 0 3 0 377345446 139812864 32802 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520102 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.74
Current children cumulated vsize (KiB) 136536

[startup+402.301 s]

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

/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 33759 0 0 0 183777 48 0 0 25 0 3 0 377345446 195080192 46231 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=190508 CPUtime=1836.79
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32403 0 0 0 183625 54 0 0 25 0 3 0 377345446 195080192 46231 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565828 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3675.14
Current children cumulated vsize (KiB) 190508

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1052704/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=190508 CPUtime=3794.84
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 67488 0 0 0 379380 104 0 0 18 0 3 0 377345437 195080192 46239 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47627 46239 218 20 0 46985 0
[pid=20277/tid=20279] ppid=20275 vsize=190508 CPUtime=1897.97
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 34096 0 0 0 189749 48 0 0 25 0 3 0 377345446 195080192 46239 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=190508 CPUtime=1896.78
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32407 0 0 0 189623 55 0 0 25 0 3 0 377345446 195080192 46239 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.84
Current children cumulated vsize (KiB) 190508

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1052384/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=190508 CPUtime=3914.55
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 67934 0 0 0 391350 105 0 0 18 0 3 0 377345437 195080192 46349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47627 46349 218 20 0 46985 0
[pid=20277/tid=20279] ppid=20275 vsize=190508 CPUtime=1957.7
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 34540 0 0 0 195721 49 0 0 25 0 3 0 377345446 195080192 46349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=190508 CPUtime=1956.75
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32409 0 0 0 195620 55 0 0 25 0 3 0 377345446 195080192 46349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.55
Current children cumulated vsize (KiB) 190508

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051936/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=190508 CPUtime=4034.26
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 68343 0 0 0 403320 106 0 0 18 0 3 0 377345437 195080192 46422 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47627 46422 218 20 0 46985 0
[pid=20277/tid=20279] ppid=20275 vsize=190508 CPUtime=2017.45
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 34880 0 0 0 201696 49 0 0 25 0 3 0 377345446 195080192 46422 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=190508 CPUtime=2016.71
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32478 0 0 0 201616 55 0 0 25 0 3 0 377345446 195080192 46422 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.26
Current children cumulated vsize (KiB) 190508

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1052000/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4153.98
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 68603 0 0 0 415291 107 0 0 18 0 3 0 377345437 196128768 46456 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46456 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2077.17
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 35138 0 0 0 207668 49 0 0 25 0 3 0 377345446 196128768 46456 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2076.7
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32480 0 0 0 207614 56 0 0 25 0 3 0 377345446 196128768 46456 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.98
Current children cumulated vsize (KiB) 191532

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051936/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4273.67
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 69064 0 0 0 427259 108 0 0 18 0 3 0 377345437 196128768 46465 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46465 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2136.9
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 35594 0 0 0 213640 50 0 0 25 0 3 0 377345446 196128768 46465 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2136.66
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32485 0 0 0 213610 56 0 0 25 0 3 0 377345446 196128768 46465 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.67
Current children cumulated vsize (KiB) 191532

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051808/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4393.37
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 69529 0 0 0 439229 108 0 0 18 0 3 0 377345437 196128768 46474 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46474 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2196.64
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 36057 0 0 0 219614 50 0 0 21 0 3 0 377345446 196128768 46474 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2196.64
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32487 0 0 0 219607 57 0 0 20 0 3 0 377345446 196128768 46474 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.37
Current children cumulated vsize (KiB) 191532

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051808/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4513.09
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 69881 0 0 0 451200 109 0 0 18 0 3 0 377345437 196128768 46481 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46481 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2256.37
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 36404 0 0 0 225587 50 0 0 25 0 3 0 377345446 196128768 46481 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2256.62
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32492 0 0 0 225605 57 0 0 25 0 3 0 377345446 196128768 46481 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4513.09
Current children cumulated vsize (KiB) 191532

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051808/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4632.79
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 70231 0 0 0 463169 110 0 0 18 0 3 0 377345437 196128768 46486 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46486 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2316.11
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 36753 0 0 0 231560 51 0 0 25 0 3 0 377345446 196128768 46486 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2316.59
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32493 0 0 0 231602 57 0 0 25 0 3 0 377345446 196128768 46486 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.79
Current children cumulated vsize (KiB) 191532

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051680/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4752.51
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 70587 0 0 0 475141 110 0 0 18 0 3 0 377345437 196128768 46494 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46494 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2375.84
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 37104 0 0 0 237533 51 0 0 25 0 3 0 377345446 196128768 46494 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526391 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2376.58
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32498 0 0 0 237600 58 0 0 25 0 3 0 377345446 196128768 46494 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.51
Current children cumulated vsize (KiB) 191532

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051680/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4872.21
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 70939 0 0 0 487110 111 0 0 18 0 3 0 377345437 196128768 46498 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46498 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2435.57
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 37455 0 0 0 243506 51 0 0 25 0 3 0 377345446 196128768 46498 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2436.54
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32499 0 0 0 243596 58 0 0 25 0 3 0 377345446 196128768 46498 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4872.21
Current children cumulated vsize (KiB) 191532

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051680/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=4991.92
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 71415 0 0 0 499080 112 0 0 18 0 3 0 377345437 196128768 46506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46506 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2495.31
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 37926 0 0 0 249479 52 0 0 25 0 3 0 377345446 196128768 46506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2496.52
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32504 0 0 0 249593 59 0 0 25 0 3 0 377345446 196128768 46506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.92
Current children cumulated vsize (KiB) 191532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 20482
/proc/meminfo: memFree=1051616/2055920 swapFree=4157264/4192956
[pid=20277] ppid=20275 vsize=191532 CPUtime=5000.11
/proc/20277/stat : 20277 (MiraXTv3_dyn) S 20275 20277 19944 0 -1 4194304 71415 0 0 0 499899 112 0 0 18 0 3 0 377345437 196128768 46506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20277/statm: 47883 46506 218 20 0 47241 0
[pid=20277/tid=20279] ppid=20275 vsize=191532 CPUtime=2499.39
/proc/20277/task/20279/stat : 20279 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 37926 0 0 0 249887 52 0 0 25 0 3 0 377345446 196128768 46506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=20277/tid=20280] ppid=20275 vsize=191532 CPUtime=2500.62
/proc/20277/task/20280/stat : 20280 (MiraXTv3_dyn) R 20275 20277 19944 0 -1 4194368 32504 0 0 0 250003 59 0 0 25 0 3 0 377345446 196128768 46506 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 191532

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): 2506.44
CPU time (s): 5000.16
CPU user time (s): 4999.01
CPU system time (s): 1.15082
CPU usage (%): 199.492
Max. virtual memory (cumulated for all children) (KiB): 192000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.01
system time used= 1.15082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71415
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= 392
involuntary context switches= 93286

runsolver used 2.48162 second user time and 6.69598 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat May 12 23:37:50 UTC 2007

IDJOB= 426382
IDBENCH= 20208
IDSOLVER= 196
FILE ID= node72/426382-1179013070

PBS_JOBID= 5252982

Free space on /tmp= 66550 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
COMMAND LINE= /tmp/evaluation/426382-1179013070/MiraXTv3_dyn /tmp/evaluation/426382-1179013070/instance-426382-1179013070.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-426382-1179013070 -o ROOT/results/node72/solver-426382-1179013070 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426382-1179013070/MiraXTv3_dyn /tmp/evaluation/426382-1179013070/instance-426382-1179013070.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  44d1561b77675d06306d515515e8409f

RANDOM SEED= 409030834

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1237968 kB
Buffers:         51860 kB
Cached:         626928 kB
SwapCached:      17124 kB
Active:         359204 kB
Inactive:       343028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1237968 kB
SwapTotal:     4192956 kB
SwapFree:      4157264 kB
Dirty:            4280 kB
Writeback:           0 kB
Mapped:          30412 kB
Slab:           101224 kB
Committed_AS:  7417052 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66550 MiB

End job on node72 on Sun May 13 00:19:38 UTC 2007