Trace number 460111

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) 10000.1 5019.9

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
MD5SUMd2a122a986b8c06207b29ef18884dabc
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables141985
Number of clauses636168
Sum of the clauses size1637334
Maximum clause length20
Minimum clause length1
Number of clauses of size 1863
Number of clauses of size 2495546
Number of clauses of size 369837
Number of clauses of size 428550
Number of clauses of size 512384
Number of clauses of size over 528988

Solver Data (download as text)

0.00/0.02	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/node1/watcher-460111-1179237519 -o ROOT/results/node1/solver-460111-1179237519 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460111-1179237519/MiraXTv3_dyn /tmp/evaluation/460111-1179237519/instance-460111-1179237519.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.97 2.07 1.84 3/77 21387
/proc/meminfo: memFree=1755176/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=236 CPUtime=0
/proc/21387/stat : 21387 (MiraXTv3_dyn) D 21385 21387 21252 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 399789906 241664 30 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 5829540 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/21387/statm: 59 30 25 20 0 2 0

[startup+0.055571 s]
/proc/loadavg: 1.97 2.07 1.84 3/77 21387
/proc/meminfo: memFree=1755176/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=4968 CPUtime=0.02
/proc/21387/stat : 21387 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194304 818 0 0 0 2 0 0 0 18 0 1 0 399789906 5087232 793 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 0 0 0
/proc/21387/statm: 1242 794 206 20 0 600 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4968

[startup+0.101575 s]
/proc/loadavg: 1.97 2.07 1.84 3/77 21387
/proc/meminfo: memFree=1755176/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=8632 CPUtime=0.07
/proc/21387/stat : 21387 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194304 1647 0 0 0 7 0 0 0 18 0 1 0 399789906 8839168 1622 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6262744 0 0 4096 0 0 0 0 17 0 0 0
/proc/21387/statm: 2158 1622 206 20 0 1516 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8632

[startup+0.301597 s]
/proc/loadavg: 1.97 2.07 1.84 3/77 21387
/proc/meminfo: memFree=1755176/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=22844 CPUtime=0.27
/proc/21387/stat : 21387 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194304 4699 0 0 0 25 2 0 0 19 0 1 0 399789906 23392256 4674 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 0 0 0
/proc/21387/statm: 5711 4675 206 20 0 5069 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 22844

[startup+0.701644 s]
/proc/loadavg: 1.97 2.07 1.84 3/77 21387
/proc/meminfo: memFree=1755176/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=48352 CPUtime=0.67
/proc/21387/stat : 21387 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194304 10588 0 0 0 61 6 0 0 23 0 1 0 399789906 49512448 10563 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134574256 0 0 4096 0 0 0 0 17 0 0 0
/proc/21387/statm: 12088 10564 206 20 0 11446 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 48352

[startup+1.50174 s]
/proc/loadavg: 1.97 2.07 1.84 2/78 21388
/proc/meminfo: memFree=1702816/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=65480 CPUtime=1.47
/proc/21387/stat : 21387 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194304 14538 0 0 0 139 8 0 0 25 0 1 0 399789906 67051520 14513 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 0 0 0
/proc/21387/statm: 16370 14513 207 20 0 15728 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 65480

[startup+3.10192 s]
/proc/loadavg: 1.98 2.06 1.84 2/78 21388
/proc/meminfo: memFree=1684960/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=89816 CPUtime=3.06
/proc/21387/stat : 21387 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194304 20724 0 0 0 295 11 0 0 25 0 1 0 399789906 91971584 20699 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134575893 0 0 4096 0 0 0 0 17 0 0 0
/proc/21387/statm: 22454 20699 207 20 0 21812 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 89816

[startup+6.3013 s]
/proc/loadavg: 1.98 2.06 1.84 2/80 21390
/proc/meminfo: memFree=1619920/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=218548 CPUtime=6.52
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 36647 0 0 0 632 20 0 0 25 0 3 0 399789906 223793152 34005 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 54637 34005 218 20 0 53995 0
[pid=21387/tid=21389] ppid=21385 vsize=218548 CPUtime=1.84
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 6845 0 0 0 181 3 0 0 25 0 3 0 399790351 223793152 34005 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=218548 CPUtime=0.25
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194368 7244 0 0 0 21 4 0 0 18 0 3 0 399790351 223793152 34005 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 218548

[startup+12.7011 s]
/proc/loadavg: 1.91 2.04 1.84 3/80 21390
/proc/meminfo: memFree=1622672/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=215228 CPUtime=14.03
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 37072 0 0 0 1382 21 0 0 25 0 3 0 399789906 220393472 33284 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 53807 33284 218 20 0 53165 0
[pid=21387/tid=21389] ppid=21385 vsize=215228 CPUtime=8.23
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 7070 0 0 0 820 3 0 0 25 0 3 0 399790351 220393472 33284 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=215228 CPUtime=1.36
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 7444 0 0 0 132 4 0 0 25 0 3 0 399790351 220393472 33284 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.03
Current children cumulated vsize (KiB) 215228

