Trace number 456186

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.19 2547.59

General information on the benchmark

Namecrafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
MD5SUM8b466b7ef3217bdc844a579ae744d427
Bench CategoryCRAFTED (crafted 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 variables18623
Number of clauses182878
Sum of the clauses size821466
Maximum clause length5
Minimum clause length1
Number of clauses of size 1290
Number of clauses of size 218428
Number of clauses of size 318240
Number of clauses of size 40
Number of clauses of size 5145920
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/node44/watcher-456186-1179020729 -o ROOT/results/node44/solver-456186-1179020729 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456186-1179020729/MiraXTv3_dyn /tmp/evaluation/456186-1179020729/instance-456186-1179020729.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.84 1.95 1.94 3/77 7682
/proc/meminfo: memFree=1223792/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=3788 CPUtime=0
/proc/7682/stat : 7682 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194304 355 0 0 0 0 0 0 0 18 0 1 0 349984745 3878912 330 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7682/statm: 947 337 202 20 0 305 0

[startup+0.006371 s]
/proc/loadavg: 1.84 1.95 1.94 3/77 7682
/proc/meminfo: memFree=1223792/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=3920 CPUtime=0
/proc/7682/stat : 7682 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194304 559 0 0 0 0 0 0 0 18 0 1 0 349984745 4014080 534 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134571806 0 0 4096 0 0 0 0 17 1 0 0
/proc/7682/statm: 980 538 205 20 0 338 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3920

[startup+0.101382 s]
/proc/loadavg: 1.84 1.95 1.94 3/77 7682
/proc/meminfo: memFree=1223792/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=9024 CPUtime=0.09
/proc/7682/stat : 7682 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194304 1723 0 0 0 9 0 0 0 18 0 1 0 349984745 9240576 1698 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7682/statm: 2256 1698 206 20 0 1614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9024

[startup+0.301402 s]
/proc/loadavg: 1.84 1.95 1.94 3/77 7682
/proc/meminfo: memFree=1223792/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=14536 CPUtime=0.29
/proc/7682/stat : 7682 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194304 3053 0 0 0 28 1 0 0 19 0 1 0 349984745 14884864 3028 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0
/proc/7682/statm: 3634 3028 206 20 0 2992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14536

[startup+0.701442 s]
/proc/loadavg: 1.84 1.95 1.94 3/77 7682
/proc/meminfo: memFree=1223792/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=20116 CPUtime=0.69
/proc/7682/stat : 7682 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194304 4401 0 0 0 66 3 0 0 22 0 1 0 349984745 20598784 4376 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134581551 0 0 4096 0 0 0 0 17 1 0 0
/proc/7682/statm: 5029 4376 207 20 0 4387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20116

[startup+1.50153 s]
/proc/loadavg: 1.84 1.95 1.94 2/78 7683
/proc/meminfo: memFree=1206888/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=20724 CPUtime=1.49
/proc/7682/stat : 7682 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194304 4528 0 0 0 146 3 0 0 25 0 1 0 349984745 21221376 4503 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583531 0 0 4096 0 0 0 0 17 1 0 0
/proc/7682/statm: 5181 4503 207 20 0 4539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20724

[startup+3.1017 s]
/proc/loadavg: 1.84 1.95 1.94 2/78 7683
/proc/meminfo: memFree=1207656/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=74884 CPUtime=3.77
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 10326 0 0 0 371 6 0 0 25 0 3 0 349984745 76681216 9609 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 18721 9609 218 20 0 18079 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 74884

[startup+6.30203 s]
/proc/loadavg: 1.85 1.95 1.94 3/80 7685
/proc/meminfo: memFree=1184224/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=77956 CPUtime=10.14
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 10877 0 0 0 1007 7 0 0 25 0 3 0 349984745 79826944 10160 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 19489 10160 218 20 0 18847 0
[pid=7682/tid=7684] ppid=7680 vsize=77956 CPUtime=4.17
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 2942 0 0 0 416 1 0 0 25 0 3 0 349984956 79826944 10160 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=77956 CPUtime=3.85
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 2739 0 0 0 383 2 0 0 25 0 3 0 349984956 79826944 10160 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.14
Current children cumulated vsize (KiB) 77956

[startup+12.7017 s]
/proc/loadavg: 1.86 1.95 1.94 3/80 7685
/proc/meminfo: memFree=1177704/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=83800 CPUtime=22.92
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 12571 0 0 0 2282 10 0 0 25 0 3 0 349984745 85811200 11854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 20950 11854 218 20 0 20308 0
[pid=7682/tid=7684] ppid=7680 vsize=83800 CPUtime=10.57
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 3675 0 0 0 1055 2 0 0 25 0 3 0 349984956 85811200 11854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525955 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=83800 CPUtime=10.23
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 3700 0 0 0 1019 4 0 0 25 0 3 0 349984956 85811200 11854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.92
Current children cumulated vsize (KiB) 83800

[startup+25.502 s]
/proc/loadavg: 1.89 1.96 1.94 3/80 7685
/proc/meminfo: memFree=1163688/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=96940 CPUtime=48.47
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 15988 0 0 0 4830 17 0 0 25 0 3 0 349984745 99266560 15271 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 24235 15271 218 20 0 23593 0
[pid=7682/tid=7684] ppid=7680 vsize=96940 CPUtime=23.38
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 5486 0 0 0 2332 6 0 0 25 0 3 0 349984956 99266560 15271 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=96940 CPUtime=22.97
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 5306 0 0 0 2290 7 0 0 25 0 3 0 349984956 99266560 15271 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.47
Current children cumulated vsize (KiB) 96940

[startup+51.1016 s]
/proc/loadavg: 1.93 1.96 1.94 3/80 7685
/proc/meminfo: memFree=1147944/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=112424 CPUtime=99.53
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 19924 0 0 0 9929 24 0 0 25 0 3 0 349984745 115122176 19207 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 28106 19207 218 20 0 27464 0
[pid=7682/tid=7684] ppid=7680 vsize=112424 CPUtime=48.95
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 7620 0 0 0 4886 9 0 0 25 0 3 0 349984956 115122176 19207 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=112424 CPUtime=48.46
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 7108 0 0 0 4835 11 0 0 25 0 3 0 349984956 115122176 19207 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.53
Current children cumulated vsize (KiB) 112424

[startup+102.306 s]
/proc/loadavg: 1.97 1.96 1.94 3/80 7685
/proc/meminfo: memFree=1127208/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=132544 CPUtime=201.7
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 25003 0 0 0 20137 33 0 0 25 0 3 0 349984745 135725056 24286 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 33136 24286 218 20 0 32494 0
[pid=7682/tid=7684] ppid=7680 vsize=132544 CPUtime=100.15
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 10172 0 0 0 10001 14 0 0 25 0 3 0 349984956 135725056 24286 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=132544 CPUtime=99.44
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 9635 0 0 0 9929 15 0 0 25 0 3 0 349984956 135725056 24286 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.7
Current children cumulated vsize (KiB) 132544

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 7685
/proc/meminfo: memFree=1081064/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=178504 CPUtime=321.42
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 36701 0 0 0 32091 51 0 0 25 0 3 0 349984745 182788096 35907 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 44626 35907 218 20 0 43984 0
[pid=7682/tid=7684] ppid=7680 vsize=178504 CPUtime=160.13
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 17731 0 0 0 15989 24 0 0 25 0 3 0 349984956 182788096 35907 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=178504 CPUtime=159.18
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 13774 0 0 0 15894 24 0 0 25 0 3 0 349984956 182788096 35907 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.42
Current children cumulated vsize (KiB) 178504

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 7685
/proc/meminfo: memFree=1034024/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=223840 CPUtime=441.12
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 48484 0 0 0 44040 72 0 0 25 0 3 0 349984745 229212160 47566 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 55960 47566 218 20 0 55318 0
[pid=7682/tid=7684] ppid=7680 vsize=223840 CPUtime=220.12
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 23284 0 0 0 21980 32 0 0 25 0 3 0 349984956 229212160 47566 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=223840 CPUtime=218.89
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 20004 0 0 0 21852 37 0 0 25 0 3 0 349984956 229212160 47566 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526142 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.12
Current children cumulated vsize (KiB) 223840

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 7685
/proc/meminfo: memFree=978792/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=278952 CPUtime=560.84
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 62358 0 0 0 55986 98 0 0 25 0 3 0 349984745 285646848 61285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 69738 61285 218 20 0 69096 0
[pid=7682/tid=7684] ppid=7680 vsize=278952 CPUtime=280.03
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 30143 0 0 0 27963 40 0 0 23 0 3 0 349984956 285646848 61285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=278952 CPUtime=278.69
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 27019 0 0 0 27816 53 0 0 25 0 3 0 349984956 285646848 61285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.84
Current children cumulated vsize (KiB) 278952

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 7685
/proc/meminfo: memFree=978600/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=278952 CPUtime=680.58
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 62418 0 0 0 67959 99 0 0 25 0 3 0 349984745 285646848 61345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 69738 61345 218 20 0 69096 0
[pid=7682/tid=7684] ppid=7680 vsize=278952 CPUtime=339.8
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 30166 0 0 0 33939 41 0 0 25 0 3 0 349984956 285646848 61345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=278952 CPUtime=338.66
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 27056 0 0 0 33812 54 0 0 25 0 3 0 349984956 285646848 61345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.58
Current children cumulated vsize (KiB) 278952

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 7685
/proc/meminfo: memFree=978600/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=278952 CPUtime=800.29
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 62440 0 0 0 79930 99 0 0 25 0 3 0 349984745 285646848 61367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 69738 61367 218 20 0 69096 0
[pid=7682/tid=7684] ppid=7680 vsize=278952 CPUtime=399.56
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 30166 0 0 0 39915 41 0 0 25 0 3 0 349984956 285646848 61367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7682/tid=7685] ppid=7680 vsize=278952 CPUtime=398.61

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

