Trace number 460091

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.2 5014.45

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
MD5SUM76ab26f3361f1050f9e94d7745be300c
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 variables43507
Number of clauses161270
Sum of the clauses size432842
Maximum clause length37
Minimum clause length1
Number of clauses of size 1928
Number of clauses of size 281196
Number of clauses of size 373000
Number of clauses of size 4366
Number of clauses of size 5705
Number of clauses of size over 55075

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/node27/watcher-460091-1179235856 -o ROOT/results/node27/solver-460091-1179235856 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460091-1179235856/MiraXTv3_dyn /tmp/evaluation/460091-1179235856/instance-460091-1179235856.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: 0.00 0.00 0.00 3/64 10609
/proc/meminfo: memFree=1293608/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=3788 CPUtime=0
/proc/10609/stat : 10609 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 336281557 3878912 239 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 1934300 0 0 4096 0 0 0 0 17 1 0 0
/proc/10609/statm: 947 246 202 20 0 305 0

[startup+0.057095 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10609
/proc/meminfo: memFree=1293608/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=7128 CPUtime=0.05
/proc/10609/stat : 10609 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194304 1307 0 0 0 5 0 0 0 18 0 1 0 336281557 7299072 1282 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134527153 0 0 4096 0 0 0 0 17 1 0 0
/proc/10609/statm: 1782 1282 206 20 0 1140 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7128

[startup+0.102099 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10609
/proc/meminfo: memFree=1293608/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=9824 CPUtime=0.09
/proc/10609/stat : 10609 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194304 1928 0 0 0 8 1 0 0 18 0 1 0 336281557 10059776 1903 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134585313 0 0 4096 0 0 0 0 17 1 0 0
/proc/10609/statm: 2456 1903 206 20 0 1814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9824

[startup+0.302122 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10609
/proc/meminfo: memFree=1293608/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=19528 CPUtime=0.29
/proc/10609/stat : 10609 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194304 4095 0 0 0 27 2 0 0 19 0 1 0 336281557 19996672 4070 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134579880 0 0 4096 0 0 0 0 17 1 0 0
/proc/10609/statm: 4882 4070 207 20 0 4240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19528

[startup+0.701159 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10609
/proc/meminfo: memFree=1293608/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=27728 CPUtime=0.69
/proc/10609/stat : 10609 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194304 6082 0 0 0 66 3 0 0 22 0 1 0 336281557 28393472 6057 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134585350 0 0 4096 0 0 0 0 17 1 0 0
/proc/10609/statm: 6932 6057 207 20 0 6290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27728

[startup+1.50124 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 10610
/proc/meminfo: memFree=1269024/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=76440 CPUtime=1.57
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 12016 0 0 0 152 5 0 0 25 0 3 0 336281557 78274560 11271 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 19110 11271 218 20 0 18468 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 76440

[startup+3.1014 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 10612
/proc/meminfo: memFree=1249104/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=76572 CPUtime=3.17
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 12067 0 0 0 312 5 0 0 25 0 3 0 336281557 78409728 11322 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 19143 11322 218 20 0 18501 0
[pid=10609/tid=10611] ppid=10607 vsize=76572 CPUtime=2.03
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 3146 0 0 0 202 1 0 0 25 0 3 0 336281664 78409728 11322 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=76572 CPUtime=0.07
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194368 2321 0 0 0 6 1 0 0 17 0 3 0 336281664 78409728 11322 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 76572

[startup+6.30172 s]
/proc/loadavg: 0.08 0.02 0.01 3/67 10612
/proc/meminfo: memFree=1246992/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=79400 CPUtime=8.63
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 13687 0 0 0 856 7 0 0 25 0 3 0 336281557 81305600 12296 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 19850 12296 218 20 0 19208 0
[pid=10609/tid=10611] ppid=10607 vsize=79400 CPUtime=5.22
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 3556 0 0 0 521 1 0 0 25 0 3 0 336281664 81305600 12296 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=79400 CPUtime=2.33
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 3531 0 0 0 231 2 0 0 25 0 3 0 336281664 81305600 12296 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520502 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 79400

[startup+12.7014 s]
/proc/loadavg: 0.37 0.08 0.03 3/67 10612
/proc/meminfo: memFree=1229712/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=95148 CPUtime=21.4
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 17854 0 0 0 2130 10 0 0 25 0 3 0 336281557 97431552 16463 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 23787 16463 218 20 0 23145 0
[pid=10609/tid=10611] ppid=10607 vsize=95148 CPUtime=11.62
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 5923 0 0 0 1159 3 0 0 25 0 3 0 336281664 97431552 16463 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=95148 CPUtime=8.71
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 5331 0 0 0 867 4 0 0 18 0 3 0 336281664 97431552 16463 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.4
Current children cumulated vsize (KiB) 95148

[startup+25.5026 s]
/proc/loadavg: 0.62 0.14 0.05 4/67 10612
/proc/meminfo: memFree=1181904/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=141424 CPUtime=46.95
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 30035 0 0 0 4671 24 0 0 25 0 3 0 336281557 144818176 28382 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 35356 28382 218 20 0 34714 0
[pid=10609/tid=10611] ppid=10607 vsize=141424 CPUtime=24.41
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 12084 0 0 0 2433 8 0 0 21 0 3 0 336281664 144818176 28382 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565430 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=141424 CPUtime=21.46
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 11351 0 0 0 2134 12 0 0 25 0 3 0 336281664 144818176 28382 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 46.95
Current children cumulated vsize (KiB) 141424

[startup+51.1022 s]
/proc/loadavg: 1.09 0.29 0.10 3/67 10612
/proc/meminfo: memFree=1144848/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=178868 CPUtime=98.01
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 39661 0 0 0 9768 33 0 0 25 0 3 0 336281557 183160832 37764 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 44717 37764 218 20 0 44075 0
[pid=10609/tid=10611] ppid=10607 vsize=178868 CPUtime=50
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 16571 0 0 0 4988 12 0 0 25 0 3 0 336281664 183160832 37764 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525955 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=178868 CPUtime=46.93
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 16490 0 0 0 4676 17 0 0 25 0 3 0 336281664 183160832 37764 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.01
Current children cumulated vsize (KiB) 178868

[startup+102.306 s]
/proc/loadavg: 1.64 0.58 0.20 3/67 10612
/proc/meminfo: memFree=1076752/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=244712 CPUtime=200.15
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 56741 0 0 0 19963 52 0 0 25 0 3 0 336281557 250585088 54345 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 61178 54345 218 20 0 60536 0
[pid=10609/tid=10611] ppid=10607 vsize=244712 CPUtime=101.17
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 26203 0 0 0 10098 19 0 0 25 0 3 0 336281664 250585088 54345 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=244712 CPUtime=97.9
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 23938 0 0 0 9761 29 0 0 25 0 3 0 336281664 250585088 54345 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 200.15
Current children cumulated vsize (KiB) 244712

[startup+162.302 s]
/proc/loadavg: 1.86 0.83 0.31 3/67 10614
/proc/meminfo: memFree=1013520/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=307684 CPUtime=319.82
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 72823 0 0 0 31915 67 0 0 25 0 3 0 336281557 315068416 70054 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 76921 70054 218 20 0 76279 0
[pid=10609/tid=10611] ppid=10607 vsize=307684 CPUtime=161.14
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 35825 0 0 0 16088 26 0 0 25 0 3 0 336281664 315068416 70054 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=307684 CPUtime=157.6
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 30398 0 0 0 15723 37 0 0 25 0 3 0 336281664 315068416 70054 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565794 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 319.82
Current children cumulated vsize (KiB) 307684

[startup+222.302 s]
/proc/loadavg: 1.95 1.04 0.42 3/67 10614
/proc/meminfo: memFree=957712/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=363704 CPUtime=439.53
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 86937 0 0 0 43868 85 0 0 25 0 3 0 336281557 372432896 83935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 90926 83935 218 20 0 90284 0
[pid=10609/tid=10611] ppid=10607 vsize=363704 CPUtime=221.13
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 45459 0 0 0 22075 38 0 0 18 0 3 0 336281664 372432896 83935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=363704 CPUtime=217.32
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 34878 0 0 0 21689 43 0 0 25 0 3 0 336281664 372432896 83935 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 439.53
Current children cumulated vsize (KiB) 363704

[startup+282.302 s]
/proc/loadavg: 1.98 1.21 0.51 3/67 10614
/proc/meminfo: memFree=936848/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=384184 CPUtime=559.23
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 92579 0 0 0 55831 92 0 0 25 0 3 0 336281557 393404416 89185 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 96046 89185 218 20 0 95404 0
[pid=10609/tid=10611] ppid=10607 vsize=384184 CPUtime=281.09
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 45499 0 0 0 28071 38 0 0 25 0 3 0 336281664 393404416 89185 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=384184 CPUtime=277.06
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 40480 0 0 0 27656 50 0 0 25 0 3 0 336281664 393404416 89185 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 559.23
Current children cumulated vsize (KiB) 384184

[startup+342.302 s]
/proc/loadavg: 1.99 1.36 0.60 3/67 10614
/proc/meminfo: memFree=936720/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=384184 CPUtime=678.95
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 92605 0 0 0 67803 92 0 0 25 0 3 0 336281557 393404416 89211 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 96046 89211 218 20 0 95404 0
[pid=10609/tid=10611] ppid=10607 vsize=384184 CPUtime=341.06
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 45513 0 0 0 34068 38 0 0 25 0 3 0 336281664 393404416 89211 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=384184 CPUtime=336.8
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 40492 0 0 0 33630 50 0 0 25 0 3 0 336281664 393404416 89211 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565817 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 678.95
Current children cumulated vsize (KiB) 384184

[startup+402.302 s]
/proc/loadavg: 1.99 1.47 0.69 3/67 10614
/proc/meminfo: memFree=936656/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=384184 CPUtime=798.66
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 92633 0 0 0 79774 92 0 0 25 0 3 0 336281557 393404416 89238 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0

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

[pid=10609] ppid=10607 vsize=826896 CPUtime=8699.22
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 206744 0 0 0 869654 268 0 0 25 0 3 0 336281557 846741504 200144 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 206724 200144 218 20 0 206082 0
[pid=10609/tid=10611] ppid=10607 vsize=826896 CPUtime=4351.51
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 77923 0 0 0 435078 73 0 0 25 0 3 0 336281664 846741504 200144 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=826896 CPUtime=4346.63
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122221 0 0 0 434472 191 0 0 25 0 3 0 336281664 846741504 200144 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 1908381 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8699.22
Current children cumulated vsize (KiB) 826896

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=459280/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=859944 CPUtime=8818.94
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 214985 0 0 0 881618 276 0 0 25 0 3 0 336281557 880582656 208385 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 214986 208385 218 20 0 214344 0
[pid=10609/tid=10611] ppid=10607 vsize=859944 CPUtime=4411.25
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 86164 0 0 0 441044 81 0 0 25 0 3 0 336281664 880582656 208385 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=859944 CPUtime=4406.61
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122221 0 0 0 440470 191 0 0 25 0 3 0 336281664 880582656 208385 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565866 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8818.94
Current children cumulated vsize (KiB) 859944

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=445648/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=873176 CPUtime=8938.67
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 218423 0 0 0 893588 279 0 0 25 0 3 0 336281557 894132224 211706 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 218294 211706 218 20 0 217652 0
[pid=10609/tid=10611] ppid=10607 vsize=873176 CPUtime=4470.99
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 89601 0 0 0 447015 84 0 0 25 0 3 0 336281664 894132224 211706 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=873176 CPUtime=4466.59
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122222 0 0 0 446468 191 0 0 25 0 3 0 336281664 894132224 211706 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8938.67
Current children cumulated vsize (KiB) 873176

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=445584/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=873176 CPUtime=9058.39
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 218425 0 0 0 905560 279 0 0 25 0 3 0 336281557 894132224 211708 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 218294 211708 218 20 0 217652 0
[pid=10609/tid=10611] ppid=10607 vsize=873176 CPUtime=4530.73
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 89603 0 0 0 452989 84 0 0 25 0 3 0 336281664 894132224 211708 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=873176 CPUtime=4526.57
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122222 0 0 0 452466 191 0 0 25 0 3 0 336281664 894132224 211708 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9058.39
Current children cumulated vsize (KiB) 873176

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=406480/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=912268 CPUtime=9178.11
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 228200 0 0 0 917525 286 0 0 25 0 3 0 336281557 934162432 221483 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 228067 221483 218 20 0 227425 0
[pid=10609/tid=10611] ppid=10607 vsize=912268 CPUtime=4590.47
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 99377 0 0 0 458956 91 0 0 25 0 3 0 336281664 934162432 221483 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=912268 CPUtime=4586.56
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122223 0 0 0 458465 191 0 0 25 0 3 0 336281664 934162432 221483 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9178.11
Current children cumulated vsize (KiB) 912268

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=397776/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=921716 CPUtime=9297.8
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 230440 0 0 0 929492 288 0 0 25 0 3 0 336281557 943837184 223605 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 230429 223605 218 20 0 229787 0
[pid=10609/tid=10611] ppid=10607 vsize=921716 CPUtime=4650.18
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 101617 0 0 0 464925 93 0 0 25 0 3 0 336281664 943837184 223605 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=921716 CPUtime=4646.54
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122223 0 0 0 464463 191 0 0 25 0 3 0 336281664 943837184 223605 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9297.8
Current children cumulated vsize (KiB) 921716

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=397712/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=921716 CPUtime=9417.52
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 230444 0 0 0 941464 288 0 0 25 0 3 0 336281557 943837184 223609 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 230429 223609 218 20 0 229787 0
[pid=10609/tid=10611] ppid=10607 vsize=921716 CPUtime=4709.92
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 101618 0 0 0 470899 93 0 0 25 0 3 0 336281664 943837184 223609 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=921716 CPUtime=4706.54
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122226 0 0 0 470462 192 0 0 25 0 3 0 336281664 943837184 223609 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9417.52
Current children cumulated vsize (KiB) 921716

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=397776/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=921716 CPUtime=9537.22
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 230444 0 0 0 953434 288 0 0 25 0 3 0 336281557 943837184 223609 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 230429 223609 218 20 0 229787 0
[pid=10609/tid=10611] ppid=10607 vsize=921716 CPUtime=4769.63
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 101618 0 0 0 476870 93 0 0 25 0 3 0 336281664 943837184 223609 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=921716 CPUtime=4766.51
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122226 0 0 0 476459 192 0 0 25 0 3 0 336281664 943837184 223609 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9537.22
Current children cumulated vsize (KiB) 921716

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=382864/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=936428 CPUtime=9656.92
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 234683 0 0 0 965401 291 0 0 25 0 3 0 336281557 958902272 227315 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 234107 227315 218 20 0 233465 0
[pid=10609/tid=10611] ppid=10607 vsize=936428 CPUtime=4829.36
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 105855 0 0 0 482841 95 0 0 25 0 3 0 336281664 958902272 227315 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10609/tid=10612] ppid=10607 vsize=936428 CPUtime=4826.48
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122228 0 0 0 482456 192 0 0 25 0 3 0 336281664 958902272 227315 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9656.92
Current children cumulated vsize (KiB) 936428

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=398352/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=920672 CPUtime=9776.6
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 234729 0 0 0 977369 291 0 0 25 0 3 0 336281557 942768128 223422 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 230168 223422 218 20 0 229526 0
[pid=10609/tid=10611] ppid=10607 vsize=920672 CPUtime=4889.2
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 105884 0 0 0 488825 95 0 0 25 0 3 0 336281664 942768128 223422 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=920672 CPUtime=4886.32
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122245 0 0 0 488440 192 0 0 25 0 3 0 336281664 942768128 223422 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9776.6
Current children cumulated vsize (KiB) 920672

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=398352/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=920672 CPUtime=9896.27
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 234738 0 0 0 989336 291 0 0 25 0 3 0 336281557 942768128 223431 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 230168 223431 218 20 0 229526 0
[pid=10609/tid=10611] ppid=10607 vsize=920672 CPUtime=4949.17
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 105886 0 0 0 494821 96 0 0 25 0 3 0 336281664 942768128 223431 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=920672 CPUtime=4946.03
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122252 0 0 0 494411 192 0 0 25 0 3 0 336281664 942768128 223431 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9896.27
Current children cumulated vsize (KiB) 920672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5014.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=398352/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=920672 CPUtime=10000
/proc/10609/stat : 10609 (MiraXTv3_dyn) S 10607 10609 10535 0 -1 4194304 234741 0 0 0 999711 291 0 0 25 0 3 0 336281557 942768128 223434 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 230168 223434 218 20 0 229526 0
[pid=10609/tid=10611] ppid=10607 vsize=920672 CPUtime=5001.14
/proc/10609/task/10611/stat : 10611 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 105887 0 0 0 500018 96 0 0 25 0 3 0 336281664 942768128 223434 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10609/tid=10612] ppid=10607 vsize=920672 CPUtime=4997.81
/proc/10609/task/10612/stat : 10612 (MiraXTv3_dyn) R 10607 10609 10535 0 -1 4194368 122254 0 0 0 499589 192 0 0 25 0 3 0 336281664 942768128 223434 18446744073709551615 134512640 134597700 4294956592 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) 920672

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

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

[startup+5014.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 10814
/proc/meminfo: memFree=398352/2055920 swapFree=4183156/4192956
[pid=10609] ppid=10607 vsize=0 CPUtime=10000.1
/proc/10609/stat : 10609 (MiraXTv3_dyn) Z 10607 10609 10535 0 -1 4195340 234741 0 0 0 999712 301 0 0 16 0 2 0 336281557 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10609/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.45
CPU time (s): 10000.2
CPU user time (s): 9997.12
CPU system time (s): 3.04954
CPU usage (%): 199.427
Max. virtual memory (cumulated for all children) (KiB): 938676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.13
system time used= 3.04954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234741
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= 765
involuntary context switches= 75263

runsolver used 4.87826 second user time and 13.375 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Tue May 15 13:30:56 UTC 2007

IDJOB= 460091
IDBENCH= 20526
IDSOLVER= 196
FILE ID= node27/460091-1179235856

PBS_JOBID= 5274730

Free space on /tmp= 66539 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  76ab26f3361f1050f9e94d7745be300c

RANDOM SEED= 965925250

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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.213
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:       1294016 kB
Buffers:         39732 kB
Cached:         584696 kB
SwapCached:       3892 kB
Active:         200332 kB
Inactive:       433728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1294016 kB
SwapTotal:     4192956 kB
SwapFree:      4183156 kB
Dirty:            7820 kB
Writeback:           0 kB
Mapped:          15552 kB
Slab:           113884 kB
Committed_AS:  5852640 kB
PageTables:       1392 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= 66539 MiB

End job on node27 on Tue May 15 14:54:33 UTC 2007