[startup+25.5016 s]
/proc/loadavg: 1.92 2.04 1.84 3/80 21390
/proc/meminfo: memFree=1617616/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=218300 CPUtime=39.57
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 38354 0 0 0 3933 24 0 0 25 0 3 0 399789906 223539200 34566 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 54575 34566 218 20 0 53933 0
[pid=21387/tid=21389] ppid=21385 vsize=218300 CPUtime=21.04
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 7287 0 0 0 2100 4 0 0 25 0 3 0 399790351 223539200 34566 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=218300 CPUtime=14.1
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 8509 0 0 0 1403 7 0 0 25 0 3 0 399790351 223539200 34566 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526145 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.57
Current children cumulated vsize (KiB) 218300

[startup+51.1016 s]
/proc/loadavg: 1.95 2.04 1.84 3/80 21390
/proc/meminfo: memFree=1596624/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=238476 CPUtime=90.63
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 44015 0 0 0 9030 33 0 0 25 0 3 0 399789906 244199424 40047 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 59619 40047 218 20 0 58977 0
[pid=21387/tid=21389] ppid=21385 vsize=238476 CPUtime=46.59
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 9377 0 0 0 4653 6 0 0 25 0 3 0 399790351 244199424 40047 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=238476 CPUtime=39.61
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 12080 0 0 0 3947 14 0 0 25 0 3 0 399790351 244199424 40047 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 90.63
Current children cumulated vsize (KiB) 238476

[startup+102.306 s]
/proc/loadavg: 1.98 2.03 1.85 3/80 21390
/proc/meminfo: memFree=1529872/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=303036 CPUtime=192.79
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 61377 0 0 0 19219 60 0 0 25 0 3 0 399789906 310308864 56562 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 75759 56562 218 20 0 75117 0
[pid=21387/tid=21389] ppid=21385 vsize=303036 CPUtime=97.76
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 16733 0 0 0 9760 16 0 0 25 0 3 0 399790351 310308864 56562 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=303036 CPUtime=90.6
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 22086 0 0 0 9030 30 0 0 25 0 3 0 399790351 310308864 56562 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 192.79
Current children cumulated vsize (KiB) 303036

[startup+162.302 s]
/proc/loadavg: 1.99 2.02 1.85 3/86 21512
/proc/meminfo: memFree=1469456/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=362112 CPUtime=312.3
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 77455 0 0 0 31139 91 0 0 25 0 3 0 399789906 370802688 71575 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 90528 71575 218 20 0 89886 0
[pid=21387/tid=21389] ppid=21385 vsize=362112 CPUtime=157.64
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 22183 0 0 0 15734 30 0 0 25 0 3 0 399790351 370802688 71575 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=362112 CPUtime=150.22
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 32714 0 0 0 14975 47 0 0 25 0 3 0 399790351 370802688 71575 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 312.3
Current children cumulated vsize (KiB) 362112

[startup+222.302 s]
/proc/loadavg: 1.99 2.02 1.86 3/80 21588
/proc/meminfo: memFree=1445328/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=384592 CPUtime=431.84
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 84639 0 0 0 43077 107 0 0 25 0 3 0 399789906 393822208 77446 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 96148 77446 218 20 0 95506 0
[pid=21387/tid=21389] ppid=21385 vsize=384592 CPUtime=217.55
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 26852 0 0 0 21712 43 0 0 25 0 3 0 399790351 393822208 77446 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=384592 CPUtime=209.85
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 35229 0 0 0 20935 50 0 0 25 0 3 0 399790351 393822208 77446 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 431.84
Current children cumulated vsize (KiB) 384592

[startup+282.302 s]
/proc/loadavg: 1.99 2.01 1.86 3/80 21588
/proc/meminfo: memFree=1437392/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=391720 CPUtime=551.53
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 87708 0 0 0 55043 110 0 0 25 0 3 0 399789906 401121280 79368 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 97930 79368 218 20 0 97288 0
[pid=21387/tid=21389] ppid=21385 vsize=391720 CPUtime=277.49
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 29356 0 0 0 27704 45 0 0 25 0 3 0 399790351 401121280 79368 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21387/tid=21390] ppid=21385 vsize=391720 CPUtime=269.6
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 35794 0 0 0 26909 51 0 0 25 0 3 0 399790351 401121280 79368 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 551.53
Current children cumulated vsize (KiB) 391720