/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54369 0 0 0 189397 76 0 0 25 0 3 0 349984956 489672704 111362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=1891.25
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53547 0 0 0 188985 140 0 0 25 0 3 0 349984956 489672704 111362 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3788.09
Current children cumulated vsize (KiB) 478196

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 8363
/proc/meminfo: memFree=777768/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=3907.82
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113114 0 0 0 390562 220 0 0 25 0 3 0 349984745 489672704 111364 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111364 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=1954.69
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54369 0 0 0 195393 76 0 0 25 0 3 0 349984956 489672704 111364 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=1951.02
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53549 0 0 0 194961 141 0 0 25 0 3 0 349984956 489672704 111364 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3907.82
Current children cumulated vsize (KiB) 478196

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 8363
/proc/meminfo: memFree=777768/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=4027.53
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113189 0 0 0 402532 221 0 0 25 0 3 0 349984745 489672704 111365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111365 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=2014.63
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54443 0 0 0 201387 76 0 0 25 0 3 0 349984956 489672704 111365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=2010.78
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53550 0 0 0 200937 141 0 0 25 0 3 0 349984956 489672704 111365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4027.53
Current children cumulated vsize (KiB) 478196

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 8363
/proc/meminfo: memFree=777704/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=4147.26
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113266 0 0 0 414504 222 0 0 25 0 3 0 349984745 489672704 111344 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111344 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=2074.59
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54520 0 0 0 207383 76 0 0 25 0 3 0 349984956 489672704 111344 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526562 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=2070.54
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53550 0 0 0 206913 141 0 0 25 0 3 0 349984956 489672704 111344 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565424 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4147.26
Current children cumulated vsize (KiB) 478196

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 8363
/proc/meminfo: memFree=777768/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=4266.98
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113267 0 0 0 426476 222 0 0 25 0 3 0 349984745 489672704 111345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111345 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=2134.55
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54521 0 0 0 213379 76 0 0 25 0 3 0 349984956 489672704 111345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522143 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=2130.31
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53550 0 0 0 212889 142 0 0 25 0 3 0 349984956 489672704 111345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4266.98
Current children cumulated vsize (KiB) 478196