[startup+342.302 s]
/proc/loadavg: 1.99 2.00 1.87 3/80 21588
/proc/meminfo: memFree=1433296/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=395816 CPUtime=671.23
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 89921 0 0 0 67010 113 0 0 25 0 3 0 399789906 405315584 80383 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 98954 80383 218 20 0 98312 0
[pid=21387/tid=21389] ppid=21385 vsize=395816 CPUtime=337.38
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 29916 0 0 0 33692 46 0 0 25 0 3 0 399790351 405315584 80383 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=395816 CPUtime=329.42
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 37447 0 0 0 32888 54 0 0 25 0 3 0 399790351 405315584 80383 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526205 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 671.23
Current children cumulated vsize (KiB) 395816

[startup+402.302 s]
/proc/loadavg: 1.99 2.00 1.87 3/80 21588
/proc/meminfo: memFree=1411344/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=417712 CPUtime=790.91
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 96358 0 0 0 78971 120 0 0 25 0 3 0 399789906 427737088 85861 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 104428 85861 218 20 0 103786 0
[pid=21387/tid=21389] ppid=21385 vsize=417712 CPUtime=397.12
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 33733 0 0 0 39663 49 0 0 25 0 3 0 399790351 427737088 85861 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=417712 CPUtime=389.36

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

/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106320 0 0 0 427824 126 0 0 25 0 3 0 399790351 623435776 134827 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608824 CPUtime=4285
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 104348 0 0 0 428365 135 0 0 25 0 3 0 399790351 623435776 134827 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8568.93
Current children cumulated vsize (KiB) 608824