[startup+2202.3 s]
/proc/loadavg: 2.15 2.03 1.96 4/86 9394
/proc/meminfo: memFree=775016/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=4384.24
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113270 0 0 0 438200 224 0 0 25 0 3 0 349984745 489672704 111348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111348 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=2194.14
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54521 0 0 0 219337 77 0 0 25 0 3 0 349984956 489672704 111348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520272 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=2187.98
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53553 0 0 0 218655 143 0 0 25 0 3 0 349984956 489672704 111348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4384.24
Current children cumulated vsize (KiB) 478196

[startup+2262.3 s]
/proc/loadavg: 2.72 2.22 2.03 4/86 14696
/proc/meminfo: memFree=767072/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=4491.37
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113271 0 0 0 448907 230 0 0 25 0 3 0 349984745 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111349 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=2252.39
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54521 0 0 0 225158 81 0 0 25 0 3 0 349984956 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=2236.86
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53554 0 0 0 223541 145 0 0 25 0 3 0 349984956 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4491.37
Current children cumulated vsize (KiB) 478196

[startup+2322.3 s]
/proc/loadavg: 2.94 2.37 2.09 4/87 20428
/proc/meminfo: memFree=760032/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=4597.88
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113271 0 0 0 459552 236 0 0 25 0 3 0 349984745 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111349 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=2310.44
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54521 0 0 0 230959 85 0 0 25 0 3 0 349984956 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=2285.32
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53554 0 0 0 228385 147 0 0 25 0 3 0 349984956 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4597.88
Current children cumulated vsize (KiB) 478196

[startup+2382.3 s]
/proc/loadavg: 3.14 2.53 2.16 4/87 25727
/proc/meminfo: memFree=754776/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=478196 CPUtime=4705.22
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113271 0 0 0 470281 241 0 0 25 0 3 0 349984745 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119549 111349 218 20 0 118907 0
[pid=7682/tid=7684] ppid=7680 vsize=478196 CPUtime=2368.54
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54521 0 0 0 236766 88 0 0 25 0 3 0 349984956 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=478196 CPUtime=2334.56
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53554 0 0 0 233307 149 0 0 25 0 3 0 349984956 489672704 111349 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4705.22
Current children cumulated vsize (KiB) 478196

[startup+2442.3 s]
/proc/loadavg: 3.42 2.73 2.25 6/87 31027
/proc/meminfo: memFree=749784/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=477496 CPUtime=4812.6
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113273 0 0 0 481013 247 0 0 25 0 3 0 349984745 488955904 111130 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119374 111130 218 20 0 118732 0
[pid=7682/tid=7684] ppid=7680 vsize=477496 CPUtime=2426.63
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54522 0 0 0 242571 92 0 0 25 0 3 0 349984956 488955904 111130 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=477496 CPUtime=2383.85
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53555 0 0 0 238234 151 0 0 25 0 3 0 349984956 488955904 111130 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4812.6
Current children cumulated vsize (KiB) 477496

[startup+2502.3 s]
/proc/loadavg: 3.27 2.81 2.31 4/86 4461
/proc/meminfo: memFree=741472/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=477496 CPUtime=4918.46
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113273 0 0 0 491590 256 0 0 25 0 3 0 349984745 488955904 111130 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119374 111130 218 20 0 118732 0
[pid=7682/tid=7684] ppid=7680 vsize=477496 CPUtime=2484.43
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54522 0 0 0 248344 99 0 0 25 0 3 0 349984956 488955904 111130 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=477496 CPUtime=2431.91
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53555 0 0 0 243038 153 0 0 25 0 3 0 349984956 488955904 111130 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4918.46
Current children cumulated vsize (KiB) 477496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2547.5 s]
/proc/loadavg: 3.20 2.85 2.34 4/86 8413
/proc/meminfo: memFree=737568/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=477496 CPUtime=5000.1
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113276 0 0 0 499751 259 0 0 25 0 3 0 349984745 488955904 111133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119374 111133 218 20 0 118732 0
[pid=7682/tid=7684] ppid=7680 vsize=477496 CPUtime=2528.43
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54524 0 0 0 252742 101 0 0 25 0 3 0 349984956 488955904 111133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=477496 CPUtime=2469.55
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53556 0 0 0 246801 154 0 0 25 0 3 0 349984956 488955904 111133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 477496

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

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

[startup+2547.5 s]
/proc/loadavg: 3.20 2.85 2.34 4/86 8413
/proc/meminfo: memFree=737568/2055920 swapFree=4155984/4192956
[pid=7682] ppid=7680 vsize=477496 CPUtime=5000.1
/proc/7682/stat : 7682 (MiraXTv3_dyn) S 7680 7682 7608 0 -1 4194304 113276 0 0 0 499751 259 0 0 25 0 3 0 349984745 488955904 111133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7682/statm: 119374 111133 218 20 0 118732 0
[pid=7682/tid=7684] ppid=7680 vsize=477496 CPUtime=2528.43
/proc/7682/task/7684/stat : 7684 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 54524 0 0 0 252742 101 0 0 25 0 3 0 349984956 488955904 111133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7682/tid=7685] ppid=7680 vsize=477496 CPUtime=2469.55
/proc/7682/task/7685/stat : 7685 (MiraXTv3_dyn) R 7680 7682 7608 0 -1 4194368 53556 0 0 0 246801 154 0 0 25 0 3 0 349984956 488955904 111133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 477496

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2547.59
CPU time (s): 5000.19
CPU user time (s): 4997.53
CPU system time (s): 2.66659
CPU usage (%): 196.272
Max. virtual memory (cumulated for all children) (KiB): 478492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.53
system time used= 2.66659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113276
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= 210
involuntary context switches= 114424

runsolver used 2.76958 second user time and 6.95894 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Sun May 13 01:45:30 UTC 2007

IDJOB= 456186
IDBENCH= 24627
IDSOLVER= 196
FILE ID= node44/456186-1179020729

PBS_JOBID= 5253245

Free space on /tmp= 66533 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest04/others/Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456186-1179020729/MiraXTv3_dyn /tmp/evaluation/456186-1179020729/instance-456186-1179020729.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-456186-1179020729 -o ROOT/results/node44/solver-456186-1179020729 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456186-1179020729/MiraXTv3_dyn /tmp/evaluation/456186-1179020729/instance-456186-1179020729.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  8b466b7ef3217bdc844a579ae744d427

RANDOM SEED= 844334129

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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:       1224136 kB
Buffers:         50768 kB
Cached:         631496 kB
SwapCached:      12900 kB
Active:         401680 kB
Inactive:       303448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1224136 kB
SwapTotal:     4192956 kB
SwapFree:      4155984 kB
Dirty:            9160 kB
Writeback:           0 kB
Mapped:          30972 kB
Slab:           112192 kB
Committed_AS:  4620008 kB
PageTables:       1736 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= 66533 MiB

End job on node44 on Sun May 13 02:28:00 UTC 2007