[startup+4362.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1215312/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608824 CPUtime=8688.62
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 233890 0 0 0 868586 276 0 0 25 0 3 0 399789906 623435776 134834 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152206 134834 218 20 0 151564 0
[pid=21387/tid=21389] ppid=21385 vsize=608824 CPUtime=4339.26
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106321 0 0 0 433799 127 0 0 25 0 3 0 399790351 623435776 134834 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608824 CPUtime=4344.93
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 105011 0 0 0 434357 136 0 0 25 0 3 0 399790351 623435776 134834 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8688.62
Current children cumulated vsize (KiB) 608824

[startup+4422.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1215312/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608824 CPUtime=8808.32
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 234784 0 0 0 880555 277 0 0 25 0 3 0 399789906 623435776 134847 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152206 134847 218 20 0 151564 0
[pid=21387/tid=21389] ppid=21385 vsize=608824 CPUtime=4399
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106328 0 0 0 439773 127 0 0 25 0 3 0 399790351 623435776 134847 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608824 CPUtime=4404.88
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 105898 0 0 0 440351 137 0 0 25 0 3 0 399790351 623435776 134847 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134517035 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8808.32
Current children cumulated vsize (KiB) 608824

[startup+4482.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214608/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=8928
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 236305 0 0 0 892521 279 0 0 25 0 3 0 399789906 623386624 135027 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 135027 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4458.72
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106733 0 0 0 445744 128 0 0 25 0 3 0 399790351 623386624 135027 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4464.84
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 107014 0 0 0 446347 137 0 0 25 0 3 0 399790351 623386624 135027 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526120 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8928
Current children cumulated vsize (KiB) 608776

[startup+4542.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214416/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9047.69
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 237012 0 0 0 904489 280 0 0 25 0 3 0 399789906 623386624 135067 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 135067 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4518.48
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106751 0 0 0 451719 129 0 0 25 0 3 0 399790351 623386624 135067 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4524.78
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 107703 0 0 0 452340 138 0 0 25 0 3 0 399790351 623386624 135067 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9047.69
Current children cumulated vsize (KiB) 608776

[startup+4602.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214288/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9167.36
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 237683 0 0 0 916456 280 0 0 25 0 3 0 399789906 623386624 135069 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 135069 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4578.22
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106752 0 0 0 457693 129 0 0 25 0 3 0 399790351 623386624 135069 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4584.71
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 108373 0 0 0 458333 138 0 0 25 0 3 0 399790351 623386624 135069 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9167.36
Current children cumulated vsize (KiB) 608776

[startup+4662.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214672/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9287.05
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 238355 0 0 0 928424 281 0 0 25 0 3 0 399789906 623386624 134969 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 134969 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4637.96
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106754 0 0 0 463667 129 0 0 25 0 3 0 399790351 623386624 134969 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4644.67
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 109043 0 0 0 464328 139 0 0 25 0 3 0 399790351 623386624 134969 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526023 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9287.05
Current children cumulated vsize (KiB) 608776

[startup+4722.31 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214672/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9406.72
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 239260 0 0 0 940390 282 0 0 25 0 3 0 399789906 623386624 134966 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 134966 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4697.7
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106759 0 0 0 469640 130 0 0 25 0 3 0 399790351 623386624 134966 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4704.59
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 109943 0 0 0 470320 139 0 0 25 0 3 0 399790351 623386624 134966 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9406.72
Current children cumulated vsize (KiB) 608776

[startup+4782.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214672/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9526.36
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 240388 0 0 0 952353 283 0 0 25 0 3 0 399789906 623386624 134972 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 134972 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4757.46
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106761 0 0 0 475616 130 0 0 25 0 3 0 399790351 623386624 134972 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4764.47
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 111069 0 0 0 476307 140 0 0 25 0 3 0 399790351 623386624 134972 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9526.36
Current children cumulated vsize (KiB) 608776

[startup+4842.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214736/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9645.99
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 241295 0 0 0 964315 284 0 0 25 0 3 0 399789906 623386624 134979 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 134979 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4817.2
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106765 0 0 0 481590 130 0 0 25 0 3 0 399790351 623386624 134979 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4824.35
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 111972 0 0 0 482295 140 0 0 25 0 3 0 399790351 623386624 134979 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9645.99
Current children cumulated vsize (KiB) 608776

[startup+4902.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214736/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9765.68
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 242209 0 0 0 976283 285 0 0 25 0 3 0 399789906 623386624 134954 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 134954 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4876.96
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106770 0 0 0 487565 131 0 0 25 0 3 0 399790351 623386624 134954 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4884.29
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 112881 0 0 0 488288 141 0 0 25 0 3 0 399790351 623386624 134954 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9765.68
Current children cumulated vsize (KiB) 608776

[startup+4962.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214736/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=9885.34
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 243120 0 0 0 988248 286 0 0 25 0 3 0 399789906 623386624 134961 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 134961 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4936.7
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106773 0 0 0 493539 131 0 0 25 0 3 0 399790351 623386624 134961 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=4944.22
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 113789 0 0 0 494280 142 0 0 25 0 3 0 399790351 623386624 134961 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134517144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9885.34
Current children cumulated vsize (KiB) 608776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5019.8 s]
/proc/loadavg: 1.99 1.98 1.91 3/80 21788
/proc/meminfo: memFree=1214736/2055920 swapFree=4145760/4192956
[pid=21387] ppid=21385 vsize=608776 CPUtime=10000
/proc/21387/stat : 21387 (MiraXTv3_dyn) S 21385 21387 21252 0 -1 4194304 244045 0 0 0 999714 287 0 0 25 0 3 0 399789906 623386624 134978 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21387/statm: 152194 134978 218 20 0 151552 0
[pid=21387/tid=21389] ppid=21385 vsize=608776 CPUtime=4993.95
/proc/21387/task/21389/stat : 21389 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 106783 0 0 0 499263 132 0 0 25 0 3 0 399790351 623386624 134978 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21387/tid=21390] ppid=21385 vsize=608776 CPUtime=5001.63
/proc/21387/task/21390/stat : 21390 (MiraXTv3_dyn) R 21385 21387 21252 0 -1 4194368 114704 0 0 0 500021 142 0 0 25 0 3 0 399790351 623386624 134978 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 608776

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): 5019.9
CPU time (s): 10000.1
CPU user time (s): 9997.15
CPU system time (s): 2.96455
CPU usage (%): 199.209
Max. virtual memory (cumulated for all children) (KiB): 609916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.15
system time used= 2.96455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244045
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= 1320
involuntary context switches= 188876

runsolver used 5.07823 second user time and 13.478 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue May 15 13:58:41 UTC 2007

IDJOB= 460111
IDBENCH= 20546
IDSOLVER= 196
FILE ID= node1/460111-1179237519

PBS_JOBID= 5274531

Free space on /tmp= 66522 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_31_1_rule_1/SAT_dat.k95.cnf
COMMAND LINE= /tmp/evaluation/460111-1179237519/MiraXTv3_dyn /tmp/evaluation/460111-1179237519/instance-460111-1179237519.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-460111-1179237519 -o ROOT/results/node1/solver-460111-1179237519 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460111-1179237519/MiraXTv3_dyn /tmp/evaluation/460111-1179237519/instance-460111-1179237519.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  d2a122a986b8c06207b29ef18884dabc

RANDOM SEED= 48831879

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1755712 kB
Buffers:         54628 kB
Cached:         141068 kB
SwapCached:      14832 kB
Active:          61540 kB
Inactive:       157308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1755712 kB
SwapTotal:     4192956 kB
SwapFree:      4145760 kB
Dirty:           19020 kB
Writeback:           0 kB
Mapped:          30028 kB
Slab:            66872 kB
Committed_AS:  9828868 kB
PageTables:       1832 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= 66522 MiB

End job on node1 on Tue May 15 15:22:23 UTC 2007